Équicontinuité

En analyse, un ensemble de fonctions définies sur un espace topologique et à valeurs dans un espace uniforme est dit équicontinu en un point de l'espace de départ si ces fonctions non seulement sont toutes continues en ce point, mais le sont d'une façon semblable en un sens explicité plus loin. L'ensemble de fonctions sera dit équicontinu tout court s'il est équicontinu en tout point de l'espace de départ.

On parle souvent non d'ensemble, mais de famille de fonctions équicontinues ; ce qui importe cependant reste l'ensemble des fonctions de la famille.

Les familles de fonctions équicontinues possèdent certaines propriétés intéressantes. Par exemple, si une suite de fonctions continues converge simplement vers une fonction, cette fonction n'est pas forcément continue (un contre-exemple est donné par la famille de fonctions définies sur Modèle:Math par x ↦ xModèle:Exp). Cependant, si cette suite est équicontinue, alors la limite est continue.

Définitions

Soit (fModèle:Ind)Modèle:Ind une famille de fonctions d'un espace topologique E dans un espace uniforme F. L'ensemble d'indices I peut être quelconque (fini ou infini dénombrable ou non).

La famille (fModèle:Ind)Modèle:Ind est dite :

• équicontinue au point Modèle:Math si :Modèle:Retrait
• équicontinue si elle est équicontinue en tout point de E ;
• Lorsque E est un espace uniforme, la famille est dite uniformément équicontinue si :Modèle:Retrait

Dans tout ce qui précède, on peut remplacer la famille (fModèle:Ind)Modèle:Ind par l'ensemble {fModèle:Ind | i ∈ I}. On parlera donc d'un ensemble d'applications équicontinu en un point, ou équicontinu, ou uniformément continu.

Interprétation

Étant donné la famille (fModèle:Ind)Modèle:Ind, on peut considérer l'application de l'espace E dans l'ensemble [[Exponentiation ensembliste|FModèle:Exp]] qui à tout Modèle:Math associe la famille (fModèle:Ind(x))Modèle:Ind.

L'équicontinuité (respectivement l'équicontinuité uniforme) de la famille (fModèle:Ind)Modèle:Ind équivaut à la continuité (resp. à la continuité uniforme) de cette application de E dans FModèle:Exp lorsqu'on munit FModèle:Exp de la topologie (resp. de la structure uniforme) de la convergence uniforme sur I.

Lorsque E est un espace métrique, cette structure uniforme sur FModèle:Exp est définie par une distance δ donnée par

$\delta (u,v)=\min (1,\underset{i\in I}{\sup }d(u_i,v_i)).$

La continuité de chacune des fModèle:Ind équivaut à la continuité de cette application de E dans FModèle:Exp lorsqu'on munit FModèle:Exp de la topologie de la convergence simple sur I, qui n'est autre que la topologie produit.

Propriétés

1. Si une suite de fonctions est équicontinue et converge simplement alors la limite simple est continue. Plus généralement, si A est un ensemble équicontinu de fonctions de E dans F alors son adhérence dans l'espace produit FModèle:Exp (qui n'est autre que l'espace des applications de E dans F muni de la topologie de la convergence simple) est encore équicontinue.
2. Si une suite de fonctions est équicontinue et converge simplement sur un sous-ensemble dense de l'espace de départ, et si l'espace d'arrivée est complet, alors la suite converge simplement sur l'espace de départ tout entier (donc la propriété précédente s'applique). Plus généralement, sur un ensemble équicontinu d'applications d'un espace topologique E dans un espace uniforme, les structures uniformes de la convergence simple sur E et de la convergence simple sur une partie dense fixée de E coïncident.
3. Si une famille de fonctions définies sur un espace compact (muni de sa structure uniforme) est équicontinue, alors elle est uniformément équicontinue (application directe du théorème de Heine, via l'interprétation ci-dessus).
4. Si une suite de fonctions est équicontinue et converge simplement alors cette convergence est uniforme sur tout compact. Plus généralement, si K est un espace compact et si A est un ensemble équicontinu de fonctions de K dans F alors, sur A, la topologie de la convergence simple et celle de la convergence uniforme coïncident.
5. Théorème d'Ascoli : si K est un espace compact, F un espace uniforme et A une partie de l'espace des fonctions continues de K dans F (muni de la structure uniforme), alors A est relativement compacte si et seulement si A est équicontinue et pour tout x ∈ K, l'ensemble A(x) = {f(x) | f ∈ A} est relativement compact dans F.
6. Soit E un espace topologique (resp. uniforme), F un espace uniforme, H un ensemble équicontinu (resp. uniformément équicontinu) de fonctions de E dans F. Sur H, les structures uniformes de la convergence simple et de la convergence compacte (resp. précompacte) sont identiques.