Kompakter Raum


Kompakter Raum

Kompaktheit ist ein zentraler Begriff der mathematischen Topologie, und zwar eine Eigenschaft, die einem topologischen Raum zukommt oder nicht. Sie wird in vielen mathematischen Aussagen vorausgesetzt – oft auch in abgeschwächter Form als Lindelöf-Eigenschaft oder Parakompaktheit. Lokale Kompaktheit ist dagegen eine weder über- noch untergeordnete Bedingung. Eine kompakte Menge nennt man je nach Kontext auch Kompaktum oder kompakter Raum; dabei ist nicht erheblich, ob sie Teilmenge eines Oberraums ist oder nicht.

Einfache Beispiele für kompakte Mengen sind abgeschlossene und beschränkte Teilmengen des Euklidischen Raums \R^n wie das Intervall [0,1] (bei n=1). Einfache Gegenbeispiele bilden die nicht kompakten Mengen \N\subset\R oder \left[0,1\right[\subset\R.

Inhaltsverzeichnis

Definition

Spezialfall: Kompaktheit im \R^n

Eine Teilmenge des Euklidischen Raums \R^n heißt kompakt, wenn sie abgeschlossen und beschränkt ist. Für diese spezielle Definition gilt der Satz von Heine-Borel:

Eine Teilmenge des \R^n ist genau dann kompakt, wenn jede offene Überdeckung der Teilmenge eine endliche Teilüberdeckung enthält.

Der Satz von Heine-Borel motiviert die folgende Verallgemeinerung der Definition der Kompaktheit auf topologische Räume.

Allgemeine Definition von Kompaktheit in topologischen Räumen

Ein topologischer Raum (X,\mathcal{T}) heißt kompakt, wenn jede offene Überdeckung (d. h. Überdeckung durch offene Teilmengen)

X=\bigcup_{i\in I}U_i\quad\textrm{mit}\quad U_i\in\mathcal{T}

eine endliche Teilüberdeckung

X=U_{i_1}\cup U_{i_2}\cup\ldots\cup U_{i_n} \text{ mit } i_1,\ldots,i_n\in I

besitzt.

Eine Teilmenge M eines topologischen Raums (X,\mathcal{T}) heißt kompakt, wenn jede offene Überdeckung

M\subseteq\bigcup_{i\in I}U_i\quad\textrm{mit}\quad U_i\in\mathcal{T}

eine endliche Teilüberdeckung

M\subseteq U_{i_1}\cup U_{i_2}\cup\ldots\cup U_{i_n} \text{ mit } i_1,\ldots,i_n\in I

besitzt.

Die beiden Begriffe sind kompatibel: Eine Teilmenge eines topologischen Raumes ist genau dann kompakt, wenn sie als topologischer Raum mit der Teilraumtopologie kompakt ist.

Einige Autoren wie beispielsweise Boto von Querenburg verwenden für die hier definierte Eigenschaft den Begriff quasikompakt und reservieren den Begriff "kompakt" für kompakte Hausdorff-Räume; dies ist durch die französische Prägung insbesondere in der algebraischen Geometrie üblich.

Beweggrund für die Kompaktheit

Ein wichtiger Grund für die Betrachtung kompakter Räume ist, dass sie in mancher Hinsicht als Verallgemeinerung von endlichen topologischen Räumen gesehen werden können, insbesondere sind auch alle endlichen Räume kompakt. Anders gesagt gibt es viele Ergebnisse, die sich leicht für endliche Mengen beweisen lassen, deren Beweise aber mit kleinen Änderungen auf kompakte Räume zu übertragen sind. Dies kommt in der Aussage „Kompaktheit ist neben der Endlichkeit die beste Eigenschaft“ zum Ausdruck. Hier ein Beispiel:

Wir setzen voraus, dass X ein Hausdorff-Raum ist und wir einen Punkt x aus X und eine endliche Teilmenge A von X haben, die x nicht enthält. Dann können wir x und A durch Umgebungen trennen: für jedes a aus A seien U(x) und V(a) disjunkte Umgebungen, die jeweils x bzw. a enthalten. Dann sind die Schnittmenge aller U(x) und die Vereinigung aller V(a) die benötigten Umgebungen von x und A.

Ist A nicht endlich, gilt der Beweis nicht mehr, da der Schnitt von unendlich vielen Umgebungen keine Umgebung mehr sein muss. Für den Fall dass A kompakt ist, geht der Beweis allerdings durch, indem man eine endliche Teilüberdeckung der Überdeckung V(a) von A verwendet. Auf diese Weise ist ersichtlich, dass in einem Hausdorff-Raum jeder Punkt durch eine Umgebung von jeder kompakten Menge, in der er nicht enthalten ist, getrennt werden kann. Letztendlich zeigt eine Wiederholung des Beweises, dass zwei beliebige disjunkte kompakte Mengen eines Hausdorff-Raums durch Umgebungen (das heißt durch offene Obermengen) getrennt werden können. Man beachte, dass dies genau das gleiche Ergebnis ist, das man erhält, wenn man „Punkt“ (d. h. einpunktige Menge) durch „kompakte Menge“ im hausdorffschen Trennungsaxiom T2 ersetzt. Viele Beweise und Sätze, die kompakte Räume betreffen, folgen diesem Muster.

Beispiele

Kompakte Räume

  • Betrachtet man das geschlossene Einheits-Intervall [0,1] als Teilmenge von \R versehen mit der Standardtopologie, so ist das Intervall ein kompakter, topologischer Raum. Ebenfalls kompakt sind die n-Kugeln und n-1-Sphären betrachtet als Teilmengen der \R^n versehen mit der Standardtopologie für beliebige natürliche Zahlen n.
  • Alle topologischen Räume mit endlicher Topologie, z. B. endliche Räume, sind kompakt.
  • Für eine natürliche Zahl p > 1 betrachte die Menge p^\N aller Folgen mit Werten aus \{0,\dotsc,p-1\}. Auf dieser Menge kann man eine Metrik d definieren, indem man d((xk),(yk)): = p m setzt, wobei m:=\inf\{k\in\N:x_k\neq y_k\}. Ist (xk) = (yk), so sei d((xk),(yx)): = 0. Aus dem Satz von Tychonoff (siehe unten) folgt, dass der durch diese Metrik induzierte topologische Raum kompakt ist. Diese Konstruktion kann für jede endliche Menge durchgeführt werden, nicht nur für {1,...,p}. Der entstehende metrische Raum ist dabei sogar ultrametrisch. Es gilt folgendes:
    • Ist p = 2, dann ist die Abbildung (x_1, x_2,\dots) \mapsto 2 (x_1 3^{-1} + x_2 3^{-2} + x_3 3^{-3} +\dots) ein Homöomorphismus von 2^\N in die Cantor-Menge.
    • Ist p eine Primzahl, dann ist die Abbildung (x_1, x_2,\dots) \mapsto (x_1 p^{0} + x_2 p^{1} + x_3 p^{2} + ...) ein Homöomorphismus von p^\N in die p-adischen ganzen Zahlen.
  • Das Spektrum eines beliebigen stetigen linearen Operators auf einem Hilbertraum ist eine kompakte Teilmenge der Komplexen Zahlen.
  • Das Spektrum eines beliebigen kommutativen Ringes oder einer booleschen Algebra ist ein kompakter Raum mit der Zariski-Topologie.

Nicht kompakte Räume

  • Die reellen Zahlen \R versehen mit der Standardtopologie sind nicht kompakt. Ebenfalls nicht kompakt sind das halboffene Intervall [0,1[, die ganzen Zahlen \Z oder die natürlichen Zahlen \N betrachtet als Teilmengen von \R. Versieht man jedoch beispielsweise \N mit der trivialen Topologie \mathcal{T}:=\{\emptyset,\N\}, so ist (\N,\mathcal{T}) kompakt. Ob eine Menge kompakt ist, hängt daher im Allgemeinen von der gewählten Topologie ab.
  • Die abgeschlossene Einheitskugel des Raumes \ell^\infty = L^\infty(\mathbb{N};\mathbb{R}) der beschränkten reellen Zahlenfolgen (siehe Lp-Raum), obwohl sie abgeschlossen und beschränkt ist. Es gilt allgemein, dass die Einheitskugel in einem Banach-Raum genau dann kompakt ist, wenn die Dimension des Raums endlich ist.

Eigenschaften

Eigenschaften kompakter Räume

Einige Sätze beziehen sich auf Kompaktheit:

  • Das Bild einer kompakten Menge unter einer stetigen Funktion ist kompakt. Folglich nimmt eine reellwertige stetige Funktion auf einem nichtleeren Kompaktum ein globales Minimum und ein globales Maximum an.
  • Jede unendliche Folge (a_n)_{n \in \mathbb N} von Elementen einer kompakten Menge K \subset E besitzt einen Häufungspunkt in K. Erfüllt K das erste Abzählbarkeitsaxiom, so existiert sogar eine in K konvergente Teilfolge (a_{n_i})_{i \in \mathbb N}.
    Die Umkehrung gilt jedoch nicht in jedem topologischen Raum, das heißt eine Teilmenge, in der jede Folge eine (in der Teilmenge) konvergente Teilfolge hat (eine solche Teilmenge heißt folgenkompakt, siehe unten), muss nicht kompakt sein. (Ein Beispiel bildet die Menge der abzählbaren Ordinalzahlen [0,ω1[ mit der Ordnungstopologie.)
  • Eine abgeschlossene Teilmenge eines kompakten Raumes ist kompakt.
  • Für jede Teilmenge M des euklidischen Raumes Rn sind die folgenden drei Aussagen äquivalent (vergleiche Satz von Heine-Borel):
    • M ist kompakt, das heißt jede offene Überdeckung von M hat eine endliche Teilüberdeckung.
    • Jede Folge in der Menge M hat eine in M konvergente Teilfolge (also mindestens einen Häufungspunkt).
    • Die Menge M ist abgeschlossen und beschränkt.
  • Ein kompakter Hausdorff-Raum ist normal.
  • Ein metrischer Raum (oder allgemeiner, ein Raum, der dem ersten Abzählbarkeitsaxiom genügt) ist genau dann kompakt, wenn jede Folge in dem Raum eine konvergente Teilfolge mit ihrem Grenzwert in dem Raum hat.
  • Ein topologischer Raum ist kompakt genau dann, wenn jedes Netz auf dem Raum ein Teilnetz hat, das einen Grenzwert in dem Raum hat.
  • Ein topologischer Raum ist kompakt genau dann, wenn jeder Filter auf dem Raum eine konvergente Verfeinerung besitzt.
  • Ein topologischer Raum ist kompakt genau dann, wenn jeder Ultrafilter auf dem Raum konvergiert.
  • Ein topologischer Raum kann in einen kompakten Hausdorff-Raum eingebettet werden genau dann, wenn er ein Tychonoff-Raum ist.
  • Ein metrischer Raum X ist kompakt genau dann, wenn jeder zu X homöomorphe metrische Raum vollständig ist.
  • Falls der metrische Raum X kompakt ist und eine offene Überdeckung von X gegeben ist, dann existiert eine Zahl δ > 0, so dass jede Teilmenge von X mit Durchmesser < δ in einem Element der Überdeckung enthalten ist. (Zahlen-Lemma von Lebesgue)
  • Falls ein topologischer Raum eine Subbasis hat, so dass jede Überdeckung des Raumes durch Elemente der Subbasis eine endliche Teilüberdeckung hat, so ist der Raum kompakt. (Alexanders Subbasis-Satz)
  • Zwei kompakte Hausdorff-Räume X1 und X2 sind genau dann homöomorph, wenn ihre Ringe von stetigen reell-wertigen Funktionen C(X1) und C(X2) isomorph sind.

Andere Formen von Kompaktheit

Es gibt einige topologische Eigenschaften, die äquivalent zur Kompaktheit in metrischen Räumen sind, aber nicht äquivalent in allgemeinen topologischen Räumen:

  • Folgenkompakt: Jede Folge hat eine konvergente Teilfolge.
  • Abzählbar kompakt: Jede abzählbare offene Überdeckung hat eine endliche Teilüberdeckung. (Oder, äquivalent, jede unendliche Teilmenge hat einen ω-Häufungspunkt.)
  • Pseudokompakt: Jede reell-wertige stetige Funktion auf dem Raum ist beschränkt.
  • Schwach abzählbar kompakt: Jede unendliche Teilmenge hat einen Häufungspunkt.

Während diese Konzepte für metrische Räume äquivalent sind, gibt es im Allgemeinen folgende Beziehungen:

  • Kompakte Räume sind abzählbar kompakt.
  • Folgenkompakte Räume sind abzählbar kompakt.
  • Abzählbar kompakte Räume sind pseudokompakt und schwach abzählbar kompakt.

Siehe auch

Literatur

Weblinks


Wikimedia Foundation.

Schlagen Sie auch in anderen Wörterbüchern nach:

  • kompakter Raum — kompạkter Raum,   Mathematik: ein topologischer Raum, in dem jede Überdeckung durch offene Mengen schon eine endliche Überdeckung enthält …   Universal-Lexikon

  • Lokal kompakter Raum — Im mathematischen Teilgebiet der Topologie sind die lokal kompakten Räume eine Klasse topologischer Räume, die eine gewisse lokale Endlichkeitsbedingung erfüllen. Inhaltsverzeichnis 1 Definition 2 Folgerungen 3 Permanenz Eigenschaften …   Deutsch Wikipedia

  • Sigma-kompakter Raum — Ein topologischer Raum heißt Sigma kompakt (σ kompakt), wenn er sich als abzählbare Vereinigung kompakter Teilräume schreiben lässt. σ Kompaktheit ist also eine Abschwächung des topologischen Begriffs der Kompaktheit. Der Buchstabe σ in der… …   Deutsch Wikipedia

  • Kompakter Operator — Kompakte Operatoren zwischen zwei Banachräumen sind in der Funktionalanalysis, einem der Teilgebiete der Mathematik, spezielle Operatoren, die ihren Ursprung in der Theorie der Integralgleichungen haben. Man spricht auch von kompakten Abbildungen …   Deutsch Wikipedia

  • Lokalkompakter Raum — Im mathematischen Teilgebiet der Topologie sind die lokal kompakten Räume eine Klasse topologischer Räume, die eine gewisse lokale Endlichkeitsbedingung erfüllen. Inhaltsverzeichnis 1 Definition 2 Folgerungen 3 Permanenz Eigenschaften …   Deutsch Wikipedia

  • S-Raum — Unter einem Schwartz Raum versteht man in der Mathematik eine spezielle Klasse lokalkonvexer Vektorräume. Viele in den Anwendungen wichtige Räume, z. B. Räume differenzierbarer Funktionen, sind Schwartz Räume. Der Raum der schnell fallenden… …   Deutsch Wikipedia

  • Tichonow-Raum — Im mathematischen Teilgebiet der Topologie versteht man unter einem vollständig regulären Raum einen topologischen Raum mit speziellen Trennungseigenschaften. Dabei handelt es sich um topologische Räume, die im unten präzisierten Sinne… …   Deutsch Wikipedia

  • Tychonoff-Raum — Im mathematischen Teilgebiet der Topologie versteht man unter einem vollständig regulären Raum einen topologischen Raum mit speziellen Trennungseigenschaften. Dabei handelt es sich um topologische Räume, die im unten präzisierten Sinne… …   Deutsch Wikipedia

  • R1-Raum — topologischer Raum berührt die Spezialgebiete Mathematik Topologie ist Spezialfall von Mengensystem umfasst als Spezialfälle …   Deutsch Wikipedia

  • T0-Raum — topologischer Raum berührt die Spezialgebiete Mathematik Topologie ist Spezialfall von Mengensystem umfasst als Spezialfälle …   Deutsch Wikipedia