Beweisarchiv: Topologie: Analogon zum Satz von Baire für endlich viele abgeschlossene Teilmengen

Beweisarchiv: Topologie

Grundlagen: Stetige Bijektion von kompakt nach Hausdorff · Top hat Limites · Produkt von Hausdorffräumen · Limes von Hausdorffräumen · Limes von kompakten Hausdorffräumen

Satz von Tychonoff · Über den weierstraßschen Satz vom Maximum und Minimum · Kompaktheit und Zusammenhang reeller Intervalle · Analogon zum Satz von Baire für endlich viele abgeschlossene Teilmengen · Der Satz von Poincaré-Bohl impliziert den Satz von Poincaré-Brouwer.

Der fundamentale Satz von Baire besagt, dass für jeden lokalkompakten Hausdorffraum und ebenso für jeden vollständigen metrischen Raum stets folgendes gilt:

Unter höchstens abzählbar vielen abgeschlossenen Teilmengen des Raums, deren Vereinigung einen inneren Punkt hat, existiert stets mindestens eine, welche ebenfalls einen inneren Punkt hat.

Wie sich zeigt, hat für den Fall, dass nur endlich viele abgeschlossene Teilmengen vorliegen, das Analogon des baireschen Satzes sogar ohne alle Voraussetzungen über die Topologie des Raumes Gültigkeit. Weiter lässt sich zeigen, dass das Analogon sogar auf den Fall lokalendlicher Familien ausdehnbar ist.

Formulierung des Analogons

Gegeben seien ein topologischer Raum $X$ und eine endliche Indexmenge $I\neq \emptyset$ und dazu eine endliche Familie $(E_{i})_{i\in I}$ von abgeschlossenen Teilmengen $E_{i}\subseteq X$ mit

$V=\bigcup _{i\in I}{E_{i}}$

als Vereinigungsmenge dieser abgeschlossenen Teilmengen.

Dann gilt:

Hat $V$ innere Punkte, so muss schon eine der Teilmengen $E_{i}$ innere Punkte haben.

Etwas anders formuliert:

Ist $V^{\circ }\neq \emptyset$ , so muss schon ${E_{i}}^{\circ }\neq \emptyset$ für eine der Teilmengen $E_{i}$ sein.

Beweis

Der Beweis wird mit vollständiger Induktion geführt. Es sei o. B. d. A.

$I=\{1,2,\ldots ,n\}$ vorausgesetzt.

Induktionsanfang

$|I|=n=1$

Hier ist nichts zu zeigen.

Induktionsschritt

Sei $|I|=n>1$ und sei die Aussage schon bewiesen für alle $(n-1)$-elementigen Indexmengen.

Zwischenschritt $|I|=n=2$

Hier gilt also

$V=E_{1}\cup E_{2}$

und dabei

$U:={(E_{1}\cup E_{2})}^{\circ }\neq \emptyset$.

Nehmen wir an, es sei

${E_{1}}^{\circ }=\emptyset$.

Dann gilt für die in $X$ offene (!) Menge $U\setminus E_{2}$, dass

$U\setminus E_{2}\subseteq E_{1}$

und dann sogar

$U\setminus E_{2}\subseteq {E_{1}}^{\circ }=\emptyset$

sein muss.

Folglich ist dann auch

$U\setminus E_{2}=\emptyset$

und damit

$\emptyset \neq U\subseteq E_{2}$.

Daher muss auch

${E_{2}}^{\circ }\neq \emptyset$

gelten.

Eigentlicher Induktionsschritt

Es ist also nun

$V=(E_{1}\cup E_{2}\cup \cdots \cup E_{n-1})\cup E_{n}$.

Dann ist entweder

${E_{n}}^{\circ }\neq \emptyset$

und es ist nichts weiter zu zeigen.

Oder es gilt nach dem Zwischenschritt und aufgrund der Tatsache, dass die Vereinigung von endlich vielen abgeschlossenen $X$-Teilmengen immer abgschlossen ist,

$(E_{1}\cup E_{2}\cup \cdots \cup E_{n-1})^{\circ }\neq \emptyset$.

Doch nun kommt die Induktionsvoraussetzung zum Tragen, wonach für einen Index $k\in \{1,2,\ldots ,n-1\}$ schon

${E_{k}}^{\circ }\neq \emptyset$

sein muss.

Also ist alles gezeigt.

Folgerungen aus dem Analogon

• (F1) Unter den obigen Voraussetzungen gilt stets

${{\bigl (}{\bigcup _{i\in I}{E_{i}}}{\bigr )}}^{\circ }={{\bigl (}{\bigcup _{j\in I \atop {E_{j}}^{\circ }\neq \emptyset }{E_{i}}}{\bigr )}}^{\circ }$

• (F2) Die zuvor genannte Folgerung (F1) hat auch dann noch Bestand, wenn - bei sonst gleichen Voraussetzungen - die Indexmenge als nicht notwendig endlich, die Familie $(E_{i})_{i\in I}$ jedoch als lokalendliche Familie vorausgesetzt wird. Für eine solche lokalendliche Familie abgeschlossener $X$-Teilmengen gilt das Analogon zum baireschen Satz also in gleicher Weise.

Beweis der Folgerung (F1)

Setzt man

$V:=\bigcup _{i\in I}{E_{i}}$

und

$W:=\bigcup _{j\in I \atop {E_{j}}^{\circ }\neq \emptyset }{E_{i}}$

und

$T:=\bigcup _{j\in I \atop {E_{j}}^{\circ }=\emptyset }{E_{i}}$ ,

so gilt offenbar

$V=W\cup T$ .

Wegen

$V^{\circ }\subseteq V$

folgt dann unmittelbar

$V^{\circ }\setminus W\subseteq T$ .

Andererseits ist gemäß dem Analogon

$T^{\circ }=\emptyset$.

Da zudem $W$ abgeschlossen in $X$ ist, muss $V^{\circ }\setminus W$ offen in $X$ sein und so ergibt sich zusammengenommen

$V^{\circ }\setminus W\subseteq T^{\circ }=\emptyset$ .

Folglich hat man

$V^{\circ }\setminus W=\emptyset$.

und damit auch

$V^{\circ }\subseteq W$

und aus Gründen der Idempotenz sogleich

$V^{\circ }=V^{\circ \circ }\subseteq W^{\circ }$.

Da $W$ Teilmenge von $V$ und das Bilden des Inneren eine monotone Operation ist , gilt die umgekehrte Inklusion ohnehin.

Folglich hat man

$V^{\circ }=W^{\circ }$.

Dies war zu zeigen.

Beweis der Folgerung (F2)

Der Beweis der Folgerung (F2) geht im Wesentlichen genauso wie der Beweis der Folgerung (F1) , wenn man noch beachtet, dass ganz allgemein folgendes gilt:

• Ist in einem topologischen Raum $X$ zu einer Indexmenge $I\neq \emptyset$ eine lokalendliche Familie $(E_{i})_{i\in I}$ von $X$-Teilmengen $E_{i}\subseteq X$ gegeben, so ist auch $({\overline {E_{i}}})_{i\in I}$ eine lokalendliche Familie und dabei gilt

${\overline {{\bigl (}{\bigcup _{i\in I}{E_{i}}}{\bigr )}}}=\bigcup _{i\in I}{\overline {E_{i}}}$ .

Hintergrundliteratur

• Horst Schubert: Topologie. 4. Auflage. B. G. Teubner Verlag, Stuttgart 1975, ISBN 3-519-12200-6.  MR0423277