Topologie de la convergence simple et de la convergence uniforme

1 Introduction
Dnir une topologie sur des ensembles de fonction va permettre

2 Topologie de la convergence simple

Soit X un ensemble et (Y, ) un espace topologique. Dnition Soit fn n IN une suite de fonctions de X dans Y et f une fonction de X dans Y. On dit que fn n IN converge simplement vers f pour la topologie de Y quand n tend vers l inni si x X fn x tend vers f x quand n tend vers linni.

Dnition Ceci permet de dnir une topologie sur (X,Y): lensemble des fonctions de X dans Y. Cette topologie sur (X,Y) est la topologie de la convergence simple:

On dnit tout dabord les "ferms" par la proprit suivante: F est vide ou alors pour toute suite fn n IN de F F F (X,Y) est un ferm qui converge simplement vers un lment f de (X,Y) a sa limite f dans F. Autrememnt dit, F est ferm si et seulement si F est vide ou alors pour tout lment f de (X,Y) qui est limite simple dune suite dlments de F alors f est lment de F. On dnit naturellement les lments de notre topologie en afrmant que les ouverts de (X,Y) sont les complmentaires des ferms de (X,Y).

Remarque les "" utiliss autour du mot ferm dans la dnition prcdente sont l pour prciser lide quil nous faut montrer que les ensembles ainsi dnis vrient bien les axiomes dune topologie et sont donc bien des ferms. Dmonstration Il est claire que lensemble vide et (X,Y) tout entier sont des "ferms" de (X,Y). Soit Fi i 1 n une famille nie de ferms de (X,Y). Montrons que F, la runion des lments de cette famille, est encore un ferm de (X,Y). Soit donc fn n IN une suite convergente dlments de F et f (X,Y) la limite de cette suite. Il existe un ferm Fi0 de notre famille de ferme qui contient une innit de termes de la suite fn n IN . ( Si cette dernire afrmation tait fausse, chaque Fi contiendrait un nombre ni dlments de la suite fn n IN , pour tout i=1..n

et donc la suite fn n IN ne pourrait prendre quun nombre ni de "valeurs". Ncessairement f serait une de ses "valeurs"et f serait lment de F cqfd.) En extrayant de la suite fn n IN la suite des lments de fn n IN qui sont lments de Fi0 , on fabrique une sous suite de fn n IN incluse dans Fi0 . Mais toute sous suite dune suite convergente est convergente et converge vers la mme limite que la suite de dpart. Donc la sous suite est convergente. Mais Fi0 tant "ferm" la limite f de notre sous suite est dans Fi0 . et donc est lment de F. Vrions le dernier axiome de la topologie . Soit donc maintenant F i I une famille quelconque de "ferms" de (X,Y). Montrons que F, lintersection de tout les lments de cette famille est encore un "ferm". Soit donc fn n IN une (X,Y) sa limite. Pour tout i I , suite convergente dlments de F et soit f fn n IN est incluse dans Fi . Mais chaque Fi tant "ferm", la limite de fn n IN est lment de Fi . f est donc lment de Fi pour tout i I et est donc lment de lintersection de tout les lments de cette famille F.

On peut maintenant afrmer que nos "ferms" sont bien des ferms.

3 Topologie de la convergence uniforme

 ) dsigne un k-espace vectoriel norm (k=IR ou IC ). On sintresse  (X,Y)=  f : X  Y  sup  f x   .
X dsigne un ensemble et (Y,
x X

Remarque On sintresse souvent dans la pratique des ensembles X munis dune topologie les rendant compacts. On considrera alors, en lieu et place de (X,Y) lensemble (X,Y) des fonctions continues de X dans Y ( continues pour les topologies respectives de X et Y). Dans ce cas, en raison du fait que lapplication x f x est continue (compose dapplication continue), que X muni de sa topologie est compact et que tout fonction continue valeurs relles et dnie sur un compact est borne, on a: (X,Y) (X,Y).

   "  

 $

Dnition On dnit sur (X,Y) une lois externe par .: k (X,Y) (X,Y) ( , f ) f o f est lapplication de X dans Y qui a x X associe f (x). On dnit aussi sur (X,Y) une lois interne par +: (X,Y) (X,Y) (X,Y), f g f g, o f g dsigne lapplication qui tout x de X associe llment f(x)+g(x). ( + dsigne ici la lois interne de Y).

! "

"

 



 

#

Proposition (X,Y) munis de la lois interne et de la lois externe prcdemment dnie est un k-espace vectoriel. Dmonstration Il suft de remarquer que, en vue des axiomes dnissant une norme, une somme de fonction bornes est borne et le produit dune fonction borne par un scalaire est encore une fonction borne. Les autres axiomes despace vectoriel 2

se dmontrent facilement. Dnition On suppose ici que X est muni dune topologie qui le rend compact. On dnit sur (X,Y) une lois externe par .: k (X,Y) (X,Y) (, f ) f o f est lapplication de X dans Y qui a x X associe f (x). On dnit aussi sur (X,Y) une lois interne par +: (X,Y) (X,Y) (X,Y), f g f g, o f g dsigne lapplication qui tout x de X associe llment f(x)+g(x). ( + dsigne ici la lois interne de Y).

%

  % "

&

! "



"

Proposition En supposant que X est muni dune topologie le rendant compact, (X,Y) est sous k-espace vectoriel de (X,Y) pour les lois internes et externes dnis prcdemment.

Dmonstration La somme de deux fonctions continues dnies dun espace topologique X dans un espace vectoriel norm Y est une application continue. De mme le produit dun scalaire et dune fonction ainsi dnie est aussi une application continue. Dnition Si f

'

(X,Y) (resp. f (X,Y)), on pose: f =sup f x .

Proposition Lapplication (resp. (X,Y)).

  *).)/   01  *).)/ 2 *) )+   3  4 premier axiome dune norme. Dautre part, si k, *) f )/ =sup  f x  = sup ) )+ f x  = ) ) sup  f x  =|| *) f x )+ .
Dmonstration Choisissons f et g dans (X,Y) (resp. (X,Y)). Par dnition de (X,Y) (resp. (X,Y)), est une application bien dnie sur (X,Y) (resp. (X,Y)). ( Elle est valeur dans IR et non dans IR ). est mme valeur dans f x =0 x X f 0, ce qui prouve le IR . De plus: f =0 sup f x =0

,)-)+

( *) +)   
x X

prcdemment dnie est une norme sur

(X,Y)

x X

x X

x X

x X

Ce qui nous permet de valider le deuxime axiome dune norme. Enn, f g =sup f g x sup ( f + g ) sup f x +sup g x = f + g .

*) $ +)  5 $ 6     6     *) )+ ,) )/ Ce qui prouve lingalit triangulaire.
x X x X x X x X

Corollaire

(X,Y) et (X,Y) sont des espaces vectoriels norms.

Dnition Soit fn n IN une suite dapplications de X dans Y. Soit f une application pareillement dnie. On dit que fn n IN converge uniformment vers f si

7 0 98 N : x X  f x  f x ; "
n

Proposition Si fn n IN est une suite de fonction sur X qui converge uniformment vers f dnie sur X alors fn n IN converge simplement vers f.

Dmonstration Il suft de comparer la dnition de la convergence simple et celle de la convergence uniforme pour les fonctions. Proposition On a lquivalence (avec les notations de la dnition prcdente) fn n IN converge uniformment vers f sur X. de (X,Y) (resp. (X,Y)). fn n IN converge vers f pour le norme

*).)/ 

Dmonstration Supposons que f converge uniformment vers f sur X. Soit 7 0.8 IN  si n 7 N *) f  f ,) <>=?8 IN  si n 7 N sup  f  f ; 8 IN  si n 7 N x X 5 f  f x @ et tant quelconque, ceci est quiconverge vers f pour la norme de  (X,Y) (resp.  (X,Y)). valent au fait que f
n n IN n n x X n n n IN

Ceci nous amne la dnition suivante: Dnition La topologie sur (X,Y) (resp. (X,Y)) hrite de la norme appele topologie de la convergence uniforme.

,)-)+

est

Remarque Le fait que la convergence uniforme dune suite de fonctions implique la convergence simple de cette suite a comme consquence que la topologie de la convergence uniforme est plus ne que la topologie de la convergence simple.

4 Quelques thormes
Thorme Soient (X, ) un espace topologique et (Y,) un espace mtrique. Soit fn n IN une suite de fonctions dnies de X dans Y et qui converge uniformment Y . On suppose de plus que les applications fn sont continues n IN . vers f : X Alors f : X Y est continue.

! !

Dmonstration Soit 0. Donnons nous x un lment de X. On cherche un voisinage V de x dans X tel que si y est lment de V alors f x f y . Lingalit triangulaire nous permet dcrire, pour tout x et y dans X et tout n dans IN ,


n

. 6 f x f x. $ f x f y. $ f y f y- " Comme f converge uniformment vers f , on peut trouver un entier N indpendant de x et y tel que si n>N alors f x f x .   3 et f y f y -   3. Choisissons donc n>N. f est par dnition continue. Il existe donc un voisnage V de x ( cest le voisinage que lon cherche) tel que y V = f x f y .   3. En utilisant lingalit prcdente, on trouve f x f y -   3 $  3 $  3 A si y est lment de V.Cqfd Thorme Soit (X, ) un espace topologique. Si (Y,d) est un espace mtrique complet alors il en de mme de  (X,Y). Si de plus X est muni dune topologie le rendant
f x f y
n n n n n IN n n n n n

compact, alors (X,Y) est complet. Dmonstration Nous allons procder la dmonstration de la compltude de (X,Y). Nous supposons donc que X est compact. La dmonstration de la compltude de (X,Y) est absolument identique. Soit fn n IN une suite de Cauchy dans (X,Y). Cela se traduit par:

7 0 8 N IN ; n m 7 N =B,) f  f ,)C " est de Cauchy Par dnition de la norme D , ceci implique que pour tout x f x . dans Y. Y tant complet, chaque suite f x . est convergente dans Y. Notons f (x) la limite dune telle suite. Ceci permet de dnir une application f de X dans Y. La convergence de f vers f est pour linstant seulement une convergence simple. soit de Cauchy permet dcrire, Montrons quelle est uniforme. Le fait que f rappelons le: 7 0 8 N IN ; n m 7 N =B,) f  f ,)C " Choisissons 7 0 et le N corespondant dans lcriture ci dessus. Comme lapplication
n m n n IN n n IN n n IN n n IN n m

norme et lapplication diffrence sont continues, on peut crire

m

nach.

F  A f x  lim E f x GA f x  f x " La dernire galit tant ralise car f converge simplement vers f . Supposons que n est plus grand que N. On obtient, pour tout x dans X et tout m plus grand que n:  f x  f x H . Cette ingalit reste vrai quand on passe la limite comme prcdemment et donc pour tout n plus grand que N et tout x dans X,  f x  f x 1 converge uniformment vers f . . Ceci prouve le fait que f Dans le cas o lon veut dmontrer la compltude  (X,Y), il faut encore dmonconverge uniformment vers f trer que f est continue. Ceci est vrai car si f alors f est continue. Dans le cas o lon veut dmontrer la compltude de  (X,Y), il faut encore dmontrer que f est borne. Mais sachant que f est de cauchy dans  (X,Y), alors -*) f ,) est aussi de Cauchy dans IR . (on utilise lingalit | |||a|||-|||b||| | 6 |||a+b|||). Et les termes dune suite de Cauchy dans IR sont majors ds que sont majors par une lon dpasse un certain rang. Donc les lments de -,) f *) quantite M IR ds que n est assez grand. Cela scrit, ,) f *)I6 M si n est assez grand. convergeant simplement vers f , on obLapplication norme tant continue et f tient, en passant la limite: ,) f *)C6 M et f est bien lment de  (X,Y). Corollaire Soit (X, ) un espace topologique. Si (Y,d) est un espace mtrique complet alors  (X,Y) est un espace de Banach. Si X est muni dune topologie le rendant compact, alors  (X,Y) est un espace de Balim
n

E  f x 
m

fm x

n n IN

n n IN

n n IN

n n IN

n IN

n IN

n n IN

Dmonstration Cest immdiat: on a dj dmontr que ces deux ensembles sont des espaces vectoriels norms. On vient de montrer quils sont comlets. Par application du thorme prcdent, ils sont complets. Ce sont donc des espaces de Banach.