Direkt zum Inhalt

Lexikon der Mathematik: Bairescher Kategoriensatz

Klassifikationssatz über vollständige metrische Räume. Der Satz kann wie folgt formuliert werden:

Ist X ein vollständiger metrischer Raum, den man als abzählbare Vereinigung der Form \begin{eqnarray}X=\underset{n=1}{\overset{\infty }{\cup }}{F}_{n}\end{eqnarray}darstellen kann, so enthält mindestens ein Fn eine abgeschlossene Kugel.

Verwendet man den Begriff der Kategorie, so lautet der Bairesche Kategoriensatz:

Jeder vollständige metrische Raum ist von zweiter Kategorie.

Für den Beweis des Baireschen Kategoriensatzes benötigt man den Cantorschen Durchschnittssatz.

Lesermeinung

Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.

  • Die Autoren
- Prof. Dr. Guido Walz

Partnervideos