Exercice 12. Démontrer le lemme de Lebesgue : soit Xmétrique compact, Ui,i∈I, un
recouvrement de X; montrer qu’il existe δ > 0, tel que pour tout x∈Xil existe i∈Itel que
B(x, δ)⊂Ui.
Exercice 13. Soit l’espace R∞des suites réelles nulles à partir d’un certain rang. On y définit
une topologie comme suit. D’abord on observe que cet ensemble est réunion sur ndes sous-
ensembles des suites nulles à partir du n-ième terme, ce sous-espace est isomorphe à Rnque l’on
munit de sa topologie usuelle, R∞est réunion des Rn. Puis on dit qu’un ensemble est ouvert
dans R∞si et seulement si son intersection avec Rnest ouverte pour tout n.
Soit Kun sous-ensemble compact Kde R∞, montrer qu’il existe ntel que K⊂Rn.
On pourra commencer à montrer que si on a une suite (dans R∞!) (un)telle que un∈
Rn\Rn−1, alors tout sous-ensemble de {un|n∈N}est fermé et ouvert.
Puis on considérera des suites dans Ken raisonnant par l’absurde : on supposera que Kn’est
pas contenu dans Rnpour tout n, et on produira une suite du type ci dessus (quite à réindexer).
On conclura en observant qu’un compact discret est fini.
L’espace R∞est il métrisable?
On refera l’exercice précédent en prenant un espace Xqui est réunion d’une suite croissante
de sous-espaces Xn(Xn⊂Xn+1). Chacun des Xnest un espace topologique séparé et l’inclusion
Xn⊂Xn+1 est un moméméomorphisme sur l’image. Enfin la topologie de Xest définie par la
condition qu’un sous-ensemble est ouvert si son intersection avec chaque Xnl’est.
On montrera que tout compact Kdonné est contenu dans Xndès que nest assez grand.
Exercice 14. Soit f:X→Yune application entre deux espace topologiques, où Yest compact.
Montrer que fest continue si et seulement si le graphe de f
Γf={x×f(x) : x∈X}
est fermé dans X×Y.
Exercice 15. Soient Xet Ydes espaces métriques. On dira que f:X→Yest propre si l’image
inverse de tout compact de Yest compacte. Montrer que cette condition est équivalente à la
suivante: pour tout espace Zl’application f×Id:X×Z→Y×Zest fermée.
3