Ich zietiere die Definition des entsprechenden Wikipedia-Eintrags:
Für jedes aus einer (möglicherweise unendlichen) Indexmenge sei ein topologischer Raum. Sei das kartesische Produkt der Mengen . Für jeden Index bezeichne die kanonische Projektion. Dann ist die Produkttopologie auf definiert als die gröbste Topologie (die Topologie mit den wenigsten offenen Mengen), bezüglich der alle Projektionen stetig sind.
\\\\\
Ein Beispiel:
Betrachte die topologischen Räume und mit:
Betrachte nun das kartesische Produkt also:
Nun sollen die kanonischen Projektionen stetig sein. Eine Abbildung ist stetig, wenn die Urbilder offener Mengen offene Mengen sind. Also müssen die folgenden Mengen offen sein:
Also soll jede dieser Mengen in der Produkttopologie enthalten sein. Jedoch bilden die Mengen noch keine Topologie, da beispielsweise nicht enthalten ist. Man muss also noch ein paar zusätzliche Mengen mit reinnehmen, um die Mengen zu eine Topologie zu ergänzen. Aber man nimmt nur die zusätzlichen Mengen mit rein, die nötig sind, nicht mehr. Das heißt, wir suchen die gröbste Topologie, welche die genannten Urbildmengen enthält. Im genannten Beispiel muss man noch die folgenden Mengen ergänzen:
Und man erhält als Produkttopologie auf
|
Die Urbild-Mengen bilden nach Voraussetzung eine sogenannte _Subbasis_ der Produkttopologie. Wenn man bei einer Subbasis alle endlichen Durchschnitte bildet, so erhält man eine _Basis_.
Ich habe also geschaut, welche Durchschnitte ich bilden kann, die noch fehlen:
Demnach bilden die Mengen eine Basis.
Nun lässt sich jede Menge in der Produkttopologie, als Vereinigung von Basismengen darstellen. So dass man nun noch alle Vereinigungen bilden muss. Man erhält zusätzlich:
Also besteht die Produkttopologie insgesamt aus den folgenden Mengen:
\\\\\
Das habe ich jetzt manuell durchgeführt. Bei meinem vorigen Beitrag habe ich das meinen PC machen lassen, da dieser weniger fehleranfällig ist, als ich es bin.
Ich habe das Programm mal als Bild angehängt. (Es sieht komplizierter aus, als es eigentlich ist.)
|