Théorème de Heine

En mathématiques, le théorème de Heine, donne une condition suffisante pour qu’une application continue soit uniformément continue. Il s’énonce sous la forme :

Toute application continue d’un espace métrique compact dans un espace métrique quelconque est uniformément continue.

Cela implique notamment que toute application continue sur un segment $[a,b]$ de ℝ est uniformément continue.

Il doit son nom au mathématicien Eduard Heine qui l’a démontrée dans un article publié en 1872. On le trouve néanmoins déjà démontré dans des cours de Dirichlet en 1854.

Historique

La notion de continuité uniforme naît dans la seconde partie du XIX^e siècle. Dirichlet l'utilise dans son cours d’analyse, dans lequel il démontre aussi ce qu’on appelle aujourd’hui le théorème de Heine. Cependant ses cours ne seront publiés qu’en 1904 par l’un de ses étudiants Gustav Arendt. Le théorème porte ainsi le nom de Eduard Heine, qui en publie une preuve dans un article paru en 1871. Ce résultat sera généralisé par d’autres mathématiciens comme Carl-Johannes Thomae et Jacob Lüroth, en 1873, Gaston Darboux en 1875.

Tous utilisent le fait que l’on peut recouvrir tout segment $[a,b]$ en un nombre fini d’intervalles, c'est-à-dire ce qu’on appelle aujourd’hui la propriété de Borel-Lebesgue. C'est ce théorème qui poussera à définir la notion de compacité.

Énoncés et démonstrations

Continuité uniforme

Une application $f:X\to Y$ est dite uniformément continue si elle vérifié :

$\forall \varepsilon >0,\exists \eta >0,\forall x,y\in X,d(x,y)<\eta \implies d'(f(x),f(y))<\varepsilon$

Contrairement à la continuité « simple » $\eta$ ne dépend pas de $x$, ce qui nous permet d’inverser les quantificateurs.

Énoncé

Théorème de Heine dans ℝ — Toute application continue d'un segment $[a,b]$ dans $\mathbb {R}$ est uniformément continue.

Le théorème se généralise sur les espaces métriques grâce à la propriété de compacité.

Théorème de Heine dans un espace métrique — Soient $(X,d)$ un espace métrique compact et $(Y,d')$ un espace métrique quelconque. Toute application continue de $X$ dans $Y$ est uniformément continue.

Remarque : Dans $\mathbb {R}$ les parties compactes sont exactement les réunions finies de segments $[a,b]$, on retrouve alors l’énoncé pour les fonctions numériques.

Démonstrations

Dans un espace métrique, la compacité séquentielle (propriété de Bolzano-Weierstrass) et de compacité (propriété de Borel-Lebesgue) sont équivalentes. Chacune d'elles peut être utilisée pour démontrer le théorème de Heine.

La démonstration dans le cas réel fonctionne de la même manière que dans un espace métrique, en prenant la valeur absolue $|\cdot |$ comme distance.

Par la propriété de Bolzano-Weierstrass

La propriété de Bolzano-Weierstrass s’énonce comme :

De toutes suite à valeurs dans un compact K, on peut en extraire une sous-suite convergente dans K.

Si $f$ non uniformément continue, on peut montrer qu'elle est alors discontinue en au moins un point, grâce à la propriété de Bolzano-Weierstrass. On conclut alors par contraposée.

Par la propriété de Borel-Lebesgue

On peut aussi démontrer le théorème en passant directement par la propriété de Borel-Lebesgue :

De tout recouvrement d’ouverts d’un compact on peut en extraire un sous-recouvrement finie.

Avec la continuité de $f$, on a une famille de boule ouverte ${\textstyle B(x,\eta (x))}$ où ${\textstyle \forall y\in B(x,\eta (x)),|f(x)-f(y)|<\varepsilon }$ recouvrant ${\textstyle X}$. Par la propriété de Borel-Lebesgue, on peut extraire un recouvrement finie. On peut alors prendre $\eta$ comme le plus petit rayon des boules, ce dernier ne dépend plus de $x$ d'où l'uniforme continuité.

Démonstration détaillée

Fixons $\varepsilon >0$. Pour tout $x\in X$ il existe, par continuité de $f$, $\eta (x)$ tel que

$\forall y\in X,d(x,y)<\eta (x)\implies d'(f(x),f(y))<\varepsilon /2$

L'union $\bigcup _{x\in X}B(x,\eta (x)/2)$ est un recouvrement d'ouverts de $X$ qui est compact. Il existe donc une partie finie $Z$ de $X$ telle que $X\subset \bigcup _{z\in Z}B(z,\eta (z))$.

Comme $Z$ est finie, posons $\eta =\min _{z\in Z}\eta (z)$.

Alors, pour tous $x,y\in X$ tels que $d(x,y)<\eta$, en choisissant un $z\in Z$ tel que $x\in B(z,\eta (z)/2)$ on obtient :

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

donc

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

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

Autres démonstrations

• Une application continue d'un compact dans $\mathbb {R}$ est bornée et atteint ses bornes, ainsi l’image par $d$ de ${\textstyle K:=\{(x,y)\in X\times X\mid d'(f(x),f(y))\geq \varepsilon \}}$ atteint sa borne inférieur qui est strictement positive. En notant $\eta$ cette borne inférieur, on vérifie que $\forall x,y\in X,\;d(x,y)<\eta \implies d'(f(x),f(y))<\varepsilon$, et donc que que $f$ est uniformément continue.
• Dans $\mathbb {R}$, il est aussi possible de démontrer le théorème directement par le lemme de Cousin.

Applications

Intégrale de Riemann

Le théorème de Heine sert à montrer que toute fonction continue sur un segment $[a,b]$ à valeur dans un espace métrique est limite uniforme de fonctions en escalier. On peut ainsi définir l'intégrale de Riemann.

Voir aussi

Bibliographie

 : document utilisé comme source pour la rédaction de cet article.

Histoire

• (de) E. Heine, « Die Elemente der Functionenlehre », J. reine angew. Math., vol. 74,‎ 1872 (lire en ligne)

• (de) Gustav Arendt, G. Lejeune-Dirichlets Vorlesungen über die Lehre von den einfachen und mehrfachen bestimmten Integralen. Hrsg. von G. Arendt, Braunschweig F. Vieweg, 1904 (lire en ligne)

• Bertrand Hauchecorne et Jean Dhombres, Biographie des grands théorèmes, Ellipses, 21 novembre 2023, 243 p. (ISBN 978-2-340-08474-2). 

• Pierre Dugac, Bernard Bru et Roger Laurent, Histoire de l'analyse: autour de la notion de limite et de ses voisinages, Vuibert, 2003, 419 p. (ISBN 978-2-7117-5311-6). 

Mathématiques

• Frédéric Testard, « la topologie de $\mathbb {R}$ et de $\mathbb {R} ^{n}$ », dans Analyse mathématique: la maîtrise de l'implicite, Calvage & Mounet, coll. « Mathématiques en devenir », 27 avril 2012, 776 p. (ISBN 978-2-916352-11-4).

• Claude Tisseron, Notions de topologie: introduction aux espaces fonctionnels, Hermann, coll. « Collection Méthodes », 1985, 354 p. (ISBN 978-2-7056-6019-2)

Articles connexes

• Continuité uniforme
• Fonction réglée
• Compacité

Liens externes

• « Continuité uniforme », sur Bibm@th.net (consulté le 24 mai 2024)