Hilbertwürfel
Der Hilbertwürfel, auch Hilbertquader oder hilbertscher Fundamentalquader genannt, englisch Hilbert cube, ist ein nach dem Mathematiker David Hilbert benannter topologischer Raum, der den aus dem Anschauungsraum bekannten Würfel auf unendlich viele Dimensionen verallgemeinert.
Definition
Der Hilbertwürfel ist der Produktraum , versehen mit der Produkttopologie. Das bedeutet im Einzelnen:
- ist die Menge aller Folgen mit für alle .
- Eine Folge in , wobei , konvergiert genau dann gegen ein , wenn für alle Indizes .
Eigenschaften
- Der Hilbertwürfel ist zusammenhängend und wegzusammenhängend, denn diese Eigenschaften übertragen sich auf Produkträume.
- Der Hilbertwürfel ist ein kompakter Hausdorffraum, wie unmittelbar aus dem Satz von Tychonoff folgt.
- Der Hilbertwürfel ist metrisierbar, eine die Topologie definierende Metrik ist durch
- gegeben.
- Wie alle kompakten, metrisierbaren Räume ist der Hilbertwürfel separabel und genügt dem Zweiten Abzählbarkeitsaxiom (und damit auch dem Ersten Abzählbarkeitsaxiom). Hierbei ist die Menge
- eine abzählbare dichte Teilmenge von . Die Menge aller -Kugeln (bzgl. obiger Metrik) um die Punkte aus ist dann eine abzählbare Basis.
- Die lebesgue'sche Überdeckungsdimension des Hilbertwürfels ist unendlich, denn für jedes enthält der Hilbertwürfel den zu homöomorphen Unterraum , muss daher eine Dimension haben für alle und das heißt .
Universelle Eigenschaft
Kompakte Räume mit abzählbarer Basis
Der Hilbertwürfel ist nach obigen Eigenschaften ein kompakter Hausdorffraum mit abzählbarer Basis. ist universell bzgl. dieser Eigenschaften in dem Sinne, dass er von jedem solchen Raum eine Kopie enthält. Es gilt:
- Jeder kompakte Hausdorffraum mit abzählbarer Basis ist homöomorph zu einem abgeschlossenen Unterraum des Hilbertwürfels.
Polnische Räume
Auch polnische Räume lassen sich in den Hilbertwürfel einbetten. Es gilt:
- Die polnischen Räume sind bis auf Homöomorphie genau die -Mengen im Hilbertwürfel.
- Die kompakten, polnischen Räume sind bis auf Homöomorphie genau die abgeschlossenen Mengen im Hilbertwürfel.
Der Hilbertwürfel im l2
Eine homöomorphe Kopie des Hilbertwürfels findet sich im Hilbertraum der quadratsummierbaren Folgen. Definiere
- .
Dann ist ein Homöomorphismus, wenn man mit der Teilraumtopologie der Normtopologie des Hilbertraums versieht. Beachte, dass keine Nullumgebung in ist, denn enthält keine Normkugel. Ferner fallen auf die relative Normtopologie und die relative schwache Topologie zusammen.
Alternative Definitionen des Hilbertwürfels wären oder oder , versehen mit der Produkttopologie. Bei einer solchen Definition wäre selbst eine Teilmenge des Hilbertraums .
Basierend auf einem Artikel in: Wikipedia.de Seite zurück© biancahoegel.de
Datum der letzten Änderung: Jena, den: 15.02. 2020