fermeture Xest compacte.
La notion de pr´e-compacit´e contrairement `a celle de la compacit´e, est li´ee `a l’espace topologique Tdans lequel
l’espace est plong´e. Par exemple, l’intervalle ]0,1[ est relativement compact dans Rmais ne l’est pas dans lui
mˆeme.
Remarque 3 : 1) La propri´et´e (i) de la proposition 1 est appel´ee axiome de Borel-Lebesgue. Cet axiome a un
int´erˆet th´eorique consid´erable, il permet de passer du local au global en utilisant l’argument de compacit´e. Par
exemple, Soit Eun espace topologique compact, et fune fonction de Edans Rlocanlement born´ee dans E,
alors fest born´ee dans E. Comme toute fonction continue est localement born´ee, on voit bien qu’une fonction
continue sur un compact est born´ee.
2) Une famille (Ai)i∈Iest dite centr´ee, si aucune intersection finie ∩
finieAin’est vide.
La condition (i) dans la proposition 1 est ´equivalente `a : (ii’) Toute famille centr´ee de ferm´es de Tadmet
une intersection non vide vide. En effet Soit (Ai)i∈Iune famille cent´ee de ferm´es de T(compact), Les parties
Ui=T\Aisont des ouverts de Tet comme aucune intersection ∩
finieAin’est vide, on d´eduit qu’aucune sous-
famille finie de (Ui) ne rencontre T. Mais en vertu de la compacit´e de T, la famille (Ui)i∈Ine peut constituer
un recouvrement de T, ce qui contredit ∩
i∈IAinon vide.
Proposition 4 : Si Test un espace topologique compact alors tout sous-ensemble fini de Tposs`ede un point
d’accumulation
D´emonstration : Supposons que Tcontient un sous-ensemble infini Xne poss`edant aucun point d’accumulation.
Consid`erons Xk={xk, xk+1, ....}un sous-ensemble d´enombrable extrait de T. La famille (Xn) est alors une
famille centr´ee de sous-ensembles ferm´es de T, dont l’intersection est vide. Ceci contredit le fait que Test
compact.
Dans le cas particulier des espaces m´etriques nous avons :
Proposition 5 : Soit (E, d)un espace m´etrique. Les assertions suivantes sont ´equivalentes :
a) Eest compact
b) De toute suite (xn)dans E, on peut extraire une sous-suite convergente
c) Eest complet et v´erifie la condition dite du ε-recouvrement suivante : ∀ε > 0 , il existe un recouvrement
fini de Epar des boules de rayon ε(On dit dans ce cas que Eest pr´ecompact).
D´emonstration : (a) ⇒(b) : Soient (xn) une suite dans E, et Fn={xk;k≥n}. Les Fnsont des ferm´es de E
et toute sous-famille finie extraite de (Fn) est d’intrsection non vide, donc l’ensemble des valeurs d’adh´erences
de (xn) qui n’est rien d’autre que ∩Fnest non vide.
(b) ⇒(c) : Eest complet car, si (xn) est une suite de Cauchy qui poss`ede une sous-suite convergente alors
elle est elle mˆeme convergente. Par ailleurs, Supposons qu’on a un α > 0 tel qu’il n’existe aucun recouvrement
fini de Epar des boules de rayon α, il existe alors une suite de boules B(xn, α) de Edeux `a deux disjointes.
La suite (xn) form´ee des centres de ces boules est une suite qui ne poss`ede aucune sous-suite convergente.
(c) ⇒(a) : Soit (Ul)l∈Lun recouvrement ouvert de Etel que aucune sous-famille finie de ce recouvrement
ne recouvre E. Posons B0=E, Supposons la boule Bnd´efinie. Parmi les boules, en nombre fini d’un 1
2n+1 -
recouvrement de E, qui rencontre Bn, il y en a au moins une qui n’est recouverte par aucune sous-famille finie
de (Ul)l∈L; c’est Bn+1. Soit xnle centre de Bn. La suite (xn) est de Cauchy, car
d(xn, xm)≤d(xn, xn+1) + ... +d(xm−1, xm)≤2( 1
2n+... +1
2m−1)≤4
2n
comme Eest complet, cette suite a une limite x. Soit l0∈Ltel que x∈Ul0et soit r > 0, tel que B(x, r)⊂Ul0.
Si pest un entier positif tel que d(x, xp)<r
3, et 1
2p<r
3, on a Bp⊂B(x, r)⊂Ul0
ce qui est contraire `a notre hypoth`ese.
Proposition 6 : Si Test un espace topologique compact, alors tout sous-ensemble ferm´e de Test un espace
compact.
2