Absolute Konvergenz

aus Wikipedia, der freien Enzyklopädie

Du hast neue Nachrichten auf deiner Diskussionsseite.

Die absolute Konvergenz ist ein Begriff aus der Analysis und wird im Zusammenhang mit Reihen benutzt. Für die absolut konvergenten Reihen bleiben manche Eigenschaften endlicher Summen gültig, die für die größere Menge der konvergenten Reihen im Allgemeinen falsch sind.

[Bearbeiten] Definition

Eine reellwertige oder komplexwertige Reihe $\sum_{n=0}^{\infty} a_n$ heißt absolut konvergent, wenn die Reihe der Absolutbeträge $\sum_{n=0}^{\infty} |a_n|$ konvergiert.

[Bearbeiten] Beispiele

Die alternierende harmonische Reihe $\sum_{n=1}^{\infty} \frac{(-1)^{n-1}}{n}$ ist konvergent. Sie ist aber nicht absolut konvergent, denn beim Nachprüfen der definierenden Eigenschaft erhält man $\sum_{n=1}^{\infty} \left| \frac{(-1)^{n-1}}{n} \right| = \sum_{n=1}^{\infty}\frac{1}{n}$ , also die gewöhnliche harmonische Reihe. Diese ist divergent.
Die Reihe $\sum_{n=1}^{\infty} \frac{(-1)^{n-1}}{n^2}$ ist wegen $\sum_{n=1}^{\infty} \left|\frac{(-1)^{n-1}}{n^2}\right| = \sum_{n=1}^{\infty} \frac{1}{n^2} = \frac{\pi^2}{6}$ absolut konvergent.
Die Potenzreihe der Exponentialfunktion $\exp(z) = \sum_{n = 0}^{\infty} {z^n \over n!}$ ist für jedes komplexe $z\;$ absolut konvergent.
Generell gilt, dass eine reelle oder komplexe Potenzreihe innerhalb des Konvergenzradius absolut konvergent ist.

[Bearbeiten] Eigenschaften

Eine absolut konvergente Reihe ist konvergent. Das gilt sowohl für reellwertige^[1] als auch für komplexwertige^[2] Reihen. Da es außerdem Reihen gibt, welche bedingt konvergent genannt werden, die konvergent, aber nicht absolut konvergent sind, bildet die Menge der absolut konvergenten Reihen eine echte Teilmenge der Menge der konvergenten Reihen.
Wie bei endlichen Summen kann man bei absolut konvergenten Reihen die Summanden beliebig vertauschen: Jede Umordnung einer absolut konvergenten Reihe $s$ , d.h. jede Reihe, die durch Umordnung der Reihenglieder von $s$ entsteht, ist konvergent und konvergiert gegen den gleichen Grenzwert wie $s$ .

Ein völlig entgegengesetzter Sachverhalt ist für eine konvergente, aber nicht absolut konvergente Reihe

t

richtig: Es existiert stets eine Umordnung von

t

, die divergiert.

Ist die Reihe

t

reellwertig, so gilt die folgende erstaunliche, noch schärfere Aussage (Riemannscher Umordnungssatz): Zu jeder vorgegebenen Zahl $S\in\mathbb{R}\cup\{\pm\infty\}$ existiert eine Umordnung der Reihe

t

, die gegen

S

(uneigentlich) konvergiert. Die Begründung ist leicht anzugeben, wir beschränken uns auf den Fall $S\ne\pm\infty$ . Man ordnet die Summanden in zwei Folgen

$a_1\geq a_2\geq\ldots\geq a_n\geq\ldots>0>\ldots\geq b_n\geq\ldots\geq b_2\geq b_1$

an (Summanden, die gleich null sind, werden weggelassen). Nun addiert man so lange Folgenglieder aus

(a n)

, bis

S

überschritten wird, dann (negative) Folgenglieder aus

(b n)

, bis

S

wieder unterschritten wird, dann wieder aus

(a n)

usw. Das Verfahren ist durchführbar, weil $\sum a_n$ und $\sum b_n$ divergieren (ansonsten wäre die ursprüngliche Reihe absolut konvergent), und die umgeordnete Reihe konvergiert gegen

S

[Bearbeiten] Weiteres

Manche Konvergenzkriterien für Reihen beweisen auch die stärkere absolute Konvergenz. Dazu gehören das Wurzelkriterium und das Quotientenkriterium.

[Bearbeiten] Verallgemeinerungen

Der Begriff der absoluten Konvergenz lässt sich auf normierte Räume verallgemeinern. Gegeben sei eine Folge $(x_n)_{n\in\N}$ von Elementen eines normierten Raumes $X$ . Die entsprechende Reihe $(s_n)_{n\in\N}$ wird durch

$s_n:=\sum_{\nu=1}^{n}x_\nu$

definiert. Die Reihe heißt absolut konvergent, wenn $\sum_{\nu=1}^{\infty}\|x_\nu\|$ konvergiert ^[3].

Ist $X$ ein Banachraum, also vollständig, so ist jede absolut konvergente Reihe auch konvergent ^[4]. Tatsächlich gilt hiervon auch die Umkehrung: Ist $X$ ein normierter Vektorraum und jede absolut konvergente Reihe konvergent, so ist $X$ vollständig, also ein Banachraum.

In beliebigen vollständigen metrischen Räumen gilt ein verwandtes Resultat. Eine Folge $\left(s_n\right)_{n\in\N}$ ist zumindest dann konvergent, wenn die Summe

$\sum_{\nu=1}^{\infty} d\left(s_{\nu-1},s_{\nu}\right)$

konvergiert. Da in obigem Beispiel ja $d\left(s_{\nu-1},s_{\nu}\right)=\|x_\nu\|$ ergibt sich die absolute Konvergenz daraus als Spezialfall.

[Bearbeiten] Quellen

↑ Konrad Knopp. Theorie und Anwendung der unendlichen Reihen. 5. Auflage, Springer Verlag 1964, ISBN 3-540-03138-3. S 137, Satz 85
↑ Konrad Knopp. Theorie und Anwendung der unendlichen Reihen. 5. Auflage, Springer Verlag 1964, ISBN 3-540-03138-3. S 410, Satz 227
↑ Avner Friedman: Foundations of Modern Analysis, Dover, New York 1970. ISBN 0-486-64062-0. S 126, Definition 4.1.7
↑ Avner Friedman: Foundations of Modern Analysis, Dover, New York 1970. ISBN 0-486-64062-0. S 126, Theorem 4.1.2