Satz von Banach-Mazur

Der Satz von Banach-Mazur aus dem Jahre 1933, benannt nach Stefan Banach und Stanisław Mazur, ist ein klassischer Satz aus dem Teilgebiet der Funktionalanalysis. Unter den separablen Banachräumen gibt es welche, die eine Kopie jedes anderen separablen Banachraums enthalten. Der Banachraum C([0,1]) der stetigen Funktionen $[0,1]\rightarrow {\mathbb R}$ mit der Supremumsnorm ist ein solcher universeller Banachraum.

Formulierung des Satzes

Ist K ein kompakter Raum, so sei C(K) der Banachraum der stetigen Funktionen $K\rightarrow {\mathbb R}$ mit der Supremumsnorm $\|\cdot\|_\infty$. Nimmt man für K das Cantor'sche Diskontinuum Δ, so erhält man bereits einen separablen Banachraum, der eine isometrische Kopie eines jeden separablen Banachraums enthält.

• Satz von Banach-Mazur: Zu jedem separablen Banachraum E gibt es einen isometrischen linearen Operator $E\rightarrow C(\Delta)$.

Die folgende Beweisskizze zeigt, wie man solche Isometrien finden kann. Es sei E₁' die Einheitskugel im Dualraum von E. Diese ist nach dem Satz von Banach-Alaoglu kompakt bezüglich der schwach-*-Topologie und wegen der Separabilität sogar metrisierbar. Dann gibt es eine stetige, surjektive Abbildung $\phi:\Delta\rightarrow E_1'$, denn nach einem Resultat aus der Topologie ist jeder kompakte metrisierbare Raum ein stetiges Bild des Cantor'schen Diskontinuums. Definiert man nun $T:E\rightarrow C(\Delta)$ durch $Tx(\delta) := \phi(\delta)(x), x\in E, \delta\in \Delta$, so ist T offenbar linear und wegen $\|Tx\|_\infty := \sup_{\delta\in\Delta}|Tx(\delta)| = \sup_{\delta\in\Delta}|\phi(\delta)(x)| = \sup_{f\in E_1'}|f(x)| = \|x\|$ auch isometrisch, wobei die letzte Gleichheit aus dem Satz von Hahn-Banach folgt und die vorletzte aus der Surjektivität von $\phi\,$.

Daraus ergibt sich nun leicht das folgende Korollar, das ebenfalls als Satz von Banach-Mazur bezeichnet wird.

• Korollar: Zu jedem separablen Banachraum E gibt es einen isometrischen, linearen Operator $E\rightarrow C([0,1])$.

Zu jedem $f\in C(\Delta)$ definiere $\tilde{f}:[0,1]\rightarrow \R$ als diejenige stetige Funktion, so dass $\tilde{f}|_\Delta = f$ und $\tilde{f}$ auf den Intervallen aus $[0,1]\setminus \Delta$ linear ist. Die Abbildung $f\mapsto\tilde{f}$ definiert dann eine isometrische Einbettung $C(\Delta)\to C([0,1])$ und die Behauptung folgt aus obigem Satz von Banach-Mazur.

Bemerkungen

• Zusammen mit der Tatsache, dass C([0,1]) eine Schauderbasis besitzt, gibt es Anwendungen in der Theorie der Basisfolgen in separablen Banachräumen; Beispiele dazu finden sich im unten angegebene Buch von Terry J. Morrison.

• Die Eigenschaft, eine Schauderbasis zu haben, vererbt sich nicht auf Teilräume, denn C([0,1]) hat bekanntlich eine Schauderbasis und es gibt separable Banachräume ohne Schauderbasis, und solche kann man nach dem Satz von Banach-Mazur als Unterräume von C([0,1]) erhalten. Aus demselben Grunde kann sich die Approximationseigenschaft nicht auf Teilräume vererben.

• C([0,1]) ist ein universeller separabler Banachraum bezüglich Unterraum-Bildung in der Klasse aller separablen Banachräume, das ist gerade der Inhalt des Satzes von Banach-Mazur. Es gibt auch universelle separable Banachräume bezüglich der Quotientenbildung: Man kann zeigen, dass jeder separable Banachraum isometrisch isomorph zu einem Quotienten des Folgenraums $\ell^1$ ist.

• Aleksander Pełczyński hat 1962 gezeigt, dass folgende Aussagen über einen separablen Banachraum E äquivalent sind:

1. E ist ein universeller separabler Banachraum bezüglich Unterraum-Bildung.
2. E enthält einen zu C(Δ) isometrisch isomorphen Unterraum.
3. E enthält einen zu C([0,1]) isometrisch isomorphen Unterraum.
4. Es gibt Elemente $x_{n,k}\in E$ für $n\in\N$ und $k=0,1,\ldots 2^n-1$, so dass $x_{n,k}\,=\,x_{n+1,2k}+x_{n+1,2k+1}$ und $\|\sum_{k=0}^{2^n-1}t_k x_{n,k} \| = \max_{k=0,\ldots 2^n-1}|t_k|$ für alle Skalare $t_k \in \R$ gilt.

Quellen

• S. Banach, S. Mazur: Zur Theorie der linearen Dimension, Studia Mathematica (1933), Band 4, Seiten 100-112
• A. Pełczyński: Über die Universalität einiger Banachräume (russisch), Vestnik Leningrad. Univ. Ser. Mat. Meh. Astr. 13 (1962), Seiten 22-29 (deutsche Übersetzung)
• P. Wojtaszczyk: Banach spaces for analysts, Cambridge Studies in Advanced Mathematics 25 (1991)
• Terry J. Morrison: Functional Analysis, An Introduction to Banach Space Theory, Wiley-Verlag (2001) ISBN 0471372145