Knaster-Kuratowski-Fan

Der Knaster-Kuratowski-Fan ist ein spezieller auf die Mathematiker Bronisław Knaster und Kazimierz Kuratowski zurückgehender topologischer Raum. Die Bezeichnung Fan, auf Deutsch Fächer, bezieht sich auf die geometrische Form als Unterraum der Ebene. Eine andere Bezeichnung ist Cantor-Teepee, die in offensichtlicher Weise ebenfalls eine Anspielung auf die geometrische Form ist und gleichzeitig einen Hinweis auf die der Konstruktion zu Grunde liegenden Cantor-Menge beinhaltet. Es handelt sich um einen zusammenhängenden Raum, der nach Entfernung eines Punktes total unzusammenhängend wird.

Knaster-Kuratowski Fan

Konstruktion

Es sei $C\subset [0,1]$ die Cantor-Menge, das heißt die Menge aller Punkte, die eine nur aus den Ziffern 0 und 2 bestehende Dezimalentwicklung zur Basis 3 besitzen. $p$ sei der Punkt $\textstyle ({\frac {1}{2}},{\frac {1}{2}})$. Zu jedem $c\in C$ sei ${\overline {cp}}$ die Strecke, die $c$ mit $p$ verbindet. Für $c\in C$ sei nun

$X_{c}:=\{(x,y)\in {\overline {cp}}|\,y\in \mathbb {Q} \}$,

falls $c$ eine abbrechende, aus den Ziffern 0 und 2 bestehende Entwicklung zur Basis 3 besitzt, und

$X_{c}:=\{(x,y)\in {\overline {cp}}|\,y\in \mathbb {R} \setminus \mathbb {Q} \}$

für alle anderen $c\in C$. Der Raum

$X:=\bigcup _{c\in C}X_{c}\subset \mathbb {R} ^{2}$

mit der von $\mathbb {R} ^{2}$ induzierten Relativtopologie ist der Knaster-Kuratowski-Fan.

Der Unterraum $X\setminus \{p\}$ heißt punktierter Knaster-Kuratowski-Fan.

Eigenschaften

• Der Knaster-Kuratowski Fan ist ein separabler, metrischer Raum, denn er ist ein Teilraum von $\mathbb {R} ^{2}$.
• Der Knaster-Kuratowski Fan ist zusammenhängend. Ist nämlich $X=U\cup V$ mit disjunkten und offenen Mengen $U$ und $V$, so muss eine der beiden Mengen $p$ enthalten. Dann kann man zeigen, dass diese Menge schon ganz $X$ sein muss.
• Der punktierte Knaster-Kuratowski-Fan $X\setminus \{p\}$ ist total unzusammenhängend. Das liegt im Wesentlichen daran, dass man $X_{c_{1}}\setminus \{p\}$ und $X_{c_{2}}\setminus \{p\}$ für zwei verschiedene $c_{1}\not =c_{2}$ aus $C$ in $\mathbb {R} ^{2}$ durch eine Gerade trennen kann. Zwischen $c_{1}$ und $c_{2}$ liegt nämlich ein Punkt $x\in [0,1]\setminus C$ und die Gerade durch $x$ und $p$ leistet das Verlangte. Da jedes $X_{c}\setminus \{p\}$ für sich total unzusammenhängend ist, kann man schließen, dass $X\setminus \{p\}$ ist total unzusammenhängend ist.
• Der Unterraum $X\setminus \{p\}$ ist nicht total separiert. Bekanntlich folgt total unzusammenhängend aus total separiert; wir haben hier also ein Beispiel dafür, dass die Umkehrung im Allgemeinen nicht gilt.