##  [Baire-Kategorie-Satz](/de/node/62213) 

 Definition

Der Satz besagt, dass vollständige metrische Räume und lokal kompakte Hausdorff-Räume Baire-Räume sind: Der abzählbare Durchschnitt dichter offener Mengen ist dicht (äquivalent: nichtleere offene Mengen sind nicht mager).

 

 

 

 

 

 





## Prinzip

Prinzip

Vollständigkeit oder lokale Kompaktheit verhindert, dass der Raum eine abzählbare Vereinigung von randlosen (nirgends dichten) Mengen ist; die kategoriale Großheitsidee zwingt generische Mengen (abzählbare Schnitte dichter Offener) dazu, dicht zu bleiben.

 

 

 

 

 





## Demonstration

Demonstration

Im vollständigen metrischen Raum R ist der Schnitt abzählbar vieler dichter offener Mengen (z. B. Mengen mit generischen Eigenschaften von Funktionen) dicht; praktisch zeigt man so, dass typische stetige Funktionen bestimmte Eigenschaften besitzen.

 

 

 

 

## Fehlanwendung

Fehlanwendung

Maßtheoretische 'fast überall'-Aussagen mit kategorialen 'generisch'-Aussagen gleichsetzen oder annehmen, jeder topologische Raum sei ein Baire-Raum; den Satz auf unvollständige metrische Räume ohne lokale Kompaktheit anzuwenden ist falsch.

 

 

 

 

 





## Konsequenz

Konsequenz

Stellt sicher, dass viele wünschenswerte Eigenschaften generisch sind (auf einer dichten G-delta-Menge gelten) in Funktionsräumen und vollständigen Umgebungen und stützt Existenzbeweise sowie typische-Verhaltens-Argumente in Analysis und Dynamik.

 

 

 

 

## Umkehrung

Umkehrung

Die Gegenposition ist ein magerer Raum (eine abzählbare Vereinigung nirgendwo dichter Mengen), was das Fehlen generischer Großheit zeigt; solche Beispiele treten in gewissen pathologischen Unterräumen oder gezielt konstruierten Vereinigungen auf.

 

 

 

 

 





## Abgrenzung

Abgrenzung

Gilt unter Vollständigkeit (vollständige metrische Räume) oder lokal kompakt + Hausdorff; kann in allgemeinen metrischen oder topologischen Räumen versagen, und das Verhalten von Produkten oder in unendlichen Dimensionen erschwert direkte Anwendungen.

 

 

 

 

 





## Semantische Spannung

Semantische Spannung

Es besteht Spannung zwischen Kategorie- und Maßbegriffen von 'Großheit': Kategorie-große (comeager) Mengen können von maßtheoretisch großen Mengen abweichen, was zu unterschiedlichen Auffassungen von Typicalität führt.

 

 

 

 

 





## Synthese

Synthese

Der Baire-Kategorie-Satz besagt, dass in vollständigen metrischen bzw. lokal kompakten Hausdorff-Räumen kategoriale Großheit unter abzählbaren Schnitten erhalten bleibt, wodurch generische Eigenschaften robust werden und starke Existenzargumente möglich sind.