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).