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 : Modèle:Énoncé 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 1872Modèle:,. 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 Modèle:S-. 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

Modèle:Article détaillé Une application $f:X\to Y$ est dite uniformément continue si elle vérifie :

$\mathrm{\forall }\epsilon >0,\mathrm{\exists }\eta >0,\mathrm{\forall }x,y\in X,d(x,y)<\eta ⟹d^{\prime }(f(x),f(y))<\epsilon$

Contrairement à la continuité « simple »

$\eta$

ne dépend pas de

$x$

, ce qui nous permet d’inverser les quantificateurs.

Énoncé

Modèle:Théorème Le théorème se généralise sur les espaces métriques grâce à la propriété de compacité. Modèle:Théorème Remarque : Dans $ℝ$ 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 : Modèle:Énoncé 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éeModèle:,.

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 : Modèle:Énoncé Avec la continuité de $f$, on a une famille de boule ouverte $B(x,\eta (x))$ où $\mathrm{\forall }y\in B(x,\eta (x)),|f(x)-f(y)|<\epsilon$ recouvrant $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é.

Modèle:Démonstration/début Fixons $\epsilon >0$. Pour tout $x\in X$ il existe, par continuité de $f$, $\eta (x)$ tel que

$\mathrm{\forall }y\in X,d(x,y)<\eta (x)⟹d^{\prime }(f(x),f(y))<\epsilon /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)/2)$.

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

Alors, pour tous $x,y\in X$ tels que $d(x,y)<\eta /2$, 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)\le d(y,x)+d(x,z)<\eta /2+\eta (z)/2\le \eta (z)$

donc

$d^{\prime }(f(x),f(y))\le d^{\prime }(f(x),f(z))+d^{\prime }(f(z),f(y))<\epsilon /2+\epsilon /2=\epsilon .$

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 $ℝ$ est bornée et atteint ses bornes, ainsi l’image par $d$ de $K:=\{(x,y)\in X\times X\mid d^{\prime }(f(x),f(y))\ge \epsilon \}$ atteint sa borne inférieur qui est strictement positive. En notant $\eta$ cette borne inférieur, on vérifie que $\mathrm{\forall }x,y\in X,d(x,y)<\eta ⟹d^{\prime }(f(x),f(y))<\epsilon$, et donc que $f$ est uniformément continue.
• Dans $ℝ$, il est aussi possible de démontrer le théorème directement par le lemme de Cousin.

Applications

Intégrale de Riemann

Modèle:Article détaillé 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

Histoire

• Modèle:Article

• Modèle:Ouvrage

• Modèle:Ouvrage

• Modèle:Ouvrage

Mathématiques

• Modèle:Chapitre.

• Modèle:Ouvrage

Articles connexes

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

Liens externes

• Modèle:Lien web