2.2 un premier r´esultat de densit´e
On va d´emontrer un premier lemme assurant la densit´e d’une partie Xsous des hypoth`eses
convenables. Ces hypoth`eses seront ensuite remplac´ees par des hypoth`eses plus naturelles.
On rappelle que si uet vsont deux fonctions de C0(K, R) alors min(u, v) (res.max(u, v))
est la fonction qui, `a xassocie min(u(x),v(x)) (resp. max(u(x),v(x))) et que celle-ci n’a de
sens que lorsque les fonctions sont `a valeurs r´eelles.
Exercice 3. Montrer que si uet vsont continues alors min(u, v) et max(u, v) sont continues.
Lemme 3. Soit Kun compact m´etrique qui contient au moins deux ´el´ements. Soit X⇢
C0(K, R)une partie qui v´erifie les deux hypoth`eses suivantes.
1. 8u, v 2X, min(u, v)2X, et max(u, v)2X.
2. 8x1,x
22K, 8↵1,↵
22R,9u2X, u(xi)=↵i,i=1,2.
Alors, Xest dense dans C0(K, R).
D´emonstration. Soit f2C
0(K, R)et">0,on va montrer qu’il existe w2Xtelle que
8x2K, f(x)"<w(x)<f(x)+".
Ainsi wappartiendra `a la boule de centre fet de rayon "et on aura bien montr´e que X
rencontre B(f,") pour toute fet tout ">0.
Fixons x2K. Pour tout y6=x, l’hypoth`ese 2 assure qu’il existe une fonction uy2Xtelle
que
uy(x)=f(x)etuy(y)=f(y).
On d´efinit alors l’ensemble Oycomme
Oy:= x02K, uy(x0)>f(x0)" .
Il est clair que Oyest un ouvert qui contient yet x. On a donc un recouvrement ouvert de
Ken consid´erant
[
y2K\{x}
Oy.
On extrait un sous-recouvrement fini Oy1,...,OyN.On pose vx:= max{uy1,...,u
yN}.Re-
marquons que, par construction vx(x)=f(x)et
8x02K, vx(x0)>f(x0)"
(parce que x0est dans un des Oyiet que vx(x0)uyi(x0)>f(x0)"). On pose maintenant
Ux:= x02K, vx(x0)<f(x)+" .
Comme vx(x)=f(x) on obtient un recouvrement ouvert de Kdont on peut extraire un
sous-recouvrement fini N1
[
j=1
Uxj.
On pose alors w:= min vxj,j=1,...,N
1 .Par construction, pour tout x02K,
f(x)"<w(x0)<f(x0)+".
5