14) a) D´eterminer les fonctions num´eriques r´eelles fd´efinies dans Rcontinues au point 0 qui satisfont `a la
relation f(x+y) = f(x) + f(y) pour tout couple (x, y) de nombres r´eels. (Calculer f(nx) si nest un entier
naturel npuis si nest un entier relatif, enfin si nest un nombre rationnel. Remarquer ensuite que fest
continue `a tout point ade R, et conclure en utilisant le fait que tout nombre r´eel est la limite d’au moins
une suite convergente de nombres rationnels.)
b) D´eterminer les fonctions num´eriques r´eelles fd´efinies dans Rcontinues au point 0 qui satisfont `a la
relation f(x+y) = f(x)f(y) pour tout couple (x, y) de nombres r´eels.
c) D´eterminer les fonctions num´eriques r´eelles d´efinies dans Rcontinues au point 0 qui satisfont `a la relation
f(x+y) = f(x) + f(y)+2xy pour tout couple (x, y) de nombres r´eels.
15) F¨ur die Funktion f:R→Rgelte f(0) = 1 sowie
f(x+y)≤f(x)f(y) f¨ur alle x,y∈R.
Man zeige: Ist fim Nullpunkt stetig, so ist fauf ganz Rstetig.
[Soit fun fonction num´erique r´eelle telle que f(0) = 1 et f(x+y)6f(x)f(y) pour tout couple (x, y) de
nombres r´eels. Si fest continue en 0 alors elle est continue dans R.]
[W. Walter, Analysis, I, Kapitel 6, Aufgabe 9 S. 130]
16) Soit fune fonction num´erique r´eelle p´eriodique d´efinie dans R. D´emontrer que si fadmet une limite
en +∞alors elle est constante.
17) Soit fla fonction num´erique r´eelle d´efinie dans Rpar la relation f(x) = 0 si xest un nombre irrationnel
et par la relation f(x) = 1/q si xest le nombre rationnel p/q ´ecrit sous la forme d’une fraction irr´eductible
telle que qsoit >0.
a) V´erifier que fest p´eriodique et born´ee.
b) D´emontrer que fadmet une limite `a droite (resp. une limite `a gauche) nulle en tout point de R. (Si xest
un nombre rationnel, construire une suite (xn)n∈Nde nombres irrationnels convergente vers x, et ´etudier la
convergence de la suite (f(xn))n∈N. Si xest un nombre irrationnel, on remarquera que pour tout nombre
r´eel ε > 0, l’ensemble des nombres rationnels r=p/q (´ecriture sous forme de fraction irr´eductible) tels que
x−1< r < x + 1 et 1/q > ε est fini.)
c) En d´eduire que fest continue en tout nombre irrationnel et discontinue en tout nombre rationnel.
18) Soit fune fonction num´erique r´eelle d´efinie dans un intervalle born´e I de R. Si fest lipschitzienne alors
fadmet une limite finie `a chaque borne de I.
19) On dit qu’un ensemble A est ´equipotent `a un ensemble B s’il existe une application bijective de A sur B.
On admet que l’ensemble RNdes suites de nombres r´eels est ´equipotent `a R.
a) D´emontrer que l’ensemble des nombres rationnels est ´equipotent `a N.
b) En d´eduire que l’ensemble des fonctions num´eriques r´eelles continues dans Rest ´equipotent `a R. (On
pourra se servir du fait qu’une fonction num´erique r´eelle continue dans Rest nulle si sa restriction `a l’ensemble
d´enombrable des nombres rationnels est nulle.)
Th´eor`eme de la limite monotone
20) a) Soient I = [0,1] et fune fonction num´erique r´eelle croissante d´efinie dans I `a valeurs dans I. D´emontrer
que fadmet un point fixe, c’est-`a-dire qu’il existe un ´el´ement xde I tel que f(x) = x.
b) Donner un exemple de fonction num´erique r´eelle gd´ecroissante d´efinie dans I `a valeurs dans I telle que
g(x)6=xpour tout ´el´ement xde I.
On consid`ere d´esormais le cas o`u I est un intervalle ouvert non vide de R.
c) Donner un exemple d’application croissante fde I dans I n’ayant pas de point fixe.
d) On suppose que fest une application croissante de I dans I sans point fixe. Que dire des limites de faux
bornes de I ?
21) Soit fune fonction num´erique r´eelle croissante d´efinie dans l’ensemble I des nombres r´eels >0. On
suppose que la fonction num´erique r´eelle gd´efinie dans I par la relation g(x) = f(x)/x est d´ecroissante.
a) D´emontrer que fest continue dans I.
b) D´emontrer que fest positive.
2