(i) ∀k≤n,{x∈Xtq φk(x)6= 0} ⊂ Uk
(ii) ∀x∈X,P
k≤nφk(x) = 1
On appelle φ1, ..., φnune partition de l’unit´e subordonn´ee `a {Uk}k≤n.
[Remarque : la mˆeme propri´et´e est vraie dans le cadre plus g´en´eral des espaces paracompacts,
lorsque le recouvrement ouvert n’est plus fini mais seulement localement fini. Pouvez-vous la
d´emontrer ? La d´efinition et une propri´et´e importante des espaces paracompacts se trouvent
dans le TD3.]
Exercice 6 : un th´eor`eme de plongement
Soit Xun espace topologique.
On dit que U={Uα}α∈Aest un recouvrement ouvert de Xsi c’est une famille d’ouverts de X
telle que S
α∈AUα=X.
On dit que Uest d’ordre fini s’il existe m∈Ntel que, pour tout x∈X, il existe au plus m
valeurs diff´erentes de αpour lesquelles x∈Uα. On appelle ordre de Ula plus petite valeur de
mpour laquelle cette propri´et´e est vraie.
On dit qu’un recouvrement ouvert V={Vβ}β∈Braffine le recouvrement ouvert Usi, pour tout
β∈B, il existe α∈Atel que Vβ⊂Uα.
On dit que Xest de dimension topologique finie s’il existe m∈Ntel que tout recouvrement
ouvert de Xse raffine en un recouvrement d’ordre au plus m+ 1. On appelle dimension
topologique de Xle plus petit ouvert mpour lequel cette propri´et´e est vraie.
On suppose maintenant que (X, d) est un espace m´etrique compact d’ordre fini m. Nous allons
montrer qu’il existe un plongement de Xdans R2m+1, c’est-`a-dire une application φ:X→
R2m+1 continue et injective qui r´ealise un hom´eomorphisme de Xsur φ(X).
1. Pour toute fonction f:X→R2m+1, on pose ∆(f) = sup{diam (f−1({z}))}z∈f(X).
Pour tout > 0, soit :
U={f∈ C0(X, R2m+1) tq ∆(f)< }
On suppose temporairement que T
n∈N∗U1/n 6=∅. Montrer la propri´et´e demand´ee.
2. Montrer que, pour tout > 0, Uest un ouvert de C0(X, R2m+1) muni de la norme uniforme.
3. Soit > 0 fix´e. Nous allons montrer que Uest dense dans C0(X, R2m+1).
Soient f∈ C0(X, R2m+1) et δ > 0 quelconques. On va construire g∈Utel que ||f−g||∞< δ.
a) Montrer qu’il existe {U1, ..., Un}un recouvrement ouvert fini de Xtel que :
(i) diam Ui< /2 pour tout i≤n
(ii) diam f(Ui)< δ/2 pour tout i≤n
(iii) {U1, ..., Un}est d’ordre au plus m+ 1
b) Fixons, pour tout i≤n, un point xi∈Ui. Montrer qu’il existe z1, ..., zn∈R2m+1 un ensemble
v´erifiant les deux propri´et´es suivantes :
(i) ||f(xi)−zi|| < δ/2
(ii) Pour tous i1, ..., i2m+2 ≤n, la famille ((zi1,1), ..., (zi2m+2 ,1)) est libre dans R2m+2.
(La notation (zk,1) d´esigne le vecteur zk, auquel on ajout´e une derni`ere coordonn´ee ´egale `a 1
pour en faire un ´el´ement de R2m+2.)
3