Théorème de sélection de Helly

Le théorème de sélection de Helly a été établi par le mathématicien Eduard Helly en 1912. Ce théorème garantit qu'une suite de fonctions qui a des variations bornées admet une sous-suite convergenteModèle:,Modèle:,. Il permet en particulier le passage à la limite sous le signe de l'intégrale de Stieltjes.

Définitions

Soit $I$ un intervalle réel.

• Une fonction $f:I\to ℝ$ est dite :
  • à variations bornées sur Modèle:Mvar s'il existe une constante Modèle:Mvar telle que, pour toute subdivision Modèle:Math de Modèle:Mvar, on ait $V(f,\sigma ):=\sum _{i=1}^n|f(x_i)-f(x_{i-1})|\le M$ ;
  • localement à variations bornées sur Modèle:Mvar si elle est à variations bornées sur tout sous-intervalle compact de Modèle:Mvar.
• Un ensemble $ℰ$ de fonctions réelles définies sur Modèle:Mvar est uniformément à variations bornées sur Modèle:Mvar s'il existe une constante Modèle:Mvar telle que, pour toute subdivision Modèle:Math de Modèle:Mvar, on ait $\mathrm{\forall }f\in ℰV(f,\sigma )\le M$.

Énoncé

De toute suite $(f_n)$ de fonctions réelles définies sur un intervalle Modèle:Mvar uniformément à variations bornées et uniformément bornée ($\mathrm{\exists }R>0\mathrm{\forall }n\in \mathbb{N}\mathrm{\forall }x\in I|f_n(x)|⩽R$) on peut extraire une sous-suite simplement convergente. La limite de cette sous-suite est à variations bornées.

Modèle:Démonstration/début On va d'abord démontrer le théorème pour une suite de fonctions croissantes. Pour ce faire, on utilisera deux fois le fait que pour tout ensemble dénombrable Modèle:Mvar, l'espace produit $[-R,R{]}^D$ est séquentiellement compact, Modèle:C.-à-d. que toute suite d'applications de Modèle:Mvar dans $[-R,R]$ admet une sous-suite simplement convergente (c'est la stabilité par produits dénombrables de la compacité séquentielle).

En appliquant d'abord ce lemme à $D_1=I\cap \mathbb{Q}$, on peut donc extraire une sous-suite, qu'on notera encore $(f_n)$, qui converge simplement sur $I\cap \mathbb{Q}$.

Notons Modèle:Mvar la fonction limite, définie sur $I\cap \mathbb{Q}$ et à valeurs dans $[-R,R]$ et, pour tout point $x\in \stackrel{\circ }{I}$,

$f_{-}(x):=\sup \{f(y)\mid y\in I\cap \mathbb{Q},y\le x\}\text{et}{f}_{+}(x):=\inf \{f(z)\mid z\in I\cap \mathbb{Q},z\ge x\}$.

La fonction Modèle:Mvar étant croissante (comme limite simple de fonctions croissantes), l'ensemble

$D_2=\{x\in \stackrel{\circ }{I}\mid f_{-}(x)<f_{+}(x)\}\cup (I\setminus \stackrel{\circ }{I})$

est au plus dénombrable.

Soit $x\in I\setminus D_2$. Notons $\ell$ la valeur commune $f_{-}(x)=f_{+}(x)$ et montrons que $f_n(x)$ tend vers cette valeur. Soit $ϵ>0$ ; il existe $y,z\in I\cap \mathbb{Q}$ tels que $y\le x\le z$, $f(y)>\ell -ϵ$ et $f(z)<\ell +ϵ$. Pour Modèle:Mvar assez grand, $f_n(y)\ge f(y)-ϵ$ et $f_n(z)\le f(z)+ϵ$ et, comme les $f_n$ sont croissantes, $f_n(y)\le f_n(x)\le f_n(z)$, donc

$\mathrm{\forall }ϵ>0\mathrm{\exists }N\mathrm{\forall }n\ge N\ell -2ϵ<f_n(x)<\ell +2ϵ$,

ce qui prouve la convergence de $(f_n(x))$ pour tout $x\in I\setminus D_2$.

Pour finir, on applique à nouveau le lemme (à l'ensemble $D_2$) pour obtenir une sous-suite qui converge partout.

Cas général : on sait qu'une fonction réelle à variations bornées peut se mettre sous forme de différence de deux fonctions croissantes : $f=f^{(c)}-f^{(d)}$. La décomposition n'étant pas unique, il faut en trouver une telle que les deux suites $(f_n^{(c)})$ et $(f_n^{(d)})$ vérifient les hypothèses qu'on a utilisées. Notons $𝒮(J)$ l'ensemble des subdivisions d'un sous-intervalle Modèle:Mvar. et fixons $a\in I$. Pour toute fonction Modèle:Mvar à variations bornées sur Modèle:Mvar, notons $V_{u,v}(f)=\sup \{V(f,\sigma )\mid \sigma \in 𝒮([u,v])\}$ (pour tout segment $[u,v]\subset I$) ; on vérifie facilement que les deux fonctions

$f^{(c)}:x\mapsto \{\begin{array}{cc}{V}_{a,x}(f)& \text{si }x\ge a\\ -V_{x,a}(f)& \text{si }x\le a\end{array}\text{et}{f}^{(d)}:=f^{(c)}-f$

sont croissantes et que si $\mathrm{\forall }\sigma \in 𝒮(I)V(f,\sigma )\le M$ alors $|f^{(c)}|\le M$, donc si de plus $|f|\le R$ alors $|f^{(d)}|\le M+R$.

Les hypothèses utilisées ci-dessus sont donc satisfaites pour $f_n^{(c)}$ et $f_n^{(d)}$.

On applique le résultat déjà démontré à $(f_n^{(c)})$, puis de la suite extraite on fait une seconde extraction pour assurer la convergence de $(f_n^{(d)})$.

Selon le même principe, on pourrait traiter des fonctions à valeurs complexes ou, plus généralement, à valeurs dans un espace de dimension finie, en faisant des extractions en cascade pour les parties réelle et imaginaire, ou pour les composantes dans une base. Modèle:Démonstration/fin

Généralisation

On peut déduire du théorème le résultat suivant (encore par une extraction diagonale) :

Soit $(f_n)$ une suite de fonctions réelles définies sur un intervalle telle que

• pour tout sous-intervalle compact Modèle:Mvar, il existe $R_K>0$ tel que $\sup \{|f_n(x)|\mid x\in K,n\in \mathbb{N}\}⩽R_K$ ;
• la suite est uniformément à variations bornées sur tout sous-intervalle compact.

Alors, on peut extraire de $(f_n)$ une sous suite simplement convergente. La limite de cette sous-suite est localement à variations bornées.

Interprétation en termes de compacité

Le théorème de Helly est clairement un énoncé de compacité, mais cette compacité ne concerne pas vraiment les fonctions à variations bornées.

Notons ${𝒞}_0$ l'espace vectoriel des fonctions réelles continues sur $ℝ$ tendant vers zéro en $\pm \mathrm{\infty }$, muni de la norme uniforme $\Vert f{\Vert }_{\mathrm{\infty }}=\sup \{|f(x)|\mid x\in ℝ\}$ et ${𝒞}_b$ l'espace vectoriel des fonctions réelles continues bornées sur $ℝ$, avec la même norme. On sait que ce sont deux espaces de Banach, et que ${𝒞}_0$ est un sous espace fermé de ${𝒞}_b$.

Le dual de l'espace de Banach ${𝒞}_0$ s'identifie à l'espace ${ℳ}_b$ des mesures de Radon bornées sur $ℝ$, et d'après le théorème de Banach-Alaoglu, la boule unité fermée de ${ℳ}_b$ est *-faiblement compacte, c'est-à-dire compacte pour la topologie de la convergence simple sur ${𝒞}_0$. Elle est aussi séquentiellement compacte (comme ${𝒞}_0$ est séparable, la topologie induite sur la boule unité de ${ℳ}_b$ par la topologie *-faible est métrisable). C'est cette compacité qu'exprime, indirectement, le théorème de Helly, et la démonstration ci-dessus est une preuve de ce cas particulier du théorème de Banach-Alaoglu (preuve d'un intérêt limité, car la démonstration générale du théorème de Banach-Alaoglu est plus courte que celle du théorème de Helly). Montrons le lien entre les deux résultats.

On sait que toute mesure bornée se prolonge de manière unique à ${𝒞}_b$ (pour des mesures positives — les seules pour lesquelles le théorème est utilisé en pratique —, c'est une conséquence du théorème de convergence monotone ; pour des mesures de signe quelconque, il faut passer par la mesure positive $|\mu |$). Si $\mu$ est une mesure bornée, on peut donc définir la fonction de répartition $F:F(x)=\mu (]-\mathrm{\infty },x])$, et une condition suffisante pour qu'une suite bornée de mesures bornées $({\mu }_n)$ converge *-faiblement vers $\mu$ est que leurs fonctions de répartition $F_n$ convergent vers la fonction de répartition $F$ de $\mu$ simplement sur l'ensemble des points de continuité de $F$ (la réciproque est fausse).

Modèle:Démonstration/début Supposons que la suite de fonctions uniformément à variations bornées $(F_n)$ converge simplement vers la fonction à variations bornées $F$ sur l'ensemble $E_c$ des points de continuité de $F$. Comme $F$ est à variations bornées, l'ensemble des points de discontinuités est au plus dénombrable, donc $E_c$ est dense dans $ℝ$. On notera ${\mu }_n$ (resp $\mu$) les mesures bornées associées à $F_n$ (resp $F$) par l'intégrale de Stieltjes. On note que $\mathrm{\forall }n,\Vert {\mu }_n\Vert ⩽M$, où $M$ est un majorant uniforme des variations des $F_n$ et de $F$). Soit $]a,b]$ un intervalle borné limité par deux points de $E_c$, notons ${\mathrm{𝟙}}_{]a,b]}$ la fonction indicatrice de cet intervalle.

D'après la définition des intégrales de Stieltjes, $\int {\mathrm{𝟙}}_{]a,b]}\mathrm{d}{\mu }_n=F_n(b)-F_n(a)$, donc $\underset{n}{\lim }\int {\mathrm{𝟙}}_{]a,b]}\mathrm{d}{\mu }_n=F(b)-F(a)=\int {\mathrm{𝟙}}_{]a,b]}\mathrm{d}\mu$. Si $f$ est une combinaison linéaire de fonctions de ce type, il est clair que $\lim \int f\mathrm{d}{\mu }_n\underset{n\to +\mathrm{\infty }}{\overset{}{\to }}\int f\mathrm{d}\mu$.

Soit maintenant $f\in {𝒞}_0$. Elle est uniformément continue : $\mathrm{\forall }ϵ>0\mathrm{\exists }\eta >0|x-y|<\eta \Rightarrow |f(x)-f(y)|<ϵ$.

Soit $h:0<h<\eta$ et notons $x_k=kh,k\in \mathbb{Z}$. Pour tout $k$ choisissons un élément $a_k\in ](k-1)h,kh[\cap E_c$. Par construction, $\mathrm{\forall }x\in ]a_k,a_{k+1}]|f(x)-f(x_k)|<ϵ$.

Comme $f$ tend vers zéro à l'infini, il existe une somme finie $g=\sum _{k=kmin}^{k=kmax}f(x_k){\mathrm{𝟙}}_{]a_k,a_{k+1}]}$ telle que $\Vert f-g\Vert <ϵ$ (pour $|x|$ assez grand, $0$ est une approximation à $ϵ$ près). On a vu que $\mathrm{\exists }Nn⩾N\Rightarrow |\int g\mathrm{d}{\mu }_n-\int g\mathrm{d}\mu |<ϵ$ donc

$n>N\Rightarrow |\int f\mathrm{d}{\mu }_n-\int f\mathrm{d}\mu |⩽|\int f\mathrm{d}{\mu }_n-\int g\mathrm{d}{\mu }_n|+|\int g\mathrm{d}{\mu }_n-\int g\mathrm{d}\mu |+|\int g\mathrm{d}\mu -\int f\mathrm{d}\mu |⩽(1+2M)ϵ$.

On applique le plus souvent ces résultats pour des mesures de probabilité, ce qui demande des précautions supplémentaires : l'ensemble des mesures positives de masse totale inférieure ou égale à $M$ est *-faiblement fermé (c'est une intersection de demi-espaces *-faiblement fermés) ; il est contenu dans le compact (*-faible) constitué par la boule fermée de rayon $M$, donc il est *-faiblement compact. Mais l'ensemble des mesures de probabilité n'est pas *-faiblement fermé ; il est par exemple évident que la suite $({\delta }_n)$ des masses de Dirac aux points $n$ converge *-faiblement vers zéro, or la mesure nulle n'est clairement pas une mesure de probabilité. Il faut donc des hypothèses supplémentaires, par exemple la convergence étroite, ou des conditions de tension, ces dernières pouvant, dans le cas de $ℝ$, s'exprimer à l'aide des fonctions de répartition.

Habituellement, les probabilistes sous entendent l'étoile et écrivent « convergence faible » au lieu de « convergence *-faible » et de même pour toutes les expressions du même type (parce que la véritable convergence faible, qui ferait intervenir le dual de l'espace des mesures, n'est jamais utilisée) ; comme l'espace ${𝒞}_0$ n'est pas réflexif, cela peut conduire à des erreurs si on utilise sans réfléchir des théorèmes sur les e.v.t. pour lesquels la distinction est importante.