Baire-Raum (allgemein)

(Weitergeleitet von Bairescher Raum)

Ein Baire-Raum, auch Baire’scher Raum genannt, ist ein spezieller topologischer Raum in der Topologie, einem Teilgebiet der Mathematik. Baire-Räume sind nach René Louis Baire benannt und besitzen gewisse Regularitätseigenschaften. So sind sie aus topologischer Sicht groß in dem Sinne, dass sie nicht mager sind und demnach nicht als abzählbare Vereinigung nirgends dichter Mengen geschrieben werden können.

In Baire-Räumen gelten viele weitreichende Implikationen, insbesondere für die Funktionalanalysis. So lassen sich der Satz von Banach-Steinhaus, das Prinzip der gleichmäßigen Beschränktheit und der Satz über die offene Abbildung aus der Tatsache ableiten, dass jeder vollständige metrische Raum ein Baire-Raum ist.[1]

Definition

Bearbeiten

Gegeben sei ein topologischer Raum  . Eine Menge heißt nirgends dicht, wenn das Innere ihres Abschlusses leer ist. Des Weiteren heißt eine Menge mager, wenn sie die Vereinigung von abzählbar vielen nirgends dichten Mengen ist.

Der topologische Raum   heißt nun ein Baire-Raum, wenn eine der folgenden äquivalenten Bedingungen erfüllt ist:[2]

(a) Das Komplement jeder mageren Menge ist dicht in  .
(b) Eine nichtleere offene Teilmenge von   ist niemals mager.
(c) Jede Vereinigung von höchstens abzählbar vielen abgeschlossenen Teilmengen von   ohne innere Punkte ist ihrerseits ohne innere Punkte.
(d) Jeder Schnitt von höchstens abzählbar vielen offenen, in   dichten Teilmengen ist wieder dicht in  .

Es existieren auch abweichende Benennungen. So werden Komplemente von mageren Mengen auch komagere Mengen genannt, magere Mengen auch als Mengen erster Kategorie und nicht magere Mengen als Mengen zweiter Kategorie bezeichnet.

Beispiele und Eigenschaften

Bearbeiten

Siehe auch

Bearbeiten

Literatur

Bearbeiten
  • Thorsten Camps, Stefan Kühling, Gerhard Rosenberger: Einführung in die mengentheoretische und die algebraische Topologie (= Berliner Studienreihe zur Mathematik. Band 15). Heldermann Verlag, Lemgo 2006, ISBN 3-88538-115-X, S. 189 ff. (MR2172813).
  • Horst Schubert: Topologie. 4. Auflage. B. G. Teubner Verlag, Stuttgart 1975, ISBN 3-519-12200-6, S. 132 ff. (MR0423277).
  • Stephen Willard: General Topology (= Addison-Wesley Series in Mathematics). Addison-Wesley, Reading MA (u. a.) 1970, S. 185 ff. (MR0264581).
Bearbeiten

Einzelnachweise

Bearbeiten
  1. a b 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.
  2. a b c Boto von Querenburg: Mengentheoretische Topologie. 3. Auflage. Springer-Verlag, Berlin / Heidelberg / New York 2001, ISBN 3-540-67790-9, S. 174–176, doi:10.1007/978-3-642-56860-2.
  3. 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.
  4. Horst Schubert: Topologie. 1975, S. 134
  5. Stephen Willard: General Topology. 1978, S. 186
  6. John C. Oxtoby: Measure and Category. A Survey of the Analogies between topological and measure Spaces (= Graduate Texts in Mathematics. Band 2). 2nd edition Auflage. Springer, New York NY u. a. 1980, ISBN 3-540-90508-1, S. 62 (englisch).