Kompaktifizierung ist ein Oberbegriff aus dem mathematischen Teilgebiet der Topologie. Unter einer Kompaktifizierung versteht man dabei die Zuordnung kompakter Räume zu bestimmten topologischen Räumen, sodass der jeweils zugeordnete kompakte Raum, die Kompaktifizierung des ursprünglichen Raums, topologische Eigenschaften des ursprünglichen Raumes übernimmt. In vielen Fällen kann der ursprüngliche Raum als Teilraum des kompaktifizierten Raumes aufgefasst werden.
Übliche Forderungen Bearbeiten
- Der Raum ist homöomorph zu einem Teilraum der Kompaktifizierung, das ist äquivalent dazu, dass eine Einbettung in die Kompaktifizierung existiert, das heißt eine injektive, stetige und relativ offene Abbildung.
- Eingebettet in die Kompaktifizierung aufgefasst, ist er eine dichte Teilmenge dieser, dies garantiert die Eindeutigkeit von Fortsetzungen stetiger Abbildungen auf die Kompaktifizierung (s. u.).
- Möglichst große Klassen stetiger Abbildungen auf dem Raum lassen sich stetig auf die Kompaktifizierung fortsetzen oder zumindest in ähnlicher Weise auf die Kompaktifizierung übertragen.
- Die Kompaktifizierung erfüllt die Hausdorffeigenschaft.
Beispiele Bearbeiten
Im Allgemeinen gibt es für einen Raum viele verschiedene Kompaktifizierungen, die sich z. T. dramatisch unterscheiden.
Stone-Čech-Kompaktifizierung Bearbeiten
Jeder vollständig reguläre Raum kann durch die Stone-Čech-Kompaktifizierung kompaktifiziert werden. Dafür gibt es eine Reihe verschiedener Konstruktionen und der entstehende Raum hat viele Eigenschaften, die ihn auszeichnen, z. B.
- ist, falls diesem Verband angehörig, maximal im Verband der Kompaktifizierungen, die als dichten Unterraum enthalten
- jede beschränkte Funktion lässt sich nach fortsetzen
Einpunktkompaktifizierung (Alexandroff-Kompaktifizierung) Bearbeiten
Der russische Mathematiker Paul Alexandroff hat eine Konstruktion angegeben, die für einen beliebigen topologischen Raum zu einer kompakten Erweiterung führt:
Es wird ein einzelner neuer Punkt zu hinzugenommen. Die Topologie, also die offenen Teilmengen von , besteht dann aus den gegebenen offenen Teilmengen von und den Komplementen der kompakten Mengen, die in liegen.
Die Einbettung wird Alexandroff-Erweiterung oder auch Alexandroff-Kompaktifizierung von genannt. Sie hat die meisten der oben geforderten Eigenschaften. Dabei gilt aber: ist genau dann ein Hausdorff-Raum, wenn lokalkompakt und Hausdorffsch ist. Insbesondere ist für lokalkompakte Hausdorffräume normal (wie jeder kompakte Hausdorff-Raum) und somit nach dem Lemma von Urysohn vollständig regulär, was sich auf den ursprünglichen Raum überträgt: Jeder lokalkompakte Hausdorff-Raum ist vollständig regulär.
Konkrete Beispiele Bearbeiten
- Die Einpunktkompaktifizierung der reellen Zahlen entspricht topologisch der Struktur eines Kreises, also einer . Die Einpunktkompaktifizierung der komplexen Zahlen ist die Riemannsche Zahlenkugel, deren Struktur der Oberfläche einer Kugel, also einer 2-Sphäre , entspricht. Allgemein ist die Einpunktkompaktifizierung des homöomorph zur n-dimensionalen Sphäre .
- Während die Einpunktkompaktifizierung der Menge der natürlichen Zahlen tatsächlich nur einen weiteren Punkt (abzählbar „Unendlich“) enthält, hat die Stone-Čech-Kompaktifizierung die Mächtigkeit unter Zuhilfenahme der Gültigkeit der Kontinuumshypothese.
- Für die erste überabzählbare Ordinalzahl mit der Ordnungstopologie ist zugleich Alexandroff-Kompaktifizierung und Stone-Čech-Kompaktifizierung.
Fortsetzbarkeit stetiger Funktionen Bearbeiten
Wichtig für die Anwendbarkeit von Kompaktifizierungen ist auch die Möglichkeit der Fortsetzbarkeit stetiger Funktionen auf dem zu kompaktifizierenden Raum auf die Kompaktifizierung. Etwa kann das Verhalten stetiger Funktionen auf kompakten Räumen einfacher zu beschreiben sein und sich dann auf die Einschränkung der Funktion auf den ursprünglichen Raum übertragen. Zudem können auch universelle Eigenschaften des Raumes unter Kompaktifizierung erhalten bleiben. Die Forderung nach Dichtheit des ursprünglichen Raums in der Kompaktifizierung garantiert, falls der Zielraum der Abbildung hausdorffsch ist, die Eindeutigkeit der Fortsetzung.
Auf einem lokalkompakten Hausdorffraum lassen sich genau die stetigen Funktionen stetig zu einer Funktion auf der Einpunktkompaktifizierung fortsetzen, die anschaulich gesprochen „im Unendlichen einen festen Wert anstreben“, bei stetigen reellen Funktionen zum Beispiel solche, die „im Unendlichen verschwinden“, also deren Wert ab gewissen Abständen vom Ursprung beliebig nah an die Null gerät, das sind die C0-Funktionen. Allgemein gesprochen: Das Bild der Filterbasis der Komplemente kompakter Mengen konvergiert. Im Falle der Stone-Čech-Kompaktifizierung eines Tichonow-Raums lassen sich alle stetigen Funktionen in einen kompakten Hausdorffraum auf den kompaktifizierten Raum stetig fortsetzen, so etwa auch im Falle reellwertiger Funktionen alle beschränkten stetigen Funktionen.
Die Stetigkeit von Funktionen in einen Raum bleibt erhalten, wenn man sie als Funktionen in den kompaktifizierten Raum auffasst, falls eine stetige und injektive Einbettung in den kompaktifizierten Raum existiert.
Anwendung Bearbeiten
Viele Sätze der Topologie werden zunächst für kompakte Räume bewiesen, da hier durch die Endlichkeitsbedingung (in ihren verschiedenen Formulierungen) Beweise leichter zu führen sind. Als ein weiterer Schritt wird dann versucht, für andere Räume eine geeignete Kompaktifizierung zu konstruieren und zu sehen, unter welchen Bedingungen sich Ergebnisse übertragen lassen. Als Beispiel für eine Anwendung betrachten wir den Satz von Gelfand-Kolmogoroff:
Satz von Gelfand-Kolmogoroff Bearbeiten
Dieser Satz ist ein Beispiel dafür, dass man direkt mit Hilfe der Stone-Čech-Kompaktifizierung Aussagen über einen Raum erhält.
sei der Ring der stetigen Funktionen von nach (mit punktweise definierter Addition und Multiplikation) und der Unterring der beschränkten Funktionen.
- (Gelfand-Kolmogoroff): In jedem Tychonoff-Raum gibt es eine 1-1-Zuordnung zwischen den maximalen Idealen von und von . In beiden Fällen "fixiert" jedes maximale Ideal genau einen Punkt .
Genauer gilt: in gibt es für jedes maximale Ideal (genau) einen Punkt mit , wobei die stetige Fortsetzung von nach ist.
Für lautet die entsprechende Beschreibung für maximale Ideale: , wobei und für den Abschluss in steht.
Verwandte Begriffe Bearbeiten
Analog zur Vorstellung von der Kompaktifizierung kann man auch bei den meisten mit kompakt verwandten Begriffen vorgehen: Den Begriff Pseudokompaktifizierung erhält man beispielsweise, indem man in der Definition kompakt durch pseudokompakt ersetzt.
Einzelnachweise Bearbeiten
- im Ganzen für dieses Beispiel: L. Gillman, M. Jerison: Rings of Continuous Functions. 1976, Kap. 6 f.
Literatur Bearbeiten
- Paul Alexandroff: Über die Metrisation der im Kleinen kompakten topologischen Räume. In: Mathematische Annalen. Bd. 92, Nr. 3/4, 1924, S. 294–301, doi:10.1007/BF01448011, Digitalisat (PDF; 646 kB).
- Leonard Gillman, Meyer Jerison: Rings of Continuous Functions (= Graduate Texts in Mathematics. Bd. 43). Springer, Berlin u. a. 1976, ISBN 3-540-90198-1.
- Boto von Querenburg: Mengentheoretische Topologie (= Springer-Lehrbuch). 3., neu bearbeitete und erweiterte Auflage. Springer, Berlin u. a. 2001, ISBN 3-540-67790-9.