La
convergence uniforme d'une suite de fonctions
(f n ) n ∈ N est une forme de convergence plus exigeante que la
Convergence simple. Cette dernière demande en effet seulement que, pour chaque point x, la suite
(f n (x)) n ∈ N ait une limite. La convergence devient uniforme quand toutes les suites
(f n (x)) n ∈ N avancent vers leur limite respective avec une sorte de « mouvement d'ensemble ».
Dans le cas de fonctions numériques d'une variable, la notion prend une forme d'évidence géométrique : le graphe de la fonction f n se « rapproche » de celui de la limite.
Définition
Convergence uniforme
Soit
(f n ) n ! une suite de fonctions définies sur
X ! et à valeurs dans
Y ! et
f ! une fonction définie sur
X ! à valeurs dans
Y !. On dit que la suite
(f n ) n converge uniformément vers
f sur
A si :
(1) ∀ ε > 0, ∃ N ε ∈ N, ∀ n ∈ N, n ≥ N ε ⇒ ∀ x ∈ A, d (f n (x),f (x)) < ε
Remarque: la proposition (1) est équivalente à :
| ∀ ε > 0, ∃ N ε ∈ N, ∀ n ∈ N, n ≥ N ε ⇒ |
sup
x ∈ A | ( d (f n (x),f (x)) < ε |
Quelques explications
On peut se demander
a posteriori quelle est la différence entre la
Convergence simple d'une suite de fonctions et la
convergence uniforme. En effet, la suite de fonctions
(f n ) n converge simplement vers
f sur
A si :
∀ x ∈ A, ∀ ε > 0, ∃ N ε , x ∈ N, ∀ n ∈ N, n ≥ N ε , x ⇒ d (f n (x),f (x)) < ε
Ici, l'indice N ε , x dépend de x ∈ A alors que dans la proposition (1) , l'indice N ε n'en dépend pas. Cette différence peut paraître anodine aux non-initiés, mais elle est pourtant essentielle:
- Dans le cas de la convergence simple, pour tout élement x ∈ A , on peut trouver un rang à partir duquel la distance d (f n (x),f (x)) devient très petite. A priori, si on choisit un y ∈ A autre que x alors le rang à partir duquel la distance d (f n (y),f (y)) devienne très petite va être différent.
- Dans le cas de la convergence uniforme, on peut trouver un rang à partir duquel la distance d (f n (x),f (x)) devienne très petite pour n'importe quel x ∈ A à la fois. Cette condition est donc beaucoup plus forte. En particulier, une suite de fonctions qui converge uniformément sur un ensemble converge simplement sur celui-ci. La réciproque est en général fausse sauf dans des cas très particuliers (voir Théorèmes de Dini).
Critère de Cauchy uniforme
Maintenant, on suppose en plus que l'
Espace métrique (Y,d) est un
Espace complet. C'est le cas de bon nombre d'espaces métriques, comme par exemple de
( R,| • |) la droite réelle munie de sa
Valeur absolue ou encore plus généralement de tout
Espace de Banach.
Sous ces conditions, on montre qu'une suite de fonctions (f n ) n converge uniformément sur A si et seulement si elle vérifie le critère de Cauchy uniforme, à savoir :
∀ ε >0, ∃ N ε ∈ N, ∀ p ∈ N, ∀ q ∈ N, (p,q ≥ N ε ) ⇒ ∀ x ∈ A, d (f p (x),f q (x)) < ε
Comme dans le cas des suites de Cauchy, il n'est pas nécessaire d'exhiber la fonction vers laquelle tend une suite de fonctions pour montrer que la convergence est uniforme.
Convergence uniforme de fonctions à valeurs dans un espace vectoriel normé
On suppose maintenant que
X est un
Espace métrique et que
(Y,@• @) est un espace vectoriel normé : c'est un
Espace métrique dont la topologie est issue de la distance
d telle que :
∀ y ∈ Y, ∀ y ' ∈ Y, d (y,y ') = @y-y '@.
La convergence uniforme d'une suite de fonctions (f n ) n sur une partie A inclus dans X s'écrit donc :
∀ ε > 0, ∃ N ε ∈ N, ∀ n ∈ N, n ≥ N ε ⇒ ∀ x ∈ A, @f n (x)-f (x)@ < ε
Ce qui est encore équivalent à :
| ∀ ε > 0, ∃ N ε ∈ N, ∀ n ∈ N, n ≥ N ε ⇒ |
sup
x ∈ A | ( @f n (x) -f (x)@) < ε |
Théorèmes
On a le résultat fondamental suivant:
Si (f n ) n est une suite de fonctions continues convergeant uniformément sur X vers une fonction f alors f est continue sur X . Preuve. Soit ε >0 donné. Il existe un entier N tel que, pour tout x ∈ X , d (f N (x),f (x) ) ≤ ε. La fonction f N est continue en tout point a ∈ X . Il existe ainsi un ouvert U contenant a tel que d (f N (x),f N (a) ) ≤ ε pour tout x ∈ U . Alors, si x ∈ U ,
d (f (x),f (a) ) ≤ d (f (x),f N (x) )+d (f N (x),f N (a) )+ nd (f N (a),f (a) ) ≤ 3 ε Quand X n'est pas compact, la convergence uniforme est un phénomène rare. Par exemple, converge uniformément vers e z sur tout compact de C quand l'entier n tend vers l'infini, mais pas sur C ; une Série entière de rayon de convergence R converge uniformément sur tout compact du disque ouvert de centre 0 et de rayon R , mais on ne peut pas dire mieux en général.
En fait, la continuité étant une propriété locale, la convergence uniforme sur "suffisamment" de parties de X suffit à assurer la continuité de la fonction limite.
Exemples
- Lorsque X est localement compact, ou lorsque sa topologie est définie par une métrique.
Dans ces conditions, si une suite
(f n ) , n ≥ 0 de fonctions continues converge uniformément sur tout compact vers une fonction
f , alors
f est continue.
- On a la même conclusion lorsque X est un espace de Banach, si la convergence uniforme a lieu
sur toute boule fermée de centre
0 . C'est ainsi que l'on démontre par exemple la continuité de la fonction
Exponentielle dans une
Algèbre de Banach.
Le résultat suivant, moins fort que le théorème de convergence dominée, est aussi beaucoup moins difficile à montrer.
Si X = est un Intervalle de R, si Y = R ou Y = C, alors si une suite de fonctions (f n ) n intégrables converge uniformément vers une fonction f intégrable alors :
lim
n → + ∞ | ∫ | b
a | f n (x).dx = ∫ | b
a | f (x).dx |
.
Son utilisation est à la base du résultat suivant d'Analyse complexe.
Soit (f n ) n ≥ 0 une suite de fonctions holomorphes sur un ouvert de U ⊂ C , convergeant uniformément sur tout compact de U vers une fonction f . Alors f est holomorphe.
Notation
On introduit la notation suivante :
| ∀ A ⊂ X, ∀ f : X → Y, @f@ ∞,A = |
sup
x ∈ A | ( @f (x)@ ) |
Il s'ensuit directement qu'une suite de fonctions (f n ) n converge uniformément vers une fonction f si et seulement si :
lim
n → + ∞ | @f n -f@ ∞,A = 0 |
Cas où X est compact
On suppose désormais que X est un
Espace métrique compact,
(Y,@• @) étant toujours un espace vectoriel normé. On note
C(X,Y) l'ensemble des fonctions continues définies sur
X et à valeurs dans
Y .
Alors : (C(X,Y),@• @ ∞,X ) est un espace vectoriel normé. Si de plus, Y est complet alors C(X,Y) est lui aussi complet.
Espace des fonctions numériques continues sur
On choisit dans cette section
X = un intervalle compact de
R et
Y = R. Puisque
R muni de la valeur absolue est complet, il en résulte que l'espace vectoriel normé
C(, R) muni de la norme
@• @ ∞ , est
complet.
Théorème de Weierstrass
Le théorème de Weierstrass affirme qu'on peut approcher de manière
uniforme n'importe quelle fonction numérique continue sur
par une suite de fonctions très régulières à savoir par des polynômes. Plus précisement, si
f est une fonction continue sur
alors:
∀ ε>0, ∃ P ε ∈ R, @f-P ε @ ∞ , ≤ ε.
où R désigne l'ensemble des polynômes à coefficients réels.
Voir aussi