In der Mathematik wird mit der Dimension ein Konzept bezeichnet, das im Wesentlichen die Anzahl der Freiheitsgrade einer Bewegung in einem bestimmten Raum bezeichnet. Der Begriff der Dimension tritt in einer Vielzahl von Zusammenhngen auf. Kein einzelnes mathematisches Konzept vermag es, die Dimension fr alle Situationen zufriedenstellend zu definieren, darum existieren fr verschiedene Rume auch unterschiedliche Dimensionsbegriffe.
Inhaltsverzeichnis 1 2 3 4 5 6 7 8
Hamel-Dimension Hilbertraum-Dimension Schauder-Dimension Mannigfaltigkeiten Kettenlnge als Dimension (topologische Dimension) Hausdorff-Dimension Siehe auch Weblinks
Hamel-Dimension Am bekanntesten ist die Dimension eines Vektorraums, auch Hamel-Dimension genannt. Sie ist gleich der Mchtigkeit einer Basis des Vektorraumes. Folgende Aussagen sind hierzu quivalent: Die Dimension ist gleich der Mchtigkeit eines minimalen Erzeugendensystems. Die Dimension ist gleich der Mchtigkeit eines maximalen Systems linear unabhngiger Vektoren. Beispielsweise besitzt der geometrisch anschauliche Euklidische 3-Raum die Dimension 3 (Lnge, Breite, Hhe). Die Euklidische Ebene hat die Dimension 2, die Zahlengerade die Dimension 1, der Punkt die Dimension 0. Vektorrumen, die kein endliches Erzeugendensystem besitzen, kann man ebenfalls die Mchtigkeit eines minimalen Erzeugendensystems als Dimension zuordnen; es handelt sich dabei dann um eine unendliche Kardinalzahl. Das Wort Hamel-Basis wird vor allem fr unendlichdimensionale Vektorrume verwendet, weil Georg Hamel als erster (mit Hilfe des Wohlordnungssatzes, also des Auswahlaxioms) die Existenz einer Basis auch in diesem Fall bewiesen hat.
Hilbertraum-Dimension Jeder Hilbertraum besitzt eine sogenannte Orthonormalbasis. Diese ist im Allgemeinen nicht eindeutig und
im Allgemeinen keine Hamel-Basis im oben definierten Sinne. Man kann allerdings zeigen, dass je zwei Orthonormalbasen gleich viele Elemente haben und somit ist es mglich, die Dimension des Hilbertraums als die Kardinalitt einer Orthonormalbasis zu definieren; es handelt sich auch hierbei um eine (im Allgemeinen unendliche) Kardinalzahl. Diese Kardinalzahl ist ausreichend, um Hilbertrume komplett zu klassifizieren: Zu jeder Kardinalzahl gibt es bis auf Isomorphie genau einen Hilbertraum, der eine Orthonormalbasis der entsprechenden Kardinalitt besitzt. Beispiel: Der Hilbertraum der quadratintegrierbaren Funktionen auf [0,1] hat HilbertraumDimension - die Hamel-Dimension ist aber echt grer.
Schauder-Dimension Fr allgemeinere topologische Vektorrume kann man die Mchtigkeit einer Schauderbasis auch als Dimension bezeichnen. Allerdings ist die Existenz einer Schauderbasis im Allgemeinen nicht gegeben, sodass man auf diese Weise nicht jedem topologischen Vektorraum eine Dimension zuordnen kann. Per Definition ist eine Schauderbasis immer abzhlbar, sodass die Schauder-Dimension niemals grer als werden kann. In einem separablen Hilbertraum ist jede Orthonormalbasis eine Schauderbasis und dementsprechend stimmen in diesem Fall die Hilbertraum-Dimension und die Schauder-Dimension berein.
Mannigfaltigkeiten Daneben ist die Dimension einer Mannigfaltigkeit ebenfalls anschaulich einsichtig. Per Definition hat jeder Punkt einer Mannigfaltigkeit eine Umgebung, die homomorph zum n-dimensionalen Euklidischen Raum ist; dieses n heit Dimension der Mannigfaltigkeit. Um zu verhindern, dass die Dimension von der Wahl des Punktes abhngt, wird der Dimensionsbegriff blicherweise nur fr zusammenhngende Mannigfaltigkeiten verwendet oder Mannigfaltigkeiten werden von vorneherein so definiert, dass der Modellraum und damit die Dimension berall die gleichen sind. Bekannte zweidimensionale Mannigfaltigkeiten sind die Oberflche einer Kugel oder das Mbiusband.
Kettenlnge als Dimension (topologische Dimension)
Die Dimension eines Vektorraums ist gleich der maximalen Lnge (Anzahl von Inklusionen) einer Kette von ineinander enthaltenen Unterrumen. Die Sichtweise der Dimension als Kettenlnge lsst eine Verallgemeinerung auf andere Strukturen zu. So ist etwa die Krulldimension eines kommutativen Rings als maximale Lnge einer Kette von ineinander enthaltenen Primidealen definiert. Ebenso ist die Dimension einer Mannigfaltigkeit die maximale Lnge einer Kette von ineinander enthaltenen Mannigfaltigkeiten, bei der jedes Glied der Kette Rand einer Teilmenge des vorigen ist. Zum Beispiel ist der Rand der Erdkugel die Erdoberflche; Rand von deren Teilmenge Deutschland ist die Staatsgrenze; Rand eines bestimmten Grenzabschnitts sind die beiden Endpunkte da es keine lngere Kette gibt, hat die Erdkugel Dimension 3. Da Inklusion und Randbildung immer definiert sind, liefert dies einen Dimensionsbegriff fr jeden topologischen Raum (sog. induktive Dimension). Ein weiterer topologischer Dimensionsbegriff ist die Lebesguesche berdeckungsdimension.
Hausdorff-Dimension Hauptartikel: Hausdorff-Dimension Neben den bislang angegebenen ganzzahligen Dimensionen kennt man auch verallgemeinerte, rationaloder reellzahlige Dimensionsbegriffe, mit deren Hilfe sogenannte Fraktale verglichen werden knnen.
Siehe auch Dimension (Physik) Dimensionsformel
Weblinks Dimensions (http://www.dimensions-math.org/) Von http://de.wikipedia.org/w/index.php?title=Dimension_(Mathematik)&oldid=106535980 Kategorien: Mathematischer Grundbegriff Lineare Algebra Diese Seite wurde zuletzt am 8. August 2012 um 15:44 Uhr gendert. Der Text ist unter der Lizenz Creative Commons Attribution/Share Alike verfgbar; zustzliche Bedingungen knnen anwendbar sein. Einzelheiten sind in den Nutzungsbedingungen beschrieben. Wikipedia ist eine eingetragene Marke der Wikimedia Foundation Inc. Abrufstatistik
