Nombre de Lebesgue
Dans un espace métrique, un nombre de Lebesgue (en référence à Henri-Léon Lebesgue) est un nombre associé à un recouvrement ouvert de l'espace, tel que, s'il existe, toute boule ouverte de rayon soit contenue dans un . Un tel nombre se révèle utile par exemple pour la démonstration de la caractérisation séquentielle de la compacité d'un espace métrique.
Propriété fondamentale
Théorème de Bolzano-Weierstrass[1] - [2] - [3] — Tout espace métrique séquentiellement compact est compact
Dans les trois références citées, les auteurs utilisent le lemme suivant[4] :
Tout recouvrement ouvert d'un espace métrique séquentiellement compact possède un nombre de Lebesgue.
La preuve tient alors en trois phrases (voir l'article détaillé).
Puisque, réciproquement, tout espace métrique compact est séquentiellement compact, on déduit du lemme ci-dessus :
Lemme de Lebesgue — Tout recouvrement ouvert d'un espace métrique compact possède un nombre de Lebesgue.
Mais on peut aussi démontrer le lemme de Lebesgue directement[5].
Références
- Jacques Dixmier, Topologie générale, Paris, Gauthier-Villars, , p. 68.
- Gustave Choquet, Cours d'analyse, t. II : Topologie, Paris, Masson, , p. 73.
- Georges Skandalis, Topologie et Analyse 3e année, Paris, Dunod, , p. 118.
- Pour une démonstration de ce lemme, voir par exemple :
- Jean-Michel Bony, Cours d'analyse : théorie des distributions et analyse de Fourier, Éditions Ecole Polytechnique, (ISBN 978-2-73020775-1, lire en ligne), p. 36,
- Nawfal El Hage Hassan, Topologie générale et espaces normés, Dunod, , 2e éd. (ISBN 978-2-10078120-1, lire en ligne), p. 165,
- Dixmier 1981, p. 68, ou
- le .
- Voir par exemple .