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

 Definition

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

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

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

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

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

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

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

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

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.