bairescher kategoriensatz < Lineare Algebra < Hochschule < Mathe < Vorhilfe
|
Aufgabe | zeige,dass folgende auusage äquivalent zum bairschen kategoriensatz der vorlesung ist:
sei X ein vollständiger metrischer raum, der sich als vereinigung [mm] X=\bigcup_{k\in \IN}^{} A_{k} [/mm] abzählbar vieler abgeschlossener Mengen [mm] A_{k}\subseteq [/mm] X schreiben lässt.
Dann besitzt wenigstens eine dieser Mengen [mm] A_{k} [/mm] ein nichtleeres inneres. |
also folgendes weiß ich:
Bairescher Kategoriensatz:
In einem vollständigen metrischen Raum liegt das Komplement einer Menge von 1. Baire-Kategorie dicht und ein nicht-leerer vollständiger metrischer Raum ist in sich selbst von 2. Baire-Kategorie.
Ein vollständiger Raum ist in der Analysis ein metrischer Raum M, in dem jede Cauchy-Folge von Punkten aus M gegen ein Element von M konvergiert.
Eine Teilmenge M liegt dicht in X genau dann, wenn zutrifft:
* Der Abschluss von M stimmt mit X überein.
aber ich habe trotzdem keine ahnung wie man diese äquivalenz zeigen soll...
LG
|
|
|
|
Status: |
(Mitteilung) Reaktion unnötig | Datum: | 18:21 Do 18.06.2009 | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|