ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 8 — Limites et continuité · Fonctions continues sur un intervalle

Exercice 31

Démonstration

1. Soit f:ℝ→ℝf : \mathbb{R} \to \mathbb{R} continue telle que lim⁡x→−∞f(x)=lim⁡x→+∞f(x)=ℓ\lim\limits_{x \to -\infty} f(x) = \lim\limits_{x \to +\infty} f(x) = \ell, avec ℓ\ell réel. Montrer que ff n'est pas injective.

2. Même question pour f: ]a ,b[ →ℝf : \,]a\,,b[ \,\to \mathbb{R} continue telle que lim⁡x→af(x)=lim⁡x→bf(x)=ℓ\lim\limits_{x \to a} f(x) = \lim\limits_{x \to b} f(x) = \ell.

3. Montrer qu'il n'existe pas de fonction continue f:ℝ→ℝf : \mathbb{R} \to \mathbb{R} telle que f∘f=−idℝf \circ f = -\mathrm{id}_{\mathbb{R}}. On commencera par montrer qu'une telle fonction serait injective.

Corrigé

1. Supposons ff injective. Continue et injective sur l'intervalle ℝ\mathbb{R}, elle est strictement monotone (proposition 17), disons strictement croissante, l'autre cas s'en déduisant en changeant ff en −f-f. D'après le théorème 6, lim⁡x→+∞f(x)=sup⁡ℝf>f(1)\lim\limits_{x \to +\infty} f(x) = \sup_{\mathbb{R}} f > f(1), puisque f(2)>f(1)f(2) > f(1), et de même lim⁡x→−∞f(x)=inf⁡ℝf<f(0)\lim\limits_{x \to -\infty} f(x) = \inf_{\mathbb{R}} f < f(0). On aurait ℓ>f(1)>f(0)>ℓ\ell > f(1) > f(0) > \ell, ce qui est absurde. f n’est pas injective\boxed{f \text{ n'est pas injective}}

2. Même raisonnement sur l'intervalle ]a ,b[]a\,,b[, en remplaçant 00 et 11 par deux points c<dc < d de ]a ,b[]a\,,b[.

3. Si f∘f=−idℝf \circ f = -\mathrm{id}_{\mathbb{R}}, alors f(x)=f(y)f(x) = f(y) entraîne −x=f(f(x))=f(f(y))=−y-x = f(f(x)) = f(f(y)) = -y : ff est injective, donc strictement monotone. Mais alors f∘ff \circ f est strictement croissante, la composée de deux fonctions strictement monotones de même sens étant croissante, alors que −idℝ-\mathrm{id}_{\mathbb{R}} est décroissante. une telle fonction n’existe pas\boxed{\text{une telle fonction n'existe pas}}

En revanche, il existe des fonctions non continues vérifiant f∘f=−idℝf \circ f = -\mathrm{id}_{\mathbb{R}} ; la continuité est donc ici essentielle.

Dans l'édifice

Thèmes

fonctions continues sur un intervalle, limites, bijection continue

Notions

continuité, limite d'une fonction

Ouvrir dans l'atlas interactif →