Die Umordnung von Reihen wird in der Mathematik beim Studium der Konvergenz von 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

Bearbeiten

Es sei   ein Banachraum.

  • Eine Reihe   in   heißt konvergent, wenn die Folge der Partialsummen   konvergiert.
  • Die Reihe heißt unbedingt konvergent, wenn   für jede Permutation   konvergiert, das heißt wenn jede Umordnung der Reihe konvergiert. Das Symbol   meint die Permutationsgruppe über den natürlichen Zahlen.
  • Man spricht von perfekter Konvergenz, falls   für jede Wahl   konvergiert, das heißt die Reihe konvergiert bei jeder Wahl von Vorzeichen der Summanden.
  •   heißt teilreihenkonvergent, falls   für jede aufsteigende Folge   konvergiert.
  • Die Reihe heißt absolut konvergent, falls  .

Problemstellung

Bearbeiten

Für eine Folge   in   sei

 

die Menge aller Summen, die man durch Umordnung der Reihe   erhalten kann, kurz die Summenmenge der Folge. Es stellt sich die Frage, was über die Struktur dieser Menge gesagt werden kann.

Der endlichdimensionale Fall

Bearbeiten

Der endlichdimensionale Fall wird erschöpfend durch den steinitzschen Umordnungssatz behandelt. Für eine Folge   sei   der Unterraum der sogenannten Konvergenzfunktionale. Ist die Reihe   konvergent, so ist  , wobei   die Menge aller   sei, für die   für alle   gilt. Insbesondere ist   stets ein affiner Unterraum.

Ferner sind für eine Reihe   in einem endlichdimensionalen Raum folgende Aussagen äquivalent:

  • Die Reihe konvergiert absolut.
  • Die Reihe konvergiert unbedingt.
  • Die Reihe konvergiert perfekt.
  • Die Reihe ist teilreihenkonvergent.
  •   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

Bearbeiten

Die Frage nach der Struktur der Summenmenge in unendlichdimensionalen Räumen wurde erstmals 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.[1]

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.[2]

Weitere negative Aussagen

Bearbeiten

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   ein unendlichdimensionaler Banachraum. Weiter seien   mit  . Dann gibt es eine unbedingt konvergente Reihe   mit   für alle n.

Wählt man speziell  , so liefert dieser Satz die Existenz einer unbedingt konvergenten Reihe, deren Summanden die Norm   haben. Diese Reihe ist daher nicht absolut konvergent.

Positive Ergebnisse

Bearbeiten

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 sowohl zur perfekten Konvergenz als auch zur Teilreihenkonvergenz äquivalent. 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   eine konvergente Reihe in Lp[0,1] ,  , und es sei  . Dann ist  .
  • D. V. Pecherskii (1988): Sei   eine konvergente Reihe in einem Banachraum. Zu jeder Umordnung   gebe es  , so dass   konvergiert. Dann ist  .

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   eine konvergente Reihe in einem metrisierbaren, nuklearen Raum. Dann ist  .
  • 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-3-7643-5401-5.
  • 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 Banach Spaces. Teor. Funktsii Funktional. Anal. i Prilozhen 46 (1986), 77–85.

Einzelnachweise

Bearbeiten
  1. Volodymyr Kadets: Series in Banach Spaces - Conditional and Unconditional Convergence. 1. Auflage. Birkhäuser, Basel 1997, ISBN 978-3-7643-5401-5, S. 30.
  2. Volodymyr Kadets: Series in Banach Spaces - Conditional and Unconditional Convergence. 1. Auflage. Birkhäuser, Basel 1997, ISBN 978-3-7643-5401-5, S. 32 ff.