23 Continuite Corrige

Télécharger au format pdf ou txt
Télécharger au format pdf ou txt
Vous êtes sur la page 1sur 4

Planche no 23. Continuité.

Corrigé

no 1 : Soit (x, y) ∈ R2 et z ∈ A. |x − z| ≤ |x − y| + |y − z|. Or, |x − z| ≥ d(x, A) et donc

∀(x, y) ∈ R2 , ∀z ∈ A, d(x, A) − |x − y| ≤ |y − z|.

Soit (x, y) ∈ R2 . D’après ce qui précède, d(x, A) − |x − y| est un minorant de {|y − z|, z ∈ A} et comme d(y, A) est le plus
grand des minorants de cet ensemble, on en déduit que d(x, A) − |x − y| ≤ d(y, A). On a montré que

∀(x, y) ∈ R2 , d(x, A) − d(y, A) ≤ |y − x|.


En échangeant les roles de x et y, on a aussi montré que ∀(x, y) ∈ R2 , d(y, A) − d(x, A) ≤ |y − x| et finalement,

∀(x, y) ∈ R2 , |f(y) − f(x)| ≤ |y − x|.

Ainsi, f est 1-Lipschitzienne et en particulier continue sur R.

no 2 : Pour x ∈ [a, b], posons g(x) = f(x) − x. g est continue sur [a, b] puisque f l’est. De plus, g(a) = f(a) − a ≥ 0
et g(b) = f(b) − b ≤ 0. D’après le théorème des valeurs intermédiaires, g s’annule au moins une fois sur [a, b] ou encore,
l’équation f(x) = x admet au moins une solution dans [a, b].

f(x) f(x) ℓ+1


no 3 : Puisque tend vers ℓ ∈ [0, 1[, il existe A > 0 tel que pour x ≥ A, ≤ < 1. Mais alors, f(A) < A
x x 2
et f(0) ≥ 0) ou encore f est continue sur [0, A] et f([0, A]) ⊂ [0, A] ce quii ramène à la situation de l’exercice précédent.
L’équation f(x) = x admet une solution dans [0, A] et donc dans [0, +∞[.

no 4 : On note tout d’abord que puisque f est croissante sur [a, b], f admet en tout point de ]a, b[ une limite à gauche
réelle et une limite à droite réelle et de même f admet en a une limite à droite réelle et admet en b une limite à gauche
réelle.
Soit E = {x ∈ [a, b]/ f(x) ≥ x}. E est une partie non vide de R (car a est dans E) et majorée (par b). Donc, E admet une
borne supèrieure c vérifiant a ≤ c ≤ b.
Montrons que f(c) = c.
1
• Si c = b, alors ∀n ∈ N∗ , ∃xn ∈ E/ b − < xn ≤ b. Puisque f est à valeurs dans [a, b] et que les xn sont dans E, pour
n
tout entier naturel non nul n, on a

xn ≤ f(xn ) ≤ b (∗).
Quand n tend vers +∞, la suite (xn ) tend vers b (théorème des gendarmes) et donc, f étant croissante sur [a, b],
la suite (f(xn )) tend vers f(b− ) ≤ f(b). Par passage à la limite quand n tend vers +∞ dans (∗), on obtient alors
b ≤ f(b− ) ≤ f(b) ≤ b et donc f(b) = b. Finalement, dans ce cas, b est un point fixe de f.
• Si c ∈ [a, b[, par définition de c, pour x dans ]c, b], f(x) < x (car x n’est pas dans E) et par passage à la limite quand x
tend vers c par valeurs supérieures et d’après les propriétés usuelles des fonctions croissantes, on obtient : f(c) ≤ f(c+) ≤ c.
1
D’autre part, ∀n ∈ N∗ , ∃xn ∈ E/ c − < xn ≤ c. xn étant dans E, on a f(xn ) ≥ xn . Quand n tend vers +∞, on
n

obtient : f(c) ≥ f(c ) ≥ c. Finalement, f(c) = c et dans tous les cas, f admet au moins un point fixe.

no 5 : Puisque f est croissante sur [a, b], on sait que f admet en tout point x0 de ]a, b[ une limite à gauche et une limite
à droite réelles vérifiant f(x− +
0 ) ≤ f(x0 ) ≤ f(x0 ) puis une limite à droite en a élément de [f(a), +∞[ et une limite à gauche
en b élément de ] − ∞, f(b)].
Si f est discontinue en un x0 de ]a, b[, alors on a f(x− + −
0 ) < f(x0 ) ou f(x0 ) < f(x0 ). Mais, si par exemple f(x0 ) < f(x0 ) alors,
∀x ∈ [a, x0 [ (6= ∅), f(x) ≤ f(x0 −) et ∀x ∈ [x0 , b], f(x) ≥ f(x0 ).
Donc ]f(x− − −
0 ), f(x0 )[∩f([a, b]) = ∅ ce qui est exclu puisque d’autre part ]f(x0 ), f(x0 )[6= ∅ et ]f(x0 ), f(x0 )[⊂ [f(a), f(b)] (la
+
démarche est identique si f(x0 ) > f(x0 )). Donc, f est continue sur ]a, b[. Par une démarche analogue, f est aussi continue
en a ou b et donc sur [a, b].

c Jean-Louis Rouget, 2008. Tous droits réservés. 1 http ://www.maths-france.fr


√ n
no 6 : Soit x > 0. Pour tout naturel n, f(x) = f( x) = f(x1/4 ) = ... = f(x1/2 ). Or, à x fixé, lim x1/2 = 1 et, f étant
n

n→ +∞
continue en 1, on a :
n
∀x > 0, f(x) = lim f(x1/2 ) = f(1).
n→ +∞

f est donc constante sur ]0, +∞[, puis sur [0, +∞[ par continuité de f en 0.
Pour x ≥ 0, posons f(x) = 0 si x 6= 1 et f(x) = 1 si x = 1. Pour x ≥ 0, on a x2 = 1 ⇔ x = 1. f vérifie donc : ∀x ≥ 0, f(x2 ) =
f(x), mais f n’est pas constante sur R+ .

no 7 : Posons ℓ = lim f(x).


x→ +∞
Soit ε > 0.
 ε
∃A > 0/ ∀x ∈ R+ , x ≥ A ⇒ |f(x) − ℓ| < .
3

Soit (x, y) ∈ [A, +∞[2 . Alors, |f(x) − f(y)| ≤ |f(x) − ℓ| + |ℓ − f(y)| <
(< ε). D’autre part, f est continue sur le segment
3
[0, A] et donc est uniformément continue sur ce segment d’après le théorème de Heine. Donc,
ε
∃α > 0/ ∀(x, y) ∈ [0, A]2 , |x − y| < α ⇒ |f(x) − f(y)| < (< ε).
3
Résumons. α > 0 étant ainsi fourni, soient x et y deux réels de [0, +∞[ vérifiant |x − y| < α.
ε
• Si (x, y) ∈ [0, A]2 , on a |f(x) − f(y)| < < ε.
3

• Si (x, y) ∈ [A, +∞[2 , on a |f(x) − f(y)| < < ε.
3
ε
• Si enfin on a x ≤ A ≤ y, alors, puisque |A − x| ≤ |x − y| < α, on a |f(x) − f(A)| < et puisque A et y sont dans
3

[A, +∞[, on a |f(y) − f(A)| < . Mais alors,
3
ε 2ε
|f(x) − f(y)| ≤ |f(x) − f(A)| + |f(y) − f(A)| < + = ε.
3 3
On a montré que ∀ε > 0, ∃α > 0/ ∀(x, y) ∈ [0, +∞[2 , (|x − y| < α ⇒ |f(x) − f(y)| < ε). f est donc uniformément continue
sur [0, +∞[.

no 8 : Soit f un morphisme de (R, +) dans lui-même, c’est-à-dire que f est une application de R dans R vérifiant

∀(x, y) ∈ R2 , f(x + y) = f(x) + f(y).

On sait déjà f(0) = f(0 + 0) = f(0) + f(0) et donc f(0) = 0. Puis, pour x réel donné, f(−x) + f(x) = f(−x + x) = f(0) = 0 et
donc, pour tout réel x, f(−x) = −f(x) (f est donc impaire). On a aussi n ∈ N∗ et x ∈ R, f(nx) = f(x) + ... + f(x) = nf(x).
De ce qui précède, on déduit :

∀x ∈ R, ∀n ∈ Z, f(nx) = nf(x).
Soit a = f(1). D’après 
ce qui
 précède,
 ∀n∈ Z, f(n) = f(n × 1) = nf(1) = an.
1 1 1 1
Puis, pour n ∈ N , nf

=f n× = f(1) = a et donc ∀n ∈ N∗ , f( ) = a .
n   n   n n
p 1 1 p
Puis, pour p ∈ Z et q ∈ N∗ , f = pf = pa = a .
q q q q
Finalement,

∀r ∈ Q, f(r) = ar.
Maintenant, si l’on n’a pas l’hypothèse de continuité, on ne peut aller plus loin. Supposons de plus que f soit continue sur
R.
Soit x un réel. Puisque Q est dense dans R, il existe une suite (rn )n∈N de rationnels, convergente de limite x. f étant
continue en x, on a :

f(x) = f( lim rn ) = lim f(rn ) = lim arn = ax.


n→ +∞ n→ +∞ n→ +∞

Donc, si f est un morphisme continu de (R, +) dans lui-même, f est une application linéaire de R dans R. Réciproquement,
les applications linéaires conviennent.

c Jean-Louis Rouget, 2008. Tous droits réservés. 2 http ://www.maths-france.fr


no 9 : Soit T une pèriode strictement positive de f. f est continue sur le segment [0, T ] et donc est bornée sur ce segment.
f est par suite bornée sur R par T -périodicité.
Soit ε > 0.
f est continue sur le segment [0, T ] et donc, d’après le théorème de Heine, f est uniformément continue sur ce segment.
Par suite,
 ε
∃α ∈]0, T [/ ∀(x, y) ∈ [0, T ]2 , |x − y| < α ⇒ |f(x) − f(y)| <
2
Soient x et y deux réels tels que |x−y| < α. Si il existe un entier naturel k tel que (x, y) ∈ [kT, (k+1)T ], alors x−kT ∈ [0, T ],
ε
y − kT ∈ [0, T ], puis |(x − kT ) − (y − kT )| = |y − x| < α et donc |f(x) − f(y)| < < ε.
2
Sinon, en supposant par exemple que x ≤ y, puisque l’on a choisi α < T ,

∃k ∈ Z/ (k − 1)T ≤ x ≤ kT ≤ y ≤ (k + 1)T.
Mais alors, |x − kT | ≤ |y − x| < α et |y − kT | ≤ |y − x| < α. Par suite,
ε ε
|f(x) − f(y)| ≤ |f(x) − f(kT )| + |f(y) − f(kT )| < + = ε.
2 2
Dans tous les cas, si |x − y| < α, alors |f(x) − f(y)| < ε. On a montré que

∀ε > 0, ∃α > 0/ ∀(x, y) ∈ R2 , (|x − y| < α ⇒ |f(x) − f(y)| < ε).


f est donc uniformément continue sur R.

no 10 : Si f est strictement monotone sur I, f est injective.


Réciproquement, supposons f injective et continue sur I et montrons que f est strictement monotone.
Supposons par l’absurde que f n’est pas strictement monotone. On peut alors trouver trois réels a, b et c dans l’intervalle
I tels que

a < b < c et ((f(b) ≥ f(a) et f(b) ≥ f(c)) ou (f(b) ≤ f(a) et f(b) ≤ f(c))).
Quite à remplacer f par −f, on supposera que a < b < c et f(b) ≥ f(a) et f(b) ≥ f(c).
Puisque f est injective, on a même a < b < c et f(b) > f(a) et f(b) > f(c). Soit M = Max{f(a), f(c)}. On a M < f(b).
M est élément de [f(a), f(b)] et, puisque f est continue sur [a, b], le théorème des valeurs intermédiaires permet d’affirmer
qu’il existe α ∈ [a, b] tel que f(α) = M. De plus, on ne peut avoir α = b car f(α) = M 6= f(b) (et f injective). Donc,

∃α ∈ [a, b[/ f(α) = M.


De même, puisque M est élément de [f(c), f(b)], ∃β ∈]b, c]/ f(β) = M. Ainsi, on a trouvé dans I deux réels α et β vérifiant
α 6= β et f(α) = f(β) ce qui contredit l’injectivité de f.
Donc, f est strictement monotone sur I.

no 11 : Soit f la fonction caractéristique de Q. Le groupe des périodes de f est Q. En effet,

∀x ∈ R, ∀r ∈ Q, x + r ∈ Q ⇔ x ∈ Q,
et donc ∀x ∈ R, ∀r ∈ Q, f(x + r) = f(x). Mais on a aussi
∀x ∈ R, ∀r ∈ (R \ Q), x + r ∈ Q, ⇔ x ∈
/ Q,
et donc ∀x ∈ R, ∀r ∈ (R \ Q), f(x + r) 6= f(x).

no 12 : On a 0 ≤ f(0) ≤ 1 et 0 ≤ f(1) ≤ 1. Donc |f(1) − f(0)| ≤ 1. Mais, par hypothèse, |f(1) − f(0)| ≥ 1. Par suite,
|f(1) − f(0)| = 1 et nécessairement, (f(0), f(1)) ∈ {(0, 1), (1, 0)}.
Supposons que f(0) = 0 et f(1) = 1 et montrons que ∀x ∈ [0, 1], f(x) = x.
Soit x ∈ [0, 1]. On a |f(x) − f(0)| ≥ |x − 0| ce qui fournit f(x) ≥ x. On a aussi |f(x) − f(1)| ≥ |x − 1| ce qui fournit
1 − f(x) ≥ 1 − x et donc f(x) ≤ x. Finalement, ∀x ∈ [0, 1], f(x) = x et donc f = Id[0,1] .
Si f(0) = 1 et f(1) = 0, posons pour x ∈ [0, 1], g(x) = 1 − f(x). Alors, g(0) = 0, g(1) = 1 puis, pour x ∈ [0, 1], g(x) ∈ [0, 1].
Enfin,

∀(x, y) ∈ [0, 1]2 , |g(y) − g(x)| = |f(y) − f(x)| ≥ |y − x|.


D’après l’étude du premier cas, g = Id[0,1] et donc f = 1 − Id[0,1] . Réciproquement, Id[0,1] et 1 − Id[0,1] sont bien solutions
du problème.

c Jean-Louis Rouget, 2008. Tous droits réservés. 3 http ://www.maths-france.fr


no 13 : Id[0,1] est solution.
Réciproquement, soit f une bijection de [0, 1] sur lui-même vérifiant ∀x ∈ [0, 1], f(2x − f(x)) = x. Nécessairement,
∀x ∈ [0, 1], 0 ≤ 2x − f(x) ≤ 1 et donc ∀x ∈ [0, 1], 2x − 1 ≤ f(x) ≤ 2x.
Soit f−1 la réciproque de f.

∀x ∈ [0, 1], f(2x − f(x)) = x ⇔ ∀x ∈ [0, 1], 2x − f(x) = f−1 (x)


⇔ ∀y ∈ [0, 1], f(f(y)) − 2f(y) + y = 0 (car ∀x ∈ [0, 1], ∃!y [0, 1]/ x = f(y)).

Soient y ∈ [0, 1] puis u0 = y. En posant ∀n ∈ N, un+1 = f(un ), on définit une suite de réels de [0, 1] (car [0, 1] est
stable par f). La condition ∀y ∈ [0, 1], f(f(y)) − 2f(y) + y = 0 fournit ∀n ∈ N, un+2 − 2un+1 + un = 0, ou encore
∀n ∈ N, un+2 − un+1 = un+1 − un . La suite (un+1 − un )n∈N est constante ou encore u est arithmétique. Mais, u est
également bornée et donc u est constante.
En particulier, u1 = u0 ce qui fournit f(y) = y. On a montré que ∀y ∈ [0, 1], f(y) = y et donc f = Id[0,1] .
   
1 1
n 14 : 1) Soit n un entier naturel non nul donné. Pour x élément de 0, 1 −
o
, posons g(x) = f x + − f(x).
n n
1
g est définie et continue sur [0, 1 − ]. De plus,
n
n−1
X k n−1
X  k + 1  
k
g( ) = f −f = f(1) − f(0) = 0.
n n n
k=0 k=0
 
k
Maintenant, s’il existe un entier k élément de J0, n − 1K tel que g = 0, on a trouvé un réel x de [0, 1] tel que
  n
1 k
f x+ = f(x) (à savoir x = ).
n n
 
k
Sinon, tous les g sont non nuls et, étant de somme nulle, il existe deux valeurs de la variable en lesquels g prend des
n  
1
valeurs de signes contraires. Puisque g est continue sur 0, 1 − , le théorème des valeurs intermédiares permet d’affirmer
n  
1
que g s’annule au moins une fois dans cet intervalle ce qui fournit de nouveau une solution à l’équation f x + = f(x).
n
1 πx π
2) Soit a ∈]0, 1[ tel que ∈/ N∗ . Soit, pour x ∈ [0, 1], f(x) = sin − x sin . f est continue sur [0, 1], f(0) = f(1) = 0
a a a
mais,
 
π(x + a) πx π π
∀x ∈ R, f(x + a) − f(x) = sin − sin − ((x + a) − x) sin = −a sin 6= 0.
a a a a
3)a) et b). Soit g(t) la distance, exprimée en kilomètres, parcourue par le cycliste à l’instant t exprimé en heures,
0 ≤ t ≤ 1, puis, pour t ∈ [0, 1], f(t) = g(t) − 20t. f est continue sur [0, 1] (si le cycliste reste un tant soit peu cohérent) et
vérife f(0) = f(1) = 0.
       
1 19 1 1
D’après 1), ∃t1 ∈ 0, , ∃t2 ∈ 0, tels que f t1 + = f(t1 ) et f t2 + = f(t2 ) ce qui s’écrit encore
  2  20
 2 20
1 1
g t1 + − g(t1 ) = 10 et g t2 + − g(t2 ) = 1.
2 20
√ √    
4πt t 3 4πt 3 1 3
c) Posons pour 0 ≤ t ≤ 1, f(t) = sin − et donc, g(t) = sin + (20 − )t. ∀t ∈ 0, , f t + − f(t) 6= 0
  3 2 3 2 4 4
3
ou encore g t + − g(t) 6= 15.
4

c Jean-Louis Rouget, 2008. Tous droits réservés. 4 http ://www.maths-france.fr

Vous aimerez peut-être aussi