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.[1]
Definition
BearbeitenEin topologischer Raum heißt metakompakt, wenn jede offene Überdeckung eine punktendliche offene Verfeinerung besitzt, das heißt:
Ist eine Familie offener Mengen des topologischen Raums mit , so gibt es eine weitere Familie offener Mengen , so dass
- , das heißt ist auch offene Überdeckung von
- , das heißt ist Verfeinerung von
- , das heißt ist punktendlich, jeder Punkt liegt in höchstens endlich vielen Überdeckungsmengen.[2]
Beispiele und Eigenschaften
Bearbeiten- Abgeschlossene Unterräume metakompakter Räume sind wieder metakompakt.
- Produkte metakompakter Räume sind im Allgemeinen nicht wieder metakompakt: Die Sorgenfrey-Gerade ist als sogar parakompakter Raum sicher metakompakt, aber die Sorgenfrey-Ebene mit der Produkttopologie ist nicht metakompakt.[3]
- 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.[4][5]
- 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.[6]
- Es gibt normale, metakompakte Räume, die nicht parakompakt sind.[7]
Abzählbare metakompakte Räume
BearbeitenEin 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.[8]
Einzelnachweise
Bearbeiten- ↑ 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
- ↑ H. J. Kowalski: Topologische Räume. Springer, 1961, Definition 13f, S. 97.
- ↑ Lynn Arthur Steen, J. Arthur Seebach: Counterexamples in Topology. Springer-Verlag, 1978, ISBN 3-540-90312-7, Beispiel 84.
- ↑ J. Dieudonné: Une généralisation des espaces compacts. In: J. Math. Pure Appl. Band 23, 1944, S. 65–76.
- ↑ Lynn Arthur Steen, J. Arthur Seebach: Counterexamples in Topology. Springer-Verlag, 1978, ISBN 3-540-90312-7, Beispiel 89.
- ↑ K. Morita: Star-finite coverings and the start-finite property. In: Math. Japon. Band 1, 1948, S. 60–68.
- ↑ Lynn Arthur Steen, J. Arthur Seebach: Counterexamples in Topology. Springer-Verlag, 1978, ISBN 3-540-90312-7, Beispiel 143.
- ↑ Lynn Arthur Steen, J. Arthur Seebach: Counterexamples in Topology. Springer-Verlag, 1978, ISBN 3-540-90312-7, S. 24.