Induktive Dimension

Induktive Dimension

Bei der kleinen und großen induktiven Dimension handelt es sich um zwei im mathematischen Teilgebiet der Topologie betrachtete Dimensionsbegriffe. Diese Begriffe verwenden keinerlei algebraische Konstruktionen zur Festlegung einer Dimension, wie es etwa aus der Theorie der Vektorräume bekannt ist, sondern lediglich den betrachteten topologischen Raum selbst. Es handelt sich um eine Alternative zur Lebesgue'schen Überdeckungsdimension, die mit dim bezeichnet und hier zu Vergleichszwecken herangezogen wird.

Inhaltsverzeichnis

Motivation

Der Idee der induktiven Dimension liegt die Beobachtung zugrunde, dass der Rand einer n-dimensionalen Kugel (n − 1)-dimensional ist, wobei n-dimensional hier im Sinne der Differentialgeometrie (siehe Mannigfaltigkeit) oder einfach rein anschaulich zu verstehen ist. Dies legt den Gedanken nahe, den Begriff Dimension n einer Menge auf den Begriff Dimension n-1 des Randes dieser Menge zurückzuführen und so eine induktive Definition anzustreben.

Da ein einpunktiger Raum, der sicher die Dimension 0 erhalten soll, einen leeren Rand hat, muss man die Dimension der leeren Menge als -1 festlegen. Eine Umsetzung der Idee der induktiven Definition führt dann auf folgende zwei Varianten:

Definition

Die kleine induktive Dimension

Die kleine induktive Dimension ind(X)\, eines topologischen Raums X ist wie folgt definiert:

  • ind(\emptyset):=-1
  • ind(X) \le n, falls es zu jedem Punkt x\in X und jeder offenen Umgebung U von x eine offene Umgebung V von x gibt mit \overline{V}\subset U und ind(\partial V)\le n-1.

Damit ist erklärt, was ind(X) \le n bedeutet. Man definiert weiter:

  • ind(X) \,=\, n, falls ind(X) \le n und nicht ind(X) \le n-1
  • ind(X) \,=\, \infty, falls für kein n\in \N die Ungleichung ind(X) \le n gilt.

Die große induktive Dimension

Ersetzt man den Punkt x\in X aus der Definition der kleinen induktiven Dimension durch eine beliebige abgeschlossene Menge, so erhält man den Begriff der großen induktiven Dimension. Genauer: Die große induktive Dimension Ind(X)\, eines topologischen Raums X ist wie folgt definiert:

  • Ind(\emptyset):=-1
  • Ind(X) \le n, falls es zu jeder abgeschlossenen Menge A\subset X und jeder offenen Umgebung U von A eine offene Umgebung V von A gibt mit \overline{V}\subset U und Ind(\partial V)\le n-1.

Damit ist erklärt, was Ind(X) \le n bedeutet. Man definiert weiter:

  • Ind(X) \,=\, n, falls Ind(X) \le n und nicht Ind(X) \le n-1
  • Ind(X) \,=\, \infty, falls für kein n\in \N die Ungleichung Ind(X) \le n gilt.

Bemerkungen

  • Da in T1-Räumen die einpunktigen Teilmengen abgeschlossen sind, folgt für solche Räume sofort ind(X) \le Ind(X).
  • Ist X ein diskreter Raum, so ist dim(X)=ind(X)=Ind(X)\,=\,0.
  • Die Aussage ind(X) \le n lässt sich wie folgt umformulieren: Jeder Punkt x\in X hat eine Umgebungsbasis aus abgeschlossenen Mengen mit Rändern der kleinen induktiven Dimension \le n-1. Insbesondere hat in diesem Fall jeder Punkt eine Umgebungsbasis aus abgeschlossenen Mengen, so dass dieser Begriff erst in regulären Räumen sinnvoll ist.
  • Die Aussage Ind(X) \le n lässt sich wie folgt umformulieren: Zu je zwei disjunkten, abgeschlossenen Teilmengen A,B\subset X gibt es offene Umgebungen U\supset A und V\supset B mit U\cap V=\emptyset, \partial U \le n-1 und \partial V \le n-1. Insbesondere lassen sich in diesem Fall je zwei disjunkte, abgeschlossene Mengen durch offene Mengen trennen, so dass dieser Begriff erst in normalen Räumen sinnvoll ist.
  • Während bei der kleinen induktiven Dimension jedem Punkt des Raumes in naheliegender Weise eine Dimension zugeordnet werden kann, ist dies bei der großen induktiven Dimension nicht möglich, diese bezieht sich auf den Gesamtraum.

Sätze über die induktive Dimension

Vergleiche

Ist X ein metrischer Raum, so gilt nach einem Satz von M. Katětov

 ind(X) \le Ind(X) \le dim(X).

Ein Satz von P. S. Alexandrow besagt für kompakte Hausdorffräume:

 dim(X) \le ind(X) \le Ind(X).

Gleichheit hat man für separable metrisierbare Räume:

 ind(X) \,=\, Ind(X) \,=\, dim(X).

K. Nagami hat einen normalen Raum X konstruiert, für den ind(X) = 0, dim(X) = 1 und Ind(X) = 2 gilt.

Kompaktifizierung

Es bezeichne βX die Stone-Čech-Kompaktifizierung von X. Dann gilt

  • N. Wendenisow: Ist X normal, so gilt Ind(X) = IndX).
  • J. R. Isbell: Ist X normal, so gilt dim(X) = dimX).
  • Eine analoge Aussage für die kleine induktive Dimension ist falsch.

Teilmengensatz

Ind und dim genügen dem Teilmengensatz für total normale Räume, das heißt

  • Ist X total normal und Y\subset X, so gilt Ind(Y)\le Ind(X) (bzw. dim(Y)\le dim(X)).

Summensatz

Ind genügt dem Summensatz für vollständig normale Räume, das heißt

  • C. H. Dowker: Ist X vollständig normal und (F_n)_{n\in \N} eine Folge abgeschlossener Mengen mit X=\bigcup_{n\in \N} F_n, so gilt Ind(X)\le \sup_{n\in \N}Ind(F_n).
  • Für allgemeine normale Räume gilt der Summensatz weder für ind noch für Ind, nicht einmal dann, wenn man sich auf kompakte Hausdorffräume einschränkt.

Produktsatz

Man sagt, dass ein Dimensionsbegriff einen Produktsatz erfüllt, wenn die Dimension des Produktraumes zweier Räume gegen die Summe der Dimensionen dieser beiden Räume abgeschätzt werden kann. Beachte \R^n\times \R^m \cong \R^{n+m}.

  • Sind X und Y nicht-leere reguläre Hausdorffräume, so gilt ind(X\times Y) \le ind(X) + ind(Y).
  • Sind X perfekt normal und Y metrisierbar und beide nicht-leer, so gilt Ind(X\times Y) \le Ind(X)+ Ind(Y).
  • Für die Überdeckungsdimension dim gilt eine analoge Aussage, wenn X und Y beide metrisierbar sind oder wenn X parakompakt und Y kompakt sind.

Quellen

  • Keiô Nagami: Dimension Theory. Academic Press, New York NY u. a. 1970, ISBN 0-12-513650-1 (Pure and Applied Mathematics 37).

Wikimedia Foundation.

Игры ⚽ Поможем сделать НИР

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

  • Dimension (Mathematik) — 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 Zusammenhängen auf. Kein… …   Deutsch Wikipedia

  • Dimension (Vektorraum) — In der Mathematik wird mit der Dimension ein Konzept bezeichnet, das im Wesentlichen die Anzahl der Freiheitsgrade einer Bewegung in einem bestimmten Raum bezeichnet. Inhaltsverzeichnis 1 Definitionen 1.1 Hamel Dimension 1.2 Schauder Dimension …   Deutsch Wikipedia

  • Hamel-Dimension — In der Mathematik wird mit der Dimension ein Konzept bezeichnet, das im Wesentlichen die Anzahl der Freiheitsgrade einer Bewegung in einem bestimmten Raum bezeichnet. Inhaltsverzeichnis 1 Definitionen 1.1 Hamel Dimension 1.2 Schauder Dimension …   Deutsch Wikipedia

  • Topologische Dimension — In der Mathematik wird mit der Dimension ein Konzept bezeichnet, das im Wesentlichen die Anzahl der Freiheitsgrade einer Bewegung in einem bestimmten Raum bezeichnet. Inhaltsverzeichnis 1 Definitionen 1.1 Hamel Dimension 1.2 Schauder Dimension …   Deutsch Wikipedia

  • Nulldimensionaler Raum — ist ein Begriff aus dem mathematischen Teilgebiet der Topologie. Es handelt sich um Räume der topologischen Dimension 0, wobei dies vom verwendeten Dimensionsbegriff abhängt. Inhaltsverzeichnis 1 Definition 2 Beziehungen 3 Offen abgeschlossene… …   Deutsch Wikipedia

  • Dimensionalität — In der Mathematik wird mit der Dimension ein Konzept bezeichnet, das im Wesentlichen die Anzahl der Freiheitsgrade einer Bewegung in einem bestimmten Raum bezeichnet. Inhaltsverzeichnis 1 Definitionen 1.1 Hamel Dimension 1.2 Schauder Dimension …   Deutsch Wikipedia

  • Dogmatischer Falsifikationismus — Der Falsifikationismus, auch Kritischer Empirismus, ist die ursprünglich von Karl R. Popper entwickelte Wissenschaftstheorie des Kritischen Rationalismus. Er schlägt mit dem Abgrenzungskriterium der Falsifizierbarkeit und der Methode der… …   Deutsch Wikipedia

  • Falsifikationismus — Sind alle Schwäne weiß? Die klassische Sicht der Wissenschaftstheorie war, dass es Aufgabe der Wissenschaft ist, solche Hypothesen zu „beweisen“ oder aus Beobachtungsdaten herzuleiten. Das erscheint jedoch schwer möglich, da dazu von Einzelfällen …   Deutsch Wikipedia

  • Falsifizierbar — Der Falsifikationismus, auch Kritischer Empirismus, ist die ursprünglich von Karl R. Popper entwickelte Wissenschaftstheorie des Kritischen Rationalismus. Er schlägt mit dem Abgrenzungskriterium der Falsifizierbarkeit und der Methode der… …   Deutsch Wikipedia

  • Falsifizierbarkeit — Der Falsifikationismus, auch Kritischer Empirismus, ist die ursprünglich von Karl R. Popper entwickelte Wissenschaftstheorie des Kritischen Rationalismus. Er schlägt mit dem Abgrenzungskriterium der Falsifizierbarkeit und der Methode der… …   Deutsch Wikipedia

Share the article and excerpts

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