Vous êtes sur la page 1sur 30

16

Suites de fonctions
Sauf prcision contraire, I est un intervalle rel non rduit un point et les fonctions consi-
dres sont dnies sur I valeurs relles ou complexes.
16.1 Convergence simple et convergence uniforme
On dsigne par (f
n
)
nN
une suite de fonctions de I dans R ou C.
Dnition 16.1 On dit que la suite de fonctions (f
n
)
nN
converge simplement vers une fonc-
tion f sur I si, pour tout rel x I la suite (f
n
(x))
nN
est convergente dans R ou C.
La convergence simple de (f
n
)
nN
vers f sur I se traduit donc par :
(x I, > 0, n
x,
N) | (n n
x,
, |f
n
(x) f (x)| < )
la notation n
x,
signiant que lentier n
x,
dpend de x et de .
En utilisant les rsultats relatifs aux suites numriques, on montre facilement les rsultats
noncs avec le thorme qui suit.
Thorme 16.1 Soient (f
n
)
nN
et (g
n
)
nN
deux suites de fonctions qui convergent simplement
sur I vers f et g respectivement.
1. La suite (|f
n
|)
nN
converge simplement vers |f| .
2. Pour tous scalaires , , la suite (f
n
+ g
n
)
nN
converge simplement vers f + g.
3. Si les fonctions f
n
et g
n
sont valeurs positives avec f
n
g
n
partir dun certain rang,
alors f g.
4. Si les f
n
sont valeurs positives et croissantes partir dun certain rang, alors f est
croissante.
5. Si les f
n
sont valeurs positives et convexes partir dun certain rang, alors f est convexe.
Exemple 16.1 Considrons la suite de fonctions (f
n
)
nN
dnie sur I = R
+
par f
n
(x) =
nx
1 + nx
. On vrie facilement que cette suite converge simplement vers la fonction f dnie
par :
f (x) =
_
1 si x > 0
0 si x = 0
Pour ]0, 1[ donn et x > 0, on aura
|f
n
(x) f (x)| =
1
1 + nx
<
365
366 Suites de fonctions
pour nx >
1

, soit pour n n
x,
= E
_
1
x
_
+ 1.
Supposons quil existe un entier n

indpendant de x I tel que |f


n
(x) f (x)| < pour tout
n n

. On aura alors pour tout x > 0 et n n

,
1
1 + nx
< et faisant tendre x vers 0 pour n
x, on aboutit 1 , ce qui nest pas.
Il est donc impossible de trouver un tel n

valable pour tout x I ou mme pour tout x > 0.


On dit dans ce cas que la convergence nest pas uniforme sur R
+
(ou R
+,
).
Lexemple prcdent nous conduit la dnition suivante.
Dnition 16.2 On dit que la suite de fonctions (f
n
)
nN
converge uniformment vers f sur I
si la suite
_
sup
xI
|f
n
(x) f (x)|
_
nN
est convergente vers 0.
Remarque 16.1 La borne suprieure sup
xI
|f
n
(x) f (x)| est un lment de R
+
= R
+
{+} .
La convergence uniforme de (f
n
)
nN
vers f sur I se traduit donc par :
( > 0, n

N) | (n n

, x I, | |f
n
(x) f (x)| < )
La convergence uniforme se traduit aussi graphiquement en disant que pour n n

le graphe
de f
n
est dans une bande de largeur 2 symtrique par rapport au graphe de f (faire un dessin).
Avec les ingalits |f
n
(x) f (x)| sup
xI
|f
n
(x) f (x)| , on dduit que la convergence uni-
forme entrane la convergence simple.
Exemple 16.2 En reprenant lexemple prcdent, on a pour x > 0, |f
n
(x) f (x)| = (nx)
o (y) =
1
1 + y
pour y > 0 avec sup
y>0
(y) = 1, ce qui donne sup
x>0
|f
n
(x) f (x)| = 1 et la
convergence nest pas uniforme sur R
+,
(et en consquence elle nest pas uniforme sur R
+
).
Mais sur J = [a, +[ avec a > 0, on a :
sup
xa
|f
n
(x) f (x)| =
1
1 + na
du fait de la dcroissante de la fonction x
1
1 + nx
sur R
+
. Avec lim
n+
1
1 + na
= 0, on dduit
que la convergence est uniforme sur J.
Remarque 16.2 Si I est une runion dintervalle, I =
p
_
k=1
I
k
la convergence uniforme de
(f
n
)
nN
sur I est quivalente la convergence uniforme sur chacun des I
k
. En eet si (f
n
)
nN
converge uniformment vers f sur I, avec :
sup
xI
k
|f
n
(x) f (x)| sup
xI
|f
n
(x) f (x)|
on dduit la convergence uniforme sur I
k
. Si (f
n
)
nN
converge uniformment vers f sur chacun
des I
k
, avec :
sup
xI
|f
n
(x) f (x)| sup
1kp
_
sup
xI
k
|f
n
(x) f (x)|
_

k=1
sup
xI
k
|f
n
(x) f (x)|
on dduit la convergence uniforme sur I.
Convergence simple et convergence uniforme 367
Pour montrer quune suite de fonctions convergence uniformment, on peut procder comme
suit :
tudier la suite numrique (f
n
(x))
nN
pour prouver une ventuelle convergence simple vers
une fonction f ;
tudier les variations sur lintervalle I de chaque fonction f
n
f en vue de dterminer
sa borne infrieure et sa borne suprieure, ce qui permet dobtenir sup
xI
|f
n
(x) f (x)| ,
cette tude est facilite si les fonctions en questions sont drivables, dans la mesure o les
racines de f

n
f

se calculent facilement ;
ou alors essayer de dterminer une suite de rels positifs (
n
)
nN
de limite nulle telle que
|f
n
(x) f (x)|
n
pour n assez grand et tout x I, ce qui entranera sup
xI
|f
n
(x) f (x)|

n
pour n assez grand. En pratique, il vaut mieux opter pour ce type de mthode de travail.
Exercice 16.1 Montrer que si (f
n
)
nN
est une suite de fonctions uniformment convergente
vers une fonction f sur un intervalle I, alors la suite de fonctions (sin (f
n
))
nN
converge uni-
formment vers sin (f) sur I.
Solution 16.1 Rsulte de :
|sin (f
n
(x)) sin (f (x))| |f
n
(x) f (x)| sup
xI
|f
n
(x) f (x)| .
Le rsultat qui suit nous donne un critre permettant de prouver la non convergence uni-
forme.
Thorme 16.2 Si (f
n
)
nN
est suite de fonctions qui converge uniformment vers une fonction
f sur I, alors pour toute suite (x
n
)
nN
de points de I, la suite (f
n
(x
n
) f (x
n
))
nN
converge
vers 0.
Dmonstration. Rsulte des ingalits :
|f
n
(x
n
) f (x
n
)| sup
xI
|f
n
(x) f (x)|
valables pour tout n.
Pour montrer la non convergence uniforme, il sut donc de trouver une suite (x
n
)
nN
de
points de I telle que la suite (f
n
(x
n
) f (x
n
))
nN
ne converge pas vers 0 (en supposant bien
sur que la convergence simple vers f a t prouve).
Si la suite (x
n
)
nN
converge vers x, avec :
|f
n
(x
n
) f (x)| |f
n
(x
n
) f (x
n
)| +|f (x
n
) f (x)|
on aura lim
n+
f
n
(x
n
) = f (x) si la convergence est uniforme avec f continue.
Exercice 16.2 On dnit la suite de fonctions (f
n
)
nN

sur R par :
n N

, x R, f
n
(x) = nsin
_
x
n
_
.
1. La suite (f
n
)
nN

converge-t-elle simplement sur R, et si oui, vers quelle fonction ?


2. La convergence de la suite (f
n
)
nN

est-t-elle uniforme sur R?


3. La convergence de la suite (f
n
)
nN

est-t-elle uniforme sur [1, 1] ?


368 Suites de fonctions
Solution 16.2
1. Pour x = 0, on a f
n
(0) = 0 pour tout n N

et la suite relle (f
n
(0))
nN

est constante
gale 0.
Pour x = 0, on a f
n
(x) = nsin
_
x
n
_

+
x et la suite relle (f
n
(x))
nN

converge vers x.
En dnitive, la suite de fonctions (f
n
)
nN

converge simplement sur R vers la fonction


f : x x.
2. Pour tout n N

, la fonction g
n
dnie sur R par :
g
n
(x) = f
n
(x) f (x) = nsin
_
x
n
_
x
est impaire et drivable de drive g

n
(x) = cos
_
x
n
_
1 0, cette drive sannulant aux
points x
n,k
= 2nk o k Z avec g
n
(x
n,k
) = 2nk. On a donc sup
x[2nk,2nk]
|g
n
(x)| =
2n|k| pour tout k Z et sup
xR
|g
n
(x)| = +.
La convergence nest donc pas uniforme sur R.
3. Sur [1, 1] , pour n N

la fonction g
n
est dcroissante et sup
x[1,1]
|g
n
(x)| = |g
n
(1)|
n+
0. La convergence est donc uniforme.
Exercice 16.3 Soit k un entier positif ou nul et (f
n
)
nN

dnie par f
n
(x) =
x
k
x
2
+ n
.
1. Pour quelles valeurs de k cette suite converge-telle uniformment sur R?
2. Pour quelles valeurs de k cette suite convergetelle uniformment sur toute partie borne
R?
Solution 16.3
1. Pour tout rel x, on a lim
n+
f
n
(x) = 0, donc (f
n
)
nN
converge simplement vers la fonction
nulle.
Pour k = 0, et x dans R, on a 0 f
n
(x) =
1
x
2
+ n

1
n
et la suite (f
n
)
nN
converge
uniformment vers 0 sur R et sur toute partie borne R.
Pour tout entier strictement positif k, on a f

n
(x) =
x
k1
(x
2
+ n)
2
((k 2) x
2
+ kn) et
sup
xR
|f
n
(x)| =
_

_
1
2

n
si k = 1,
1 si k = 2,
+ si k > 2.
On dduit donc que la suite (f
n
)
nN
converge uniformment vers 0 sur R uniquement pour
k = 0 et k = 1.
2. Soit a > 0. Pour tout x [a, a] , on a :
|f
n
(x)|
_
_
_
1
2

n
si k = 1,
|f
n
(a)| si k 2.
On en dduit alors que la suite (f
n
)
nN
converge uniformment vers 0 sur tout partie
born R pour tout entier positif ou nul k.
Convergence simple et convergence uniforme 369
Exercice 16.4 Soit > 0 et (f
n
)
nN
la suite de fonctions dnie sur R
+
par f
n
(x) = n

xe
nx
.
1. Donner une condition ncessaire et susante pour que cette suite converge uniformment
sur R
+
.
2. tudier la convergence uniforme sur tout intervalle [a, +[ avec a > 0.
Solution 16.4 La fonction f
n
est drivable avec :
f

n
(x) = n

e
nx
(1 nx)
f
n
(0) = 0, lim
n+
f
n
(x) = 0 et f valeurs positives.
1. Pour n 1, la suite (f
n
)
nN
converge simplement sur R
+
vers la fonction nulle pour tout
> 0.
Avec sup
xR
|f
n
| = f
n
_
1
n
_
=
n
1
e
pour n 1, on dduit que la convergence est uniforme
sur R
+
si et seulement si ]0, 1[ .
2. Pour tout a > 0, il existe un entier n
a
tel que
1
n
< a pour tout n n
a
et sup
x[a,+[
|f
n
(x)| =
f
n
(a) . On en dduit que la suite (f
n
)
nN
converge uniformment sur tout intervalle
[a, +[ avec a > 0.
Exercice 16.5 Soit f une fonction continue de [0, 1] dans R telle que f (1) = 0. Montrer que
la suite de fonctions (f
n
)
nN
dnie sur I = [0, 1] par f
n
(x) = x
n
f (x) converge uniformment
vers 0 sur I.
Solution 16.5 Laisse au lecteur.
Exercice 16.6 On dsigne par (f
n
)
nN
la suite de fonctions dnies sur R
+
par :
n N, x R
+
, f
n
(x) = nx sin (x) e
nx
.
1. Montrer que cette suite converge simplement sur R
+
vers la fonction nulle.
2. Montrer que la fonction : t (t) = te
t
est dcroissante sur [1, +[ .
3. Montrer que la convergence de la suite (f
n
)
nN
vers 0 est uniforme sur lintervalle
_

2
, +
_
.
4. On se propose maintenant de montrer que la convergence de la suite (f
n
)
nN
vers 0 est
encore uniforme sur lintervalle
_
0,

2
_
.
(a) Calculer, pour tout n 1, la drive de la fonction f
n
.
(b) Montrer que :
x
_
0,
1
n
_
, f

n
(x) > 0.
(c) Montrer que, sur lintervalle
_
1
n
,

2
_
, f

n
sannule en un unique point x
n

_
1
n
,

2
_
.
(d) En dduire les variations de f
n
sur lintervalle
_
0,

2
_
.
(e) Montrer que la suite (f
n
)
nN
converge uniformment vers 0 sur
_
0,

2
_
et sur R
+
.
Solution 16.6
370 Suites de fonctions
1. Pour x = 0, on a f
n
(0) = 0 pour tout n N et lim
n+
f
n
(0) = f (0) = 0.
Pour x > 0, on a |f
n
(x)| x
n
e
nx
avec lim
n+
n
e
nx
= 0 et donc lim
n+
f
n
(x) = f (x) = 0.
2. La fonction est indniment drivable sur R et pour tout t 1, on a :

(t) = e
t
(1 t) 0.
Cette fonction est donc dcroissante sur [1, +[ .
3. Pour tout n 1 et x

2
, on a :
|f
n
(x)| nxe
nx
= (nx) (n) =
n
e
n
puisque nx n 1 et est dcroissante sur [1, +[ . Comme lim
n+
n
e
n
= 0, on dduit
que (f
n
)
nN
converge uniformment vers 0 sur
_

2
, +
_
.
4.
(a) On a :
f

n
(x) = ne
nx
(nx sin (x) + sin (x) + x cos (x))
= ne
nx
((1 nx) sin (x) + x cos (x)) .
(b) Pour x
_
0,
1
n
_
, les quantits (1 nx) , sin (x) , x, cos (x) et ne
nx
sont strictement
positives, donc f

n
(x) > 0.
(c) Pour x
_
1
n
,

2
_
, on a :
f

n
(x) = ne
nx
cos (x) (1 nx)
_
tan (x)
x
nx 1
_
avec ne
nx
cos (x) (1 nx) < 0. Le signe de f

n
(x) sur
_
1
n
,

2
_
dpend donc de celui
de g
n
(x) = tan (x)
x
nx 1
. Avec g

n
(x) =
1
cos
2
(x)
+
1
(nx 1)
2
> 0, on dduit
que g
n
est strictement croissante et avec lim
x
1
n
+
g
n
(x) = , lim
x

g
n
(x) = +, on
dduit que, sur
_
1
n
,

2
_
, g
n
sannule en un unique point x
n
et on a g
n
(x) < 0 pour
x
_
1
n
, x
n
_
, g
n
(x) > 0 pour x
_
x
n
,

2
_
. Tenant compte de :
f

n
_

2
_
= ne
n

2
_
1 n

2
_
< 0,
on dduit que sur
_
1
n
,

2
_
, f

n
sannule uniquement en x
n
avec f

n
(x) > 0 pour
x
_
1
n
, x
n
_
et f

n
(x) < 0 pour x
_
x
n
,

2
_
.
Le critre de Cauchy uniforme 371
(d) De ltude prcdente, on dduit que f
n
est strictement croissante sur [0, x
n
] et stric-
tement dcroissante sur
_
x
n
,

2
_
avec f
n
(0) = 0 et f
n
_

2
_
= n

2
e
n

2
> 0. On a
donc :
sup
x
[
0,

2
]
|f
n
(x)| = f
n
(x
n
) .
(e) Avec f

n
_
1
n
_
> 0 et :
f

n
_
2
n
_
= ne
2
cos
_
2
n
__
tan
_
2
n
_

1
n
_
< 0
(on a tan (x) > x pour tout x
_
0,

2
_
), on dduit que x
n

_
1
n
,
2
n
_
et
0 < f
n
(x
n
) 2 sin
_
2
n
_

n+
0.
Do la convergence uniforme de (f
n
)
nN
sur
_
0,

2
_
.
Avec sup
R
+
|f
n
| = max
_
_
sup
[
0,

2
]
|f
n
| , sup
[

2
,+
[
|f
n
|
_
_
, on en dduit la convergence uniforme
de (f
n
)
nN
sur R
+
.
16.2 Le critre de Cauchy uniforme
On rappelle quune suite relle ou complexe est convergente si, et seulement si, elle vrie le
critre de Cauchy. Pour ce qui est de la convergence uniforme, on donne la dnition suivante.
Dnition 16.3 On dit que la suite de fonctions (f
n
)
nN
vrie le critre de Cauchy uniforme
sur I si :
( > 0, n

N) | n n

, m n

, x I, |f
n
(x) f
m
(x)| <
Dire que (f
n
)
nN
vrie le critre de Cauchy uniforme sur I revient encore dire que :
( > 0, n

N) | n n

, m n

, sup
xI
|f
n
(x) f
m
(x)| <
Thorme 16.3 La suite de fonctions (f
n
)
nN
est uniformment convergente sur I si, et seule-
ment si, elle vrie le critre de Cauchy uniforme sur I.
Dmonstration. La condition ncessaire se dduit de :
sup
xI
|f
n
(x) f
m
(x)| sup
xI
|f
n
(x) f (x)| + sup
xI
|f (x) f
m
(x)|
o f est la limite uniforme de (f
n
)
nN
.
Rciproquement, supposons que (f
n
)
nN
soit uniformment de Cauchy sur I. Pour tout rel
> 0, il existe un entier n

tel que :
n n

, m n

, x I, |f
n
(x) f
m
(x)| < . (16.1)
Pour x x dans I, la suite (f
n
(x))
nN
est alors de Cauchy dans R ou C, elle converge donc
vers un scalaire f (x) . En faisant tendre m vers linni dans (16.1) , on dduit que :
x I, n n

, |f
n
(x) f (x)| < ,
cest--dire que la suite (f
n
)
nN
converge uniformment vers f sur I.
372 Suites de fonctions
16.3 Proprits des fonctions stables par convergence uni-
forme
La notion de convergence uniforme est intressante relativement la continuit et lintgra-
tion de Riemann, pour ce qui est de la drivation il faut tre un peu plus prudent.
Thorme 16.4 Si (f
n
)
nN
est suite de fonctions continues qui converge uniformment vers
une fonction f sur lintervalle I, alors la limite f est continue sur cet intervalle.
Dmonstration. Soit un rel strictement positif. On peut trouver un entier n tel que :
x I, |f
n
(x) f (x)| < .
Avec la continuit de f
n
en x
0
I, on peut trouver un rel
n
> 0 tel que :
x ]x
0

n
, x
0
+
n
[ I, |f
n
(x) f
n
(x
0
)| <
et en consquence, pour x ]x
0

n
, x
0
+
n
[ I, on a :
|f (x) f (x
0
)| |f (x) f
n
(x)| +|f
n
(x) f
n
(x
0
)| +|f
n
(x
0
) f (x
0
)|
< 3
ce qui prouve la continuit de f en x
0
, le point x
0
tant quelconque dans I. La fonction f est
donc continue sur I.
Remarque 16.3 On a en fait montr que si (f
n
)
nN
est suite de fonctions continues en x
0
I
qui converge uniformment vers une fonction f sur lintervalle I, alors f est continue en x
0
.
Remarque 16.4 Ce rsultat peut tre utilis pour justier une non convergence uniforme. Si
(f
n
)
nN
est suite de fonctions continues qui converge uniformment vers une fonction f non
continue sur I, alors la convergence ne peut tre uniforme.
Exemple 16.3 La suite (f
n
)
nN
dnie sur I = [0, 1] par f
n
(x) = x
n
qui converge simplement
vers f dnie par f (x) = 0 pour 0 x < 1 et f (1) = 1 ne peut converger uniformment vers
cette fonction sur I.
Luniforme continuit est aussi conserve par convergence uniforme.
Thorme 16.5 Si (f
n
)
nN
est suite de fonctions uniformment continues qui converge uni-
formment vers une fonction f sur lintervalle I, alors la limite f est uniformment continue
sur cet intervalle.
Dmonstration. Soit un rel strictement positif. On peut trouver un entier n tel que :
x I, |f
n
(x) f (x)| < .
Avec luniforme continuit de f
n
sur I, on peut trouver un rel
n
> 0 tel que :
_
(x, y) I
2
et |x y| <
n
_
|f
n
(x) f
n
(y)| <
et en consquence, pour (x, y) I
2
tel que |x y| <
n
, on a :
|f (x) f (y)| |f (x) f
n
(x)| +|f
n
(x) f
n
(y)| +|f
n
(y) f (y)|
< 3
ce qui prouve luniforme continuit de f sur I.
Le thorme qui suit nous donne un exemple de situation o la convergence simple dune
suite de fonctions continues vers une fonction continue entrane la convergence uniforme.
Proprits des fonctions stables par convergence uniforme 373
Thorme 16.6 (Dini) Si (f
n
)
nN
est une suite croissante de fonctions continues du segment
I = [a, b] (ou plus gnralement dun compact I de R) dans R qui converge simplement vers
une fonction f continue sur I, alors la convergence est uniforme.
Dmonstration. Pour tout x I, la suite (f
n
(x))
nN
converge en croissant vers f (x) . On
a donc f (x) f
n
(x) 0 pour tout x I et tout n N. De la continuit des f
n
, on dduit
que :
n N, x
n
I | sup
xI
|f
n
(x) f (x)| = f (x
n
) f
n
(x
n
)
et pour tout n N :
sup
xI
|f
n+1
(x) f (x)| = f (x
n+1
) f
n+1
(x
n+1
)
f (x
n+1
) f
n
(x
n+1
) sup
xI
|f
n
(x) f (x)| ,
cest--dire que la suite
_
sup
xI
|f
n
(x) f (x)|
_
nN
est dcroissante et minore. Elle converge
donc vers un rel 0. Il sagit alors de montrer que = 0.
Dans le compact I, on peut extraire de la suite (x
n
)
nN
une sous suite
_
x
(n)
_
nN
qui converge
vers x I. Soit p un entier positif. La fonction tant strictement croissante de N dans N, on
peut trouver un entier n
p
tel que (n) p pour tout n n
p
. On a alors pour tout n n
p
:
0 sup
xI

f
(n)
(x) f (x)

= f
_
x
(n)
_
f
(n)
_
x
(n)
_
f
_
x
(n)
_
f
p
_
x
(n)
_
.
En faisant tendre n vers linni ( p x) et en utilisant la continuit de f, on dduit que :
p N, 0 f (x) f
p
(x) .
Enn, en faisant tendre p vers linni, en utilisant la convergence de (f
n
(x))
nN
vers f (x) , on
dduit que = 0.
Remarque 16.5 Le rsultat prcdent nest pas vrai si on ne suppose plus I compact. Par
exemple, la suite (f
n
)
nN
dnie sur ]0, 1[ par f
n
(x) =
1
1 + nx
converge en croissant vers la
fonction nulle et la convergence nest pas uniforme sur ]0, 1[ puisque f
n
_
1
n
_
=
1
2
.
Pour ce qui est de lintgration des fonctions continues, on dduit du thorme prcdent le
rsultat suivant.
Thorme 16.7 Si (f
n
)
nN
est suite de fonctions continues qui converge uniformment vers
une fonction f sur lintervalle I, on a alors pour tout segment [a, b] I :
_
b
a
f (x) dx = lim
n+
_
b
a
f
n
(x) dx.
374 Suites de fonctions
Dmonstration. Le thorme prcdent nous dit que f est continue, elle est donc intgrable
sur [a, b] et avec :

_
b
a
f (x) dx
_
b
a
f
n
(x) dx

_
b
a
(f (x) f
n
(x)) dx

_
b
a
(f (x) f
n
(x)) dx
(b a) sup
x[a,b]
|f
n
(x) f (x)|
on a le rsultat annonc.
Exercice 16.7 Montrer que la suite de fonctions dnie sur R par f
n
(x) = cos (nx) nadmet
aucune sous suite uniformment convergente sur R.
Solution 16.7 Supposons que lon puisse extraire une sous suite
_
f
(n)
_
nN
qui converge uni-
formment sur R vers une fonction f. La fonction f est alors continue et pour tous rels a < b,
on a :
_
b
a
f (x) dx = lim
n+
_
b
a
f
(n)
(x) dx = lim
n+
1
(n)
[sin ((n) b) sin ((n) a)] = 0
et f est ncessairement la fonction nulle, ce qui est en contradiction avec sup
xR

f
(n)

= 1 (ou
avec f (0) = lim
n+
f
(n)
(0) = 1).
En fait le thorme prcdent est encore valable dans le cadre de lintgrale de Riemann. Le
point dlicat dans la dmonstration est la preuve de lintgrabilit au sens de Riemann de la
fonction f.
On rappelle quune fonction f est Riemann intgrable sur [a, b] si, et seulement si, elle est
borne et pour tout rel > 0 on peut trouver deux fonctions en escaliers g, h telles que
g f h et
_
b
a
(h(x) g (x)) dx < .
Thorme 16.8 Si (f
n
)
nN
est suite de fonctions Riemann-intgrables qui converge uniform-
ment vers f sur I = [a, b] , alors la fonction f est Riemann intgrable sur I et on a :
_
b
a
f (x) dx = lim
n+
_
b
a
f
n
(x) dx.
Dmonstration. Soit un rel strictement positif. On peut trouver un entier n tel que :
x I, |f (x) f
n
(x)| < .
Comme f
n
est Riemann intgrable sur [a, b] , elle est borne et il existe deux fonctions en escaliers
g
n
, h
n
telles que g
n
f
n
h
n
et
_
b
a
(h
n
(x) g
n
(x)) dx < . Avec f
n
(x) < f (x) < +f
n
(x) ,
on dduit que f est borne sur I et en dsignant par g, h les fonctions en escaliers dnies par
g = g
n
, h = h
n
+ , on a g f h avec :
_
b
a
(h(x) g (x)) dx =
_
b
a
(h
n
(x) g
n
(x)) dx + 2 (b a) < (1 + 2 (b a))
Proprits des fonctions stables par convergence uniforme 375
ce qui prouve que f est Riemann intgrable sur I.
Puis avec :

_
b
a
f (x) dx
_
b
a
f
n
(x) dx

_
b
a
(f (x) f
n
(x)) dx

_
b
a
(f (x) f
n
(x)) dx
(b a) sup
x[a,b]
|f
n
(x) f (x)|
on a le rsultat annonc.
Remarque 16.6 Le thorme prcdent nest pas vrai dans le cadre des intgrales gnralises.
Par exemple la suite (f
n
)
nN

dnie sur R
+
par f
n
(x) =
1
n
sur [0, n] et f
n
(x) = 0 pour x > n
converge uniformment sur R
+
vers f = 0 et la suite
__
+
0
f
n
(x) dx
_
nN

qui est constante


gale 1 ne converge pas vers 0.
Au chapitre suivant nous montrerons un thorme de convergence domin pour les suites de
fonctions continues par morceaux sur un intervalle. Avec ce thorme on dispose de conditions
susantes permettant de justier lgalit :
lim
n+
_
+
0
f
n
(x) dx =
_
+
0
_
lim
n+
f
n
(x)
_
dx
On dduit du thorme prcdent le rsultat suivant relatif aux primitives des fonctions
continues.
Thorme 16.9 Si (f
n
)
nN
est suite de fonctions Riemann-intgrables sur I qui converge uni-
formment vers une fonction f sur I, alors la suite de fonctions (F
n
)
nN
dnie sur I par
F
n
(x) =
_
x
x
0
f
n
(t) dt, o x
0
est donn dans I, converge simplement sur I vers la fonction F
dnie sur I par F (x) =
_
x
x
0
f (t) dt et la convergence est uniforme sur tout segment [a, b] I.
Dmonstration. Pour la convergence simple de (F
n
)
nN
, on utilise le thorme prcdent
et la convergence uniforme sur [a, b] se dduit de :
x [a, b] , |F
n
(x) F (x)| ( ) sup
t[,]
|f
n
(t) f (t)|
o [, ] contient x
0
, a, b.
La drivabilit nest pas stable par convergence uniforme. Nous verrons plus loin quune
fonction continue sur un segment [a, b] est limite uniforme dune suite de polynmes qui sont
des fonctions indniment drivables et il existe des fonctions continues non drivables. Il existe
mme des fonctions continues nulle part drivables.
Exercice 16.8 tudier la convergence simple puis uniforme sur R des suites de fonctions
dnie par f
n
(x) =
_
x
2
+
1
n
2
et g
n
(x) = f

n
(x) .
Solution 16.8
376 Suites de fonctions
1. Pour tout rel x, on a :
lim
n+
f
n
(x) = lim
n+
_
x
2
+
1
n
2
=

x
2
= |x|
La suite (f
n
)
nN
converge donc simplement sur R vers la fonction f : x |x| .
2. Pour tout entier n 1 et tout rel x, on a :
|f
n
(x) f (x)| =
_
x
2
+
1
n
2

x
2
=
1
n
2
1
_
x
2
+
1
n
2
+

x
2
et avec :
_
x
2
+
1
n
2
+

x
2

_
x
2
+
1
n
2

1
n
,
on dduit que :
|f
n
(x) f (x)|
1
n
et (f
n
)
nN
converge uniformment vers f sur R.
3. Pour tout entier n 1 et tout rel x, on a :
g
n
(x) =
x
_
x
2
+
1
n
2
et :
lim
n+
g
n
(x) = g (x) =
_
0 si x = 0
x
|x|
= sgn (x) si x = 0.
Les fonctions g
n
tant continues sur R, la convergence nest pas uniforme puisque la limite
g nest pas continue en 0.
On peut aussi vrier ce rsultat en valuant sup
xR
|g
n
(x) g (x)| .
Pour x = 0 et n 1, on a :
|g
n
(x) g (x)| =

x
_
x
2
+
1
n
2

x
|x|

= |x|

1
_
x
2
+
1
n
2

x
2

= |x|

x
2

_
x
2
+
1
n
2

x
2
_
x
2
+
1
n
2

=
1
n
2
1
_
x
2
+
1
n
2
_

x
2
+
_
x
2
+
1
n
2
_
Avec :
_
x
2
+
1
n
2
_

x
2
+
_
x
2
+
1
n
2
_

1
n
2
Proprits des fonctions stables par convergence uniforme 377
on dduit que |g
n
(x) g (x)| 1. Puis avec |g
n
(0) g (0)| = 0 et :
lim
x0
|g
n
(x) g (x)| = 1
on dduit que sup
xR
|g
n
(x) g (x)| = 1 et (g
n
)
nN
ne converge pas uniformment vers g sur
R.
On dispose quand mme du rsultat suivant consquence du critre de Cauchy uniforme et
du thorme des accroissements nis.
Thorme 16.10 Soit (f
n
)
nN
une suite de fonctions drivables sur I telle que la suite (f

n
)
nN
converge uniformment sur I vers une fonction g. Sil existe un point x
0
I tel que la suite
(f
n
(x
0
))
nN
soit convergente alors la suite (f
n
)
nN
converge simplement vers une fonction d-
rivable f telle f

= g et la convergence est uniforme sur tout segment [a, b] I.


Dmonstration. Avec le thorme des accroissements nis, on peut crire pour n, m entiers
naturels et x I :
|f
n
(x) f
m
(x)| |(f
n
f
m
) (x) (f
n
f
m
) (x
0
)| +|f
n
(x
0
) f
m
(x
0
)|
sup
tI
|f

n
(t) f

m
(t)| |x x
0
| +|f
n
(x
0
) f
m
(x
0
)| ,
Il en rsulte que pour [a, b] I et [, ] contenant [a, b] et x
0
on a :
sup
x[,]
|f
n
(x) f
m
(x)| ( ) sup
tI
|f

n
(t) f

m
(t)| +|f
n
(x
0
) f
m
(x
0
)| ,
ce qui permet de conclure que la suite (f
n
)
nN
vrie le critre de Cauchy uniforme sur [, ]
et donc quelle converge uniformment vers une fonction f sur cet intervalle et sur [a, b] . On
dnit ainsi une fonction f sur I limite simple de (f
n
)
nN
.
Pour x = y dans [a, b] et n N on peut crire :

f (x) f (y)
x y
g (x)

f (x) f (y)
x y

f
n
(x) f
n
(y)
x y

f
n
(x) f
n
(y)
x y
f

n
(x)

+|f

n
(x) g (x)| .
avec :
|f (x) f (y) (f
n
(x) f
n
(y))| = lim
m+
|(f
m
f
n
) (x) (f
m
f
n
) (y)|
lim
m+
sup
t[a,b]
|f

m
(t) f

n
(t)| |x y|
sup
t[a,b]
|g (t) f

n
(t)| |x y|
et :
|f

n
(x) g (x)| sup
t[a,b]
|g (t) f

n
(t)| ,
ce qui donne :

f (x) f (y)
x y
g (x)

2 sup
t[a,b]
|g (t) f

n
(t)| +

f
n
(x) f
n
(y)
x y
f

n
(x)

.
378 Suites de fonctions
Pour > 0 donn, on peut trouver un entier n tel que sup
t[a,b]
|g (t) f

n
(t)| < et pour cet entier,
par dnition du nombre driv, on peut trouver un rel > 0 tel que pour x = y dans [a, b]
vriant |x y| < on ait

f
n
(x) f
n
(y)
x y
f

n
(x)

< . On a donc

f (x) f (y)
x y
g (x)

3
pour x = y dans [a, b] tels que |x y| < , ce qui signie que f est drivable en x avec
f

(x) = g (x) .
16.4 Approximation uniforme des fonctions continues sur
un segment
Le fait quune fonction continue sur un segment y est en fait uniformment continue nous
donne la possibilit de construire des suites de fonctions lmentaires (en escaliers, anes par
morceaux ou polynomiales) qui convergent uniformment vers cette fonction.
16.4.1 Approximation uniforme par des fonctions en escaliers
Thorme 16.11 Toute fonction f continue sur un segment [a, b] est limite uniforme dune
suite de fonctions en escaliers.
Dmonstration. Pour tout entier n 1 on dnit une subdivision de [a, b] en notant :
x
k
= a + k
b a
n
(0 k n)
et cette subdivision on associe la fonction en escaliers f
n
dnie par f
n
(a) = f (a) et pour k
compris entre 0 et n 1 :
x ]x
k
, x
k+1
] , f
n
(x) = f (x
k
)
La fonction f qui est continue sur le compact [a, b] y est uniformment continue, donc pour
> 0 donn on peut trouver un rel > 0 tel que si x, y dans [a, b] sont tels que |x y|
alors |f (x) f (y)| < . Pour tout entier n
b a

et tout entier k compris entre 0 et n 1


on a alors x
k+1
x
k
=
b a
n
. Sachant quun rel x [a, b] est dans lun des intervalles
[x
k
, x
k+1
] , on obtient pour n
b a

:
|f (x) f
n
(x)| = |f (x) f (x
k
)|
ce qui prouve la convergence uniforme sur [a, b] de (f
n
)
n1
vers f.
Ce thorme peut tre utilis pour montrer quune fonction continue sur un segment y est
Riemann intgrable.
Thorme 16.12 Toute fonction f continue sur un segment [a, b] est Riemann intgrable.
Dmonstration. On sait dj quune fonction continue sur [a, b] est borne.
En reprenant la dmonstration prcdente, on peut trouver pour > 0 une fonction en
escaliers f
n
telle que g = f
n
< f < f
n
+ = h, les fonctions g, h tant en escaliers avec
_
b
a
(h(x) g (x)) dx = 2. Il en rsulte que f est Riemann intgrable sur [a, b] .
De ce rsultat, on dduit que toute fonction continue par morceaux sur un segment [a, b] est
Riemann intgrable.
Approximation uniforme des fonctions continues sur un segment 379
Exercice 16.9 Montrer que pour toute fonction f continue par morceaux sur un segment [a, b] ,
on a :
lim
n+
_
b
a
f (x) sin (nx) dx = 0
(lemme de Riemann-Lebesgue).
Dmonstration. Il sut de considrer le cas o f est continue sur [a, b] .
Si (f
n
)
nN
est une suite de fonctions en escaliers sur [a, b] qui converge uniformment vers f,
pour tout rel > 0, on peut trouver un entier n tel que sup
x[a,b]
|f
n
(x) f (x)| < et pour tout
entier m 1, on a :

_
b
a
f (x) sin (mx) dx

_
b
a
(f (x) f
n
(x)) sin (mx) dx

_
b
a
f
n
(x) sin (mx) dx

(b a) sup
x[a,b]
|f
n
(x) f (x)| +

_
b
a
f
n
(x) sin (mx) dx

(b a) +

_
b
a
f
n
(x) sin (mx) dx

.
En dsignant par x
0
= a < x
1
< < x
p+1
= b une subdivision de [a, b] telle que sur chaque
intervalle [x
k
, x
k+1
] f
n
soit constante gale y
k
, on a :
_
b
a
f
n
(x) sin (mx) dx =
p

k=0
y
k
_
x
k+1
x
k
sin (mx) dx
=
p

k=0
y
k
_
cos (mx
k
)
m

cos (mx
k+1
)
m
_
et :

_
b
a
f (x) sin (mx) dx

(b a) +
C
m
o C =
2
m
p

k=0
|y
k
| . On en dduit que

_
b
a
f (x) sin (mx) dx

(b a + 1) pour m assez grand.


De manire analogue, on a lim
n+
_
b
a
f (x) cos (nx) dx = 0 pour f continue par morceaux.
Exercice 16.10 Soit f une fonction continue par morceaux sur un segment [a, b] . Calculer la
limite suivante :
lim
n+
_
b
a
f (x) sin
2
(nx) dx
Solution 16.9 En crivant que sin
2
(nx) =
1 cos (2nx)
2
, on a :
lim
n+
_
b
a
f (x) sin
2
(nx) dx =
1
2
_
b
a
f (x) dx lim
n+
_
b
a
f (x) cos (2nx) dx
=
1
2
_
b
a
f (x) dx.
380 Suites de fonctions
16.4.2 Approximation uniforme par des fonctions anes par mor-
ceaux et continues
Thorme 16.13 Toute fonction f continue sur un segment [a, b] est limite uniforme dune
suite de fonctions continues anes par morceaux.
Dmonstration. En utilisant les subdivisions introduites avec la dmonstration du tho-
rme prcdent, on leur associe les fonctions f
n
dnies pour k compris entre 0 et n 1 par :
x [x
k
, x
k+1
] , f
n
(x) = f (x
k
) +
x x
k
x
k+1
x
k
(f (x
k+1
) f (x
k
))
(f
n
concide avec f aux x
k
et est ane sur [x
k
, x
k+1
]). Ces fonctions sont anes par morceaux
et continues sur [a, b] .
En utilisant luniforme continuit de f sur [a, b] , pour > 0 donn, on peut trouver un rel
> 0 tel que |f (x) f (y)| < pour tous x, y dans [a, b] tels que |x y| . Pour tout entier
n
b a

et tout entier k compris entre 0 et n1 on a alors x


k+1
x
k
=
b a
n
et sachant
quun rel x [a, b] est dans lun des intervalles [x
k
, x
k+1
] , on obtient pour n
b a

:
|f (x) f
n
(x)| =

f (x) f (x
k
)
x x
k
x
k+1
x
k
(f (x
k+1
) f (x
k
))

|f (x) f (x
k
)| +
x x
k
x
k+1
x
k
|f (x
k+1
) f (x
k
)|
+
x x
k
x
k+1
x
k
2,
ce qui prouve la convergence uniforme sur [a, b] de (f
n
)
n1
vers f.
Ce rsultat et le thorme 16.10 peuvent tre utiliss pour prouver, sans thorie de lint-
gration, que toute fonction f continue sur un intervalle compact admet une primitive.
On commence par vrier le rsultat pour les fonctions anes par morceaux et continues.
Thorme 16.14 Toute fonction ane par morceaux et continue sur un segment [a, b] admet
des primitives.
Dmonstration. Si est ane par morceaux et continue dnie par une subdivision a =
x
0
< x
1
< < x
n
= b et :
(x) = y
k
+
x x
k
x
k+1
x
k
(y
k+1
y
k
)
sur [x
k
, x
k+1
] pour 0 k n 1, la fonction dnie par :
(x) = y
0
(x x
0
) +
(x x
0
)
2
2 (x
1
x
0
)
(y
1
y
0
) +
0
avec
0
= 0 sur [x
0
, x
1
] et :
(x) = y
k+1
(x x
k+1
) +
(x x
k+1
)
2
2 (x
k+2
x
k+1
)
(y
k+2
y
k+1
) +
k+1
Approximation uniforme des fonctions continues sur un segment 381
sur [x
k+1
, x
k+2
] pour 0 k n 2 o
k+1
est tel que :
lim
xx

k+1
(x) = (x
k+1
x
k
)
y
k+1
+ y
k
2
+
k
= lim
xx
+
k+1
(x) =
k+1
pour 0 k n 2, est une primitive de . En eet, sur ]x
k
, x
k+1
[ , on a :

(x) = y
k
+
x x
k
x
k+1
x
k
(y
k+1
y
k
) = (x)
et pour x ]x
0
, x
1
[ :
(x) (x
0
)
x x
0
=
(x)
x x
0
= y
0
+
x x
0
2 (x
1
x
0
)
(y
1
y
0
)
xx
+
0
y
0
= (x
0
)
ce qui signie que

(x
0
) = (x
0
) .
Pour 0 k n 2 et x ]x
k+1
, x
k+2
[ , on a :
(x) (x
k+1
)
x x
k+1
= y
k+1
+
x x
k+1
2 (x
k+2
x
k+1
)
(y
k+2
y
k+1
)
xx
+
0
y
k+1
= (x
k+1
)
et pour 0 k n 1, x ]x
k
, x
k+1
[ , on a :
(x) (x
k+1
) = y
k
(x x
k
) +
(x x
k
)
2
2 (x
k+1
x
k
)
(y
k+1
y
k
) +
k

k+1
= (x x
k
)
_
y
k
+
x x
k
2 (x
k+1
x
k
)
(y
k+1
y
k
)
_
(x
k+1
x
k
)
y
k+1
+ y
k
2
= (x x
k+1
)
_
y
k
+
x x
k
2 (x
k+1
x
k
)
(y
k+1
y
k
)
_
+(x
k+1
x
k
)
_
y
k
+
x x
k
2 (x
k+1
x
k
)
(y
k+1
y
k
)
y
k+1
+ y
k
2
_
= (x x
k+1
)
_
y
k
+
x x
k
2 (x
k+1
x
k
)
(y
k+1
y
k
)
_
+(x x
k+1
)
y
k+1
y
k
2
= (x x
k+1
)
_
x x
k
2 (x
k+1
x
k
)
(y
k+1
y
k
) +
y
k+1
+ y
k
2
_
ce qui donne :
lim
xx

k+1
(x) (x
k+1
)
x x
k+1
=
y
k+1
y
k
2
+
y
k+1
+ y
k
2
= y
k+1
= (x
k+1
)
Thorme 16.15 Toute fonction f continue sur un segment [a, b] admet des primitives.
Dmonstration. En utilisant les notations introduites avec la dmonstration du thorme
16.13, on dsigne pour tout n 1 par F
n
la primitive de f
n
nulle en a. La suite (F

n
)
n1
converge
uniformment sur [a, b] vers f et que la suite (F
n
(a))
n1
converge vers 0. On dduit alors que
la suite (F
n
)
n1
converge uniformment sur [a, b] vers une fonction drivable F et que F

= f,
cest--dire que F est une primitive de f sur [a, b] .
On peut alors dnir lintgrale dune fonction f continue sur [a, b] par :
_
b
a
f (x) dx = F (b) F (a)
o F est une primitive de f sur cet intervalle.
382 Suites de fonctions
16.4.3 Approximation uniforme de la fonction x |x| sur [1, 1] par
des fonctions polynomiales
Lapproximation uniforme de la fonction x |x| sur [1, 1] par des fonctions polynomiales
nous sera utile pour approcher uniformment toute fonction continue et ane par morceaux
par des polynme sur un segment [a, b] .
On introduit la suite de fonctions (P
n
)
nN
dnie sur R par P
0
(x) = 0 et
n 1, P
n+1
(x) = P
n
(x) +
1
2
_
x
2
(P
n
(x))
2
_
. (16.2)
On vrie facilement par rcurrence sur n 0 que chaque fonction P
n
est polynomiale.
Exercice 16.11 Dterminer le degr et le coecient dominant de chaque fonction P
n
.
Solution 16.10 En dsignant par p
n
le degr de P
n
et par
n
le coecient dominant de P
n
, on
a p
1
= 2 et
1
=
1
2
(P
1
(x) =
x
2
2
) et par rcurrence, on vrie que p
n
= 2
n
et
n
=
1
2
2
n
1
. En
eet, le rsultat est vrai pour n = 1 et le supposant acquis au rang n 1, en utilisant (16.2) ,
on a p
n+1
= 2p
n
= 2
n+1
et
n+1
=
1
2

2
n
=
1
2
1
2
2(2
n
1)
=
1
2
2
n+1
1
.
Lemme 16.1 Pour tout n N et tout x [1, 1] , on a :
|x| P
n+1
(x) = (|x| P
n
(x))
_
1
|x| + P
n
(x)
2
_
Dmonstration. On a :
|x| P
n+1
(x) = |x| P
n
(x)
1
2
(|x| P
n
(x)) (|x| + P
n
(x))
= (|x| P
n
(x))
_
1
|x| + P
n
(x)
2
_
Lemme 16.2 Pour tout n N et tout x [1, 1] , on a :
0 P
n
(x) P
n+1
(x) |x| 1
et la suite (P
n
)
nN
converge simplement sur [1, 1] vers |x| .
Dmonstration. Pour le premier point, on procde par rcurrence sur n 0.
Pour n = 0, on a pour tout x [1, 1] :
0 = P
0
(x) P
1
(x) =
x
2
2
|x| 1
0 P
n
(x) P
n+1
(x) |x| 1
Supposant le rsultat acquis au rang n 0, on a P
n+1
(x) P
n
(x) 0. Puis de P
n+1
(x) |x| ,
on dduit que x
2
(P
n+1
(x))
2
et P
n+2
(x) P
n+1
(x) . Enn avec
|x| P
n+2
(x) = (|x| P
n+1
(x))
_
1
|x| + P
n+1
(x)
2
_
Approximation uniforme des fonctions continues sur un segment 383
|x| P
n+1
(x) et
|x| + P
n+1
(x)
2
milieu de [P
n+1
(x) , |x|] [0, 1] , on dduit que |x| P
n+2
(x)
0.
Lencadrement prcdent nous dit que pour tout x [1, 1] la suite (P
n
(x))
nN
est valeurs
positive, croissante et majore (par |x|) donc convergente vers (x) 0. En passant la limite
dans (16.2) , on dduit que (x)
2
= x
2
et (x) = |x| .
Lemme 16.3 Pour tout n N et tout x [1, 1] , on a :
0 |x| P
n
(x) |x|
_
1
|x|
2
_
n

2
n + 1
Dmonstration. On montre tout dabord par rcurrence sur n 0 lencadrement :
0 |x| P
n
(x) |x|
_
1
|x|
2
_
n
.
Pour n = 0, on a :
0 |x| P
0
(x) = |x| .
En supposant le rsultat acquis pour n 0, on a :
|x| P
n+1
(x) = (|x| P
n
(x))
_
1
|x| + P
n
(x)
2
_
|x|
_
1
|x|
2
_
n
_
1
|x| + P
n
(x)
2
_
|x|
_
1
|x|
2
_
n
_
1
|x|
2
_
= |x|
_
1
|x|
2
_
n+1
(P
n
(x) 0).
Ensuite on tudie la fonction dnie sur [0, 1] par (t) = t
_
1
t
2
_
n
pour n 1 (pour
n = 0, on a bien |x|
_
1
|x|
2
_
n
= |x| 1 < 2). Cette fonction est drivable avec (0) = 0,
(1) =
1
2
n
, :

(t) =
_
1
t
2
_
n1
_
1
n + 1
2
t
_
et
_
2
n + 1
_
=
2
n + 1
_
1
1
n + 1
_
n

2
n + 1
. Il en rsulte que (t)
2
n + 1
pour tout
t [0, 1] (variations de ).
En conclusion, on a le rsultat suivant.
Thorme 16.16 La suite (P
n
)
nN
dnie par (16.2) converge uniformment sur [1, 1] vers
la fonction x |x| .
Remarque 16.7 On peut aussi dduire cette convergence uniforme du thorme de Dini.
Lexercice qui suit nous fournit une autre faon dapproximer la fonction x |x| sur [1, 1] .
384 Suites de fonctions
Exercice 16.12 On dsigne par (a
n
)
nN
la suite des coecients qui interviennent dans le
dveloppement en srie entire de la fonction x

1 x sur lintervalle ]1, 1[ , soit :


x ]1, 1[ ,

1 x =
+

n=0
a
n
x
n
.
1. Montrer que la srie
+

n=0
a
n
est convergente.
2. En dduire que :
(a) la fonction x

1 x est limite uniforme dune suite de polynmes sur lintervalle


[1, 1] ;
(b) la fonction x |x| est limite uniforme dune suite de polynmes sur lintervalle
[1, 1] .
Solution 16.11 Les coecients a
n
sont donns par a
0
= 1 et pour n 1, a
n
= b
n
avec :
b
n
=
(2n)!
(2n 1) (2
n
n!)
2
.
En particuliers, les b
n
sont positifs pour tout n 1.
1. Pour tout x dans [0, 1[ et tout n 1, on a :
0
n

k=1
b
k
x
k

n=1
b
n
x
n
= 1

1 x.
En faisant tendre x vers 1, on en dduit que pour tout n 1, on a :
0
n

k=1
b
k
1,
ce qui implique la convergence de la srie termes positifs
+

n=0
b
n
et celle de la srie
+

n=0
a
n
.
Si on tente le thorme de dAlembert pour montrer la convergence de

b
n
(tous les b
n
sont strictement positifs), on a :b
n
=
(2n)!
(2n 1) (2
n
n!)
2
b
n+1
b
n
=
(2n + 2) (2n + 1) (2n 1)
(2n + 1) 4 (n + 1)
2
=
2n 1
2n + 2

n+
1
et on ne peut pas conclure. En utilisant le dveloppement limit :
b
n+1
b
n
=
1
1
2n
1 +
1
n
=
_
1
1
2n
__
1
1
n
+ o
_
1
n
__
= 1
3
2
1
n
+ o
_
1
n
_
le thorme de Raabe-Duhamel nous permet de conclure la convergence de

b
n
(on a
3
2
> 1).
Le thorme de Weierstrass 385
2. On note (P
n
)
nN
la suite de polynmes dnie par P
n
(x) =
n

k=0
a
k
x
k
.
(a) Pour tout n 0 et tout x [1, 1] , on a :

1 x P
n
(x)

k=n+1
a
k
x
k

R
n
=
+

k=n+1
b
k

n+
0,
ce qui implique la convergence uniforme sur [1, 1] de la suite de polynmes (P
n
)
nN
vers la fonction x

1 x.
(b) Pour tout x dans [1, 1] , on peut crire que |x| =
_
1 u(x) avec u(x) = 1 x
2
dans [0, 1] et on a :
|x| = lim
n+
P
n
(u (x))
cette convergence tant uniforme.
16.5 Le thorme de Weierstrass
On propose dans ce paragraphe plusieurs dmonstrations du thorme de Weierstrass qui
nous dit que toute fonction continue sur un segment I = [a, b] est limite uniforme sur cet
intervalle dune suite de fonctions polynomiales.
16.5.1 Premire dmonstration
On a dj vu que toute fonction continue sur un segment I = [a, b] est limite uniforme
dune suite de fonctions continues et anes par morceaux. Il nous sut donc dapprocher
uniformment ces fonctions continues et anes par morceaux par des polynmes.
Pour tout rel [0, 1] , on dsigne par h

la fonction ane par morceaux dnie par


x h

(x) = max (0, x ) .


Lemme 16.4 Pour tout rel [0, 1] , la fonction h

est limite uniforme dune suite de


polynmes sur [0, 1] .
Dmonstration. En crivant que :
h

(x) = max (0, x ) =


1
2
(|x | + x ) ,
on dduit du thorme 16.16 que h

est limite uniforme dune suite de polynmes sur [0, 1] .


Prcisment, en reprenant les notations du thorme 16.16, la suite de fonctions polynomiales
(Q
n
)
nN
dnie sur [0, 1] par :
x [0, 1] , Q
n
(x) =
1
2
(P
n
(x ) + x )
converge uniformment sur [0, 1] vers
1
2
(|x | + x ) = h

(x) .
Lemme 16.5 Toute fonction ane par morceaux et continue sur un segment [a, b] est combi-
naison linaire de fonctions du type h

: x max (0, x ) .
386 Suites de fonctions
Dmonstration. Soit ane par morceaux et continue dnie par une subdivision a =
x
0
< x
1
< < x
n
= b et :
(x) = y
k
+
x x
k
x
k+1
x
k
(y
k+1
y
k
)
sur [x
k
, x
k+1
] pour 0 k n 1 (n 1). On a donc (x
k
) = y
k
pour tout k et on dit que
a n 1 points anguleux x
1
< < x
n1
(il ny en a pas si n = 1).
Il existe alors une suite relle (
k
)
0kn
telle que :
= z
0
+
n1

k=0

k
h
x
k
.
En eet une telle galit est ralise si, et seulement si, elle est ralise sur chaque intervalle
[x
k
, x
k+1
] , ce qui scrit :
_

_
z
0
+
0
(x x
0
) = y
0
+
x x
0
x
1
x
0
(y
1
y
0
) sur [x
0
, x
1
]
z
0
+
0
(x x
0
) +
1
(x x
1
) = y
1
+
x x
1
x
2
x
1
(y
2
y
1
) sur [x
1
, x
2
]
.
.
.
z
0
+
n1

k=0

k
(x x
k
) = y
n1
+
x x
n1
b x
n1
(y
n
y
n1
) sur [x
n1
, x
n
]
ce qui quivaut, en faisant x = x
k
et x = x
k+1
dans chacun de ces intervalles au systme
dquations :
_

_
z
0
= y
0
et z
0
+
0
(x
1
x
0
) = y
1
z
0
+
0
(x
2
x
0
) +
1
(x
2
x
1
) = y
2
.
.
.
z
0
+
n1

k=0

k
(x
n1
x
k
) = y
n1
(deux fonctions anes sur un intervalle concident si, et seulement si, elles concident en deux
points distincts), ce qui dtermine y
0
et les
k
de manire unique (les
k
sont solutions dun
systme triangulaire coecients diagonaux non nuls).
Thorme 16.17 Toute fonction continue et ane par morceaux sur [0, 1] est limite uniforme
dune suite de polynmes sur cet intervalle.
Dmonstration. Cest une consquence immdiate des deux lemmes qui prcdent.
Thorme 16.18 (Weierstrass) Toute fonction continue sur un segment [a, b] est limite uni-
forme dune suite de polynmes.
Dmonstration. Si f est une fonction continue sur I = [a, b] , la fonction g dnie par :
g (t) = f ((1 t) a + tb)
est continue sur [0, 1] , elle est donc limite uniforme sur [0, 1] dune suite (P
n
)
nN
de fonctions
polynomiales et f est limite uniforme sur [a, b] de la suite (Q
n
)
nN
de fonctions polynomiales
dnie par :
Q
n
(x) = P
n
_
x a
b a
_
.
Le thorme de Weierstrass 387
16.5.2 Deuxime dmonstration
Cette dmonstration utilise les polynmes de Bernstein.
On se place dabord sur lintervalle I = [0, 1] .
Pour tout entier k compris entre 0 et n, on dsigne par B
n,k
la fonction polynomiale dnie
par :
x I, B
n,k
(x) = C
k
n
x
k
(1 x)
nk
et B
n
est loprateur de Bernstein dni par :
f C (I) , B
n
(f) =
n

k=0
f
_
k
n
_
B
n,k
.
On peut remarquer que B
n,k
(x) 0 pour tout x I = [0, 1] .
Les rsultats prliminaires qui suivent nous seront utiles pour montrer le thorme de Weiers-
trass en utilisant les polynmes de Bernstein B
n
(f) .
Lemme 16.6 Si pour tout rel y on dsigne par f
y
la fonction dnie sur R par :
x R, f
y
(x) = e
xy
.
on a alors :
x I, B
n
(f
y
) (x) =
_
xe
y
n
+ 1 x
_
n
=
n
(x, y) .
Dmonstration. Rsulte de :
B
n
(f
y
) (x) =
n

k=0
C
k
n
_
xe
y
n
_
k
(1 x)
nk
=
_
xe
y
n
+ 1 x
_
n
.
En notant (e
k
)
kN
la base canonique de R[x] , o les polynmes e
k
sont dnis par :
k N, x R, e
k
(x) = x
k
on dduit le rsultat suivant.
Lemme 16.7 Pour tout entier naturel non nul n et pour tout entier naturel j, on a :
B
n
(e
j
) (x) =

j

n
y
j
(x, 0) .
Dmonstration. Pour tout entier naturel j on a :

n
y
j
(x, y) =
n

k=0
_
k
n
_
j
e
ky
n
B
n,k
(x)
et pour y = 0 on obtient :

n
y
j
(x, 0) =
n

k=0
_
k
n
_
j
B
n,k
(x) = B
n
(e
j
) .
388 Suites de fonctions
En particulier, pour n 1, on a :
_

n
(x, y) =
_
xe
y
n
+ 1 x
_
n
,

n
y
(x, y) = xe
y
n
_
xe
y
n
+ 1 x
_
n1
,

n
y
2
(x, y) =
x
n
e
y
n
_
xe
y
n
+ 1 x
_
n1
+
n 1
n
x
2
e
2y
n
_
xe
y
n
+ 1 x
_
n2
.
Et en faisant y = 0, on obtient :
_

_
B
n
(e
0
) = e
0
: x 1,
B
n
(e
1
) = e
1
: x x,
B
n
(e
2
) = e
2
+
1
n
(e
1
e
2
) : x x
2
+
1
n
x (1 x) .
Lemme 16.8 Pour tout n 1 et tout x I, on a :
n

k=0
_
k
n
n
_
2
B
n,k
(x)
1
4n
.
Dmonstration. On a :
n

k=0
_
k
n
x
_
2
B
n,k
(x) =
n

k=0
_
k
n
_
2
B
n,k
(x) 2x
n

k=0
k
n
B
n,k
(x) + x
2
n

k=0
B
n,k
(x)
= B
n
(e
2
) (x) 2xB
n
(e
1
) (x) + x
2
B
n
(e
0
) (x)
= x
2
+
1
n
x (1 x) 2x
2
+ x
2
=
1
n
x (1 x)
1
4n
(en tudiant les variations de x x (1 x) sur I).
Du fait quune fonction continue sur un segment y est uniformment continue, on dduit le
rsultat suivant.
Lemme 16.9 Si f est une fonction continue de [a, b] dans R, alors pour tout rel > 0, il
existe un rel > 0 tel que :
(x, y) [a, b]
2
, |f (x) f (y)| +
2 f

2
(x y)
2
. (16.3)
Dmonstration. La fonction f qui est continue sur le compact [a, b] y est uniformment
continue, donc pour > 0 donn on peut trouver un rel > 0 tel que si x, y dans [a, b] sont
tels que |x y| < , on a alors |f (x) f (y)| < .
Pour x, y dans [a, b] , on a soit |x y| < et dans ce cas |f (x) f (y)| < , soit |x y| ,
ce qui quivaut 1
(x y)
2

2
et dans ce cas :
|f (x) f (y)| 2 f

2 f

(x y)
2

2
.
On a donc dans tous les cas :
|f (x) f (y)| +
2 f

2
(x y)
2
Le thorme de Weierstrass 389
Thorme 16.19 (Bernstein) Pour toute fonction f C (I) la suite (B
n
(f))
n1
converge
uniformment vers f sur I = [0, 1] .
Dmonstration. Avec B
n
(e
0
) =
n

k=0
B
n,k
= e
0
, on dduit que pour n 1, on a :
B
n
(f) (x) f (x) =
n

k=0
_
f
_
k
n
_
f (x)
_
B
n,k
(x) .
On se donne un rel > 0 et en utilisant le lemme prcdent, on a pour tout x I et tout
n 1 :
|B
n
(f) (x) f (x)|
n

k=0

f
_
k
n
_
f (x)

B
n,k
(x)

k=0
_
+
2 f

2
_
k
n
x
_
2
_
B
n,k
(x)

n

k=0
B
n,k
(x) +
2 f

2
n

k=0
_
k
n
n
_
2
B
n,k
(x)
+
2 f

2
1
4n
et donc :
sup
xI
|B
n
(f) (x) f (x)| +
2 f

2
1
4n
2
pour n assez grand. On a donc ainsi montr que la suite (B
n
(f))
n1
converge uniformment
vers f sur I = [0, 1] .
Comme au paragraphe prcdent, le changement de variable x = (1 t) a + tb ramne un
intervalle [a, b] [0, 1] et le thorme de Weierstrass sen dduit.
16.5.3 Troisime dmonstration
Le lemme 16.9 qui est la base de la dmonstration du thorme de Bernstein permet en
fait de montrer un rsultat plus gnral. Cest le thorme de Korovkin qui suit qui a pour
corollaire ceux de Bernstein et de Weierstrass.
On dsigne par I = [a, b] un intervalle ferm born avec a < b et par C (I) lespace vectoriel
des fonctions continues de I dans R.
On appelle oprateur linaire sur C (I) tout endomorphisme de cet espace vectoriel et on
dit quun oprateur linaire sur C (I) est positif (ou monotone) sil transforme toute fonction
positive appartenant C (I) en une fonction positive.
Lemme 16.10 Si u est un oprateur linaire positif sur C (I) , on a alors :
f C (I) , |u(f)| u (|f|) .
Dmonstration. Avec |f| f |f| et u linaire et positif, on dduit que u (|f|)
u (f) u(|f|) , soit, |u (f)| u(|f|) .
On note toujours (e
k
)
kN
la base canonique de R[x] et pour toute fonction f C (I) , tout
entier naturel k et pour tout rel x x dans I, f f (x) e
k
dsigne la fonction de I dans R
dnie par :
t g (t) g (x) t
k
.
Du lemme 16.9, on dduit alors le rsultat suivant.
390 Suites de fonctions
Lemme 16.11 Si u est un oprateur linaire positif sur C (I) , alors pour toute fonction f
C (I) et tout rel > 0, on peut trouver un rel > 0 tel que :
x I, |u(f) f (x) u(e
0
)| u(e
0
) + 2
f

2
_
u(e
2
) 2xu(e
1
) + x
2
u(e
0
)
_
.
Dmonstration. Lingalit (16.3) x x dans I se traduit par :
|f f (x) e
0
| e
0
+
2 f

2
_
e
2
2xe
1
+ x
2
e
0
_
et pour u linaire positif, on en dduit que :
|u(f) f (x) u(e
0
)| = |u(f f (x) e
0
)| u(|f f (x) e
0
|)
u (e
0
) + 2
f

2
_
u(e
2
) 2xu(e
1
) + x
2
u(e
0
)
_
.
Lemme 16.12 Si u est un oprateur linaire positif sur C (I) , alors pour toute fonction f
C (I) et tout rel > 0, on peut trouver des rels positifs , et tels que pour tout x I, on
ait :
|u(f) (x) f (x)| + u (e
0
) e
0

+ u(e
1
) e
1

+ u(e
2
) e
2

Dmonstration. En crivant, que :


u (f) f (x) e
0
= (u(f) f (x) u(e
0
)) + f (x) (u (e
0
) e
0
)
on a :
|u(f) f (x) e
0
| |u(f) f (x) u(e
0
)| +|f (x)| |u(e
0
) e
0
|
|u(f) f (x) u(e
0
)| +f

u(e
0
) e
0

et en crivant que :
u(e
2
) 2xu(e
1
) + x
2
u(e
0
) = (u (e
2
) e
2
) 2x (u(e
1
) e
1
) + x
2
(u(e
0
) e
0
)
+
_
e
2
2xe
1
+ x
2
e
0
_
le lemme prcdent nous donne en posant M = 2
f

2
, pour u linaire positif :
|u(f) f (x) u(e
0
)| (u(e
0
) e
0
) +
+M
_
(u(e
2
) e
2
) 2x (u(e
1
) e
1
) + x
2
(u (e
0
) e
0
)
_
+M
_
e
2
2xe
1
+ x
2
e
0
_
u(e
0
) e
0

+
+M (u(e
2
) e
2

+ 2 e
1

u(e
1
) e
1

+e
2

u(e
0
) e
0

)
+M

e
2
2xe
1
+ x
2
e
0

et lvaluation en x nous donne, compte tenu de :


e
2
(x) 2xe
1
(x) + x
2
e
0
(x) = x
2
+ 2x
2
+ x
2
= 0
Le thorme de Weierstrass 391
|u(f) (x) f (x) u(e
0
) (x)| u(e
0
) e
0

+
+M (u(e
2
) e
2

+ 2 e
1

u(e
1
) e
1

+e
2

u(e
0
) e
0

)
et :
|u(f) (x) f (x)| + (f

+ + M e
2

) u(e
0
) e
0

+2M e
1

u(e
1
) e
1

+ M u(e
2
) e
2

Ce lemme est la base de la dmonstration du thorme de Korovkin qui suit.


Thorme 16.20 Si (u
n
)
nN
est une suite doprateurs linaires positifs sur C (I) telle que
pour toute fonction f appartenant {e
0
, e
1
, e
2
} la suite (u
n
(f))
nN
converge uniformment
vers f sur I, alors pour toute fonction f C (I) la suite de fonctions (u
n
(f))
nN
converge
uniformment vers f sur I.
Dmonstration. Le lemme prcdent appliqu chaque u
n
nous donne pour f C (I) et
> 0 :
u
n
(f) f

+ u
n
(e
0
) e
0

+ u
n
(e
1
) e
1

+ u
n
(e
2
) e
2

les constantes , , ne dpendant que de I, f et . Avec la convergence uniforme sur I de


(u
n
(e
k
))
nN
vers e
k
pour k = 0, 1, 2, on peut trouver un entier n
0
tel que u
n
(f) f

4
pour tout n n
1
. Comme > 0 est quelconque, on a ainsi prouv la convergence uniforme sur
I de (u
n
(f))
nN
vers f.
Prenant pour u
n
les oprateurs de Bernstein sur [0, 1] , on retrouve le thorme de Bernstein.
16.5.4 Quatrime dmonstration
On donne ici une dmonstration qui utilise un oprateur de convolution.
On se donne une fonction dans C ([1, 1]) telle que :
_
(0) = 1,
x [1, 1] {0} , 0 (x) < 1.
Par exemple, la fonction dnie sur [1, 1] par (x) = (1 x
2
) convient.
une telle fonction, on associe la suite de fonctions (P
n
)
nN
dnie par P
n
=
1
a
n

n
, o le
rel a
n
est dni par
_
1
1
P
n
(x) dx = 1, soit a
n
=
1
I
n
, o I
n
=
_
1
1

n
(x) dx.
Si est un polynme alors les P
n
sont des fonctions polynomiales.
Pour tout entier naturel n, on pose :
]0, 1] , I
n
() =
_

n
(x) dx.
Lemme 16.13 On a :
]0, 1] , I
n

n+
I
n
() .
392 Suites de fonctions
Dmonstration. Le rsultat est vident pour = 1. On se xe donc dans ]0, 1[ .
La fonction tant valeurs positives, on a :
]0, 1[ , 0 I
n
() I
n
.
En crivant que :
I
n
= I
n
() +
_

1

n
(x) dx +
_
1

n
(x) dx
et en posant M

= sup
|x|1
(x) , on a 0 M

< 1 (la borne suprieure sur un compact de la


fonction continue est atteinte et 0 (x) < 1 pour |x| 1) et :
0 I
n
() I
n
I
n
() + 2 (1 ) M
n

I
n
() + 2M
n

ce qui donne :
1
I
n
I
n
()
1 + 2
M
n

I
n
()
.
(comme est continue avec (0) > 0, on a I
n
() > 0).
La fonction tant continue en 0 avec (0) = 1, pour tout rel ]0, 1[ on peut trouver un
rel ]0, [ tel que :
x [, ] , 0 1 (x) <
soit :
x [, ] , (x) > 1
et :
I
n
()
_

n
(x) dx 2 (1 )
n
.
On a donc :
n 1, 1
I
n
I
n
()
1 +
1

_
M

1
_
n
.
En prenant ]0, 1 M

[ (ce qui est possible puisque 0 M

< 1), on a 0
M

1
< 1 et de
lingalit prcdente on dduit que :
lim
n+
I
n
I
n
()
= 1
soit I
n

n+
I
n
() ..
Lemme 16.14 Pour tout rel ]0, 1[ , on a :
lim
n+
__
|x|1
P
n
(x) dx
_
= 0.
Dmonstration. On a :
_
|x|1
P
n
(x) dx =
_
1
1
P
n
(x) dx
_

P
n
(x) dx
= 1 a
n
I
n
() = 1
I
n
I
n
()

n+
0
Le thorme de Weierstrass 393
Si f est une fonction continue sur lintervalle [0, 1] telle que f (0) = f (1) = 0, on peut la
prolonger par 0 en une fonction continue sur R (on pose donc f (x) = 0 pour x / [0, 1] et f
est continue sur R). une telle fonction f, on associe la suite de fonctions (Q
n
)
n1
dnie sur
[0, 1] par :
Q
n
(x) =
_
1
1
f (x + t) P
n
(t) dt.
Lemme 16.15 Avec ces notations, la suite (Q
n
)
n1
converge uniformment vers f sur [0, 1] .
Dmonstration. Tenant compte de
_
1
1
P
n
(t) dt = 1, on peut crire pour tout x [0, 1] :
Q
n
(x) f (x) =
_
1
1
(f (x + t) f (x)) P
n
(t) dt.
La fonction f qui est continue sur le compact [1, 2] y est uniformment continue et pour
tout rel > 0 on peut trouver un rel ]0, 1[ tel que |f (x) f (y)| < ds que |x y| <
dans [1, 2] . Pour tout n 1 et tout x [0, 1] , on a alors :
|Q
n
(x) f (x)|
_
1
1
|f (x + t) f (x)| P
n
(t) dt

_

P
n
(t) dt + 2 f
2

_
|t|1
P
n
(t) dt
+ 2 f
2

_
|t|1
P
n
(t) dt
ce qui signie que pour tout n 1, on a :
sup
x[0,1]
|Q
n
(x) f (x)| + 2 f
2

_
|t|1
P
n
(t) dt
Comme la suite
__
|t|1
P
n
(t) dt
_
n1
converge vers 0, on en dduit quil existe un entier n
0
tel que sup
x[0,1]
|Q
n
(x) f (x)|
_
2 f
2

+ 1
_
pour tout n n
0
.
On a ainsi prouv la convergence uniforme sur [0, 1] de (Q
n
)
n1
vers f.
En prenant pour une fonction polynomiale, les fonctions Q
n
sont galement polynomiales.
En eet, comme f est nulle en dehors de [0, 1] , on a pour tout x [0, 1] :
Q
n
(x) =
_
1x
x
f (x + t) P
n
(t) dt =
_
1
0
f (u) P
n
(u x) du,
et Q
n
est une fonction polynomiale.
Le thorme de Weierstrass sen dduit alors comme suit. Si f est une fonction continue sur
[a, b] , la fonction g dnie par :
g (t) = f ((1 t) a + tb)
est continue sur [0, 1] et la fonction h dnie par :
h(t) = g (t) g (0) (g (1) g (0)) t
394 Suites de fonctions
est galement continue sur [0, 1] avec h(0) = h(1) = 0.
Il nous sut alors dappliquer le lemme prcdent la fonction h pour conclure.
Prcisment, on a h = lim
n+
Q
n
, o Q
n
(t) =
_
1
0
f (u) P
n
(u t) du est polynomiale, la
convergence tant uniforme sur [0, 1] et pour x = (1 t) a + tb [a, b] avec t [0, 1] , on a :
f (x) = g (t) = h(t) + g (0) + (g (1) g (0)) t
= lim
n+
(Q
n
(t) + g (0) + (g (1) g (0)) t) = lim
n+
R
n
(x)
avec :
R
n
(x) = Q
n
_
x a
b a
_
+ f (a) + (f (b) f (a))
x a
b a
fonction polynomiale, la convergence tant uniforme sur [a, b] .
Le choix de (x) = 1 x
2
nous fournit une telle dmonstration (due Landau).
Le choix de non polynomiale, mais dveloppable en srie entire permet galement de
montrer le thorme de Weierstrass.
Par exemple le choix de (x) = e
x
2
nous fournit une telle dmonstration (due Weierstrass
lui mme en 1885).
On a bien (0) = 1 et 0 (x) < 1 pour tout rel non nul.
Comme on vient de le voir il sut de considrer le cas dune fonction continue sur [0, 1] telle
que f (0) = f (1) = 0. Pour une telle fonctions, la suite (Q
n
)
n1
qui converge uniformment
vers f sur [0, 1] est dnie par :
Q
n
(x) =
_
1
0
f (t) P
n
(t x) dt =
1
I
n
_
1
0
f (t) e
(xt)
2
dt
=
1
I
n
_
1
0
f (t)
+

k=0
(1)
k
k!
n
k
(t x)
2k
dt
la convergence de la srie tant uniforme en t [0, 1] pour tout x x dans [0, 1] puisque la
srie entire
z
n
n!
a un rayon de convergence inni (voir le chapitre suivant pour les sries de
fonctions), on peut donc intgrer terme terme et on a :
Q
n
(x) =
1
I
n
+

k=0
(1)
k
k!
n
k
_
1
0
f (t) (t x)
2k
dt,
la convergence de cette srie tant uniforme sur [0, 1] . Enn en crivant que :
_
1
0
f (t) (t x)
2k
dt =
2k

j=0
C
j
2k
(1)
j
__
1
0
f (t) t
2kj
dt
_
x
j
,
on dduit que Q
n
est limite uniforme dune suite de polynmes sur [0, 1] . Il existe donc pour
tout rel > 0 un entier n tel que f Q
n

et un polynme P
n
tel que Q
n
P
n

< et
on a :
f P
n

f Q
n

+Q
n
P
n

< 2.
Le thorme de Weierstrass sen dduit.