Basisfolge

Basisfolgen werden im mathematischen Teilgebiet der Funktionalanalysis zur Untersuchung von Banachräumen herangezogen. Es handelt sich dabei um Folgen, die eine Schauderbasis in dem von ihnen erzeugten Unterraum sind. Nicht jeder separable Banachraum hat eine Schauderbasis, aber es gibt stets Basisfolgen.

Definition

Eine Folge <math>(x_n)_{n\in \N}</math> in einem Banachraum <math>X</math> heißt eine Basisfolge, wenn <math>(x_n)_{n\in \N}</math> eine Schauderbasis in <math>[(x_n)_{n\in \N}]</math> ist, das heißt in der abgeschlossenen, linearen Hülle der Elemente <math>x_n</math>. Die Basisfolge heißt normalisiert, wenn alle <math>x_n</math> die Norm 1 haben.

Zwei Basisfolgen <math>(x_n)_{n\in \N}</math> und <math>(y_n)_{n\in \N}</math> in Banachräumen <math>X</math> bzw. <math>Y</math> heißen äquivalent, wenn für jede Folge <math>(\alpha_n)_{n\in \N}</math> von Skalaren die Reihe <math>\textstyle \sum_{n=1}^\infty \alpha_n x_n</math> genau dann in <math>X</math> konvergiert, wenn <math>\textstyle \sum_{n=1}^\infty \alpha_n y_n</math> in <math>Y</math> konvergiert. Das ist genau dann der Fall, wenn es einen Banachraum-Isomorphismus <math>T: [(x_n)_{n\in \N}] \rightarrow [(y_n)_{n\in \N}]</math> gibt mit <math>Tx_n=y_n</math> für alle <math>n\in \N</math>.<ref>F. Albiac, N. J. Kalton: Topics in Banach Space Theory: Springer-Verlag (2006), ISBN 978-0-387-28142-1, Definitionen 1.1.8 und 1.3.1</ref>

Zwei Basisfolgen <math>(x_n)_{n\in \N}</math> und <math>(y_n)_{n\in \N}</math> in Banachräumen <math>X</math> bzw. <math>Y</math> heißen kongruent, falls es einen Banachraum-Isomorphismus <math>T: X \rightarrow Y</math> gibt mit <math>Tx_n=y_n</math> für alle <math>n\in \N</math>.<ref>F. Albiac, N. J. Kalton: Topics in Banach Space Theory: Springer-Verlag (2006), ISBN 978-0-387-28142-1, Definition 1.3.8</ref> Offenbar sind kongruente Basisfolgen äquivalent, die Umkehrung dieser Aussage scheitert daran, dass man einen Banachraum-Isomorphismus <math>T: [(x_n)_{n\in \N}] \rightarrow [(y_n)_{n\in \N}]</math> im Allgemeinen nicht zu einem solchen von <math>X</math> auf <math>Y</math> fortsetzen kann.

Beispiele

• Jede Schauderbasis in einem Banachraum ist eine Basisfolge, zum Beispiel die kanonischen Basen in den Folgenräumen <math>\ell^p</math> oder das Haar-System in den Räumen L^p([0,1]), wobei <math>1\le p < \infty</math>.
• Die Folge der Rademacherfunktionen ist in jedem Raum L^p([0,1]), <math>1\le p < \infty</math>, eine Basisfolge, die äquivalent zur kanonischen Basis in <math>\ell^2</math> ist, wie sich leicht aus der Chintschin-Ungleichung ergibt.

Das Grinblum-Kriterium

Das nach dem russischen Mathematiker Maximilian Michailowitsch Grinblum benannte Grinblum-Kriterium entscheidet für eine vorgelegte Folge in einem Banachraum, ob es sich um eine Basisfolge handelt. Demnach ist <math>(x_n)_{n\in \N}</math> genau dann eine Basisfolge in <math>X</math>, wenn alle <math>x_n</math> von 0 verschieden sind und es eine Konstante <math>K>0</math> gibt mit

<math>\left\|\sum_{k=1}^m \alpha_k x_k \right\| \, \le \, K\, \left\|\sum_{k=1}^n \alpha_k x_k \right\|</math>

für jede Folge <math>(\alpha_k)_{k\in \N}</math> von Skalaren und natürlichen Zahlen <math>m,n</math> mit <math>m\le n</math>.<ref>M. M. Grinblum: Некоторые теоремы о базисе в пространстве типа (B) (Einige Sätze über Basen in Räumen vom Typ (B)), C. R. Dokl. Akad. Sci. URSS (1941), Band 31, Seiten 428–432</ref><ref>F. Albiac, N. J. Kalton: Topics in Banach Space Theory: Springer-Verlag (2006), ISBN 978-0-387-28142-1, Satz 1.1.9</ref>

Das kleinste <math>K</math>, das obige Ungleichung für alle Skalare <math>\alpha_k</math> und <math>m<n</math> erfüllt, heißt Basiskonstante der Basisfolge. Das ist nichts anderes als die Basiskonstante der Schauderbasis <math>(x_n)_{n\in \N}</math> im Banachraum <math>[(x_n)_{n\in \N}]</math>.

Existenz von Basisfolgen

Das Auswahlprinzip von Bessaga-Pelczynski besagt, dass in einem unendlichdimensionalen Banachraum jede Folge <math>(x_n)_{n\in \N}</math> mit <math>\|x_n\|=1</math> für alle <math>n\in \N</math>, die schwach gegen 0 konvergiert, eine Teilfolge enthält, die Basisfolge ist. Daraus folgt insbesondere

• Jeder unendlichdimensionale Banachraum enthält einen abgeschlossenen Unterraum, der eine Schauderbasis hat.<ref>Joseph Diestel: Sequences and series in Banach spaces, Springer-Verlag (1984), ISBN 0-387-90859-5, Kapitel V: Basic Sequences</ref>

Es stellt sich sofort die Frage, ob jeder unendlichdimensionale Banachraum sogar einen abgeschlossenen Unterraum mit unbedingter Schauderbasis besitzt. Dieses Problem war lange offen, bis William Timothy Gowers und Bernard Maurey 1993 ein negatives Beispiel vorlegten.<ref>W. T. Gowers, B. Maurey: The unconditional basic sequence problem, J. Amer. Math. Soc. (1993), Band 6, Seiten 851–874</ref>

Blockbasisfolgen

Es sei <math>(x_n)_{n\in \N}</math> Schauderbasis eines Banachraums <math>X</math>. Eine Blockbasisfolge von <math>(x_n)_{n\in \N}</math> ist eine Folge <math>(u_n)_{n\in \N}</math> von Vektoren <math>u_n \not= 0</math> mit

<math>u_n = \sum_{k=p_{n-1}+1}^{p_n} \alpha_k x_k</math>   wobei <math>0=p_0 < p_1 < p_2 < \ldots, \quad \alpha_k \in \R</math>.

Die <math>u_n</math> entstehen demnach aus <math>(x_n)_{n\in \N}</math> durch Bildung von Blöcken, woher der Name Blockbasisfolge rührt. Zudem kann man zeigen, dass <math>(u_n)_{n\in \N}</math> tatsächlich eine Basisfolge ist, deren Konstante nicht größer als die Basiskonstante von <math>(x_n)_{n\in \N}</math> ist.<ref>F. Albiac, N. J. Kalton: Topics in Banach Space Theory: Springer-Verlag (2006), ISBN 978-0-387-28142-1, Definition 1.3.4 und Lemma 1.3.5</ref>

Dies ist eine wichtige Methode, aus gegebenen Basisfolgen durch Blockbildung neue zu gewinnen. Man kann zeigen, dass die aus den kanonischen Basen von <math>c_0</math> oder <math>\ell^p</math> gebildeten normalisierten Blockbasisfolgen zur Ausgangsbasis äquivalent sind. Das führt zu bedeutenden Konsequenzen über die Struktur dieser Folgenräume.<ref>F. Albiac, N. J. Kalton: Topics in Banach Space Theory: Springer-Verlag (2006), ISBN 978-0-387-28142-1, Kapitel 2: The Classical Sequence Spaces</ref>

Einzelnachweise

<references />