Hemikompakter Raum

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

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

${\displaystyle K_{n}\subseteq K_{n+1}^{\circ }}${\displaystyle K_{n}\subseteq K_{n+1}^{\circ }}     für alle ${\displaystyle n\in \mathbb {N} }${\displaystyle n\in \mathbb {N} }

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

existiert, wird hemikompakt genannt.^[1]

• 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.^[1]
• Erstabzählbare hemikompakte Räume sind lokalkompakt.
• Lokal- und σ-kompakte Räume sind hemikompakt (ebenfalls parakompakt).
• Für einen Tychonoff-Raum ${\displaystyle X}${\displaystyle X} gilt:^[2]
  • Ist ${\displaystyle C_{\mathrm {co} }(X,\mathbb {R} )}${\displaystyle C_{\mathrm {co} }(X,\mathbb {R} )} (mit der Kompakt-Offen-Topologie) erstabzählbar, dann ist ${\displaystyle X}${\displaystyle X} hemikompakt.
  • ${\displaystyle X}${\displaystyle X} ist genau dann hemikompakt, wenn ${\displaystyle C_{\mathrm {co} }(X,\mathbb {R} )}${\displaystyle C_{\mathrm {co} }(X,\mathbb {R} )} metrisierbar ist.^[3]

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

• 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). 

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

1. ↑ ^{a b} Stephen Willard: General Topology. Dover Publications, 2004, S. 126
2. ↑ Stephen Willard: General Topology. Dover Publications, 2004, S. 289
3. ↑ J. B. Conway: A Course in Functional Analysis (= Graduate Texts in Mathematics. Band 96). Springer Verlag, 1990, IV. Example 2.2.
4. ↑ K. D. Joshi: Introduction to General Topology. New Age International, 1983, Chapter 4, Section 2, Example 10

• Topologischer Raum
• Kompaktheit