Satz von Baire

Der Satz von Baire, auch als bairescher Kategoriensatz bezeichnet, gilt für eine Vielzahl topologischer Räume, die in verschiedenen Teilgebieten der Mathematik, wie der Maßtheorie und der Funktionalanalysis verwendet werden. In seiner klassischen Fassung sagt er aus, dass sich vollständige metrische Räume nicht als abzählbare Vereinigung von mageren Mengen darstellen lassen. Der Begriff der mageren Menge verallgemeinert dabei den Begriff der nirgends dichten Menge.

Der Satz wurde 1899 von René Louis Baire für den Spezialfall des euklidischen Raumes \mathbb{R}^n bewiesen. Der vorliegende Artikel enthält die genannte klassische Kernaussage des baireschen Satzes, erläutert die baireschen Kategorien („magere“ und „fette“ Mengen) und geht schließlich auf moderne Verallgemeinerungen des Satzes ein.

Inhaltsverzeichnis

Bairescher Satz für metrische Räume

  1. Sei \left(X,d\right) ein vollständiger metrischer Raum und (U_n)_{n \in \mathbb{N}} eine Folge offener und dichter Teilmengen von \left.X\right.. Dann ist auch \cap_{n \in \mathbb{N}} \, U_n dicht in \left.X\right..
  2. Sei \left(X,d\right) ein vollständiger metrischer Raum und (A_n)_{n \in \mathbb{N}} eine Folge abgeschlossener Teilmengen von \left.X\right. mit \cup_{n \in \mathbb{N}} \, A_n =  X. Dann gibt es ein n_0 \in \mathbb{N} so, dass A_{n_{0}} eine offene Kugel enthält – mit anderen Worten: die Folge (A_n)_{n \in \mathbb{N}} kann nicht nur aus nirgends dichten Teilmengen bestehen.

Die beiden Formulierungen des Satzes sind äquivalent, man erhält die eine aus der anderen durch Übergang zu Komplementmengen.[1]

Bairesche Kategorien

Definition

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

  • Eine Teilmenge M \subseteq X heißt von 1. Baire-Kategorie (oder mager), falls es eine Folge (M_n)_{n \in \mathbb{N}} von nirgends dichten Teilmengen mit \cup_{n \in \mathbb{N}} \, M_n = M gibt.
  • Falls eine Teilmenge M \subseteq X nicht von 1. Baire-Kategorie ist, dann heißt sie von 2. Baire-Kategorie (oder fett).

Beispiele fetter und magerer Mengen

  • Die Teilmenge \Bbb{Q} der rationalen Zahlen ist mager in \Bbb{R}, die Menge der irrationalen Zahlen \Bbb{R}\setminus\Bbb{Q} ist fett in \Bbb{R}.
  • \Bbb{R} ist fett in \Bbb{R} aber mager in \Bbb{C}.
  • Die Cantormenge ist eine nicht abzählbare, abgeschlossene und nirgends dichte, magere Teilmenge von \Bbb{R}.

Bairescher Kategoriensatz

Mit Hilfe der baireschen Kategorien lässt sich der Satz von Baire für metrische Räume auch so formulieren:

In einem vollständigen metrischen Raum liegt das Komplement einer Menge von 1. Baire-Kategorie dicht und ein nicht-leerer vollständiger metrischer Raum ist in sich selbst von 2. Baire-Kategorie.

Verallgemeinerung: Bairescher Raum

Losgelöst von metrischen Begriffen heißt ein topologischer Raum X bairescher Raum, wenn er eine der folgenden äquivalenten Bedingungen erfüllt:

  1. Die Vereinigung einer abzählbaren Familie abgeschlossener Teilmengen von X ohne innere Punkte hat keinen inneren Punkt.
  2. Der Durchschnitt einer abzählbaren Familie offener, dichter Teilmengen von X ist immer noch dicht in X.
  3. Eine offene, nichtleere Teilmenge von X ist niemals mager.
  4. Das Komplement einer mageren Teilmenge von X ist dicht in X.

Beispiele für bairesche Räume

  1. Jeder vollständige metrische Raum.
  2. Jeder topologische Raum, der zu einem vollständigen metrischen Raum homöomorph ist, also jeder metrisierbare topologische Raum, der bezüglich dieser Metrik vollständig ist.
  3. Jeder lokalkompakte Hausdorffraum.
(Auch die Feststellung, dass die genannten topologischen Räume bairesche Räume sind, wird – etwa in Camps (2006) – als „Satz von Baire“ bezeichnet.)

Anwendungen

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

Existenz nirgends differenzierbarer Funktionen

Auf [0,1] existieren stetige Funktion, die an keiner Stelle differenzierbar sind. Um dies zu sehen setzt man für n \in \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 On 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.

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.

Einzelnachweise

  1. Johann Cigler, Hans-Christian Reichel: Topologie. Eine Grundvorlesung. Bibliographisches Institut, Mannheim u. a. 1978, ISBN 3-411-00121-6 (BI-Hochschultaschenbücher 121), Kapitel 3.5: Der Satz von Baire.
  2. Reinhold Meise, Dietmar Vogt: Einführung in die Funktionalanalysis. Vieweg, Braunschweig u. a. 1992, ISBN 3-528-07262-8, Kapitel 1, § 8: Folgerungen aus dem Satz von Baire.

Literatur

  • Dirk Werner: Funktionalanalysis. 5. erweiterte Auflage. Springer, Berlin u. a. 2005, ISBN 3-540-43586-7.
  • John C. Oxtoby: Measure and Category. A Survey of the Analogies between topological and measure Spaces. 2nd edition. Springer, New York u. a. 1980, ISBN 3-540-90508-1 (Graduate Texts in Mathematics. 2).

Wikimedia Foundation.

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Satz von Banach-Steinhaus — Der Satz von Banach Steinhaus oder das Prinzip der gleichmäßigen Beschränktheit ist eines der fundamentalen Ergebnisse der Funktionalanalysis und bildet zusammen mit dem Satz von Hahn Banach und dem Offenheitssatz einen der Eckpfeiler des Gebiets …   Deutsch Wikipedia

  • Satz von Young (Mengenlehre) — Der Satz von Young (nach William Henry Young) ist eine Aussage aus der deskriptiven Mengenlehre und der Theorie der Funktionen einer reellen Veränderlichen, die die Menge der Unstetigkeitsstellen einer Funktionen beschreibt. Mit Hilfe des Satzes… …   Deutsch Wikipedia

  • Kategoriensatz von Baire — Der Satz von Baire, auch als bairescher Kategoriensatz bezeichnet, gilt für eine Vielzahl topologischer Räume, die in verschiedenen Teilgebieten der Mathematik, wie der Maßtheorie und der Funktionalanalysis verwendet werden. In seiner klassischen …   Deutsch Wikipedia

  • Baire'scher Kategoriensatz — Der Satz von Baire, auch als bairescher Kategoriensatz bezeichnet, gilt für eine Vielzahl topologischer Räume, die in verschiedenen Teilgebieten der Mathematik, wie der Maßtheorie und der Funktionalanalysis verwendet werden. In seiner klassischen …   Deutsch Wikipedia

  • Baire-Kategorie — Bei den Baire Kategorien handelt es sich um die Klassifikation von Teilmengen der Reellen Zahlen, bzw. eines beliebigen metrischen Raumes. Folgende Frage war Ausgangspunkt der Definition: Eine Folge reellwertiger, auf dem Intervall [0,1] stetiger …   Deutsch Wikipedia

  • Satz über die offene Abbildung — Der Satz von der offenen Abbildung, auch als Satz von Banach Schauder bekannt, ist ein grundlegender Satz aus der Funktionalanalysis, einem Teilgebiet der Mathematik. Der Satz ist eine Folgerung aus dem Satz von Baire und wurde 1929 von Stefan… …   Deutsch Wikipedia

  • Bairescher Kategoriensatz — Der Satz von Baire, auch als bairescher Kategoriensatz bezeichnet, gilt für eine Vielzahl topologischer Räume, die in verschiedenen Teilgebieten der Mathematik, wie der Maßtheorie und der Funktionalanalysis verwendet werden. In seiner klassischen …   Deutsch Wikipedia

  • Bairescher Raum — Der Satz von Baire, auch als bairescher Kategoriensatz bezeichnet, gilt für eine Vielzahl topologischer Räume, die in verschiedenen Teilgebieten der Mathematik, wie der Maßtheorie und der Funktionalanalysis verwendet werden. In seiner klassischen …   Deutsch Wikipedia

  • Fette Menge — Der Satz von Baire, auch als bairescher Kategoriensatz bezeichnet, gilt für eine Vielzahl topologischer Räume, die in verschiedenen Teilgebieten der Mathematik, wie der Maßtheorie und der Funktionalanalysis verwendet werden. In seiner klassischen …   Deutsch Wikipedia

  • Magere Menge — Der Satz von Baire, auch als bairescher Kategoriensatz bezeichnet, gilt für eine Vielzahl topologischer Räume, die in verschiedenen Teilgebieten der Mathematik, wie der Maßtheorie und der Funktionalanalysis verwendet werden. In seiner klassischen …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”