Umordnung von Reihen

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.

Inhaltsverzeichnis

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 (xn)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

Der endlichdimensionale Fall wird erschöpfend durch den steinitzschen Umordnungssatz behandelt. Für eine Folge (xn)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 Σxn konvergent, so ist SM((x_n)_n) = \sum_{n=1}^\infty x_n + (\Gamma(x_n)_n)^0, wobei (Γ(xn)n)0 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((xn)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(xn)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 Lp[0,1] , 1 < p < \infty , und es sei \sum_{n=1}^\infty \|x_n\|^{\min(2,p)} < \infty. Dann ist SM((xn)n) = s + Γ((xn)n)0.
  • 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((xn)n) = s + Γ((xn)n)0.

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:

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.

Wikimedia Foundation.

Игры ⚽ Поможем сделать НИР

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Umordnung (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… …   Deutsch Wikipedia

  • Umordnung — 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… …   Deutsch Wikipedia

  • Satz von Komura — Unter einem nuklearen Raum versteht man in der Mathematik eine spezielle Klasse lokalkonvexer Vektorräume. Viele in den Anwendungen wichtige Räume, z. B. Räume differenzierbarer Funktionen, sind nuklear. Während normierte Räume, insbesondere… …   Deutsch Wikipedia

  • Satz von Komura-Komura — Unter einem nuklearen Raum versteht man in der Mathematik eine spezielle Klasse lokalkonvexer Vektorräume. Viele in den Anwendungen wichtige Räume, z. B. Räume differenzierbarer Funktionen, sind nuklear. Während normierte Räume, insbesondere… …   Deutsch Wikipedia

  • Satz von Kōmura-Kōmura — Unter einem nuklearen Raum versteht man in der Mathematik eine spezielle Klasse lokalkonvexer Vektorräume. Viele in den Anwendungen wichtige Räume, z. B. Räume differenzierbarer Funktionen, sind nuklear. Während normierte Räume, insbesondere… …   Deutsch Wikipedia

  • Steinitzscher Umordnungssatz — Der steinitzsche Umordnungssatz (nach Ernst Steinitz) ist ein Satz aus der mathematischen Analysis, der sich mit der Umordnung von Reihen befasst. Während beliebige Umordnungen innerhalb endlicher Summen auf Grund des Kommutativgesetzes und des… …   Deutsch Wikipedia

  • Perfekte Konvergenz — 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… …   Deutsch Wikipedia

  • Absolute Konvergenz — 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… …   Deutsch Wikipedia

  • Alternierende Reihe (Euler) — Eulers alternierende Reihen sind ein mathematisches Paradoxon. Sie befassen sich mit divergenten Reihen, die scheinbar konvergent sind. Des Weiteren stellte Leonhard Euler dabei eine Beziehung zwischen den alternierenden Reihen potenzierter… …   Deutsch Wikipedia

  • Liste mathematischer Sätze — Inhaltsverzeichnis A B C D E F G H I J K L M N O P Q R S T U V W X Y Z A Satz von Abel Ruffini: eine allgemeine Polynomgleichung vom …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”