Théorème d'Ascoli - Définition

En analyse fonctionnelle, le théorème d'Ascoli est un puissant résultat caractérisant les parties relativement compactes de l'espace des fonctions continues définies sur un espace métrique compact à valeurs dans un espace métrique complet (espace vectoriel normé complet). Il se généralise sans difficulté aux espaces topologiques localement compacts, localement séparables, et dénombrables à l'infini.

Ce théorème est connu pour son nombre considérable d'applications (complétude de certains espaces fonctionnels, compacité de certains opérateurs, dépendance en les conditions initiales dans les équations différentielles ...).

Énoncé

Dans un espace vectoriel normé de dimension finie, les parties compactes sont exactement les parties fermées et bornées. Dans un espace vectoriel topologique séparé, les parties relativement compactes restent bornées ; mais la réciproque est fausse. Le théorème d'Ascoli traite du cas de l'espace des fonctions continues :

Soient un espace métrique compact et un espace métrique complet. L'espace des fonctions continues de K dans F est un espace métrique complet.

Une partie A de est relativement compacte si et seulement si les deux conditions suivantes sont respectées :

• A est équicontinue, i.e pour tout , on a

0, \exists \eta > 0, \forall f \in A, \forall y \in K, \delta(x,y) \leq \eta \Rightarrow d(f(x),f(y)) < \varepsilon" >

• Pour tout , l'ensemble est relativement compact.

Un ensemble de fonctions r-lipschitziennes est un exemple d'ensemble équicontinu.

Il existe de nombreuses variantes du théorème d'Ascoli.

Démonstration

Le théorème d'Ascoli établit une équivalence. Les deux implications sont démontrées séparément. Les notations sont celles de l'énoncé ci-dessus.

Condition nécessaire

Supposons que A soit relativement compact. Comme est un espace métrique complet, A est précompact. Autrement dit pour tout réel 0" > peuvent être choisis un nombre fini d'éléments f₁,...,f_p dans tel que :

.

Littéralement, toute fonction f dans A se trouve à une distance au plus ε de l'un des f_j. Pour x fixé dans K, toute image f(x) se trouve donc à une distance au plus ε de l'un des f_j(x). De fait :

.

Une telle inclusion étant valable pour tout 0" >, l'ensemble précompact. Comme F est complet, il est relativement compact.

En outre, les fonctions f_j sont continues sur le compact et donc, par le théorème de Heine sont uniformément continues. En particulier :

.

Posons 0" >. Soient x,y deux points quelconques dans K vérifiant δ(x,y) < η. Pour une fonction f dans A, il existe un indice j pour lequel . Par choix de η, l'implication ci-dessus donne : . L'inégalité triangulaire donne :

Cette inégalité, vérifiée par tous x et y tels que d(x,y) < η, reste valable pour toute fonction . D'où l'équicontinuité de .

Condition suffisante

La réciproque est le sens le plus souvent utilisé et demande plus d'attention. On souhaite démontrer qu'une partie équicontinue A de C⁰(K,F) telle que A(x) soit relativement compacte pour tout x, est relativement compacte. Comme C⁰(K,F) est un espace métrique, il revient au même d'établir que l'adhérence de A est séquentiellement compacte ; ou encore que toute suite d'éléments de l'adhérence de A admet au moins une valeur d'adhérence.

Soit donc suite de . Comme est un espace métrique compact, il est séparable et on peut donc se donner une partie dénombrable dense { }. Introduisons .

Par hypothèses, est relativement compact pour tout  ; autrement dit, son adhérence est une partie compacte de . L'espace est défini comme le produit dénombrable d'espaces métriques compacts ; c'est donc lui même un espace métrique compact.

A chaque , on fait correspondre l'élément de . Donc, à chaque , on fait correpondre . De la suite , on peut extraire, par compacité de E, une sous-suite convergente qui converge vers . La continuité des projections sur chacun des facteurs de E donne : . Autrement dit, la sous-suite est simplement convergeante en tout point de .

De plus, donc est équicontinue par le premier point. Sachant que si une suite de fonctions d'un espace métrique compact dans un espace métrique complet est simplement convergente sur une partie dense de et est équicontinue alors cette suite est uniformément convergente sur . On en déduit que la sous-suite est uniformément convergente sur donc converge dans muni de la topologie de la convergence uniforme et donc est relativement compacte.

Opérateurs à noyau