Mot : compacité
Catégorie : N
Genre : Féminin
Définition : Qualité d'un espace topologique vérifiant la propriété de Borel-Lebesgue : de tout recouvrement ouvert peut être extrait un sous-recouvrement fini.
Domaine : Mathématiques
Exemples : Le théorème de la compacité. | Considérons un recouvrement ouvert de f(C), son image réciproque par f est un recouvrement ouvert de C. On peut en extraire un sous-recouvrement fini, l'image par f de ce sous-recouvrement est un sous-recouvrement de C extrait du recouvrement initial. L'existence d'un tel sous-recouvrement démontre la compacité de f(C).