title: Théorème de Heine
text: # 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.)
  
  