de.wikipedia.org

Lebesguesche Überdeckungsdimension – Wikipedia

Die Lebesguesche Überdeckungsdimension (nach Henri Léon Lebesgue) ist eine geometrisch sehr anschauliche, topologische Charakterisierung der Dimension.

Ein topologischer Raum {\displaystyle X} hat die Dimension {\displaystyle n}, wenn {\displaystyle n} die kleinste natürliche Zahl ist, derart dass es zu jeder endlichen, offenen Überdeckung {\displaystyle (U_{i})_{i\in I}} eine feinere offene Überdeckung {\displaystyle (V_{j})_{j\in J}} gibt, so dass jeder Punkt aus {\displaystyle X} in höchstens {\displaystyle n+1} der Mengen {\displaystyle V_{j}} liegt. Gibt es kein solches {\displaystyle n}, so heißt {\displaystyle X} von unendlicher Dimension.

Die Dimension von {\displaystyle X} wird mit {\displaystyle \dim(X)} bezeichnet. Da es eine ganze Reihe weiterer Dimensionsbegriffe gibt, spricht man genauer von der Lebesgueschen Überdeckungsdimension.

Eine Familie {\displaystyle (U_{i})_{i\in I}} heißt eine offene Überdeckung von {\displaystyle X}, wenn jedes {\displaystyle U_{i}} offen und {\displaystyle X} die Vereinigung der {\displaystyle U_{i}} ist. Eine Überdeckung {\displaystyle (V_{j})_{j\in J}} heißt feiner als {\displaystyle (U_{i})_{i\in I}}, wenn jedes {\displaystyle V_{j}} in irgendeinem {\displaystyle U_{i}} enthalten ist.

Anschaulich stellt die Überdeckung {\displaystyle (U_{i})_{i\in I}} in obiger Definition eine Größenbeschränkung für Überdeckungsmengen dar. In diesem Sinne gibt es also zu beliebiger Größenbeschränkung stets Überdeckungen, bei denen sich höchstens jeweils {\displaystyle n+1} Mengen überschneiden. In der Tat lässt sich die Überdeckungsdimension bei kompakten metrischen Räumen wie folgt umformulieren: Ein kompakter metrischer Raum hat die Dimension {\displaystyle n}, wenn {\displaystyle n} die kleinste natürliche Zahl ist, derart dass es zu jedem {\displaystyle \varepsilon >0} eine offene Überdeckung {\displaystyle (V_{j})_{j\in J}} gibt, so dass {\displaystyle \operatorname {diam} (V_{j})<\varepsilon } für alle {\displaystyle j\in J} und jeder Punkt aus {\displaystyle X} in höchstens {\displaystyle n+1} der Mengen {\displaystyle V_{j}} liegt. Dabei bezeichnet {\displaystyle \operatorname {diam} (V_{j})} den Durchmesser von {\displaystyle V_{j}}.

Obige Definition ist rein topologisch, das heißt, es ist nur von offenen Mengen die Rede. Daher ist die Lebesguesche Überdeckungsdimension eine topologische Invariante, homöomorphe Räume haben also dieselbe Dimension.

Beispiel für die Lebesguesche Überdeckungsdimension
  • Jeder diskrete Raum (z. B. die Menge der ganzen Zahlen) ist 0-dimensional, denn jeder Punkt {\displaystyle x} liegt in einer minimalen offenen Menge.
  • Der Hilbertwürfel ist ein Beispiel für einen unendlichdimensionalen, kompakten, metrischen Raum.
Kugeln, nicht-entartete Quader oder nicht-entartete Simplizes im {\displaystyle {\mathbb {R} }^{n}} haben die Lebesguesche Überdeckungsdimension {\displaystyle n}.

Dieser Satz ist historisch bedeutsam: Es war lange nicht klar, ob man die Einheitswürfel im {\displaystyle {\mathbb {R} }^{n}} und {\displaystyle {\mathbb {R} }^{m}}, die jeweils mit der Produkttopologie versehen sind, für {\displaystyle n\not =m} topologisch unterscheiden kann, also ob man sie als nicht-homöomorph nachweisen kann. Es hatte die Mathematiker überrascht, als Georg Cantor bijektive Abbildungen zwischen unterschiedlichdimensionalen Räumen angegeben hatte, die allerdings unstetig waren. Giuseppe Peano hatte stetige und surjektive Abbildungen von {\displaystyle [0,1]} nach {\displaystyle [0,1]^{2}} konstruiert, diese waren nicht bijektiv, siehe Peano-Kurve. Es war also nicht auszuschließen, dass eine geschickte Kombination dieser Konstruktionen zu einem Homöomorphismus zwischen Würfeln unterschiedlicher Dimension führen könnte. Dass dies tatsächlich nicht möglich ist, zeigt obiger Satz, der erstmals von Luitzen Egbertus Jan Brouwer bewiesen wurde.

Es stellt sich die Frage, ob sich endlichdimensionale topologische Räume homöomorph in einen {\displaystyle {\mathbb {R} }^{n}} einbetten lassen, d. h., ob sie homöomorph zu einer Teilmenge des {\displaystyle {\mathbb {R} }^{n}} sind. Wie die Kreislinie zeigt, kann zur Einbettung eines eindimensionalen Raumes die Ebene {\displaystyle {\mathbb {R} }^{2}} erforderlich sein. Die Frage nach einer oberen Grenze für diese Dimension beantwortet folgender Satz von Menger-Nöbeling.

Ein {\displaystyle n}-dimensionaler kompakter metrischer Raum gestattet homöomorphe Einbettungen in den {\displaystyle {\mathbb {R} }^{2n+1}}.

Ist {\displaystyle X} ein kompakter, metrischer Raum und {\displaystyle Y\subset X} ein Unterraum, so ist {\displaystyle \dim(Y)\leq \dim(X)}.

Bei Quotientenräumen, d. h. bei surjektiven stetigen Abbildungen, ergibt sich ein überraschendes Verhalten: Jeder kompakte metrische Raum ist stetiges Bild des 0-dimensionalen Cantor’schen Diskontinuums.

Sind {\displaystyle X} und {\displaystyle Y} metrisierbar, so gilt {\displaystyle \dim(X\times Y)\leq \dim(X)+\dim(Y)}. Gleichheit gilt im Allgemeinen nicht, ein Gegenbeispiel ist {\displaystyle X=Y=l^{2}(\mathbb {Q} )}.[1]

Es gilt die folgende als Hurewicz-Formel bekannte Abschätzung: Ist {\displaystyle X} normal, {\displaystyle Y} metrisierbar und {\displaystyle f\colon X\to Y} eine stetige, abgeschlossene und surjektive Abbildung, so gilt[2]

{\displaystyle \mathrm {dim} (X)\leq \mathrm {dim} (Y)+\sup _{y\in Y}\mathrm {dim} (f^{-1}(\{y\}))}.

Beachte, dass daraus leicht obige Abschätzung für die Dimension des kartesischen Produktes metrischer Räume folgt.

Ist {\displaystyle X} ein normaler Raum, so ist die Lebesguesche Dimension stets kleiner oder gleich der großen induktiven Dimension. Für metrisierbare Räume gilt Gleichheit.

  1. ↑ Paul Erdös: The Dimension of the Rational Points in Hilbert Space. In: Annals of Mathematics. 2nd Series, Bd. 41, Nr. 4, 1940, S. 734–736, doi:10.2307/1968851.
  2. ↑ A. R. Pears: Dimension Theory of General Spaces, Cambridge University Press (1975), ISBN 0-521-20515-8, Kapitel 9, Satz 2.6