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

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

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

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

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

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

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

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

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.