Eine Teilmenge der Menge der reellen Zahlen (oder allgemeiner des euklidischen Raumes ) ist genau dann kompakt, wenn sie beschränkt und abgeschlossen ist.
Sie darf also keine Folge enthalten, die zwar konvergiert, 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.
Dieser Artikel behandelt eine vereinfachte Version der Kompaktheit, wie sie in oder im richtig ist. Obige Definition ist im Falle allgemeiner topologischer Räume nicht korrekt; der allgemeine Begriff wird im Artikel „Kompakter Raum“ dargestellt.
Gleichwertige Formulierungen Bearbeiten
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 aus jeder offenen Überdeckung eine endliche Teilüberdeckung gewählt werden kann (dies definiert Überdeckungskompaktheit).
Verallgemeinerungen Bearbeiten
Der Begriff der Kompaktheit lässt sich ohne weiteres auf den 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 Bearbeiten
Sei eine Teilmenge eines topologischen Raumes. heißt kompakt, wenn es für jede offene Überdeckung , , eine endliche Teilüberdeckung von gibt. D. h., es gibt eine endliche Teilmenge und .
Bemerkung Bearbeiten
Nach Definition müssen die 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 Bearbeiten
Seien und reelle Zahlen und .
- Ein abgeschlossenes Intervall ist kompakt. Jede konvergente Folge in diesem Intervall muss gegen einen Intervallwert konvergieren.
- Die halboffenen Intervalle und das offene Intervall sind nicht kompakt, da sie nicht abgeschlossen sind. Es gibt Folgen, die gegen 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).