5
Exercice 20 Montrer que toute fonction continue f: [0; 1] →[0; 1] poss`ede un point
fixe, et de mˆeme pour toute fonction croissante f: [0; 1] →[0; 1].
Exercice 21 (lemme d’Osgood)
1Soit Xun espace m´etrique complet, et soit Fune famille de fonctions continues
sur X, `a valeurs r´eelles, ayant la propri´et´e suivante: pour tout x∈Xil existe une
constante Mx≥0 telle que
∀f∈ F |f(x)| ≤ Mx.
Montrer qu’il existe alors un ouvert non vide Ω ⊂Xet une constante M≥0 telle
que |f(x)| ≤ Mpour tout x∈Ω et tout f∈ F.
2´
Enoncer et d´emontrer le th´eor`eme de Banach-Steinhaus.
Exercice 22 Montrer que R[X] n’est complet pour aucune norme. On pourra poser
Fn={P∈R[X]; deg(P)≤n}.
III Mini-probl`emes
Probl`eme 1 (espaces bien enchain´es)
AComment d´emontre-t-on que dans un espace vectoriel norm´e, tout ouvert connexe
est connexe par arcs?
BSoit (X, d) un espace m´etrique. Pour ε > 0 donn´e, on appelle ε-chaine dans X
toute suite finie (x0, . . . , xN)⊂Xtelle que d(xi, xi+1)< ε pour tout i<N. On dit
que Xest bien enchain´e si pour tout ε > 0, deux points quelconques a, b ∈Xpeuvent
toujours ˆetre reli´es par une ε-chaine, i.e. on peut trouver une ε-chaine (x0, . . . , xN)
avec x0=aet xN=b.
1Montrer que si l’espace m´etrique Xest connexe, alors il est bien enchain´e.
2Montrer que si (X, d) est compact et bien enchain´e, alors Xest connexe.
3Que peut-on dire si Xn’est pas compact?
CSoit (E, d) un espace m´etrique, et soit ε > 0. On suppose que Eest recouvert
par des boules ouvertes B1, . . . , BKde rayon ε. Montrer que pour toute ε-chaine
(x0, . . . , xN)⊂E, on peut trouver une ε-chaine (x0
0, . . . , x0
2K) de longueur 2K+ 1
ayant les mˆemes extr´emit´es, avec x0
i∈ {x0;. . . ;xN}pour tout i.
DSoit (E, d) un espace m´etrique compact, et soit (xn) une suite de points de E. On
suppose qu’on a limn→∞ d(xn, xn+1) = 0.
1Soient a, b deux valeurs d’adh´erences de la suite (xn), et soit ε > 0. Montrer qu’on
peut trouver M∈N∗tel que la propri´et´e suivante ait lieu: pour tout n∈N, on peut
trouver une ε-chaine de la forme (a, xn,0, . . . , xn,M , b) avec xn,i ∈ {xk;. . . k > n}pour
tout i∈ {0, . . . ;M}.