Riemannscher Umordnungssatz

aus Wikipedia, der freien Enzyklopädie

Du hast neue Nachrichten auf deiner Diskussionsseite.

Der Riemannsche Umordnungssatz (nach Bernhard Riemann) ist ein mathematischer Satz über bedingt konvergente Reihen.

[Bearbeiten] Formulierung

Ist $\sum_{n=0}^\infty a_n$ eine bedingt konvergente reelle Reihe - das heißt, sie konvergiert zwar, jedoch nicht absolut - dann existiert zu jeder beliebig vorgegebenen reellen Zahl $S\,$ eine unendliche Umordnung $\sigma\,$ der Reihenglieder $a_n\,$ so dass die umgeordnete Reihe $\sum_{n=0}^\infty a_{\sigma(n)}$ gegen $S\,$ konvergiert.

Unter der Umordnung(=Permutation) $\sigma\,$ versteht man hier eine bijektive Abbildung von der Menge der natürlichen Zahlen in die Menge der natürlichen Zahlen $\sigma:\Bbb{N}\to\Bbb{N}$ .

Ist $S\neq \sum_{n=0}^\infty a_n$ , dann muss diese Umordnung unendlich sein, weil eine endliche Umordnung am Reihenwert nichts ändert.

[Bearbeiten] Begründung

Folgendes Tableau zeigt ein Beispiel für die Vorzeichenverteilung der Folgenglieder:

$a_0\,$

$a_1\,$

$a_2\,$

$a_3\,$

$a_4\,$

$a_5\,$

$a_6\,$

$a_7\,$

$a_8\,$

$a_9\,$

$a_{10}\,$

$a_{11}\,$

$a_{12}\,$

$a_{13}\,$

$a_{14}\,$

$a_{15}\,$

$a_{16}\,$

$a_{17}\,$

$\cdots$

$\sgn\,$

$+\,$

$-\,$

$+\,$

$-\,$

$+\,$

$-\,$

$+\,$

$-\,$

$+\,$

$-\,$

$\cdots$

Die Reihen $\sum_{\sgn(a_n)=+} a_n$ und $\sum_{\sgn(a_n)=-} a_n$ sind beide bestimmt divergent.

Es ist kennzeichnend für bedingt konvergente Reihen, dass diese beiden Teilreihen jeweils bestimmt divergieren.

Insbesondere folgt daraus, dass es unendlich viele Glieder mit positivem Vorzeichen und unendlich viele Glieder mit negativem Vorzeichen gibt.

Eine Partialreihe, die gegen $S$ konvergiert, kann folgendermaßen konstruiert werden:

Man summiert solange positive Folgeglieder $a_0+a_2+a_3\,$ , bis man zum ersten mal über das Ziel $S$ hinausschießt (im Fall $S < 0$ ist dies die leere Summe; man ist mit dem Summieren schon fertig, bevor man angefangen hat.)

Im Tableau werden diese Glieder gestrichen.

Anschließend zählt man - falls noch vorhanden - ein Glied, dessen Signum verschwindet, also eine Null, hinzu und summiert dann solange negative Folgeglieder $a_0+a_2+a_3+\underbrace{a_5}_{=0}+a_1+a_6+a_7+a_8\,$ , bis die Partialsumme kleiner ist als $S$ .

Danach zählt man - falls noch vorhanden - das Nullglied kleinsten Index hinzu und schaltet wieder auf positive Glieder um $a_0+a_2+a_3+\underbrace{a_5}_{=0}+a_1+a_6+a_7+a_8+\underbrace{a_{11}}_{=0}+a_4+a_9+a_{10}+a_{13}\,$ , bis die Summe größer wird als $S$ usw.

Beginnt man nach jedem Umschalten mit dem indexkleinsten im Tableau noch nicht gestrichenen Folgeglied, welches das gewünschte Vorzeichen hat, so wird die so entstehende Reihe am Schluss alle Folgeglieder in umgeordneter Reihenfolge beinhalten.

Die Folge $(a_n)\,$ ist eine Nullfolge. Das war notwendig für die Konvergenz von $\sum_{n=0}^\infty a_n$ .

In jedem noch so kleinen $\varepsilon-$ Streifen um $S$ liegen nun die Folgenglieder der Partialreihe für hinreichend große Indizes.

Die so umgeordnete Reihe konvergiert also gegen $S$ .

[Bearbeiten] Verallgemeinerung

Ist $\sum a_k$ eine konvergente Reihe mit $a_k\in\R^n$

dann ist die Menge aller konvergent umgeordneten Reihen $U=\left\{ \sum a_{\sigma(k)} \; \mathrm{kvg.}\right\}$ ein affiner Untervektorraum des $\R^n$ .