# Kompaktheit/Überdeckung/Heine-Borel/Einführung/Textabschnitt

Teilmengen eines euklidischen Raumes, die sowohl abgeschlossen als auch beschränkt sind, nennt man kompakt. Auf topologischen Räumen, die nicht durch eine Metrik gegeben sind, kann man nicht von beschränkt sprechen, aber auch bei einem metrischen Raum, der keine Teilmenge eines $\mathbb {R} ^{n}$ ist, führen die beiden Eigenschaften abgeschlossen und beschränkt nicht sehr weit. Jeder metrische Raum ist in sich selbst abgeschlossen und jede Metrik kann man so abändern, dass sie beschränkt wird, ohne dass die Topologie sich ändert. Schlagkräftiger ist das folgende rein topologische Konzept.

## Definition

Ein topologischer Raum $X$ heißt kompakt (oder überdeckungskompakt), wenn es zu jeder offenen Überdeckung
    $X=\bigcup _{i\in I}U_{i}\,\,\,{\text{ mit }}U_{i}{\text{ offen und einer beliebigen Indexmenge }}I$
eine endliche Teilmenge $J\subseteq I$ derart gibt, dass
    $X=\bigcup _{i\in J}U_{i}\,$
ist.
Diese Eigenschaft nennt man manchmal auch überdeckungskompakt. Häufig nimmt man zu kompakt noch die Eigenschaft Hausdorffsch mit hinzu. Es sei betont, dass diese Eigenschaft nicht besagt, dass es eine endliche Überdeckung aus offenen Mengen gibt (es gibt immer die triviale offene Überdeckung mit dem Gesamtraum), sondern dass man, wenn irgendeine irgendwie indizierte offene Überdeckung vorliegt, dann nur eine endliche Teilmenge aus der Indexmenge für die Überdeckung nötig ist.

## Lemma

Es sei $X$ ein Hausdorffraum und es sei $Y\subseteq X$ eine Teilmenge, die die induzierte Topologie trage. Es sei $Y$ kompakt.
Dann ist $Y$ abgeschlossen in $X$.

### Beweis

$\Box$

## Lemma

Es sei $X$ ein kompakter Raum und es sei $Y\subseteq X$ eine abgeschlossene Teilmenge, die die induzierte Topologie trage.
Dann ist $Y$ ebenfalls kompakt.

### Beweis

$\Box$
Eine Variante des Kompaktheitsbegriffes ist die sogenannte Folgenkomapktheit, die besagt, dass jede Folge eine konvergente Teilfolge besitzt. Nach Aufgabe ist dies im Fall einer abzählbaren Basis (es genügt eine abzählbare Umgebungsbasis für jeden Punkt) äquivalent dazu, dass jede Folge einen Häufungspunkt besitzt. Wir werden hier hauptsächlich Situationen besprechen, in denen überdeckungskompakt und folgenkompakt übereinstimmen.

## Lemma

Es sei $X$ ein topologischer Raum mit einer abzählbaren Basis.
Dann ist $X$ genau dann kompakt, wenn jede Folge ${\left(x_{n}\right)}_{n\in \mathbb {N} }$ in $X$ einen Häufungspunkt (in $X$) besitzt.

### Beweis

Es sei $X$ kompakt und sei eine Folge ${\left(x_{n}\right)}_{n\in \mathbb {N} }$ gegeben.  Nehmen wir an, dass diese Folge keinen Häufungspunkt besitzt. Das bedeutet, dass es zu jedem $y\in X$ eine offene Umgebung $y\in U_{y}$ gibt, in der es nur endlich viele Folgenglieder gibt. Wegen
    $X=\bigcup _{y\in X}U_{y}\,$
gibt es nach Voraussetzung eine endliche Teilüberdeckung
    $X=\bigcup _{i=1}^{n}U_{y_{i}}\,.$
Es sei die Folgeneigenschaft erfüllt und sei $X=\bigcup _{i\in I}U_{i}$ eine Überdeckung mit offenen Mengen. Da $X$ eine abzählbare Basis besitzt, gibt es nach Aufgabe eine abzählbare Teilmenge $J\subseteq I$ mit
    $X=\bigcup _{i\in J}U_{i}\,.$
Wir können $J=\mathbb {N}$ annehmen. Nehmen wir an, dass die Überdeckung $X=\bigcup _{i\in \mathbb {N} }U_{i}$ keine endliche Teilüberdeckung besitzt. Dann ist insbesondere $\bigcup _{i=0}^{n}U_{i}\neq X$ für jedes $n\in \mathbb {N}$ und daher gibt es zu jedem $n\in \mathbb {N}$ ein $x_{n}\in X$ mit $x_{n}\not \in \bigcup _{i=0}^{n}U_{i}$. Nach Voraussetzung besitzt diese Folge einen Häufungspunkt $x$. Da eine Überdeckung $X=\bigcup _{i\in \mathbb {N} }U_{i}$ vorliegt, gibt es ein $k\in \mathbb {N}$ mit $x\in U_{k}$. Da $x$ ein Häufungspunkt ist, liegen unendlich viele Folgenglieder in $U_{k}$. Dies ist ein Widerspruch, da nach Konstruktion für $n\geq k$ die Folgenglieder $x_{n}$ nicht zu $U_{k}$ gehören.
$\Box$
Der folgende Satz heißt Satz von Heine-Borel.

## Satz

Es sei $T\subseteq \mathbb {R} ^{n}$ eine Teilmenge Dann sind folgende Aussagen äquivalent.

### Beweis

Die Äquivalenz von (1) und (2) wurde allgemeiner in Fakt bewiesen, für die Existenz einer abzählbaren Basis siehe Aufgabe. Die Äquivalenz von (2) und (3) ist klar. Die Äquivalenz von (3) und (4) wurde in Fakt gezeigt.
$\Box$