Théorème de Heine–Borel
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Définition
Dans l'espace euclidien R^n, un sous-ensemble est compact (tout recouvrement ouvert admet un sous-recouvrement fini) si et seulement s'il est fermé et borné ; ceci caractérise les ensembles compacts pour la topologie usuelle de R^n.