Umordnung von Reihen

Die Umordnung von Reihen wird in der Mathematik beim Studium der Konvergenz von unendlichen Summen, sogenannten Reihen, untersucht. Es geht dabei um die Frage, welche Grenzwerte der Reihen sich durch Umordnung der Summanden, d.h. durch Änderung ihrer Reihenfolge, ergeben können. Im Falle reeller Reihen gibt der riemannsche Umordnungssatz Auskunft über die möglichen Reihensummen; die Situation in endlichdimensionalen Vektorräumen wird im steinitzschen Umordnungssatz erschöpfend behandelt.

Viele Aussagen über konvergente Reihen in endlichdimensionalen Räumen verlieren in unendlichdimensionalen Räumen ihre Gültigkeit. Verallgemeinerungen des steinitzschen Umordnungssatzes erhält man nur unter zusätzlichen Voraussetzungen. Der Schwerpunkt dieses Artikels ist die Umordnung von Reihen in unendlichdimensionalen Räumen. Daher spielen hier, im Gegensatz zum riemannschen und steinitzschen Umordnungssatz, die der klassischen Analysis zuzurechnen sind, funktionalanalytische Methoden und Begriffsbildungen eine wichtige Rolle.

Konvergenzbegriffe

Es sei $(X,\|\cdot\|)$ ein Banachraum.

• Eine Reihe $\textstyle \sum_{n=1}^\infty x_n$ in X heißt konvergent, wenn die Folge der Partialsummen $\textstyle \left(\sum_{n=1}^N x_n\right)_N$ konvergiert.
• Die Reihe heißt unbedingt konvergent, wenn $\textstyle \sum_{n=1}^\infty x_{\sigma(n)}$ für jede Permutation $\sigma \in S({\mathbb N})$ konvergiert, das heißt wenn jede Umordnung der Reihe konvergiert.
• Man spricht von perfekter Konvergenz, falls $\textstyle \sum_{n=1}^\infty \alpha_n x_n$ für jede Wahl $\alpha_n\in\{-1,1\}$ konvergiert, das heißt die Reihe konvergiert bei jeder Wahl von Vorzeichen der Summanden.
• Die Reihe heißt absolut konvergent, falls $\textstyle \sum_{n=1}^\infty \|x_n\| < \infty$.

Problemstellung

Für eine Folge (x_n)_n in X sei $\,SM((x_n)_n) := \{s\in X;\, \exists\sigma\in S({\mathbb N}):\, s=\sum_{n=1}^\infty x_{\sigma(n)}\}$ die Menge aller Summen, die man durch Umordnung der Reihe $\sum_{n=1}^\infty x_n$ erhalten kann, kurz die Summenmenge der Folge. Es stellt sich die Frage, was über die Struktur dieser Menge gesagt werden kann.

Der endlichdimensionale Fall

→ Hauptartikel: Steinitzscher Umordnungssatz

Der endlichdimensionale Fall wird erschöpfend durch den steinitzschen Umordnungssatz behandelt. Für eine Folge (x_n)_n sei $\Gamma((x_n)_n) := \{f\in X': \sum_{n=1}^\infty |f(x_n)| < \infty\}$ der Unterraum der sogenannten Konvergenzfunktionale. Ist die Reihe Σx_n konvergent, so ist $SM((x_n)_n) = \sum_{n=1}^\infty x_n + (\Gamma(x_n)_n)^0$, wobei (Γ(x_n)_n)⁰ die Menge aller $x\in X$ sei, für die f(x) = 0 für alle $f\in\Gamma((x_n)_n)$ gilt. Insbesondere ist SM((x_n)_n) stets ein affiner Unterraum.

Ferner sind für eine Reihe $\sum_{n=1}^\infty x_n$ in einem endlichdimensionalen Raum folgende Aussagen äquivalent:

• Die Reihe konvergiert absolut.
• Die Reihe konvergiert unbedingt.
• Die Reihe konvergiert perfekt.
• SM(x_n)_n ist einelementig.

In Bezug auf obige Problemstellung stellt sich die Frage, ob diese Aussagen auch in unendlichdimensionalen Räumen Gültigkeit behalten.

Das Problem 106

Die Frage nach der Struktur der Summenmenge in unendlichdimensionalen Räumen wurde erstmalig 1935 von Stefan Banach als Problem 106 im sogenannten schottischen Buch gestellt. Dabei handelt es sich um eine im Schottischen Café zu Lemberg aufbewahrte Kladde, in der die Lemberger Funktionalanalytiker und ihre Gäste mathematische Probleme festhielten. Stefan Banach trug dort die Vermutung ein, dass die Summenmenge stets affin sei, und versprach für die Klärung der Frage eine Flasche Wein, derartige Preise waren für hier gestellte Probleme durchaus üblich. Im schottischen Buch findet sich ohne Angabe eines Autors bereits ein Gegenbeispiel zu dieser Vermutung, Józef Marcinkiewicz gilt nach einer Handschriftenanalyse als wahrscheinlicher Urheber.

Mit diesem Gegenbeispiel war klar, dass eine zum steinitzschen Umordnungssatz analoge Aussage im unendlichdimensionalen Fall nicht zutrifft. Die damals bekannten Beispiele waren so konstruiert, dass die Summenmenge immerhin noch eine um einen konstanten Vektor verschobene Untergruppe der additiven Gruppe des Banachraums war. Erst 1989 konnten M. I. Kadets und Krzysztof Wozniakowski und unabhängig davon P. A. Kornilow Beispiele von Reihen angeben, für die die Summenmenge keine verschobene Untergruppe ist. Es hat sich herausgestellt, dass es in jedem unendlichdimensionalen Banachraum Reihen mit zweielementiger Summenmenge gibt. Damit hat sich die im Problem 106 des schottischen Buches geäußerte Vermutung als dramatisch falsch erwiesen.

Weitere negative Aussagen

In endlichdimensionalen Räumen sind Summenmengen als affine Unterräume stets abgeschlossen. Auch diese Eigenschaft gilt in unendlichdimensionalen Räumen im Allgemeinen nicht mehr, wie M. I. Ostrowskii 1986 zeigen konnte.

Auch die Äquivalenz zwischen absoluter Konvergenz und unbedingter Konvergenz geht in unendlichdimensionalen Räumen verloren, denn es gilt folgender Satz von Dvoretzky-Rogers:

• Sei X ein unendlichdimensionaler Banachraum. Weiter seien α_n > 0 mit $\sum_{n=1}^\infty \alpha_n^2 < \infty$. Dann gibt es eine unbedingt konvergente Reihe $\sum_{n=1}^\infty x_n$ mit $\|x_n\| = \alpha_n$ für alle n.

Wählt man speziell $\alpha_n = \frac{1}{n}$, so liefert dieser Satz die Existenz einer unbedingt konvergenten Reihe, deren Summanden die Norm $\frac{1}{n}$ haben. Diese Reihe ist daher nicht absolut konvergent.

Positive Ergebnisse

Trotz der obigen Liste negativer Resultate können auch einige positive Ergebnisse vermerkt werden. Aus der absoluten Konvergenz folgt auch in unendlichdimensionalen Räumen die unbedingte Konvergenz und diese ist äquivalent zur perfekten Konvergenz. Ferner ist die Summenmenge einer unbedingt konvergenten Reihe stets einelementig.

Stellt man zusätzliche Voraussetzungen an die Reihe oder betrachtet man spezielle Räume, so kann man Verallgemeinerungen des steinitzschen Umordnungssatz beweisen:

• Sei $s = \sum_{n=1}^\infty x_n$ eine konvergente Reihe in L^p[0,1] , $1 < p < \infty$, und es sei $\sum_{n=1}^\infty \|x_n\|^{\min(2,p)} < \infty$. Dann ist SM((x_n)_n) = s + Γ((x_n)_n)⁰.
• D. V. Pecherskii (1988): Sei $s = \sum_{n=1}^\infty x_n$ eine konvergente Reihe in einem Banachraum. Zu jeder Umordnung $\sigma \in S({\mathbb N})$ gebe es $\alpha_n\in\{-1,1\}$, so dass $\sum_{n=1}^\infty \alpha_n x_{\sigma(n)}$ konvergiert. Dann ist SM((x_n)_n) = s + Γ((x_n)_n)⁰.

In eine ganz andere Richtung zielt ein Ergebnis von Wojciech Banaszczyk. Man kann Klassen lokalkonvexer Räume definieren, die sehr viel mehr Eigenschaften mit endlichdimensionalen Räumen gemeinsam haben als Banachräume, das gilt insbesondere für Kompaktheitseigenschaften. Daher kann man hoffen, in solchen Raumklassen Verallgemeinerungen des steinitzschen Umordnungssatzes zu erhalten, und in der Tat gilt folgender Satz:

• Sei $s = \sum_{n=1}^\infty x_n$ eine konvergente Reihe in einem metrisierbaren, nuklearen Raum. Dann ist SM((x_n)_n) = s + Γ((x_n)_n)⁰.

Quellen

• W. Banaszczyk: The Steinitz theorem on rearrangement of series for nuclear spaces. Journal für die reine und angewandte Mathematik 403 (1990), 187-200.
• M. I. Kadets, V. M. Kadets: Series in Banach Spaces. Operator Theory: Advances and Applications, Bd. 94, Birkhäuser (1997), ISBN 978-3764354015.
• M. I. Kadets, K. Wozniakowski: On Series Whose Permutations Have Only Two Sums. Bull. Polish Acad. Sciences Mathematics 37 (1989), 15-21.
• P. A. Kornilow: On the Set of Sums of a Conditionally Convergent Series of Functions. Math USSR Sbornik 65, No 1 (1990), 119-131.
• M. I. Ostrowskii: Domains of Sums of Conditionally Convergent Series in Banch Spaces. Teor. Funktsii Funktional. Anal. i Prilozhen 46 (1986), 77-85.