Théorème de Heine
# Théorème de Heine

Le théorème de Heine, démontré par Eduard Heine en $1872^,,$ s'énonce ainsi : toute application continue d'un espace métrique compact dans un espace métrique quelconque est uniformément continue. Cela implique notamment que toute fonction continue d'un segment [a, b] dans ℝ est uniformément continue.

## Énoncé et démonstration pour les fonctions numériques

### Énoncé

Théorème — Toute application continue d'un segment [a, b] dans ℝ est uniformément continue.

L'application, notée f, étant continue en tout point x, nous savons que :

$\forall x\in [a,b],\forall \varepsilon >0,\exists \eta _{x,\varepsilon }>0\quad {\text{tel que}}\quad \forall y\in [a,b],|x-y|<\eta _{x,\varepsilon }\Rightarrow |f(x)-f(y)|<\varepsilon .$

Le théorème de Heine permet d'affirmer plus : elle est uniformément continue, c'est-à-dire que η peut être choisi indépendamment de x, ce qui nous permet d'inverser les deux quantificateurs :

$\forall x\in [a,b],\exists \eta _{x,\varepsilon }\quad {\text{en}}\quad \exists \eta _{\varepsilon },\forall x\in [a,b].$

L'uniforme continuité de f s'exprime en effet par :

   $\forall \varepsilon >0\quad \exists \eta _{\varepsilon }>0\quad \forall x\in [a,b],\forall y\in [a,b]\quad \left(|x-y|<\eta _{\varepsilon }\Rightarrow |f(x)-f(y)|<\varepsilon \right)$.

### Démonstration

Une première méthode est de raisonner par contraposée, en supposant f non uniformément continue et en prouvant qu'elle est alors discontinue en au moins un point, grâce à la propriété de Bolzano-Weierstrass dans ℝ (toute suite réelle bornée possède une sous-suite convergente).

Une autre est d'utiliser comme suit le théorème de Borel-Lebesgue (de tout recouvrement ouvert de [a, b], on peut extraire un sous-recouvrement fini) :

Pour tout x et y de [a, b], on note d(x, y) = |x – y| et, pour tout r > 0, B(x, r) = ]x – r, x + r[.

Fixons un ε > 0 et posons, pour tout $x\in [a,b]$, $\beta _{x,\varepsilon }={\frac {1}{2}}\eta _{x,\varepsilon /2}$ (où les $\eta _{x,\varepsilon /2}$ sont donnés par la continuité de f).

La famille d'ouverts ${\BigB(x,\beta _{x,\varepsilon }){\Big )}_{x\in [a,b]}$ est un recouvrement de [a, b]. Il existe donc une partie finie Z de [a, b] telle que $[a,b]\subset \cup _{z\in Z}B(z,\beta _{z,\varepsilon })$.

Posons $\eta =\eta _{\varepsilon }=\min _{z\in Z}\beta _{z,\varepsilon }.$ Alors, pour tous $x,y\in [a,b]$ tels que $d(x,y)<\eta$, en choisissant un $z\in Z$ tel que $x\in B(z,\beta _{z,\varepsilon })$ on obtient :

$d(x,z)<\beta _{z,\varepsilon }{\text{ et }}d(y,z)\leq d(y,x)+d(x,z)<\eta +\beta _{z,\varepsilon }\leq 2\beta _{z,\varepsilon }=\eta _{z,\varepsilon /2}$

donc

$d(f(x),f(y))\leq d(f(x),f(z))+d(f(z),f(y))<\varepsilon /2+\varepsilon /2=\varepsilon .$

La valeur η trouvée étant bien indépendante de x, la continuité uniforme est démontrée.

## Énoncé et démonstrations dans le cas général

### Énoncé

Théorème — Soient X un espace métrique compact et Y un espace métrique. Toute application continue de X dans Y est uniformément continue.

On note f l'application, d la distance sur X et d' la distance sur Y. L'uniforme continuité de f s'exprime alors par :

   $\forall \varepsilon >0\quad \exists \eta >0\quad \forall a,b\in X\quad d(a,b)<\eta \Rightarrow d'(f(a),f(b))<\varepsilon .$

**Remarque**


    Par l'une ou l'autre des deux variantes de la « démonstration directe » ci-dessous, on obtient plus généralement que si $(Z,d)$ et $(Y,d')$ sont deux espaces métriques et $X$ une partie compacte de $Z$ alors, pour toute application continue $f:Z\to Y$ :
    $\forall \varepsilon >0\quad \exists \eta >0\quad \forall a\in X\quad \forall b\in Z\quad d(a,b)<\eta \Rightarrow d'(f(a),f(b))<\varepsilon$.

### Démonstration directe

On peut reproduire la démonstration précédente en remplaçant simplement $[a,b]$ par $X$, $\mathbb {R}$ par $Y$, théorème de Borel-Lebesgue par définition de la compacité (ou même directement par précompacité), et valeur absolue de la différence par distance.

De même, la variante utilisant la propriété de Bolzano-Weierstrass s'adapte sans difficulté.

### Démonstration par le théorème des bornes

Par « théorème des bornes » on entend ici la version générale suivante du théorème des bornes usuel :

Pour tout ε > 0, en appliquant ce théorème au compact

$K:=\{(x,y)\in X\times X\mid d'(f(x),f(y))\geq \varepsilon \},$

et à l'application d, on obtient, si K est non vide, un η vérifiant la propriété voulue :

$\eta :=\inf d(K)>0.$

(Si K est vide, on peut choisir η arbitrairement.)

