Lemme du Nombre de Lebesgue

Un lemme affirmant que pour tout recouvrement ouvert d'un espace métrique compact il existe un réel positif (un nombre de Lebesgue) tel que toute partie de l'espace de diamètre strictement inférieur à ce nombre soit contenue dans un élément du recouvrement.