Beweisarchiv: Topologie: Produkt von Hausdorffräumen

Aus Wikibooks

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.


Wir zeigen, dass das Produkt einer Familie von Hausdorffräumen Hausdorffsch ist.

Satz[Bearbeiten]

Sei eine Familie von Hausdorff-Räumen. Dann ist der Produktraum mit der Produkttopologie Hausdorffsch.

Beweis[Bearbeiten]

Seien und verschiedene Punkte. Dann existiert ein , sodass ist. Da nach Voraussetzung Hausdorffsch ist, existieren disjunkte offene Umgebungen von und von . Die zugehörigen basisoffenen Mengen und sind disjunkt und Umgebungen von bzw. .