Dimensionalitt des Raumes, eine historische und begriffliche Analyse

Kapitel 8: Topologie und Dimensionstheorie

In diesem Kapitel werde ich zunchst 1.) eingehen auf die Geschichte der Topologie, und vor allem der Dimensionstheorie, soweit sie fr die Dimension des physikalischen Raumes bedeutsam ist. Dann werde ich 2.) Alle wichtigen Definitionen des Dimensionsbegriffes vorstellen und wie weit sie untereinander quivalent sind, und 3.) die wichtigsten klassischen Stze der Dimensionstheorie vorstellen, und analysieren, welche Relevanz sie fr den physikalischen Raum besitzen. 8.1 Eine kurze Geschichte der Dimensionstheorie Der ltere Name der Topologie ist Analysis situs. Unter diesem Titel verffentlichte Henri Poincare einen ausfhrlichen Artikel im Journal de l'cole Polytechnique in 1895. Damit begrndete er die algebraische Topologie. Die algebraische Topologie stellt einen Zusammenhang her zwischen der allgemeinen mengentheoretischen Topologie und der Theorie der Gruppen. Im Jahre 1912 hat dann Poincare die Dimensionstheorie begrndet Ich berufe mich hier auf das klassische Buch Dimension Theory (1941) von Witold Hurewicz und Henry Wallman. Dort wird ein Artikel zitiert aus Revue de metaphysique et de morale: Der Ausgangspunkt ist die Definition, dass ein Punkt die Dimension 0 habe, und die Linie die Dimension 1, dann geht es weiter: If to divide a continuum C, cuts which form one or several continua of one dimension suffice, we shall say that C is a continuum of two dimensions; if cuts which form one or several continua of at most two dimensions suffice, we shall say that C is a continuum of three dimensions and so on. (Wenn ein oder mehrere Kontinua der Dimension 1 ausreichen, um ein Kontinuum C zu zerteilen, dann sagen wir, dass C ein Kontinuum von zwei Dimensionen sei. Wenn Schnitte, die ein oder mehrere Kontinua der Dimension 2 bilden ausreichen, werden wir sagen, dass C ein Kontinuum mit drei Dimensionen sei, und so weiter. (hnliche Formulierungen finden wir auch in dem Buch Letzte Gedanken (1913 bersetzt durch Karl Lichtenecker) in dem Aufsatz Warum der Raum dreidimensional ist im 2 Das Kontinuum und die Schnitte). Die Definition von Poincare beruht auf Induktion. Sie hat aber noch den Nachteil, dass sie global definiert ist. In den Definitionen zum ersten Buch hat Euklid dieses Konzept einer Beschreibung der Dimension durch die Art der Begrenzung schon verwendet: Definition 3: Die Enden einer Linie sind Punkte und Definition 6: Die Enden einer Flche sind Linien. Es war Brouwer, der 1913 im Journal fr Mathematik seinen Artikel verffentlichte ber den natrlichen Dimensionsbegriff. Dieser Artikel blieb lange Zeit unbeachtet, bis im Jahre 1922 Urysohn und Menger unabhngig von Brouwer eine lokale induktive Definition der Dimension vorlegten. Parallel dazu entwickelte Lebesgue seinen eigenen Dimensionsbegriff, basierend auf der Beobachtung, dass bei einer beliebige Pflasterung der Flche mindestens drei Kacheln einen gemeinsamen Punkt besitzen (und bei einer Zerlegung eines Wrfels in Quader jeweils mindestens 4 Quader einen gemeinsamen Punkt haben). Urysohn zeigte, dass alle Definitionen in einem metrischen kompakten Raum quivalent sind. Mehr dazu in 8.3. Als ein weiterer Meilenstein wird allgemein der Satz von Nbeling und Pontryagin angesehen, der von einer Einbettung von Rumen der Dimension n in den Wrfel mit 2n+1 Dimensionen handelt. Dieser Satz ist allerdings fr den physikalischen Raum nicht von

Bedeutung. Die klassischen Ergebnisse der Dimensionstheorie setzten immer voraus, dass die betrachteten Rume metrisch und separabel (siehe unten) sind (z.B. bei Hurewicz und Wallman auf Seite 9).. Einen greren Grad von Allgemeinheit bentigen wir auch nicht, weil der physikalische Raum diese Bedingungen erfllt. Auch Fragen der Metrisierbarkeit knnen uns hier nicht wirklich interessieren, da nicht zu erwarten ist, dass die Metrisierbarkeitsbedingungen irgendeinen physikalischen Gehalt besitzen. 8.2 Topologische Definitionen der Dimension Ich verwende hier den Aufsatz von Fedorchuk The Fundamentals of Dimension Theary (1988) aus der Encyclopedia of Mathematical Sciences, Volume 17 und Modern Dimension Theory (1981) von Nagata. Zunchst einige Definitionen vorab. Alle Mengen, die in den Definitionen vorkommen sollen Teilmengen eines topologischen Raumes X sein. Die Begriffe offen und abgeschlossen knnte man eigentlich als bekannt voraussetzen. Aber eingeengt auf metrische Rume lautet die Definition von offen: Eine Menge heit offen, wenn fr jedes x aus dem metrischen Raum (X,d) ein > 0 existiert, sodass alle y mit d(x,y) < in dieser Umgebung liegen. Dies nennt man auch die durch d induzierte Topologie. Eine Menge M (Teilmenge des topologischen Raumes X) heit abgeschlossen, wenn ihr Komplement also X-M - offen ist. Eine Menge C heit Abschluss oder abgeschlossene Hlle einer Menge A, wenn C der Durchschnitt aller abgeschlossenen Mengen M ist, die A enthalten. Wir nennen diese Menge Closure(A). Der Rand einer Menge A sind alle Punkte, die sowohl zur abgeschlossenen Hlle von A gehren, wie auch zur abgeschlossenen Hlle des Komplements von A: in Formelschreibweise:: Boundary(A) = Closure(A) Closure(X-A). Ein Raum heit separabel, wenn er eine abzhlbare Teilmenge enthlt, deren abgeschlossene Hlle des ganzen Raum umfasst. Man sagt die Menge C trennt die Mengen A und B, wenn (X-C) die Vereinigung zweier offener Mengen U und V ist, wobei AU und BV. Der Prototyp einer offenen Menge sind die Mengen U(x,) = { y| d(x,y) < }. Dies sind offene Kugeln. Nimmt man die Kugeloberflche hinzu, dann hat man die abgeschlossene Hlle der Kugel. Man kann im dreidimensionalen Raum nachweisen, dass die Kugeloberflche zweidimensional ist. Zu jedem einfach zusammenhngenden Krper gibt es eine stetige Abbildung, welche die Kugel in diesen Krper berfhrt. Daraus ergibt sich das, was anschaulich sowieso klar ist, nmlich dass die Oberflche eines einfach zusammenhngenden Krpers eine geschlossene Flche ist. Wir unterscheiden die kleine oder schwache und die groe oder starke induktive Definition eines topologischen Raumes X. Zunchst die Definition der schwachen induktiven Dimension ind X: a) Die leere Menge (und nur die leere Menge) hat die Dimension 1: ind = -1

b) Ein Raum X hat die Dimension ind X <= n in einem Punkt p, wenn fr jede Umgebung U(p) eines beliebigen Punktes p von X eine offene Umgebung V (V U) derart existiert, dass ind Boundary(V) <= n-1. c) Wenn (ind X <= n) aber nicht (ind X <= n-1) dann sagen wir (ind X = n). Analog dazu die Definition der starken induktiven Dimension Ind X: a) wieder gilt Ind = -1 b) Wenn fr zwei beliebige disjunkte abgeschlossene Teilmengen F und G von X eine Umgebung U existiert, derart, dass F U (X-G) und Boundary (U) <= n-1 gilt, dann sagen wir Ind X <= n. c) Wenn (Ind X <= n) aber nicht (Ind X <= n-1) dann sagen wir: (Ind X = n). Die Lebesgue-Dimension dim X fr einen topologischen Raum X ist so definiert: a) dim X= -1 wenn X= b) Wenn jede offene endliche berdeckung U (bestehend aus m offenen Mengen Ui mit X=U1+..+Um) eine Verfeinerung V besitzt, sodass die Multiplizitt fr jeden Punkt des Raumes kleiner oder gleich n+1 ist, dann sagen wir dim X <= n. (Unter Multiplizit verstehen wir, in wieviel Elementen der berdeckung ein Punkt von X enthalten ist). c) Wenn (dim X <= n) aber nicht (dim X <= n-1) dann sagen wir (dim X= n). Der Brouwersche Dimensionsgrad ist etwas anders formuliert, als die Definitionen oben: a) Dg X = 0 genau dann, wenn alle X total unzusammenhngend ist, d.h. jede Teilmenge mit mehr als einem Element nicht zusammenhngend ist. b) Wir sagen (Dg X <= n) wenn fr zwei disjunkte Teilmengen A, B immer eine abgeschlossene Teilmenge existiert, sodass C (X-(A B)) wobei Dg C <= n-1. Man sagt C trennt A und B. c) Wenn (Dg X <= n) aber nicht (Dg X <= n-1) dann sagen wir wie immer (Dg X = n). 8.3 Die wichtigsten Ergebnisse der Dimensionstheorie. Die wichtigsten Ergebnisse der Topologie aus der Sicht der Philosophie von Raum und Zeit stammen aus der Frhzeit, bis etwa 1940, als das Buch von Hurewicz und Wallman erschien. Spter wurden diese Ergebnisse auf allgemeinere Klassen von Rumen ausgedehnt, ber die metrischen separablen Rume hinaus. Auch Ergebnisse, die Metrisierbarkeit betreffen sind fr uns nicht interessant, weil der Ausgangspunkt der allgemeinen Topologie der ist, dass zu jedem Punkt Umgebungen in Form von Mengen gegeben sind. Im physikalischen Raum ist das nicht der Ausgangspunkt, sondern die Mglichkeit Abstnde festzustellen (entweder ber die Verwendung von starren Mastben oder ber Radar. In der Physik ist die Metrik das Primre. Und durch die Metrik wird ja eine Topologie induziert. Was sind nun die wichtigsten Ergebnisse? Als erstes ist zu nennen: Beweis der Invarianz der Dimensionszahl (1911) in den Annalen der Mathematik von Brouwer aufgestellt. Dies Ergebnis folgt auch als Korollar aus seinem Satz von der Invarianz von Domne und sein Inhalt ist, dass es keinen Homeomorphismus also bijektive stetige Abbildung - von En nach Em gibt, wenn m ungleich n ist. Es gibt zwar bijektive Abbildungen, welche die Dimension verndern aber die sind nicht stetig. Somit reien sie benachbarte Gebiete auseinander und bringen umgekehrt Gebiete, die vorher nicht benachbart waren in ein NachbarschaftsVerhltnis. Dadurch wird das Nahewirkungsprinzip verletzt. Es gab im neunzehnten Jahrhundert eine Diskussion, ob der physikalische Raum mglicherweise eine andere, hhere Dimension vor allem vier - haben knnte, und von unserem Sinnesapparat im Verbund mit unserem Gehirn in eine dreidimensionale Form

herunter-transformiert wird. Mit solchen Vermutungen wollte man u.a. gewisse angeblich produzierte bernatrliche Erscheinungen, wie Spuk und dergleichen erklren. Der Illusionist Henry Slade brachte den renommierten Physiker und Astronomen Zllner um 1880 dazu, ihm zu glauben, dass er ein Medium sei, das in der vierten Dimension operiert, um gewisse Taschenspieler-Kunststcke zu vollbringen. Zllner setzte sich in einem viel beachteten Skandal-Prozess fr Slade ein, und wurde zum Gesptt der ffentlichkeit, als sich heraus stellte dass Slade ein Betrger war. Der Satz von der Invarianz der Dimension lt keinen Raum fr solche Spekulationen und okkultistische Theorien. Das zweite wichtige Resultat Die Dimension des En (Das ist das kartesische Produkt Rn mit der normalen Euklidischen Metrik) ist n. Dieser Satz wurde bereits 1913 ebenfalls von Brouwer in seiner Arbeit ber den natrlichen Dimensionsbegriff bewiesen. Wenn das nicht so wre, dann wren die Dimensionsbegriffe allesamt unbrauchbar. Urysohn bewies fr metrische separable Rume den Satz von der quivalenz der drei Definitionen dim X = ind X = Ind X. Man kann unter gewissen Voraussetzungen auch die quivalenz von Dg X zu den anderen Definitionen beweisen. Der Pflastersatz von Lebesgue besagt, dass bei einem Wrfel des En, der aus einer endlichen Anzahl von abgeschlossenen Mengen zusammengesetzt ist (von denen keine zwei gegenberliegende Seiten des Wrfels enthlt), gibt es mindestens n+1 Komponenten, die einen gemeinsamen Punkt besitzen (Im Extremfall, wenn z.B. im dreidimensionalen Raum 8 Kanten von Quadern an einander stoen, dann gibt es auch mehr Komponenten, die einen gemeinsamen Punkt besitzen, wir reden hier von der Mindestzahl). Obwohl dieser Satz eine groe formale hnlichkeit mit der Lebesgue-Definition der Dimension besitzt ist sein Beweis nicht trivial. Ein Korollar dieses Satzes ist: Der Rand einer beliebigen offenen Menge in einer n-dimensionalen Mannigfaltigkeit hat die Dimension n-1, und ein weiteres Korollar: En kann nicht durch eine Untermenge D mit dim D <= n-1 in zwei disjunkte Teile geteilt werden. 8.4 Der Wert der Topologie Der allgemeine Wert der Topologie liegt darin begrndet, dass sie auf die Mengenlehre begrndet ist. Dies ist ein wesentlicher Beitrag zur Vereinheitlichung der Mathematik. Dadurch kann die Beweistechnik der Topologie auf allgemeine Ergebnisse der Mengenlehre zurck greifen. Andererseits fllt bei der Topologie auf, dass es eigentlich keine Axiomensysteme gibt. Es gibt zwar die sogenannten Trennungsaxiome. Diese werden aber in der Form verwendet, dass man in den Voraussetzungen zu einem Theorem immer angibt, welche Trennungsaxiome gelten sollen. Die gesamte Dimensionstheorie hat uns auer der Einsicht, dass die Dimension invariant ist im wesentlichen die Einsicht beschert, dass ein dreidimensionaler Krper eine zweidimensionale Oberflche hat und haben muss. Diese Eigenschaft unterschiedet den physikalischen Raum von Rumen anderer Dimension. Der Pflastersatz von Lebesgue angewandt auf den dreidimensionalen Raum besagt: Wenn man einen Raum in eine Kollektion von dreidimensionalen Krpern (z.B. Quader bzw. Ziegelsteine) zerlegt, dass es mindestens einen Punkt geben muss, der in vier Teilkrpern enthalten ist. Mit anderen Worten: Es mu einen Punkt im Raum geben, an dem mindestens 4

dieser Krper zusammenstoen. Dass es auch wesentlich mehr Teilkrper sein knnen sieht man an der Apfelsine. Auch diese Eigenschaft unterscheidet den dreidimensionalen Raum von Rumen hherer oder niederer Dimension. Was in den Definitionen der topologischen Dimensions-Begriffe vllig fehlt ist Linearitt. Es gibt also (wahrscheinlich) Rume, die keine lineare Struktur haben, denen wir dennoch eine Dimension zuordnen knnen. Die Existenz solcher Rume ist dann nachgewiesen, wenn man ein Modell finden kann. Allerdings sind solche Rume fr uns uninteressant, da der physikalische Raum unserer Erfahrung eindeutig linear strukturiert ist.