En raison de limitations techniques, la typographie souhaitable du titre, « Fonctions d'une variable réelle : Continuité uniforme Fonctions d'une variable réelle/Continuité uniforme », n'a pu être restituée correctement ci-dessus.
Dans tout ce chapitre, est une fonction définie sur un intervalle .
Voici une notion de continuité plus fine que la continuité « simple ». Elle sert d'un point de vue théorique notamment à construire l'intégrale de Riemann ou à démontrer le théorème de Weierstrass sur l'approximation de fonctions.
Définition
est dite uniformément continue sur si :
.
La continuité « simple » de sur s'écrit par comparaison :
.
Le terme « uniforme » signifie que le choix de en fonction de , dans la définition de la continuité uniforme, ne dépend pas du point considéré ; il est uniforme sur .
Si est de classe C1 sur un intervalle fermé borné alors est lipschitzienne sur (en effet, , continue sur , est bornée d'après le théorème des bornes).
Soit . Pour tout , la fonction n'est pas lipschitzienne sur ni même (ce qui par continuité est en fait équivalent) sur :
Démonstration directe : , qui n’est pas bornée au voisinage de .
Démonstration en utilisant la dérivée : n'est pas bornée.
Soit . Pour tout , la fonction n'est pas lipschitzienne sur :
Démonstration directe : , qui n'est pas bornée au voisinage de l'infini.
Démonstration en utilisant la dérivée : n'est pas bornée.
Fin de l'exemple
Définition : fonction höldérienne
est dite höldérienne sur si, pour un certain et une certaine constante :
.
On dit alors que est -höldérienne : si , on retrouve la notion de fonction lipschitzienne.
Début de l'exemple
Exemples
La fonction puissance d'exposant , pour , est -höldérienne (cf. cet exercice corrigé du chapitre « Dérivabilité »).
En particulier, la fonction est -höldérienne. En effet, on démontre facilement la majoration suivante :
.
Fin de l'exemple
Propriété
Toute fonction höldérienne est uniformément continue.
Démonstration
Il suffit de prendre dans la définition de la continuité uniforme.
La réciproque est fausse, comme le montre l'exemple suivant :
Début de l'exemple
Exemple de fonction non höldérienne
La fonction définie sur par : et est continue donc (d'après le théorème de Heine) uniformément continue, mais elle n'est -höldérienne pour aucune valeur de .