## [Überdeckungsdimension](/de/node/60268) Definition 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 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 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 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 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 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 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 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 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.