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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 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 bezeichnet man mit $C(K)$ den Banachraum der stetigen Funktionen von $K$ nach $\mathbb {R}$ mit der Supremumsnorm $\|\cdot \|_{\infty }$.

Erste Version

In der ersten Version des Satzes von Banach-Mazur ist $K$ das Cantor’sche Diskontinuum $\Delta$:

Zu jedem separablen Banachraum $E$ gibt es einen isometrischen linearen Operator von $E$ nach $C(\Delta )$.

Die folgende Beweisskizze zeigt, wie man solche Isometrien finden kann. Es sei $E_{1}'$ 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 \colon \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\colon 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 \,$.

Zweite Version

Als Folgerung erhält man die folgende Version:

Zu jedem separablen Banachraum $E$ gibt es einen isometrischen, linearen Operator von $E$ nach $C([0,1])$.

Zu jedem $f\in C(\Delta )$ definiert man ${\tilde {f}}\colon [0,1]\rightarrow \mathbb {R}$ als diejenige stetige Funktion, die auf $\Delta$ mit $f$ übereinstimmt und auf den Intervallen aus $[0,1]\setminus \Delta$ linear ist. Die Abbildung $f\mapsto {\tilde {f}}$ definiert dann eine isometrische Einbettung von $C(\Delta )$ nach $C([0,1])$ und die Behauptung folgt aus der obigen ersten Version des Satzes von Banach-Mazur.

Bemerkungen

• Zusammen mit der Tatsache, dass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle C([0,1])} erhalten. Aus demselben Grunde kann sich die Approximationseigenschaft nicht auf Teilräume vererben.

• Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \ell^1} ist.

• Aleksander Pełczyński hat 1962 gezeigt, dass folgende Aussagen über einen separablen Banachraum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E} äquivalent sind:

1. Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E} ist ein universeller separabler Banachraum bezüglich Unterraum-Bildung.
2. Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E} enthält einen zu Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle C(\Delta)} isometrisch isomorphen Unterraum.
3. Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E} enthält einen zu Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle C([0,1])} isometrisch isomorphen Unterraum.
4. Es gibt Elemente Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x_{n,k}\in E} für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n\in\N} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle k=0,1,\ldots 2^n-1} , so dass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x_{n,k}\,=\,x_{n+1,2k}+x_{n+1,2k+1}} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \left\|\sum_{k=0}^{2^n-1}t_k x_{n,k} \right\| = \max_{k=0,\ldots 2^n-1}\left|t_k\right|} für alle Skalare Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 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; PDF; 761 kB)
• 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