Devoir maison'n° 15 à rendre pour le lundi 5 février

Problème: On fixe dans le problème une fonction f: R-, R quelconque. On considère l'ensemble:

X1 = ly e IR, VA e R, 3x � A, f(x) = y).

1. Soit T > 0 fixé. On suppose que f est T-périodique. Montrer que Xf = f([O, T[).

2. On suppose maintenant que f est injective. Montrer que Xi = 0.

3. On suppose que .�in,f(x) = +oo. Montrer que Xi = 0.

4. On suppose que la fonction f admet une limite réelle/ en +oo.

(a) Montrer que Xi c (/}.

(b) Montrer par des exemples que l'inclusion réciproque peut être vraie ou fausse.

5. On suppose que la fonction f est continue. Montrer que Xi est un intervalle de IR.
 °
Correction du D.M n 15
Probleme : En fait

XJ = (y Ef(R.), y admet des antécédents aussi grand que l'on veut}

= (y ER , VA ER, J 1 ((yl) n [A,+oo[,t 0}

l . Soit Y E f([O, T[) alors 3x E [O, T[, y = f(x). De plus par périodicité de f, on a même J1((y}) = ( x + nT, n E Z} .
*
Comme x + nT -+ +oo lorsque n -+ +oo alors VA ER, F1({y}) n [A,+oo[ 0. On a donc f([O, T[) = f,Y.) cXi c f(R)
d'où l'égalité.
2. Si f est injective alors tout élément de f(R) admet exactement un antécédent. Il en découle que X1 = 0.
3. Soit Yo Ef(R.) comme lim f(x) = +oo alors
x-+oo

3A Ellt, Vx ER, x >A=> f(x) > YO·

Par conséquent F ({yal) n [A+ 1,+oo[= 0 d'où Yo '1- x1. On a donc x1 = 0.

1

4. (a) Soityo et l. Posons ô = I.Yo - Il> O. On a lim f(x) = l d'où

.r➔+oo

3A ElR, Vx ElR, x > A => f(x) E]I - ô, l + ô[=> /(x) et Yo

d'oùJ 1 (1yol)n [A+ 1,+oo[= 0.On a doncyo '1-X1. On a doncX1 c (1).

1
(b) • Si f(x) = i + 1 alors x!!.T.. f(x) = l mais 11/. f(R) d'où l '1-Xi.
x +1
• Si f(x) = l alors évidemment I EXi car J 1 (11) = R d'où x1 = (1).
5. Si x, = 0 alors il n'y a rien à montrer. Sinon, montrons que x1 est un ensemble convexe de R, il s'agira alors d'un
intervalle non vide de IR.
SoientYo,Y1 EXi avecYo :e; Y1 et y EfYo,Yil- Montrons que y Ex,. Soit A ER, comme Yo etYt sont des éléments de
x, alors 3xo, x1 E [A, +oo[, f(xo = Yo et f(x1) = y1. On a f continue sur lR et y E [f(xo).f(x1)], par le TVI il existe
x E[xo,xd ou [x 1 , xo] c [A,+oo[ tel que y= f(x). On a bien J 1 ((yl) n [A, +oo[t 0 pour tout A ElR, d'où y Ex,.