Une suite de fonctions (fn) qui converge uniform´ement vers f, converge aussi simplement vers
f. Il y a cependant une diff´erence importante entre les deux notions: la suite (fn) tend simplement
vers fsi on peut trouver pour chaque xde Eet pour chaque ε > 0 un nombre Nx,ε, qui (`a priori)
d´epend `a la fois de xet de εtel que |fn(x)−f(x)|< ε lorsque nd´epasse Nx,ε. Alors que le nombre
Nqui apparaˆıt dans la d´efinition de la convergence uniforme ne d´epend pas de x: c’est le mˆeme
qui convient pour tous les x.
On peut aussi utiliser des quantificateurs : la diff´erence entre la convergence uniforme et la
convergence simple est alors une diff´erence de place de ces quantificateurs :
Convergence simple de (fn) vers f:
∀x∈E, ∀ε > 0,∃N(= Nx,ε) tel que ∀n, n ≥N=⇒ |fn(x)−f(x)|< ε.
Convergence uniforme de (fn) vers f:
∀ε > 0,∃N(= Nε) tel que ∀x∈E, ∀n, n ≥N=⇒ |fn(x)−f(x)|< ε.
Le ‘∀x∈E’ s’est d´eplac´e !
Par exemple, la suite de fonctions d´efinies sur [0,1[ par:
fn(x) = xn
converge simplement vers la fonction f:
f(x) = 0
mais pas uniform´ement. Si xest fix´e, il faudra que nd´epasse Log(ε)
Log(x)pour que |xn|< ε. Donc ‘au
mieux’ on doit prendre Nx,ε =hLog(ε)
Log(x)i+ 1 et lorsque xtend vers 1, ce nombre tend vers l’infini.
Il est impossible de trouver un Nqui convienne pour tous les xde [0,1[ `a la fois.
Une application directe de la d´efinition est :
Proposition (Formulation ´equivalente)
Soit (fn)une suite de fonctions d´efinies sur Equi converge simplement vers la fonction f.
Posons:
Mn= sup
x∈E
|fn(x)−f(x)|.
(par convention Mn= +∞si la fonction |fn−f|n’est pas born´ee). Alors la suite (fn)converge
uniform´ement vers fsur Esi et seulement si la suite (Mn)tend vers 0 quand ntend vers l’infini.
Preuve
Supposons d’abord que la suite (fn) converge uniform´ement vers fsur E. Alors
∀ε > 0,∃Ntel que ∀x∈E, ∀n, n ≥N=⇒ |fn(x)−f(x)|< ε.
Donc d`es que nd´epasse N, tous les nombres |fn(x)−f(x)|sont plus petits que ε, donc Mn≤ε,
d`es que n≥N, c’est `a dire : Mn→0.
R´eciproquement, si la suite (Mn) tend vers 0, pour tout ε > 0, on peut trouver Ntel que d`es
que nd´epasse N,Mn< ε, ce qui implique que, pour tous les xde E,|fn(x)−f(x)|< ε, donc (fn)
converge uniform´ement sur Evers f.
4