Die Überdeckungsdimension (auch Lebesgue-Überdeckungsdimension) eines topologischen Raums X ist die kleinste nichtnegative ganze Zahl n mit der Eigenschaft, dass jede offene Überdeckung von X eine offene Verfeinerung besitzt, deren Ordnung höchstens n+1 ist (kein Punkt liegt in mehr als n+1 Mengen); falls kein solches n existiert, ist die Dimension unendlich.

Prinzip

Beruht auf der Überlappungsordnung von Verfeinerungen offener Überdeckungen: Dimension misst, wie viele lokale Charts sich überlappen müssen, um den Raum zu bedecken; sie ist ein topologisches Invariant, das durch Homöomorphismen erhalten bleibt und in vielen Standardkonstruktionen der Dimensionstheorie stabil ist.

Demonstration

R^n hat Überdeckungsdimension n: Jede offene Überdeckung besitzt eine Verfeinerung der Ordnung n+1, z. B. durch Partitionen der Eins oder Koordinatenkarten. Total disconnexe Räume wie die Cantor-Menge haben Überdeckungsdimension 0, da jeder Punkt arbiträr kleine clopen Umgebungen mit geringer Überlappung besitzt.

Fehlanwendung

Die Überdeckungsdimension mit Hausdorff- oder Minkowski-Dimension zu verwechseln — eine Menge kann topologische Dimension 0 und gleichzeitig positive Hausdorff-Dimension haben; oder anzunehmen, die Überdeckungsdimension sei unter beliebigen stetigen Abbildungen erhalten (ist sie nicht, nur unter Homöomorphismen und bestimmten Quotienten).

Konsequenz

Gibt eine grobe, rein topologische Dimension auf, die in der Mannigfaltigkeitstheorie, bei Klassifikationsergebnissen und in der Obstruktionstheorie verwendet wird; Mannigfaltigkeiten der topologischen Dimension n sind lokal homöomorph zu R^n, und die Überdeckungsdimension beschränkt Existenz von Einbettungen und kohomologischen Schranken.

Umkehrung

Die Umkehrung würde die minimale notwendige Überlappungsvielfachheit messen, indem man Überdeckungen betrachtet, die zwangsläufig stark überlappen; diese Sicht führt zu Begriffen großer Überdeckungs‑Komplexität anstelle von lokalen Modellen geringer Dimension.

Abgrenzung

Gilt für allgemeine topologische Räume, ist aber besonders aussagekräftig für separierbare, parakompakte oder metrische Räume; sie ignoriert metrische Skalierung und maßtheoretische Eigenschaften und kann auf pathologischen Räumen von anderen Dimensionsbegriffen abweichen.

Semantische Spannung

Spannung zu metrischen Dimensionen (Hausdorff, Minkowski): Überdeckungsdimension ist rein topologisch und ganzzahlig, während metrische Dimensionen Skalierung erfassen und gebrochen sein können; beide liefern unterschiedliche geometrische Informationen.

Synthese

Die Überdeckungsdimension ist die minimale ganze Zahl n, die das zulässige lokale Überlappen offener Verfeinerungen bestimmt: ein topologisches Invariant, das Räume danach klassifiziert, wie viele sich überlappende Umgebungen lokal nötig sind, und sich von metrischen/fraktalen Dimensionen unterscheidet.