## [Lemma der Lebesgue-Zahl](/de/node/62216) Definition Ein Lemma, das besagt, dass zu jeder offenen Überdeckung eines kompakten metrischen Raums eine positive reelle Zahl (eine Lebesgue-Zahl) existiert, so dass jede Teilmenge des Raums mit Durchmesser kleiner dieser Zahl in einem Element der Überdeckung liegt. ## Prinzip Prinzip Kompaktheit in metrischen Räumen impliziert eine einheitliche Skala, unterhalb derer die Überdeckung lokal trivial ist: Kompaktheit liefert eine positive Untergrenze für die Größe von Teilmengen, die nötig ist, um in einem einzigen Überdeckungselement enthalten zu sein. ## Demonstration Demonstration Für das Einheitsintervall [0,1] mit einer offenen Überdeckung durch endlich viele Intervalle nimmt man das Minimum der relevanten Längen eines endlichen Teilüberdeckungs; konkret liefert das Minimum der Intervallweiten ein δ > 0, sodass jede Teilmenge mit Durchmesser < δ in einem der Intervalle liegt. ## Fehlanwendung Fehlanwendung Die Annahme, dass für beliebige offene Überdeckungen nicht-kompakter metrischer Räume eine Lebesgue-Zahl existiert (etwa die Überdeckung von (0,1) durch Intervalle (1/n,1) hat keine positive Lebesgue-Zahl) oder für allgemein topologische Räume ohne Metrik; dies führt zu falschen Uniformitätsbehauptungen. ## Konsequenz Konsequenz Ermöglicht gleichmäßige lokale Kontrolle von Überdeckungen: Grundlage für Konstruktionen wie Zerlegungen der Eins, sichert das Vorhandensein ausreichender Feinheit für Triangulierungen und ist ein Standardwerkzeug beim Übergang von lokalen zu globalen Betrachtungen in kompakten metrischen Räumen. ## Umkehrung Umkehrung Fehlt für eine Überdeckung eine positive Lebesgue-Zahl, so kann der Raum bezüglich dieser Überdeckung nicht kompakt sein; umgekehrt charakterisiert die Existenz einer positiven Lebesgue-Zahl für jede offene Überdeckung die Kompaktheit in metrischen Räumen. ## Abgrenzung Abgrenzung Gilt für kompakte metrische Räume und ihre offenen Überdeckungen; nicht allgemein gültig für nicht-kompakte metrische Räume oder für Überdeckungen in nicht-metrisierbaren Topologien ohne zusätzliche Voraussetzungen (lokale Kompaktheit oder Parakompaktheit genügen allein nicht). ## Semantische Spannung Semantische Spannung Wird manchmal mit dem Begriff der Masche (mesh) oder der Lebesgue-Überdeckungsdimension verwechselt; die Lebesgue-Zahl ist eine quantitative lokale Skala für eine konkrete Überdeckung, während Dimension oder Mesh globale bzw. kombinatorische Invarianten sind. ## Synthese Synthese Das Lemma der Lebesgue-Zahl sagt kurz: Metrische Kompaktheit garantiert eine positive einheitliche Skala (die Lebesgue-Zahl), unterhalb derer jede Teilmenge mit kleinem Durchmesser in ein Element einer gegebenen offenen Überdeckung passt und so lokale metrische Maße mit der globalen Überdeckungsstruktur verbindet.