Satz von Baire

Grundlage von Beweisen aus der Maßtheorie
(Weitergeleitet von Kategoriensatz von Baire)

Der Satz von Baire, auch Bairescher Kategoriensatz[1], Satz von Baire-Hausdorff[2] oder einfach Kategoriensatz genannt, ist ein Lehrsatz aus der Mathematik. Er wird in der Literatur in verschiedenen Versionen formuliert und enthält im Kern eine topologische Aussage.[1][3] Diese Aussage ist in verschiedenen angrenzenden Teilgebieten der Mathematik wie der deskriptiven Mengenlehre, der Maßtheorie und der Funktionalanalysis von erheblicher Bedeutung. So lassen sich der Satz von Banach-Steinhaus, das Prinzip der gleichmäßigen Beschränktheit und der Satz über die offene Abbildung aus dem Satz von Baire ableiten.[4] Die Benennung als „Kategoriensatz“ beruht auf der Tatsache, dass für die Formulierung des Satzes spezielle Mengen verwendet werden, die als Mengen erster und Mengen zweiter Kategorie bezeichnet werden. Es besteht kein direkter Bezug zur Kategorientheorie.

Die ersten Versionen des Satzes stammen von William Fogg Osgood (1897 Herleitung für den Spezialfall der reellen Achse ) und von René Louis Baire (1899 Herleitung für den Spezialfall des euklidischen Raumes ).[5] Eine allgemeinere Version wurde von Felix Hausdorff im Jahr 1914 gezeigt.[2]

Vorbemerkung

Bearbeiten

Zur Formulierung des Satzes von Baire sind einige Begriffe notwendig. Sie werden folgend kurz definiert, eine detaillierte Ausführung mit Beispielen und Bemerkungen findet sich in den entsprechenden Hauptartikeln.

  • Eine Menge heißt nirgends dicht, wenn das Innere ihres Abschlusses leer ist.
  • Eine Menge heißt eine magere Menge, wenn sie eine abzählbare Vereinigung von nirgends dichten Mengen ist. Magere Mengen werden auch synonym Mengen erster (Baire-)Kategorie genannt.
  • Eine Menge heißt eine fette Menge, wenn sie nicht mager ist. Fette Mengen werden auch synonym Mengen zweiter (Baire-)Kategorie genannt.
  • Eine Menge heißt eine komagere Menge, wenn sie das Komplement einer mageren Menge ist. Komagere Mengen werden auch synonym residuelle Mengen genannt.

Anm.: In Klammern sind gleichwertige Aussagen mit alternativen Formulierungen durch die oben aufgeführten Begriffe zu finden.

Sei   ein vollständiger metrischer Raum. Dann gelten die folgenden vier (äquivalenten) Aussagen[6] und werden als Satz von Baire bezeichnet:

  • Der Schnitt von abzählbar vielen dichten, offenen Mengen ist wieder dicht.[7]
  • Jede offene, nichtleere Teilmenge ist fett. (Jede offene, nichtleere Menge ist von zweiter Kategorie.)[8]
  • Das Komplement einer mageren Mengen ist dicht in  . (Jede komagere Menge in   ist dicht in  .)[9]
  • Jede Vereinigung von abzählbar vielen abgeschlossenen Mengen ohne innere Punkte hat keinen inneren Punkt.

Teils wird auch die folgende, schwächere Aussage als Satz von Baire bezeichnet:[10][11]

  • Ist   ein nichtleerer vollständiger metrischer Raum und sind   abgeschlossene Mengen, die   überdecken, so existiert ein  , so dass   ein nichtleeres Inneres besitzt. (Ein nichtleerer vollständiger metrischer Raum ist von zweiter Kategorie in sich.)

Allgemeiner wird die folgende Aussage als Satz von Baire bezeichnet:

Anwendungen

Bearbeiten

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

Existenz nirgends differenzierbarer Funktionen

Bearbeiten

Auf   existieren stetige Funktionen, die an keiner Stelle differenzierbar sind. Um dies zu sehen, setzt man für  

 

Versieht man den Vektorraum   mit der Supremumsnorm, so kann man zeigen, dass   offen und dicht im   liegt. Aufgrund des Satzes von Baire weiß man, dass der Raum   dicht in   liegt. Die Funktionen in   sind stetig und an keiner Stelle differenzierbar.

Basis eines Banachraums

Bearbeiten

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   des Banachraumes  . Sei  . Dann gilt:

  • als endlichdimensionale Vektorräume sind die   abgeschlossen,
  • ihre Vereinigung ergibt den ganzen Raum:  .

Nach dem Satz von Baire muss einer der   eine Kugel enthalten. Ein Untervektorraum, der eine Kugel enthält, ist aber immer der ganze Raum. Dadurch würde   zu einem endlichdimensionalen Raum, was zu einem Widerspruch führt.

Abzählbare lokalkompakte topologische Gruppen

Bearbeiten

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

Bearbeiten

In der Maßtheorie wird gezeigt, dass sich der Raum  , 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   magere Mengen gibt, die keine Nullmengen sind, und umgekehrt.

Einzelnachweise

Bearbeiten
  1. a b Dirk Werner: Funktionalanalysis. 7., korrigierte und erweiterte Auflage. Springer-Verlag, Heidelberg Dordrecht London New York 2011, ISBN 978-3-642-21016-7, S. 139, doi:10.1007/978-3-642-21017-4.
  2. a b Winfried Kaballo: Grundkurs Funktionalanalysis. 1. Auflage. Spektrum Akademischer Verlag, Heidelberg 2011, ISBN 978-3-8274-2149-4, S. 144–145.
  3. Boto von Querenburg: Mengentheoretische Topologie. 3. Auflage. Springer-Verlag, Berlin Heidelberg New York 2001, ISBN 978-3-540-67790-1, S. 174–176, doi:10.1007/978-3-642-56860-2.
  4. Hans Wilhelm Alt: Lineare Funktionalanalysis. 6. Auflage. Springer-Verlag, Berlin Heidelberg 2012, ISBN 978-3-642-22260-3, S. 229–333, doi:10.1007/978-3-642-22261-0.
  5. Bourbaki: Elements of Mathematics. General Topology. Part 2. 1966, S. 193–194, 272–273.
  6. a b Boto von Querenburg: Mengentheoretische Topologie. 3. Auflage. Springer-Verlag, Berlin Heidelberg New York 2001, ISBN 978-3-540-67790-1, S. 173–174, doi:10.1007/978-3-642-56860-2.
  7. Manfred Dobrowolski: Angewandte Funktionalanalysis. Funktionalanalysis, Sobolev-Räume und elliptische Differentialgleichungen. 2., korrigierte und überarbeitete Auflage. Springer-Verlag, Berlin/Heidelberg 2010, ISBN 978-3-642-15268-9, S. 43, doi:10.1007/978-3-642-15269-6.
  8. Winfried Kaballo: Grundkurs Funktionalanalysis. 1. Auflage. Spektrum Akademischer Verlag, Heidelberg 2011, ISBN 978-3-8274-2149-4, S. 145.
  9. Dirk Werner: Funktionalanalysis. 7., korrigierte und erweiterte Auflage. Springer-Verlag, Heidelberg Dordrecht London New York 2011, ISBN 978-3-642-21016-7, S. 140, doi:10.1007/978-3-642-21017-4.
  10. Hans Wilhelm Alt: Lineare Funktionalanalysis. 6. Auflage. Springer-Verlag, Berlin Heidelberg 2012, ISBN 978-3-642-22260-3, S. 229, doi:10.1007/978-3-642-22261-0.
  11. Dirk Werner: Funktionalanalysis. 7., korrigierte und erweiterte Auflage. Springer-Verlag, Heidelberg Dordrecht London New York 2011, ISBN 978-3-642-21016-7, S. 141, doi:10.1007/978-3-642-21017-4.
  12. 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

Bearbeiten
  • 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.