Théorème de Fréchet-Kolmogorov

En analyse fonctionnelle, le théorème de Fréchet-Kolmogorov (noms auxquels on adjoint parfois Riesz ou Weil) donne une condition nécessaire et suffisante pour qu'un ensemble de fonctions soit relativement compact dans l'espace Lp(λ), où λ désigne la mesure de Lebesgue sur ℝn. Il constitue une variante Lp du théorème d'Ascoli.

Énoncé modifier

Soient p un nombre réel supérieur ou égal à 1 et B un sous-ensemble de Lp(λ).

Cette partie B est relativement compacte si et seulement si les trois propriétés suivantes ont lieu simultanément :

  1. B est bornée,
  2.   uniformément par rapport à f B,
  3.   uniformément par rapport à f B, où τa f désigne la translatée de f par a, c'est-à-dire τa f(x) = f(x + a).

Démonstration modifier

Puisque Lp est complet, B est relativement compact si et seulement s'il est précompact.

Sachant que les trois propriétés sont vraies si B est un singleton, on en déduit facilement qu'elles le restent si B est un précompact.

Réciproquement, supposons que B satisfait les trois propriétés et montrons qu'il est précompact. D'après l'hypothèse 2, il suffit de démontrer que pour tout compact K de ℝn, l'ensemble B|K des restrictions à K d'éléments de B est précompact.

Pour tout r > 0, notons :

  • Br la boule de ℝn de centre 0 et de rayon r ;
  • Vr = λ(Br) son volume ;
  • μr la mesure de probabilité de Lebesgue sur cette boule  : μr(A) = Vr−1λ(ABr) ;
  •  

D'après l'inégalité de Jensen ou celle de Hölder, pour une mesure de probabilité, la norme Lp est une fonction croissante de p. En appliquant le théorème de Fubini, on en déduit :  

ce qui garantit au passage que fr ∈ Lp mais montre surtout que (d'après l'hypothèse 3)   uniformément par rapport à f B, si bien que pour démontrer la précompacité (pour la norme Lp) de B|K, il suffit de vérifier, pour tout r > 0, celle de l'ensemble   Il est même précompact pour la norme de la convergence uniforme sur K car le théorème d'Ascoli s'applique. On montre en effet qu'en tout point x, cet ensemble est :

  • équicontinu d'après l'hypothèse 3 car (en réutilisant la croissance des normes) 
  • borné d'après l'hypothèse 1 car (par un calcul analogue)  

Références modifier