Satz aus der Topologie und Funktionalanalysis, der besagt, dass in einem vollständigen metrischen Raum (oder allgemein in einem Baire-Raum) der abzählbare Durchschnitt dichter offener Mengen dicht ist; äquivalent kann der Raum nicht als abzählbare Vereinigung von nirgends dichten Mengen dargestellt werden.

Prinzip

Vollständigkeit erzwingt, dass residuale Mengen (abzählbare Durchschnitte dichter Offener) dicht sind, sodass 'generische' Eigenschaften, die durch dichte G_delta-Mengen beschrieben werden, topologisch typisch sind, auch wenn sie maßtheoretisch klein sein können.

Demonstration

Im vollständigen Raum C[0,1] mit der Supremumsnorm lässt sich die Menge der überall nicht differenzierbaren Funktionen als abzählbarer Durchschnitt dichter offener Mengen konstruieren; nach Baire ist diese Menge daher dicht.

Fehlanwendung

Den Satz auf unvollständige metrische Räume (z. B. die rationalen Zahlen mit der üblichen Metrik) anwenden oder Kategorie-basierte 'Generizität' mit maßtheoretischem 'fast überall' verwechseln; falsch ist auch, daraus die Existenz eines bestimmten kanonischen Elements statt nur Dichte abzuleiten.

Konsequenz

Erklärt, warum viele pathologische oder 'generische' Objekte dicht in Funktionsräumen existieren, und liegt zahlreichen Argumenten in Funktionalanalysis (Open-Mapping-, Closed-Graph-Theorem) und Dynamik über typisches Verhalten zugrunde.

Umkehrung

Wenn ein Raum als abzählbare Vereinigung nirgends dichter Mengen darstellbar ist, fehlt ihm die Baire-Eigenschaft und damit Vollständigkeit (oder die Baire-Eigenschaft) — diese Zerlegung ist die Negation der Annahme des Satzes.

Abgrenzung

Gilt für vollständige metrische Räume und allgemein Baire-Räume; nicht automatisch für beliebige topologische Räume oder unvollständige Metriken ohne zusätzliche Voraussetzungen und macht keine Aussage über Maß oder Mächtigkeit der Mengen.

Semantische Spannung

Spannung zwischen topologischer Generizität (Kategorie) und wahrscheinlichkeitstheoretischer Typikalität (Maß): Eine Menge kann komager (topologisch groß) sein und zugleich Maß Null besitzen, was widersprüchliche Intuitionen von 'typisch' erzeugt.

Synthese

Der Baire-Kategorie-Satz ordnet Typikalität in vollständigen metrischen Räumen (oder Baire-Räumen): Abzählbare Durchschnitte dichter Offener bleiben dicht, sodass viele kontraintuitive Eigenschaften topologisch generisch sind.