Metakompakter Raum

Metakompakte Räume werden im mathematischen Teilgebiet der Topologie untersucht. Es handelt sich um eine Abschwächung des Begriffs des parakompakten Raums. Diese Begriffsbildung geht auf Richard Arens und James Dugundji bzw. R. H. Bing zurück, letztgenannter Autor verwendete die heute nicht mehr gebräuchliche Bezeichnung punktweise parakompakt.<ref>Klaas Pieter Hart, Jun-iti Nagata, Jerry E. Vaughan: Encyclopedia of General Topology. Elsevier-Verlag, 2004, ISBN 0-444-50355-2, S. 199: Generalizations of Paracompactness</ref>

Definition

Ein topologischer Raum heißt metakompakt, wenn jede offene Überdeckung eine punktendliche offene Verfeinerung besitzt, das heißt:

Ist <math>\mathcal{U} = (U_i)_{i\in I}</math> eine Familie offener Mengen des topologischen Raums <math>X</math> mit <math>\textstyle X=\bigcup_{i\in I}U_i</math>, so gibt es eine weitere Familie offener Mengen <math>\mathcal{V} = (V_j)_{j\in J}</math>, so dass

• <math>X=\bigcup_{j\in J}V_j</math>,   das heißt <math>\mathcal{V}</math> ist auch offene Überdeckung von <math>X</math>
• <math>\forall j\in J: \exists i \in I: V_j \subset U_i</math>,   das heißt <math>\mathcal{V}</math> ist Verfeinerung von <math>\mathcal{U}</math>
• <math>\forall x\in X: |\{j\in J; x\in V_j\}| < \infty</math>,   das heißt <math>\mathcal{V}</math> ist punktendlich, jeder Punkt liegt in höchstens endlich vielen Überdeckungsmengen.<ref>H. J. Kowalski: Topologische Räume. Springer, 1961, Definition 13f, S. 97.</ref>

Beispiele und Eigenschaften

• Abgeschlossene Unterräume metakompakter Räume sind wieder metakompakt.
• Produkte metakompakter Räume sind im Allgemeinen nicht wieder metakompakt: Die Sorgenfrey-Gerade <math>X</math> ist als sogar parakompakter Raum sicher metakompakt, aber die Sorgenfrey-Ebene <math>X\times X</math> mit der Produkttopologie ist nicht metakompakt.<ref>Lynn Arthur Steen, J. Arthur Seebach: Counterexamples in Topology. Springer-Verlag, 1978, ISBN 3-540-90312-7, Beispiel 84.</ref>
• Alle parakompakten Räume, insbesondere also alle metrischen Räume, sind metakompakt, da lokalendliche Überdeckungen offenbar auch punktendlich sind.
• Die Dieudonné-Planke ist metakompakt aber nicht parakompakt.<ref>J. Dieudonné: Une généralisation des espaces compacts. In: J. Math. Pure Appl. Band 23, 1944, S. 65–76.</ref><ref>Lynn Arthur Steen, J. Arthur Seebach: Counterexamples in Topology. Springer-Verlag, 1978, ISBN 3-540-90312-7, Beispiel 89.</ref>
• Metakompakte Räume sind orthokompakt.
• Während parakompakte Räume stets normal sind, gilt das für metakompakte Räume im Allgemeinen nicht, auch hier kann die Dieudonné-Planke als Beispiel herangezogen werden.
• Normale, metakompakte Räume sind abzählbar parakompakt.<ref>K. Morita: Star-finite coverings and the start-finite property. In: Math. Japon. Band 1, 1948, S. 60–68.</ref>
• Es gibt normale, metakompakte Räume, die nicht parakompakt sind.<ref>Lynn Arthur Steen, J. Arthur Seebach: Counterexamples in Topology. Springer-Verlag, 1978, ISBN 3-540-90312-7, Beispiel 143.</ref>

Abzählbare metakompakte Räume

Ein topologischer Raum heißt abzählbar metakompakt, wenn jede abzählbare, offene Überdeckung eine punktendliche offene Verfeinerung besitzt.

Dies ist offenbar eine Abschwächung des Begriffs des metakompakten Raums, denn die definierende Eigenschaft wird hier nur für abzählbare Überdeckungen gefordert.

Es folgt direkt aus den Definitionen, dass abzählbar metakompakte Lindelöf-Räume metakompakt sind, umgekehrt sind separable, metakompakte Räume Lindelöf-Räume.<ref>Lynn Arthur Steen, J. Arthur Seebach: Counterexamples in Topology. Springer-Verlag, 1978, ISBN 3-540-90312-7, S. 24.</ref>

Einzelnachweise

<references />