Sierpiński-Raum

Der Sierpiński-Raum ist ein topologischer Raum, bestehend aus zwei Punkten, in dem exakt eine Menge offen und nicht zugleich abgeschlossen ist. Es handelt sich um den kleinsten Raum mit nicht diskreter und nicht trivialer Topologie.

Definition

Die dem Sierpiński-Raum <math>\mathbb S</math> zugrundeliegende Punktmenge ist <math>\{\bot, \top\}</math>; seine offenen Mengen sind <math>\emptyset, \{\top\}</math> und <math>\{\bot, \top\}</math>.

Beziehung zu anderen topologischen Räumen

Ist <math>M</math> eine beliebige Menge, und <math>2 := \{0,1\}</math> eine zweielementige Menge, dann entspricht jeder Funktion <math>\chi_A\colon M\to 2</math> eine Teilmenge <math>A\subseteq M</math>, und umgekehrt.

Eine zu <math>2</math> analoge Rolle übernimmt <math>\mathbb S</math> im Fall von stetigen Funktionen und offenen Teilmengen. Sei <math>M</math> ein beliebiger topologischer Raum. Für eine stetige Funktion <math>\chi\colon M\to \mathbb S</math> gilt nach der Definition für stetige Funktionen, dass die Urbilder offener Mengen offen sind. <math>\chi^{-1}(\{\bot, \top\})=M</math> und <math>\chi^{-1}(\emptyset)=\emptyset</math>. Ein interessantes Ergebnis liefert <math>\chi^{-1}(\{\top\})</math>. Dies ist nämlich eine offene Teilmenge von <math>M</math> und wird durch das stetige <math>\chi</math> eindeutig bestimmt.

Der Sierpiński-Raum ist Kogenerator der Kategorie der Kolmogorow-Räume: Sind <math>f,g\colon A \to B</math> stetige Abbildungen zwischen zwei Kolmogorow-Räumen <math>A</math> und <math>B</math> mit <math>f \neq g</math>, so existiert eine stetige Abbildung <math>d\colon B \to \mathbb S</math>, sodass <math>df \neq dg</math>: Sei hierfür <math>x\in A</math> mit <math>f(x) \neq g(x)</math>, so ist zumindest <math>f(x)</math> durch eine offene Umgebung <math>U</math> von <math>g(x)</math> getrennt, oder umgekehrt (da <math>B</math> ein Kolmogorow-Raum ist). Dann liefert <math>\chi_U</math> das gewünschte <math>d</math>. Tatsächlich sind die Kogeneratoren der Kategorie der Kolmogorow-Räume gerade alle Kolmogorow-Räume, die einen Unterraum enthalten, der homöomorph zu <math>\mathbb S</math> ist.<ref>{{#invoke:Vorlage:Literatur|f}}</ref>

Einzelnachweise

Literatur

{{#invoke:Vorlage:Literatur|f}}