Lebesgue’sche Überdeckungsdimension

Lebesgue’sche Überdeckungsdimension

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

Inhaltsverzeichnis

Definition

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

Die Dimension von X wird mit dim(X) bezeichnet. Da es eine ganze Reihe weiterer Dimensionsbegriffe gibt, spricht man genauer von der Lebesgue’schen Überdeckungsdimension.

Erläuterung

Dabei ist (Ui)i eine offene Überdeckung von X, wenn jedes Ui offen und X die Vereinigung der Ui ist. Die Überdeckung (Vj)j heißt feiner als (Ui)i, wenn jedes Vj in irgendeinem Ui enthalten ist.

Anschaulich stellt die Überdeckung (Ui)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 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 n, wenn n die kleinste natürliche Zahl ist, derart dass es zu jedem \epsilon > 0 eine offene Überdeckung (Vj)j gibt, so dass {\rm diam}(V_j) < \epsilon für alle j und jeder Punkt aus X in höchstens n+1 der Mengen Vj liegt.

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

Beispiele

Beispiel für die Lebesgue’sche Überdeckungsdimension

Einfache Beispiele

  • Jeder endliche Raum ist 0-dimensional, denn jeder Punkt x liegt in einer minimalen offenen Menge. Sind V_1, \ldots, V_k die minimalen offenen Mengen, so ist (Vj)j feiner als jede Überdeckung und jeder Punkt liegt in genau einem Vj.
  • Eine Strecke, etwa das Einheitsintervall [0,1], ist eindimensional. Wie der obere Teil nebenstehender Zeichnung plausibel macht, kann man stets beliebig feine offene Überdeckungen finden, bei denen sich höchstens je zwei Mengen schneiden. Daher ist die Dimension \le 1. Diese Überschneidungen sind unvermeidbar; leicht überlegt man sich, dass [0,1] sonst nicht zusammenhängend sein könnte. Daher ist die Dimension sogar =1.
  • Die nebenstehende Zeichnung zeigt auch, dass es zu ebenen Figuren wie Kreisflächen oder Rechtecken usw. stets beliebig feine Überdeckungen gibt, bei denen jeder Punkt in höchstens 3 Mengen enthalten ist, die Dimension ist also \le 2. Leicht verallgemeinert man das auf höhere Dimensionen, so hat etwa eine Kugel im {\mathbb R}^n die Dimension \le n. Dass hier in der Tat Gleichheit vorliegt, ist ein schwieriger Satz, der kombinatorische Argumente verwendet.

Satz (Kugeln, Quader, Simplizes)

  • Kugeln, nicht-entartete Quader oder nicht-entartete Simplizes im {\mathbb R}^n haben die Lebesgue’sche Überdeckungsdimension n.

Dieser Satz ist historisch bedeutsam. Es war lange nicht klar, ob man die Einheitwürfel im {\mathbb R}^n und {\mathbb R}^m für n\not= m topologisch unterscheiden kann, das heißt ob man sie als nicht-homöomorph nachweisen kann. Es hatte die Mathematiker überrascht, als Georg Cantor bijektive Abbildungen zwischen unterschiedlich dimensionalen Räumen angegeben hatte, diese waren allerdings unstetig. Giuseppe Peano hatte stetige und surjektive Abbildungen von [0,1] nach [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 erstmalig von Luitzen Egbertus Jan Brouwer bewiesen wurde.

Einbettungssatz von Menger-Nöbeling

Es stellt sich die Frage, ob sich endlichdimensionale topologische Räume homöomorph in einen {\mathbb R}^n einbetten lassen, d.h. ob sie homöomorph zu einer Teilmenge des {\mathbb R}^n sind. Wie die Kreislinie zeigt, kann zur Einbettung eines eindimensionalen Raumes die Ebene {\mathbb R}^2 erforderlich sein. Das Beispiel eines Knotens zeigt, dass zur Einbettung eines eindimensionalen Raumes sogar der {\mathbb R}^3 nötig sein kann. Gibt es dafür eine obere Grenze? Diese Frage beantwortet folgender Satz von Menger-Nöbeling.

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

Vererbung der Dimension

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

Bei Quotientenräumen, d.h. bei surjektiven stetigen Abbildungen, hat man ein überraschendes Verhalten. Jeder kompakte, metrische Raum ist stetiges Bild des 0-dimensionalen Cantor'schen Diskontinuuums.

Sind X und Y metrisierbar, so gilt {\rm dim}(X\times Y) \le {\rm dim}(X)+{\rm dim}(Y), Gleichheit gilt im Allgemeinen nicht.

Vergleich mit anderen Dimensionsbegriffen

Ist X ein normaler Raum, so ist die Lebesgue'sche Dimension stets kleiner oder gleich der großen induktiven Dimension. Für metrisierbare Räume gilt Gleichheit.

Quellen


Wikimedia Foundation.

Игры ⚽ Поможем решить контрольную работу

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Lebesgue'sche Überdeckungsdimension — Die Lebegue’sche Überdeckungsdimension (nach Henri Léon Lebesgue) ist eine geometrisch sehr anschauliche, topologische Charakterisierung der Dimension. Inhaltsverzeichnis 1 Definition 2 Erläuterung 3 Beispiele 3.1 Einfache Beispiele …   Deutsch Wikipedia

  • Lebesgue — ist der Name folgender Personen: Henri Léon Lebesgue (1875–1941), französischer Mathematiker Octave Lebesgue (1857–1933), französischer Journalist Siehe auch: Lebesgue Maß Lebesgue Integral Lebesgue’sche Überdeckungsdimension Lebesguezahl Satz… …   Deutsch Wikipedia

  • Überdeckungsdimension — Die Lebegue’sche Überdeckungsdimension (nach Henri Léon Lebesgue) ist eine geometrisch sehr anschauliche, topologische Charakterisierung der Dimension. Inhaltsverzeichnis 1 Definition 2 Erläuterung 3 Beispiele 3.1 Einfache Beispiele …   Deutsch Wikipedia

  • Lebesguesche Überdeckungsdimension — Die Lebegue’sche Überdeckungsdimension (nach Henri Léon Lebesgue) ist eine geometrisch sehr anschauliche, topologische Charakterisierung der Dimension. Inhaltsverzeichnis 1 Definition 2 Erläuterung 3 Beispiele 3.1 Einfache Beispiele …   Deutsch Wikipedia

  • Henri Lebesgue — Henri Léon Lebesgue Henri Léon Lebesgue Henri Léon Lebesgue [ɑ̃ʁiː leɔ̃ ləˈbɛg] (* 28. Juni 1875 in …   Deutsch Wikipedia

  • Henri Leon Lebesgue — Henri Léon Lebesgue Henri Léon Lebesgue Henri Léon Lebesgue [ɑ̃ʁiː leɔ̃ ləˈbɛg] (* 28. Juni 1875 in …   Deutsch Wikipedia

  • Henri Léon Lebesgue — Henri Léon Lebesgue [ …   Deutsch Wikipedia

  • Satz von Menger-Nöbeling — Die Lebegue’sche Überdeckungsdimension (nach Henri Léon Lebesgue) ist eine geometrisch sehr anschauliche, topologische Charakterisierung der Dimension. Inhaltsverzeichnis 1 Definition 2 Erläuterung 3 Beispiele 3.1 Einfache Beispiele …   Deutsch Wikipedia

  • Fraktale — Berühmtes Fraktal: die Mandelbrot Menge (sogenanntes „Apfelmännchen“) Fraktal ist ein von Benoît Mandelbrot (1975) geprägter Begriff (lat. fractus: gebrochen, von frangere: brechen, in Stücke zerbrechen), der natürliche oder künstliche Gebilde… …   Deutsch Wikipedia

  • Fraktale Geometrie — Berühmtes Fraktal: die Mandelbrot Menge (sogenanntes „Apfelmännchen“) Fraktal ist ein von Benoît Mandelbrot (1975) geprägter Begriff (lat. fractus: gebrochen, von frangere: brechen, in Stücke zerbrechen), der natürliche oder künstliche Gebilde… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”