ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 8 — Limites et continuité · Continuité uniforme et fonctions lipschitziennes

Exercice 46

Démonstration

Croissance au plus affine. Soit f:ℝ→ℝf : \mathbb{R} \to \mathbb{R} uniformément continue.

1. Soit δ>0\delta > 0 associé à ε=1\varepsilon = 1 dans la définition de la continuité uniforme. Montrer que, pour tout réel xx, on a ∣f(x)−f(0)∣⩽∣x∣δ+1|f(x) - f(0)| \leqslant \dfrac{|x|}{\delta} + 1.

2. En déduire qu'il existe deux réels α\alpha et β\beta tels que ∣f(x)∣⩽α∣x∣+β|f(x)| \leqslant \alpha|x| + \beta pour tout réel xx.

3. Retrouver ainsi que les fonctions x↦x2x \mapsto x^{2} et exp⁡\exp ne sont pas uniformément continues sur ℝ\mathbb{R}. La réciproque du résultat de la question 2 est-elle vraie ?

Corrigé

1. Soit x>0x > 0 et n=⌊xδ⌋+1n = \lfloor \frac{x}{\delta} \rfloor + 1, de sorte que xn<δ\frac{x}{n} < \delta et n⩽xδ+1n \leqslant \frac{x}{\delta} + 1. Les points kxn\frac{kx}{n}, pour 0⩽k⩽n0 \leqslant k \leqslant n, sont distants de xn⩽δ\frac{x}{n} \leqslant \delta ; en écrivant f(x)−f(0)f(x) - f(0) comme une somme télescopique, ∣f(x)−f(0)∣⩽∑k=1n∣f(kxn)−f((k−1)xn)∣⩽n⩽xδ+1.|f(x) - f(0)| \leqslant \sum_{k=1}^{n} \Big|f\Big(\frac{kx}{n}\Big) - f\Big(\frac{(k - 1)x}{n}\Big)\Big| \leqslant n \leqslant \frac{x}{\delta} + 1. Le cas x<0x < 0 est identique. ∣f(x)−f(0)∣⩽∣x∣δ+1\boxed{|f(x) - f(0)| \leqslant \frac{|x|}{\delta} + 1}

2. On en déduit ∣f(x)∣⩽∣f(0)∣+1+∣x∣δ|f(x)| \leqslant |f(0)| + 1 + \frac{|x|}{\delta}. α=1δ, β=∣f(0)∣+1\boxed{\alpha = \frac{1}{\delta}, \ \beta = |f(0)| + 1}

3. Pour tous réels α\alpha et β\beta, on a x2αx+β→+∞\frac{x^{2}}{\alpha x + \beta} \to +\infty et exαx+β→+∞\frac{\mathrm{e}^{x}}{\alpha x + \beta} \to +\infty en +∞+\infty, par croissances comparées : aucune majoration affine n'est possible. x2 et exp⁡ ne sont pas uniformeˊment continues sur ℝ\boxed{x^{2} \text{ et } \exp \text{ ne sont pas uniformément continues sur } \mathbb{R}}

La réciproque est fausse : x↦sin⁡(x2)x \mapsto \sin(x^{2}) est bornée, donc majorée par 0⋅∣x∣+10 \cdot |x| + 1, mais n'est pas uniformément continue (exercice 44).

Dans l'édifice

Thèmes

continuité uniforme, bijection continue

Notions

continuité uniforme

Ouvrir dans l'atlas interactif →