Compacit´e
D´efinition
Xest compact si de tout recouvrement de Xpar des ouverts, on
peut extraire un recouvrement fini, i.e.
si (Ui)i∈Iest une famille d’ouverts de Xtelle que X=∪i∈IUi
alors il existe un ensemble fini F⊂Itel que X=∪i∈FUi.
Exemple
[0,1] est compact.
En effet, soit (Ui)i∈Iouverts qui recouvrent [0,1]. On pose
W={m∈[0,1] : [0,m] admet un recouvrement fini par des Ui}.
W6=∅car ∃i∈Itel que 0 ∈Uidonc 0 ∈W.
West un intervalle de [0,1]. Il est donc de la forme [0,c[ ou [0,c].
∃i∈Itel que c∈Ui, donc W= [0,c].
Si c<1, il existe ]c−ε, c+ε[⊂Uicar Uiest ouvert, on aboutit `a
la contradiction [0,c+ε[⊂W.
D´epartement de Math´ematiques, ´
Ecole polytechnique, 2013 Amphi 2: Suites - Compacit´e - Connexit´e
Compacit´e
Exemple
]0,1[= Sn≥1]1/n,1−1/n[ n’a pas de sous-recouvrement fini.
Th´eor`eme de Bolzano-Weierstrass
Xest compact si et seulement si toute suite d’´el´ements de X
admet une sous-suite convergente.
Propri´et´es
Soient (X,d) et (X0,d0) deux espace m´etriques et f:X→X0une
application continue.
Si Xest compact alors f(X) est un compact de X0et fest
uniform´ement continue sur X.
D´epartement de Math´ematiques, ´
Ecole polytechnique, 2013 Amphi 2: Suites - Compacit´e - Connexit´e