- Produkttopologie
-
In der Topologie ist die Produkttopologie die „natürlichste“ Topologie, die ein kartesisches Produkt von topologischen Räumen selbst zu einem topologischen Raum macht.
Inhaltsverzeichnis
Definition
Für jedes i aus einer (möglicherweise unendlichen) Indexmenge I sei Xi ein topologischer Raum. Sei das kartesische Produkt der Mengen Xi. Für jeden Index haben wir eine kanonische Projektion . Dann ist die Produkttopologie auf X definiert als die gröbste Topologie (die Topologie mit den wenigsten offenen Mengen), bezüglich der alle Projektionen pi stetig sind. Man nennt X mit dieser Topologie den Produktraum der Xi.
Explizite Beschreibung
Man kann die Topologie auf X explizit beschreiben. Die Urbilder offener Mengen der Faktorräume Xi unter den kanonischen Projektionen bilden eine Subbasis der Produkttopologie, d.h. eine Teilmenge von X ist offen genau dann, wenn sie die Vereinigung von (möglicherweise unendlich vielen) Durchschnitten je endlich vieler Mengen der Form ist, wobei i in I liegt und O eine offene Teilmenge von Xi ist. Daraus folgt, dass im Allgemeinen nicht alle kartesischen Produkte offener Teilmengen offen sein müssen (ist I endlich, dann ist das jedoch immer so).
Universelle Eigenschaft
Der Produktraum X zusammen mit den kanonischen Projektionen pi wird durch die folgende universelle Eigenschaft charakterisiert: Ist Y ein topologischer Raum und für jedes i in I ist stetig, dann gibt es genau eine stetige Funktion , so dass für alle i in I gilt.
Beispiele
- Die Produkttopologie auf dem n-fachen kartesischen Produkt der reellen Zahlen ist die gewöhnliche euklidische Topologie.
- Die Produkttopologie auf einem Funktionenraum ist die Topologie der punktweisen Konvergenz.
- Die Cantor-Menge ist homöomorph zum Produktraum von abzählbar vielen Kopien des diskreten Raums {0,1}.
- Der Raum der irrationalen Zahlen ist homöomorph zum Produkt abzählbar vieler Kopien der natürlichen Zahlen mit der diskreten Topologie.
- Der Ring der ganzen p-adischen Zahlen wird mit der Produkttopologie der diskreten Räume versehen und ist dann kompakt. Diese Topologie wird auch erzeugt vom p-adischen Betrag auf .
Eigenschaften
Die Produkttopologie heißt auch Topologie der punktweisen Konvergenz aufgrund der folgenden Eigenschaft: Eine Folge in X konvergiert genau dann, wenn alle Projektionen auf die Xi konvergieren. Insbesondere ist für den Raum aller Funktionen von I nach die Konvergenz in der Produkttopologie gleichbedeutend mit der punktweisen Konvergenz.
Um zu prüfen, ob eine gegebene Funktion stetig ist, kann man das folgende Kriterium benutzen: f ist stetig genau dann, wenn alle stetig sind. Die Überprüfung, ob eine Funktion stetig ist, ist meist schwieriger; man versucht dann irgendwie die Stetigkeit der pi auszunutzen.
Ein wichtiger Satz über die Produkttopologie ist der Satz von Tichonow: Jedes Produkt kompakter Räume ist kompakt. Dies ist leicht für endliche Produkte zu zeigen, aber die Aussage ist überraschenderweise auch wahr für unendliche Produkte, zu deren Beweis man dann aber das Auswahlaxiom benötigt.
Wesentliche Teile der Theorie der Produkttopologie wurden von A. N. Tichonow entwickelt.
Sonstiges
- Ein verwandter Begriff ist die Summentopologie.
- Die Produkttopologie ist eine spezielle Initialtopologie.
Literatur
- Boto von Querenburg: Mengentheoretische Topologie. 3. neu bearbeitete und erweiterte Auflage. Springer-Verlag, Berlin u. a. 2001, ISBN 3-540-67790-9 (Springer-Lehrbuch).
Kategorie:- Mengentheoretische Topologie
Wikimedia Foundation.