Quelltext der Seite Dieudonné-Planke

Die '''Dieudonné-Planke''' ist ein auf den Mathematiker [[Jean Dieudonné]] zurückgehender spezieller [[topologischer Raum]].<ref>[[Jean Dieudonné|J. Dieudonné]]: ''Une généralisation des espaces compacts.'' In: ''J. Math. Pure Appl.'' Band 23, 1944, S. 65–76.</ref> Sie ist ein Beispiel für einen [[Metakompakter Raum|metakompakten]] aber nicht [[Abzählbar parakompakter Raum|abzählbar parakompakten Raum]].

== Konstruktion des Raums ==
[[Datei:DieudonnePlankeTopologie.png|300px|mini|Die Basismengen der Dieudonné-Planke]]
Es seien <math>\omega</math> die erste unendliche und <math>\Omega</math> die erste [[Überabzählbarkeit|überabzählbare]] [[Ordinalzahl]] sowie <math>[0,\omega]</math> und <math>[0,\Omega]</math> die entsprechenden Intervalle von Ordinalzahlen.

Als Grundmenge dient <math>X = [0,\Omega]\times [0,\omega] \setminus \{(\Omega,\omega)\}</math> das Produkt der Intervalle ohne den „rechten, oberen Eckpunkt“.
Auf <math>X</math> wird eine Topologie erklärt, indem für alle Ordinalzahlen <math>0\le \alpha < \Omega</math> sowie <math>0 \le \beta < \omega</math>
die folgenden Mengen als [[offene Menge]]n festgelegt werden:
*die Einpunktmengen <math>\{(\alpha,\beta)\}</math>,
*<math>U_\beta(\alpha) = \{(\alpha,\gamma) \mid \beta < \gamma \le \omega\} = \{\alpha\} \times (\beta, \omega]</math>,
*<math>V_\alpha(\beta) = \{(\gamma,\beta) \mid \alpha < \gamma \le \Omega\} = (\alpha, \Omega] \times \{ \beta \}</math>.
Der durch diese [[Basis (Topologie)|Basis]] definierte topologische Raum heißt die '''Dieudonné-Planke'''.

Die unterliegende Menge <math>X</math> ist dieselbe wie bei der [[Tichonow-Planke]], aber die Topologie der Dieudonné-Planke ist [[Gröbere und feinere Topologien|feiner]].

== Eigenschaften ==

=== Die Dieudonné-Planke ist ein Hausdorffraum ===
Eine einfache Inspektion der offenen Basismengen zeigt, dass <math>X</math> ein [[Hausdorffraum]] ist. Es handelt sich sogar um einen [[Vollständig regulärer Raum|vollständig regulären Raum]], der aber nicht [[Normaler Raum|normal]] ist.

=== Die Dieudonné-Planke ist metakompakt ===
Die Dieudonné-Planke ist metakompakt, denn zu jeder [[Überdeckung (Mathematik)|offenen Überdeckung]] findet man eine punktendliche [[Verfeinerung (Mathematik)|Verfeinerung]], indem man zu jedem Punkt eine Basismenge, die auch in einer diesen Punkt enthaltenden Überdeckungsmenge liegt, wählt. Da jeder Punkt in höchstens drei verschiedenen Basismengen liegen kann, ist diese Verfeinerung tatsächlich punktendlich.

=== Die Dieudonné-Planke ist nicht abzählbar parakompakt ===
Die Dieudonné-Planke ist nicht parakompakt, da sie nicht einmal normal ist. Sie könnte aber abzählbar parakompakt sein. Wir zeigen, dass auch dies nicht der Fall ist.
[[Datei:DieudonnePlankeÜberdeckung.png|300px|mini]]

Die Mengen
*<math>U_{-1} := X \setminus \{(\Omega,n)| 0\le n < \omega\}</math>
*<math>U_n := V_0(n),\quad n=0,1,2,3,\ldots</math>
bilden eine abzählbare offene Überdeckung <math>\mathcal{U}</math> von <math>X</math>.
Sie besitzt keine lokalendliche Verfeinerung, denn ist <math>\mathcal{W} = (W_i)_{i\in I}</math> eine offene Verfeinerung, so kann man zu jedem <math>0\le n < \omega</math> ein <math>i_n</math> finden mit <math>(\Omega,n)\in W_{i_n}</math> und diese Menge muss in einer der Mengen aus <math>\mathcal{U}</math> liegen, denn es handelt sich um eine Verfeinerung.
Da <math>U_n</math> aber als einzige dieser Mengen <math>(\Omega,n)</math> enthält, muss es sich um <math>U_n</math> handeln. Weil <math>W_{i_n}</math> auch offen ist, muss es nach Definition der Topologie ein <math>0\le \alpha_n< \Omega</math> geben mit <math>V_{\alpha_n}(n) \subset W_{i_n} \subset U_n</math>.
Weil <math>\textstyle \alpha := \sup_{0\le n<\omega}\alpha_n</math> als abzählbare Vereinigung abzählbarer Mengen wieder abzählbar ist, folgt <math>\alpha < \Omega</math>. An dieser Stelle wird ganz wesentlich die Wahl von <math>\Omega</math> als kleinste überabzählbare Ordinalzahl verwendet.
Ist nun <math>U</math> irgendeine Umgebung von <math>(\alpha, \omega)</math>, so gibt es <math>0\le \beta < \omega</math> mit <math>U_\beta(\alpha) \subset U</math>, und daraus folgt <math>U\cap W_{i_n} \not= \emptyset</math> für alle <math>n\ge \beta</math>. Also schneidet jede Umgebung von <math>(\alpha, \omega)</math> unendlich viele der <math>W_i</math>, das heißt <math>\mathcal{W}</math> ist nicht lokalendlich. Daher ist <math>\mathcal{U}</math> eine abzählbare, offene Überdeckung, die keine lokalendliche, offene Verfeinerung besitzt, das heißt <math>X</math> ist nicht abzählbar parakompakt.<ref>Lynn Arthur Steen, J. Arthur Seebach: ''Counterexamples in Topology.'' Springer-Verlag, 1978, ISBN 3-540-90312-7, Beispiel 89.</ref>

== Einzelnachweise ==
<references />

[[Kategorie:Mengentheoretische Topologie]]
[[Kategorie:Topologischer Raum]]