Satz von Dvoretzky-Rogers

Der Satz von Dvoretzky-Rogers, nach Aryeh Dvoretzky und Claude Ambrose Rogers, ist ein Satz aus dem mathematischen Teilgebiet der Funktionalanalysis, der sich mit dem Konvergenzverhalten von Reihen in Banachräumen befasst.

Lemma von Dvoretzky-Rogers

Wir beginnen mit einem Lemma über endlichdimensionale normierte Räume, das die Existenz einer Basis sichert, bezüglich der eine Abschätzung gegen die euklidische Norm der Koeffizienten besteht:

• Lemma von Dvoretzky-Rogers: In einem $n$-dimensionalen normierten Raum $E$ gibt es Vektoren $x_{1},\ldots ,x_{n}\in E$ mit Norm 1, so dass für $1\leq m\leq n$ und alle Koeffizienten $t_{1},\ldots ,t_{m}\in \mathbb {R}$ die folgende Ungleichung gilt:

$\left\|\sum _{i=1}^{m}t_{i}x_{i}\right\|\leq \left(1+{\sqrt {\frac {m(m-1)}{n}}}\right)\cdot {\sqrt {\sum _{i=1}^{m}t_{i}^{2}}}$.

Die Güte der Abschätzung hängt von der Anzahl $m$ der Summanden ab, ist ungünstigstenfalls gleich $1+{\sqrt {n-1}}$ und damit dimensionsabhängig. Will man von der Dimension unabhängig sein, so muss man die Anzahl der Summanden einschränken, wie dies im folgenden Korollar, das der wesentliche Bestandteil des Beweises zum Satz von Dvoretzky-Rogers ist, geschieht:

• Korollar: Ist $n\geq m(m-1)$, so gibt es in jedem $n$-dimensionalen normierten Raum $E$ Vektoren $x_{1},\ldots ,x_{m}\in E$ mit Norm 1, so dass für alle Koeffizienten $t_{1},\ldots ,t_{m}\in \mathbb {R}$ folgende Ungleichung gilt:

$\left\|\sum _{i=1}^{m}t_{i}x_{i}\right\|\leq 2\cdot {\sqrt {\sum _{i=1}^{m}t_{i}^{2}}}$.

Satz von Dvoretzky-Rogers

• Sei $E$ ein unendlichdimensionaler Banachraum und $(a_{n})_{n}$ eine Folge positiver Zahlen mit $\Sigma _{n}a_{n}^{2}<\infty$. Dann existiert eine Folge $(x_{n})_{n}$ von Vektoren aus $E$ mit $\|x_{n}\|=a_{n}$, so dass die Reihe $\Sigma _{n}x_{n}$ unbedingt konvergiert.

Zum Beweis verschafft man sich eine geeignete Folge endlichdimensionaler Teilräume, aus denen man mit Hilfe obigen Korollars zum Lemma von Dvoretzky-Rogers die gesuchten Vektoren auswählt.

Anwendungen

Eine Charakterisierung endlichdimensionaler Räume

Nach dem Satz von Dvoretzky-Rogers gibt es in jedem unendlichdimensionalen Banachraum eine Folge $(x_{n})_{n}$ mit $\textstyle \|x_{n}\|={\frac {1}{n}}$, so dass die Reihe $\Sigma _{n}x_{n}$ unbedingt konvergiert, denn bekanntlich gilt $\textstyle \Sigma _{n}{\frac {1}{n^{2}}}<\infty$. Da $\Sigma _{n}\|x_{n}\|$ divergiert (siehe Harmonische Reihe), ist die Reihe nicht absolut konvergent. Also enthält jeder unendlichdimensionale Banachraum eine unbedingt konvergente Reihe, die nicht absolut konvergiert. Da unbedingt und absolut konvergente Reihen in endlichdimensionalen Räumen nach dem steinitzschen Umordnungssatz zusammenfallen, erhält man folgende Charakterisierung der endlichdimensionalen Räume, die manchmal auch als Satz von Dvoretzky-Rogers bezeichnet wird.

• Ein Banachraum ist genau dann endlichdimensional, wenn jede unbedingt konvergente Reihe auch absolut konvergiert.

Ein Satz von Orlicz

Nach einem Satz von Władysław Orlicz gilt für jede unbedingt konvergente Reihe $\Sigma _{n}x_{n}$ in L^p[0,1] , $1\leq p<\infty$, dass $\Sigma _{n}\|x_{n}\|^{r}<\infty$, wobei $r:=\max(2,p)$. Daher kann eine Reihe $\Sigma _{n}x_{n}$ mit $\Sigma _{n}\|x_{n}\|^{2}=\infty$ in L²[0,1] nicht unbedingt konvergent sein. Dies zeigt, dass sich die Voraussetzung im Satz von Dvoretzky-Rogers nicht abschwächen lässt, denn in diesem Fall ist die Bedingung sogar notwendig. Umgekehrt zeigt der Satz von Dvoretzky-Rogers, dass die zunächst unnatürlich erscheinende Einschränkung auf Exponenten $\geq 2$ in obigem Satz von Orlicz unumgänglich ist, denn es gilt:

• Folgt in einem unendlichdimensionalen Banachraum aus der unbedingten Konvergenz einer Reihe $\Sigma _{n}x_{n}$ stets $\Sigma _{n}\|x_{n}\|^{r}<\infty$ für ein festes $r$, so gilt $r\geq 2$.

Ist nämlich $(a_{n})_{n}$ im Folgenraum $\ell ^{2}$, so gibt es nach dem Satz von Dvoretzky-Rogers eine unbedingt konvergente Reihe $\Sigma _{n}x_{n}$ mit $\|x_{n}\|=|a_{n}|$ für alle $n$, und für diese Reihe gilt nach Voraussetzung $\Sigma _{n}|a_{n}|^{r}=\Sigma _{n}\|x_{n}\|^{r}<\infty$. Damit ist $\ell ^{2}\subset \ell ^{r}$ gezeigt, und das bedeutet $2\leq r$.

Quellen

• A. Dvoretzky and C.A. Rogers: Absolute and unconditional convergence in normed linear spaces, Proc. Nat. Acad. Sci. U.S.A. 36 (1950), 192–197
• 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.