Hemikompakter Raum

Ein hemikompakter Raum ist im mathematischen Teilgebiet der Topologie eine Verallgemeinerung des kompakten Raumes.

Definition

Ein topologischer Raum $X$, für den eine abzählbare Familie an kompakten Teilmengen $(K_{n})_{n\in \mathbb {N} }$ mit:

$K_{n}\subseteq K_{n+1}^{\circ }$

$X=\bigcup _{n\in \mathbb {N} }K_{n}$

wird hemikompakt genannt.

Eigenschaften

• Kompakte Räume sind hemikompakt. Für die abzählbare Familie an kompakten Teilmengen reicht dabei der Raum selbst.
• Abgeschlossene Unterräume von hemikompakten Räumen sind hemikompakt. Für die abzählbare Familie des abgeschlossenen Unterraumes kann der Schnitt von diesem mit der abzählbaren Familie des gesamten Raumes verwendet werden. Dabei muss verwendet werden, dass der Schnitt einer kompakten mit einer abgeschlossenen Teilmenge wieder kompakt ist.
• Hemikompakte Räume sind σ-kompakt.
• Erstabzählbare hemikompakte Räume sind lokalkompakt.
• Lokal- und σ-kompakte Räume sind hemikompakt (ebenfalls parakompakt).
• Für einen Tychonoff-Raum $X$ gilt:
  • Ist $C_{\mathrm {co} }(X,\mathbb {R} )$ (mit der Kompakt-Offen-Topologie) erstabzählbar, dann ist $X$ hemikompakt.
  • $X$ ist genau dann hemikompakt, wenn $C_{\mathrm {co} }(X,\mathbb {R} )$ metrisierbar ist.

Beispiele

• $\mathbb {R} ^{n}$ ist hemikompakt mit der abzählbaren Familie $({\overline {B}}_{k}(0))_{k\in \mathbb {N} }$der abgeschlossenen Kugeln mit jeweiligem Radius $k\in \mathbb {N}$ an kompakten Teilmengen. Jede andere kompakte Teilmenge ist in einer davon enthalten, da sie insbesondere beschränkt ist.
• $\mathbb {Q}$ und der Arens-Fort-Raum sind hemikompakt, aber nicht lokalkompakt.

Literatur

• Stephen Willard: General Topology. Dover Publications, 2004, ISBN 0-486-43479-6 (englisch). 
• K. D. Joshi: Introduction to General Topology. New Age International, 1983, ISBN 978-0-470-27556-6 (englisch). 
• J. B. Conway: A Course in Functional Analysis (= Graduate Texts in Mathematics. Band 96). Springer Verlag, 1990, ISBN 0-387-97245-5 (englisch). 

Weblinks

• hemicompact space auf nLab (englisch)
• hemicompact auf π-Base (englisch)