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 von kompakten Teilmengen $(K_n{)}_{n\in \mathbb{N}}$ mit

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

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

existiert, 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{c}\mathrm{o}}(X,ℝ)$ (mit der Kompakt-Offen-Topologie) erstabzählbar, dann ist $X$ hemikompakt.
  • $X$ ist genau dann hemikompakt, wenn $C_{\mathrm{c}\mathrm{o}}(X,ℝ)$ metrisierbar ist.

Beispiele

• ${ℝ}^n$ ist hemikompakt mit der abzählbaren Familie $({\bar{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

• Vorlage:Cite book
• Vorlage:Cite book
• Vorlage:Cite book

Weblinks

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