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.

Principe

La compacité en dimension finie s'exprime à la fois par la propriété de sous-recouvrement fini et par les conditions concrètes de fermeture et de bornitude.

Démonstration

L'intervalle fermé [0,1] dans R est fermé et borné, donc tout recouvrement ouvert admet un sous-recouvrement fini ; au contraire, un ensemble non borné comme (0,∞) peut être recouvert par les intervalles ouverts (n-1,n+1) sans qu'aucune sous-collection finie ne couvre les grandes valeurs.

Mauvaise application

Appliquer le critère fermé-et-borné dans des espaces de dimension infinie ou des espaces métriques quelconques est faux : des sous-ensembles fermés et bornés d'un espace de Banach infini peuvent ne pas être compacts.

Conséquence

Dans R^n, le théorème assure l'existence de maxima et minima pour les fonctions continues sur des ensembles compacts, la compacité séquentielle et d'autres propriétés de finitude utilisées en analyse et optimisation.

Inversion

La négation montre que si un ensemble n'est pas fermé ou pas borné, il existe un recouvrement ouvert sans sous-recouvrement fini ; par exemple, un ensemble non fermé peut être recouvert par des voisinages des points du bord qui empêchent un recouvrement fini.

Limite

L'énoncé est spécifique à R^n avec la topologie usuelle ; il exclut les espaces de dimension infinie, les topologies non standard et les contextes où 'borné' a un sens différent.

Tension sémantique

Le théorème met en tension la définition topologique abstraite de la compacité (recouvrement ouvert) et le critère métrique/géométrique 'fermé et borné' ; dans les espaces généraux, compacité, complétude, totalité bornée et fermeture sont des propriétés distinctes.

Synthèse

Heine–Borel relie la notion abstraite de compacité fondée sur les recouvrements ouverts aux conditions tangibles de fermeture et de bornitude en dimension finie, permettant une vérification concrète de la compacité et ses conséquences analytiques.