Théorème Soient (X,) un espace topologique et (Y,) un espace métrique. Soit
une suite de fonctions définies de X dans Y et qui converge uniformément vers
. On suppose de plus que les applications sont continues IN. Alors
est continue.
Démonstration Soit . Donnons nous x un élément de X. On cherche un voisinage V de x dans X tel que si y est élément de V alors
.
L'inégalité triangulaire nous permet d'écrire, pour tout x et y dans X et tout n dans IN,
Comme
converge uniformément vers , on peut trouver un entier N indépendant de x et y tel que si n>N alors
et
. Choisissons donc n>N. est par définition continue. Il existe donc un voisnage V de x ( c'est le voisinage que l'on cherche) tel que
. En utilisant l'inégalité précédente, on trouve
si y est élément de V.Cqfd
Théorème Soit (X,) un espace topologique. Si (Y,d) est un espace métrique complet alors il en de même de (X,Y). Si de plus X est muni d'une topologie le rendant compact, alors (X,Y) est complet.
Démonstration Nous allons procéder à la démonstration de la complétude de (X,Y). Nous supposons donc que X est compact. La démonstration de la complétude de (X,Y) est absolument identique. Soit
une suite de Cauchy dans (X,Y). Cela se traduit par:
Par définition de la norme , ceci implique que pour tout x
est de Cauchy dans Y. Y étant complet, chaque suite
est convergente dans Y. Notons (x) la limite d'une telle suite. Ceci permet de définir une application de X dans Y. La convergence de
vers est pour l'instant seulement une convergence simple. Montrons qu'elle est uniforme. Le fait que
soit de Cauchy permet d'écrire, rappellons le:
Choisissons et l'entier N corespondant dans l'écriture ci dessus. Comme l'application norme et l'application différence sont continues, on peut écrire
La dernière égalité étant réalisée car
converge simplement vers . Supposons que n est plus grand que N. On obtient, pour tout x dans X et tout m plus grand que n:
. Cette inégalité reste vrai quand on passe à la limite comme précédemment et donc pour tout n plus grand que N et tout x dans X,
. Ceci prouve le fait que
converge uniformément vers .
Dans le cas où l'on veut démontrer la complétude (X,Y), il faut encore démontrer que est continue. Ceci est vrai car si
converge uniformément vers alors est continue.
Dans le cas où l'on veut démontrer la complétude de (X,Y), il faut encore démontrer que est bornée. Mais sachant que
est de Cauchy dans (X,Y), alors
est aussi de Cauchy dans IR. (on utilise l'inégalité | |||a|||-|||b||| ||||a+b|||). Et les termes d'une suite de Cauchy dans IRsont majorés dès que l'on dépasse un certain rang. Donc les éléments de
sont majorés par une quantité MIRdès que n est assez grand. Cela s'écrit,
si n est assez grand. L'application norme étant continue et
convergeant simplement vers , on obtient, en passant à la limite:
et est bien élément de (X,Y).
Corollaire Soit (X,) un espace topologique. Si (Y,d) est un espace métrique complet alors (X,Y) est un espace de Banach.
Si X est muni d'une topologie le rendant compact, alors (X,Y) est un espace de Banach.
Démonstration C'est immédiat: on a déjà démontré que ces deux ensembles sont des espaces vectoriels normés. On vient de montrer qu'ils sont complets. Par application du théorème précédent, ils sont complets. Ce sont donc des espaces de Banach.