Prepa. Agreg ecrit dAnalyse, mars 2002.

Weierstrass et Stone-Weierstrass
Le theor`eme classique de Weierstrass
Pour demontrer une version du theor`eme de Weierstrass sur Rd , considerons la fonction reelle g definie sur Rd par
d

+
X
x2i
x Rd , g(x) = 4
i=1
+

o`
u la notation u signifie max(u, 0). Cette fonction g est reelle 0, continue `a support compact et atteint un unique maximum au point 0. Par ailleurs elle est polynomiale dans
la boule (euclidienne) de rayon 2. Ensuite, pour tout entier n 1, posons
R
n
cn = ( Rd g (x) dx)1 ; la formule gn (x) = cn g n (x) permet de definir une suite (gn ) de
fonctions integrables qui fournira une approximation de lidentite par convolution (on
a vu lanalogue avec les noyaux de Rudin bn (1 + cos x)n pour les series de Fourier).
Si f est une fonction continue sur Rd , `a valeurs reelles ou complexes, `a support dans
la boule unite, la suite (f gn ) tend uniformement vers f par les theor`emes generaux
dapproximation par convolution ; on va voir de plus que f gn est polynomiale dans
cette boule unite. On a
Z
Z
(f gn )(x) =

Rd

gn (x y)f (y) dy =

gn (x y)f (y) dy.

kyk1

Si kxk 1, compte tenu du fait que lintegration est limitee aux y tels que kyk 1 (`a
cause du support de f ), on aura kx yk 2 pour tous les y du domaine dintegration,
et on aura donc x y dans la boule de rayon 2, dans laquelle
d

n
X
X
2
gn (x y) = cn 4
xk Pk,n (y),
(xi yi )
=
i=1

kM

o`
u k = (k1 , . . . , kd ) parcourt la famille M des multi-indices tels que 0 k1 + +kd 2n,
Qd
u les Pk,n sont des polynomes en y. On a donc pour
o`
u on a pose xk = i=1 xki i , et o`
tout x dans la boule unite
Z
X
k
(f gn )(x) =
x
Pk,n (y) f (y) dy
kyk1

kM

qui est bien un polynome dans les coordonnees (xi ).

On peut bien entendu remplacer la condition que le support de f soit dans la boule
unite par nimporte quel support compact. On a ainsi obtenu une version du theor`eme
classique de Weierstrass.
Th
eor`
eme (Weierstrass). Pour toute fonction continue f sur Rd , `a support contenu
dans un compact K de Rd , il existe une suite de fonctions polynomiales qui tend vers f
uniformement sur K.
Si la fonction f est reelle, on peut prendre des polynomes `a coefficients reels ; si f
est complexe, on doit evidemment prendre des coefficients complexes. On peut ensuite
saffranchir de lhypoth`ese que f soit definie sur Rd , `a support compact, et traiter les
fonctions definies et continues sur un compact K de Rd ; ce pas supplementaire est inutile
pour notre objectif, qui est le theor`eme de Stone-Weierstrass.
1

Weierstrass complexe
Sur Cd , on pourra considerer les d coordonnees complexes zj = xj +iyj , j = 1, . . . , d.
Dapr`es ce qui prec`ede on peut approcher toute fonction complexe continue par des
fonctions polynomiales `a coefficients complexes des variables xj , yj ; de plus, comme
1
xj = 12 (zj + zj ) et yj = 2i
(zj zj ), on peut remplacer les polynomes `a coefficients
complexes en xj , yj par des fonctions polynomiales `a coefficients complexes en zj , zj ,
j = 1, . . . , d, de la forme
X
cj,k,p,q zjp zk q
z = (z1 , . . . , zd ) Cd , g(z) =
j,k,p,q

o`
u la somme est finie et utilise des quadruplets (j, k, p, q) tels que 1 j, k d et p, q 0.
Le theor`eme de Stone-Weierstrass
On peut trouver une demonstration standard de Stone-Weierstrass dans tous les bons
ouvrages (par exemple Hirsch-Lacombe). La demonstration suivante est un peu moins
habituelle : elle consiste `a utiliser des idees tr`es habituelles (du type partition de lunite)
pour ramener le theor`eme de Stone-Weierstrass au theor`eme classique de Weierstrass.
Lemme. Soient un ensemble fini dans C et (Y ) une famille de compacts de RN
telle que Y Y = lorsque | | ; il existe une fonction complexe continue g sur
RN , `a support compact et telle que |g | 2 sur Y , pour tout .
Demonstration. Pour tout couple (, ) 2 tel que | | on a par compacite,
dapr`es lhypoth`ese du lemme,
dist(Y , Y ) = min {d(y , y ) : y Y , y Y } > 0.
Posons
= min {dist(Y , Y ) : , , | | } > 0.

+
Pour chaque et tout y RN posons (y) = d(y, Y ) . Cette fonction
est continue 0 sur RN , `a support compact, egale `a > 0 sur Y . Par ailleurs, si
(y) 6= 0, on a d(y, Y ) < , ce qui implique que y ne peut appartenir qu`a des Y pour
lesquels | | < . Autrement dit,
()

y Y ,

| | (y) (y).

1
Posons enfin pour un tel que 0 < < max ||
P
(y) .
N
P
y R , g(y) =
+ (y)

Cette fonction g est continue sur RN , `a valeurs complexes et `a support compact. Si

y Y , on ecrit
P
+ ( ) (y)
.
P
g(y) =
+ (y)
En tenant compte de la remarque () et de (y) = , on obtient
P
(y)

P
|g(y) |
+
2.
+ (y)

Th
eor`
eme (Stone-Weierstrass, cas complexe). On suppose que X est un espace topologique compact et A une famille de fonctions continues sur X qui separe les points de
X. Pour toute fonction f complexe continue sur X et tout > 0, il existe un entier N,
des fonctions 1 , . . . , N A et une fonction P sur CN , polynomiale des variables zj , zj ,
j = 1, . . . , N tels que
x X,

|f (x) P(1 (x), . . . , N (x))| < .

Demonstration. Soit f une fonction complexe continue sur X ; on consid`ere le compact

K = {(x1 , x2 ) X X : |f (x1 ) f (x2 )| /2}.
Pour chaque (x1 , x2 ) K, on a x1 6= x2 , donc il existe une fonction A telle que
(x1 ) 6= (x2 ) ; on trouve alors un ouvert Ux1 ,x2 dans K contenant (x1 , x2 ) et tel que
(u1 ) (u2 ) 6= 0 pour tout (u1 , u2 ) Ux1 ,x2 . Par Borel-Lebesgue, on peut selectionner
une famille finie 1 , . . . , N dans A telle que si on pose (x) = (1 (x), . . . , N (x)) CN ,
on ait que |f (x1 ) f (x2 )| /2 implique (x1 ) 6= (x2 ), pour tous x1 , x2 X.
S
Soit C un ensemble fini tel que B(, /4) recouvre le compact f (X) C ;
posons pour chaque
X = {x X : |f (x) | /4}.
Ces ensembles (X ) recouvrent X. Posons aussi
Y = {(x) : |f (x) | /4} = (X ).
Si y Y Y , on a y = (x ) = (x ) avec x X et x X ; cette egalite
(x ) = (x ) implique que |f (x ) f (x )| < /2, et on a aussi |f (x ) | < /4,
|f (x ) | < /4, donc | | < . Lorsque | | , les ensembles Y et Y sont
donc des compacts disjoints dans CN .
On peut par consequent appliquer le lemme precedent (avec les compacts (Y ) de
N
C ' R2N ) : il existe une fonction g continue `a support compact sur CN telle que
|g | 2 sur chaque Y . Il en resulte que |f (x) g((x))| 3 sur X. Designons par
Y une boule fermee de CN assez grande pour contenir (X). Par Weierstrass (complexe)
applique `a la boule Y et `a la fonction continue g, il existe un polynome P en zj , z j tel
que |P g| sur Y. A la fin,

x X, f (x) P(1 (x), . . . , N (x)) 4 .

Remarque. Il est evident dadapter largument au cas reel.