Kompakte Menge

Eine Teilmenge der Menge $\R$ der reellen Zahlen ist genau dann kompakt, wenn sie beschränkt und abgeschlossen ist.

Sie darf also keine Folgen enthalten, die zwar konvergieren, deren Grenzwert jedoch nicht zu der Menge gehört. Auch Folgen, deren Wert „über alle Grenzen wächst (also keinen Grenzwert besitzen)“, dürfen nicht enthalten sein.

Gleichwertige Formulierungen

Auf der Grundlage dieser Definition lässt sich beweisen: Eine Teilmenge der reellen Zahlen ist genau dann kompakt,

• wenn jede Folge aus der Menge eine konvergente Teilfolge besitzt, deren Grenzwert zu der Teilmenge gehört (diese Bedingung definiert Folgenkompaktheit), oder
• wenn jede offene Überdeckung eine endliche Teilüberdeckung hat (dies definiert Überdeckungskompaktheit).

Verallgemeinerungen

Der Begriff der Kompaktheit lässt sich ohne weiteres auf den $\R^n$ und auf andere endlichdimensionale Vektorräume verallgemeinern.

Neue Gesichtspunkte ergeben sich bei unendlichdimensionalen Räumen und bei allgemeinen topologischen Räumen, siehe kompakter Raum. Die Verbindung zum Spezialfall wird dann durch den Satz von Heine-Borel hergestellt. Folgenkompaktheit und Überdeckungskompaktheit sind in einem beliebigen topologischen Raum unter Umständen nicht mehr dasselbe.

Allgemeine Definition

Sei M eine Teilmenge eines topologischen Raumes. M heißt kompakt, wenn es für jede offene Überdeckung $(T_i)_{i \in I}, M \subset \cup_{i \in I} T_i$, eine endliche Teilüberdeckung von M gibt.

D.h.: es gibt eine endliche Teilmenge $J \subset I$ und $M \subset \cup_{i \in J} T_i$.

Bemerkung

Nach Definition müssen die T_i offene Mengen sein, und die Eigenschaft muss für jede solche Überdeckung nachgewiesen werden. Es genügt nicht, nur für bestimmte Überdeckungen nachzuweisen, dass endliche Teilüberdeckungen existieren.

Beispiele

Seien a und b reelle Zahlen und a < b.

• Ein geschlossenes Intervall [a,b] ist kompakt. Jede konvergente Folge in diesem Intervall muss auf einen Intervallwert konvergieren.
• Die halboffenen Intervalle ]a,b], [a,b[ und das offene Intervall ]a,b[ sind nicht kompakt, da sie nicht abgeschlossen sind. Es gibt Folgen, die auf einen Randpunkt des Intervalls konvergieren.
• Die Menge der reellen Zahlen ist nicht kompakt, da sie zwar abgeschlossen, aber nicht beschränkt ist. Sie enthält deshalb Zahlenfolgen, von denen jede Teilfolge „über alle Grenzen wächst“ (zum Beispiel die Menge der natürlichen Zahlen).

Siehe auch

• Kompakter Raum