Satz von Baire

Der Satz von Baire, auch als bairescher Kategoriensatz oder als Kategoriensatz bezeichnet, behandelt in der Topologie eine Raumeigenschaft, welche einer Vielzahl topologischer Räume zukommt, insbesondere den reellen Zahlen und den euklidischen Räumen. Diese Eigenschaft ist in verschiedenen angrenzenden Teilgebieten der Mathematik wie der deskriptiven Mengenlehre, der Maßtheorie und der Funktionalanalysis von erheblicher Bedeutung. Ein topologischer Raum, welcher die Voraussetzungen des Satzes von Baire erfüllt, also die Baire-Eigenschaft besitzt, wird auch Baire-Raum oder bairescher Raum genannt. Gewisse Sätze, dass für bestimmte Klassen von topologischen Räumen der Satz von Baire gilt, werden ebenfalls unter dem Satz von Baire subsumiert.

Die ersten Versionen des Satzes stammen von William Fogg Osgood (1897 Herleitung für den Spezialfall der reellen Achse $\mathbb {R}$) und von René Louis Baire (1899 Herleitung für den Spezialfall des euklidischen Raumes $\mathbb {R} ^{n}$).

Formulierung für vollständige metrische Räume

In einem vollständigen metrischen Raum gilt der Satz von Baire, welcher dort besagt:

Von abzählbar vielen abgeschlossenen Teilmengen, deren Vereinigung eine offene Kugel enthält, enthält mindestens eine bereits eine offene Kugel.

Bairesche Kategorien

→ Hauptartikel: Magere Menge

Für allgemeinere Formulierungen und weitere Charakterisierungen sei hier zunächst der Begriff einer mageren Menge eingeführt.

Definition

Sei $\left(X,{\mathcal {O}}\right)$ ein topologischer Raum (insbesondere z. B. ein metrischer Raum).

• Eine Teilmenge $M\subseteq X$ heißt mager oder von 1. (Baire-)Kategorie, falls es eine abzählbare Menge von nirgends dichten Teilmengen von $X$ gibt, deren Vereinigung ganz $M$ ist.
• Falls eine Teilmenge $M\subseteq X$ nicht von 1. Baire-Kategorie bzw. mager ist, dann heißt sie von 2. (Baire-)Kategorie (oder fett).
• Falls das Komplement einer Menge mager ist, heißt sie residuell oder komager.

Beispiele magerer und residueller Mengen

• Die Teilmenge ${\mathbb {Q}}$ der rationalen Zahlen ist mager in ${\mathbb {R}}$, die Menge der irrationalen Zahlen ${\mathbb {R}}\setminus {\mathbb {Q}}$ ist residuell in ${\mathbb {R}}$.
• ${\mathbb {R}}$ ist nicht mager in ${\mathbb {R}}$ aber mager in ${\mathbb {C}}$.
• Die Cantor-Menge ist eine nicht abzählbare, abgeschlossene und nirgends dichte, magere Teilmenge von ${\mathbb {R}}$.
• Jede dichte, offene Teilmenge ist residuell, denn ihr Komplement ist nirgends dicht. Wäre dies nicht der Fall, hätte es als abgeschlossene Menge ein nichtleeres Inneres, womit die gegebene offene Teilmenge nicht dicht sein könnte.

Definition eines baireschen Raumes

Ein topologischer Raum heißt nun genau dann bairesch bzw. erfüllt den Satz von Baire, wenn jede residuelle Teilmenge dicht in dem Raum liegt. Dies impliziert insbesondere, dass der Raum, insofern er nicht leer ist, selbst nicht mager ist, denn sein Komplement ist die leere Menge und diese liegt in keinem nicht-leeren topologischen Raum dicht. Zudem impliziert dies, dass keine residuelle Menge mager ist, denn da auch ihr Komplement mager ist, wäre sonst der ganze Raum als Vereinigung zweier magerer Mengen mager.

Es lässt sich für einen topologischen Raum $X$ die Eigenschaft, ein bairescher Raum zu sein, durch eine der folgenden Bedingungen in äquivalenter Weise charakterisieren:

• Die Vereinigung einer abzählbaren Familie abgeschlossener Teilmengen ohne innere Punkte hat keinen inneren Punkt.
• Der Durchschnitt einer abzählbaren Familie offener, dichter Teilmengen liegt immer noch dicht im Raum $X$.
• Eine offene, nichtleere Teilmenge ist niemals mager.

Beispiele für bairesche Räume

1. Jeder vollständig metrisierbare Raum, insbesondere jeder polnische Raum.
2. Jeder lokalkompakte Hausdorffraum.
3. Jeder offene Unterraum eines baireschen Raums.
4. Jeder topologische Raum ist nach dem Kategoriensatz von Banach bis auf eine magere Menge ein Baire-Raum.

Anwendungen

Der Satz von Baire ermöglicht elegante Beweise zentraler Sätze der klassischen Funktionalanalysis:

• Prinzip der gleichmäßigen Beschränktheit
• Satz von Banach-Steinhaus
• Satz über die offene Abbildung
• Satz von Osgood (Funktionalanalysis)

Existenz nirgends differenzierbarer Funktionen

Auf $[0,1]$ existieren stetige Funktionen, die an keiner Stelle differenzierbar sind. Um dies zu sehen setzt man für $n\in \mathbb {N}$

$O_{n}:=\left(x\in C[0,1]\ \sup _{0<|h|<{\frac {1}{n}}}\left|{\frac {x(t+h)-x(t)}{h}}\right|>n\ \forall t\in [0,1]\right).$

Versieht man den Vektorraum $C([0,1])$ mit der Supremumsnorm, so kann man zeigen, dass $O_{n}$ offen und dicht im $C([0,1])$ liegt. Aufgrund des Satzes von Baire weiß man, dass der Raum $\textstyle D:=\bigcap _{n=1}^{\infty }O_{n}$ dicht in $C([0,1])$ liegt. Die Funktionen in $D$ sind stetig und an keiner Stelle differenzierbar.

Basis eines Banachraums

Eine andere Anwendung des Satzes von Baire zeigt, dass jede Basis eines unendlichdimensionalen Banachraumes überabzählbar ist.

Beweis durch die Gegenannahme, es gäbe eine abzählbare Basis $\left\{b_{n}\right\}_{n\in \mathbb {N} }$ des Banachraumes $\left.V\right.$. Sei $V_{n}:=\mathrm {span} \left\{b_{1},b_{2},\dots ,b_{n}\right\}$. Dann gilt:

• als endlichdimensionale Vektorräume sind die $\left.V_{n}\right.$ abgeschlossen,
• ihre Vereinigung ergibt den ganzen Raum: $\cup _{n\in \mathbb {N} }\,V_{n}=V$.

Nach dem Satz von Baire muss einer der $\left.V_{n}\right.$ eine Kugel enthalten. Ein Untervektorraum, der eine Kugel enthält, ist aber immer der ganze Raum. Dadurch würde $\left.V\right.$ zu einem endlichdimensionalen Raum, was zu einem Widerspruch führt.

Abzählbare lokalkompakte topologische Gruppen

Mit dem Satz von Baire lässt sich zeigen, dass höchstens abzählbare lokalkompakte, hausdorffsche topologische Gruppen diskret sind: Sie sind die Vereinigung höchstens abzählbar vieler einelementiger Mengen. Diese sind abgeschlossen, somit muss nach dem Satz von Baire mindestens eine von ihnen offen sein. Das heißt, es gibt in der Gruppe einen isolierten Punkt, damit sind aber auch alle Punkte isoliert, da topologische Gruppen homogen sind, und die Topologie diskret.

Vergleichbare Begriffsbildungen in der Maßtheorie

In der Maßtheorie wird gezeigt, dass sich der Raum $\mathbb {R} ^{n}$, versehen mit dem Hausdorff- bzw. Lebesgue-Maß nicht als abzählbare Vereinigung von Nullmengen schreiben lässt. Ersetzt man hier den Begriff Nullmenge durch magere Menge, erhält man in diesem Spezialfall die Aussage des baireschen Kategoriensatzes. Die baireschen Kategorien können somit als topologisches Analogon zu Nullmengen bzw. Maßräumen in der Maßtheorie gesehen werden. In der Tat bestehen weitreichende Gemeinsamkeiten. Diese werden in Oxtoby (1980) ausführlich beschrieben. Man beachte aber, dass es im $\mathbb {R} ^{n}$ magere Mengen gibt, die keine Nullmengen sind und umgekehrt.

Literatur

• René Baire: Sur les fonctions de variables réelles. In: Annali di Matematica Pura ed Applicata. Band 3, Nr. 1, 1899, S. 1–123, doi:10.1007/BF02419243. 
• Nicolas Bourbaki: Elements of Mathematics. General Topology. Part 2 (= ADIWES International Series in Mathematics). Addison-Wesley Publishing Company, Reading MA u. a. 1966. 
• William F. Osgood: Non-Uniform Convergence and the Integration of Series Term by Term. In: American Journal of Mathematics. Band 19, Nr. 2, 1897, S. 155–190, doi:10.2307/2369589. 
• John C. Oxtoby: Measure and Category. A Survey of the Analogies between topological and measure Spaces (= Graduate Texts in Mathematics. 2). 2nd edition. Springer, New York NY u. a. 1980, ISBN 3-540-90508-1
• Horst Schubert: Topologie. Eine Einführung. 4. Auflage. B. G. Teubner, Stuttgart 1975, ISBN 3-519-12200-6. 
• Dirk Werner: Funktionalanalysis. 5., erweiterte Auflage. Springer, Berlin u. a. 2005, ISBN 3-540-21381-3.