Satz 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
BearbeitenZur 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.
Aussage
BearbeitenAnm.: 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:
- Jeder vollständig metrisierbare Raum und jeder lokalkompakte Hausdorff-Raum ist ein Baire-Raum[6]
Anwendungen
BearbeitenDer Satz von Baire ermöglicht elegante Beweise zentraler Sätze der klassischen Funktionalanalysis:[12]
- Prinzip der gleichmäßigen Beschränktheit
- Satz von Banach-Steinhaus
- Satz über die offene Abbildung
- Satz von Osgood (Funktionalanalysis)
Existenz nirgends differenzierbarer Funktionen
BearbeitenAuf 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
BearbeitenEine 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
BearbeitenMit 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
BearbeitenIn 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- ↑ Hochspringen nach: 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.
- ↑ Hochspringen nach: a b Winfried Kaballo: Grundkurs Funktionalanalysis. 1. Auflage. Spektrum Akademischer Verlag, Heidelberg 2011, ISBN 978-3-8274-2149-4, S. 144–145.
- ↑ 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.
- ↑ 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.
- ↑ Bourbaki: Elements of Mathematics. General Topology. Part 2. 1966, S. 193–194, 272–273.
- ↑ Hochspringen nach: 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.
- ↑ 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.
- ↑ Winfried Kaballo: Grundkurs Funktionalanalysis. 1. Auflage. Spektrum Akademischer Verlag, Heidelberg 2011, ISBN 978-3-8274-2149-4, S. 145.
- ↑ 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.
- ↑ 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.
- ↑ 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.
- ↑ 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.