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 :
Cela implique notamment que toute application continue sur un segment 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 . 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 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 est dite uniformément continue si elle vérifie :
Contrairement à la continuité « simple » ne dépend pas de , ce qui nous permet d’inverser les quantificateurs.
Énoncé
Le théorème se généralise sur les espaces métriques grâce à la propriété de compacité.
Remarque : Dans les parties compactes sont exactement les réunions finies de segments Plus généralement dans , les parties compactes sont exactement les fermés bornés., 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 comme distance.
Par la propriété de Bolzano-Weierstrass La propriété de Bolzano-Weierstrass s’énonce comme :
Si 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 :
Avec la continuité de , on a une famille de boule ouverte où recouvrant . Par la propriété de Borel-Lebesgue, on peut extraire un recouvrement finie. On peut alors prendre comme le plus petit rayon des boules, ce dernier ne dépend plus de d'où l'uniforme continuité.
Fixons . Pour tout il existe, par continuité de , tel que
L'union est un recouvrement d'ouverts de qui est compact. Il existe donc une partie finie de telle que .
Comme est finie, posons .
Alors, pour tous tels que , en choisissant un tel que on obtient :
donc
La valeur trouvée étant bien indépendante de , 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 de C'est une partie fermée d'un compact, donc cet ensemble est bien compact. atteint sa borne inférieur qui est strictement positiveSi est vide, on peut choisir arbitrairement.. En notant cette borne inférieure, on vérifie que , et donc que 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
Le théorème de Heine sert à montrer que toute fonction continue sur un segment à valeur dans un espace métrique est limite uniforme de fonctions en escalier. On peut ainsi définir l'intégrale de Riemann.
Notes et références
Notes
Références
Voir aussi
Bibliographie
Histoire
Mathématiques
.
Articles connexes Continuité uniforme Fonction réglée Compacité
Liens externes
Heine Catégorie:Article contenant une démonstration