Kompaktheit (reelle Zahlen)

Eine Teilmenge der Menge \mathbb {R} der reellen Zahlen (oder allgemeiner des euklidischen Raumes \mathbb {R} ^{n}) 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 \mathbb {R} oder im \mathbb {R} ^{n} richtig ist. Obige Definition ist im Falle allgemeiner topologischer Räume nicht korrekt; der allgemeine Begriff wird im Artikel „Kompakter Raum“ dargestellt.

Gleichwertige Formulierungen

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

Verallgemeinerungen

Der Begriff der Kompaktheit lässt sich ohne weiteres auf den \mathbb {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

Hauptartikel: Kompakter Raum

Sei M eine Teilmenge eines topologischen Raumes. M heißt kompakt, wenn es für jede offene Überdeckung (T_i)_{i \in I}, {\displaystyle 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.

Trenner
Basierend auf einem Artikel in: Wikipedia.de
Seitenende
Seite zurück
©  biancahoegel.de
Datum der letzten Änderung: Jena, den: 20.06. 2020