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

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

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

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

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

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

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

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

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.