- Théorème de borel-lebesgue
-
Théorème de Borel-Lebesgue
En Topologie de , le théorème de Borel-Lebesgue ou de Heine-Borel établit l'équivalence entre les deux propriétés suivantes d'un ensemble A de vecteurs :
- A est fermé et borné (A est borné s'il existe une constante positive majorant la norme de tous les éléments de A) ;
- A vérifie la propriété de Borel-Lebesgue : de tout recouvrement de A par des ouverts de on peut extraire un sous-recouvrement fini.
Cette seconde propriété est en fait la définition générale d'un compact en topologie : un espace est compact si et seulement s'il est séparé et a cette propriété. Le théorème de Borel-Lebesgue peut donc se lire : un sous-ensemble de est compact si et seulement s'il est fermé et borné.
Suite à ce théorème, beaucoup d'auteurs préfèrent définir les compacts de comme les ensembles fermés et bornés de vecteurs. Dans ce cas le théorème se lit : un sous-ensemble de est compact si et seulement si il a la propriété de Borel-Lebesgue.
Le théorème se généralise à tout espace vectoriel réel ou complexe de dimension finie, mais n'est pas valable en dimension infinie. Il est traité dans l'article topologie d'un espace vectoriel de dimension finie.
Démonstration
-
- Le segment [a, b] est compact :
Soit Ω un recouvrement ouvert du segment et M le sous-ensemble du segment composé des éléments m tel que le segment [a, m] admet un sous-recouvrement fini extrait de Ω. L'objectif est de montrer que M est égal au segment.
M est non vide : En effet, il existe un ouvert ω de Ω contenant a car Ω est un recouvrement du segment. En conséquence, le sous-recouvrement fini composé uniquement de l'ouvert ω contient a, ce qui montre que a est élément de M.
M est un intervalle : En effet, soit m un élément de M et m' un élément de l'intervalle d'extrémités a et m. Alors le sous-recouvrement fini contenant le segment [a, m] est aussi un sous-recouvrement fini de [a, m' ], ce qui montre que m' est aussi élément de M et donc que M est un intervalle.
M est un ensemble ouvert : En effet, soit m un élément de M et Ω' un sous-recouvrement fini contenant le segment [a, m]. Il existe un ouvert ω' de Ω' contenant m. Si p est un élément de ω', alors le segment [a, p] est recouvert par le sous recouvrement fini Ω'. En conséquence tout point p de ω' est inclus dans M, ce qui montre que M est un ouvert.
M est un ensemble fermé : Il suffit, pour montrer cette propriété, de montrer qu'il contient sa borne supérieure β. Soit ωβ un ouvert de Ω contenant β. Il existe car Ω est un recouvrement ouvert de [a, b] et β un point de ce segment. Soit c un point strictement plus petit que β et élément de ωβ. Il existe un sous-recouvrement fini Ωc de l'intervalle [a, c] car c est élément de M, par définition de β. Le sous-recouvrement formé des ouverts de Ωc et de ωβ est un sous-recouvrement fini de [a, β], ce qui montre que β est élément de M.
Le seul intervalle non vide de [a, b] à la fois ouvert et fermé est le segment [a, b] lui-même. Ceci montre que b est un élément de M. Il est possible d'extraire de Ω un sous-recouvrement fini de [a, b], ce qui montre la compacité du segment.
-
- Un sous-ensemble de R non borné n'est pas compact.
Considérons le recouvrement Ω composé des intervalles ]-n, n[, où n décrit l'ensemble des entiers strictement positifs. Dire que le sous-ensemble S de R n'est pas bornée revient à dire qu'il n'est pas possible d'extraire un sous-recouvrement fini de Ω, et donc que S n'est pas compact.
-
- Un compact de R est un fermé borné.
Soit C un compact de R, alors il est fermé car tout compact l'est et la proposition précédente montre qu'il est borné.
Réciproquement soit C est fermé borné de R, alors c'est un fermé d'un segment, donc d'un compact et C est compact.
-
- Le produit de segments est compact dans Rn.
Ce résultat est la conséquence du théorème de Tychonoff. Il stipule que tout produit de compact est compact.
-
- Les compacts de Rn sont les fermés bornés.
Soit C un compact de Rn, la démonstration sur R sur le caractère borné d'un compact s'applique encore, C est donc borné. Il est de plus fermé car tout compact l'est.
Réciproquement soit C un fermé borné de Rn, la démonstration précédente montre que c'est un fermé d'un compact, donc un compact.
Voir aussi
- Portail des mathématiques
Catégories : Théorème de mathématiques | Compacité | Structure algébrique topologique | Espace vectoriel topologique
Wikimedia Foundation. 2010.