Hausdorff-Raum - LinkFang.de





Hausdorff-Raum


Ein Hausdorff-Raum (auch hausdorffscher Raum) (nach Felix Hausdorff) oder separierter Raum ist ein topologischer Raum [math]M[/math], in dem das Trennungsaxiom [math]T_2[/math] (auch Hausdorffeigenschaft oder Hausdorff’sches Trennungsaxiom genannt) gilt.

Definition

Ein topologischer Raum [math]M[/math] hat die Hausdorffeigenschaft, wenn für alle [math]x,y \in M[/math] mit [math]x \neq y[/math] disjunkte offene Umgebungen [math]U_x[/math] und [math]V_y[/math] existieren.

Mit anderen Worten: Alle paarweise verschiedenen Punkte [math]x[/math] und [math]y[/math] aus [math]M[/math] werden durch Umgebungen getrennt. Ein topologischer Raum, der die Hausdorffeigenschaft erfüllt, wird Hausdorff-Raum genannt.

Eigenschaften

Ein Hausdorff-Raum [math]M[/math] lässt sich durch jede der folgenden zur Hausdorffeigenschaft äquivalenten Eigenschaften charakterisieren:

  • Jeder Filter auf [math]M[/math] konvergiert gegen höchstens einen Punkt [math]x \in M[/math].
  • Jede Einpunktmenge [math]\{x\}[/math] ist der Durchschnitt ihrer abgeschlossenen Umgebungen.
  • Die Diagonale [math]\Delta := \{(x,x) \;|\; x \in M\}[/math] ist abgeschlossen bezüglich der Produkttopologie.

Insbesondere sind in Hausdorff-Räumen Grenzwerte von Folgen – anders als in allgemeinen topologischen Räumen – eindeutig. Dabei konvergiere eine Folge [math]x_n[/math] in einem topologischen Raum [math]X[/math] gegen einen Punkt [math]x[/math], wenn zu jeder Umgebung [math]U[/math] von [math]x[/math] ein [math]N \in \mathbb{N}[/math] existiert, sodass [math]x_n \in U[/math] für alle [math]n \geq N[/math] gilt.

Unterräume von Hausdorff-Räumen bilden wiederum Hausdorff-Räume. Ebenso überträgt sich die Hausdorffeigenschaft auf beliebige Produkte von Hausdorff-Räumen.

Einordnung in die Hierarchie topologischer Räume

Nach Definition besitzt jeder Hausdorff-Raum die T1-Trennungseigenschaft und ist damit auch ein T0-Raum.

Ein topologischer Raum ist genau dann ein Hausdorff-Raum, wenn er präregulär (R1) ist:

alle paarweise topologisch unterscheidbaren Punkte [math]x[/math] und [math]y[/math] aus [math]M[/math] werden durch Umgebungen getrennt,

und die Kolmogoroff-Eigenschaft (T0) besitzt:

alle paarweise verschiedenen Punkte [math]x[/math] und [math]y[/math] aus [math]M[/math] sind topologisch unterscheidbar.

Topologisch unterscheidbar heißen zwei Punkte [math]x[/math] und [math]y[/math] genau dann, wenn es eine offene Menge gibt, die den einen Punkt enthält, den anderen aber nicht. "Durch Umgebungen getrennt" werden die Punkte [math]x,y[/math] per Definition dann, wenn es offene Umgebungen [math]x\in U_x, y\in V_y[/math] mit [math]U_x\cap V_y=\emptyset[/math] gibt.

Beweis:

  • Wenn R1 und T0 gegeben sind, folgt unmittelbar T2: diesen Schluss kann man rein formal ziehen, ohne zu wissen, was topologisch unterscheidbar überhaupt heißt.
  • Der umgekehrte Schluss von T2 auf R1 und T0 geht so:
    • Aus der Definition von T2 folgt für verschiedene [math]x[/math], [math]y[/math] die Existenz der Menge [math]U_x[/math], die [math]x[/math], aber nicht [math]y[/math] enthält, ergo gilt T0.
    • Seien [math]x[/math], [math]y[/math] zwei topologisch unterscheidbare Punkte: dann gibt es eine Menge, die den einen Punkt enthält, den anderen aber nicht; somit ist [math]x\neq y[/math]. Dann folgt mit T2, dass [math]x[/math] und [math]y[/math] durch Umgebungen getrennt sind. Ergo gilt R1.

Spezialisierung

Ein Hausdorff-Raum, der zusätzlich noch normal ist, wird als T4-Raum bezeichnet.

Beispiele

So gut wie alle in der Analysis betrachteten Räume sind Hausdorff-Räume. Insbesondere ist jeder metrische Raum ein Hausdorff-Raum.

Im Gegensatz zur Filterkonvergenz ist die Eindeutigkeit von Folgengrenzwerten nur eine notwendige Bedingung für die Hausdorffeigenschaft. Stattet man z.B. eine überabzählbare Menge wie die reellen Zahlen mit der koabzählbaren Topologie aus, so erhält man einen nicht Hausdorffschen Raum, in dem konvergente Folgen genau einen Grenzwert besitzen.

Ein Beispiel für einen Hausdorff-Raum, der kein metrischer Raum ist, ist die Menge der abzählbaren Ordinalzahlen mit der gewöhnlichen Ordnungstopologie.

Wird das Spektrum eines Ringes mit der Zariski-Topologie versehen, erhält man einen nüchternen topologischen Raum, der meist nicht präregulär, geschweige denn hausdorffsch ist.

Viele Beispiele nicht-Hausdorffscher Räume erhält man als Quotientenräume von Mannigfaltigkeiten bzgl. mancher Gruppenwirkungen oder allgemeinerer Äquivalenzrelationen. Zum Beispiel ist der Blattraum der Reeb-Blätterung (also der Quotientenraum bzgl. der Äquivalenzrelation: zwei Punkte sind äquivalent gdw. sie zum selben Blatt gehören) nicht Hausdorffsch.

Lokaleuklidische Räume müssen nicht Hausdorffsch sein. Der aus zwei Kopien von [math]\R^1[/math] durch Identifizierung eines offenen Intervalls entstehende Raum ist lokal homöomorph zum [math]\R^1[/math], aber nicht Hausdorffsch.

Literatur


Kategorien: Felix Hausdorff | Mengentheoretische Topologie | Topologischer Raum

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Hausdorff-Raum (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.