1

VII- Applications, bijections,

bijection rciproque


1) Dfinitions

Une application dun ensemble (de dpart) E dans un ensemble (darrive) F fait
correspondre chaque lment de E un lment unique (appel image) dans lensemble
F.
Notamment toutes les fonctions f que nous avons tudies
sont des applications de lensemble de dfinition Df sur laxe
x dans R sur laxe des y puisque chaque lment de D
f
admet des
un correspondant unique y=f(x) dans R. Cela peut dailleurs
scrire f : D
f
R
x f(x)

Une bijection est une application telle que chaque lment de lensemble darrive F
admet un antcdent unique dans lensemble de dpart E.


(1)Bijection de [ab] (2)Application de (3)Application de
sur [f(a), f(b)] [a b] dans R, mais [a b] dans [f(a), c], mais
ce nest pas une bijection ce nest pas une bijection

En effet, dans le premier exemple, tous les lments de [f(a), f(b)] admettent un
antcdent unique dans [a b], dans le deuxime exemple, certains lments de R nont
pas dantcdent, et dans le troisime exemple, certains lments de [f(a) , c] ont deux
antcdents.

2) Thorme de la bijection
1


Une fonction continue et strictement croissante sur un intervalle [a b] ralise
une bijection de [a b] sur [f(a) f(b)].

(Cela vaut aussi pour un intervalle ouvert [a b] ou ]a b[ )







1
Nous admettons ce thorme
2
Exemple

On considre la fonction f
k
telle que f
k
(x) = x
k
ln x , dfinie sur R*+, avec k
entier 2. Grce l tude des variations de cette fonction, montrer que
lquation f
k
(x) = 1 admet une solution unique a
k
, avec 1< a
k
.

Commenons par tudier la fonction. Puisque x>0, ln x existe bien, et la fonction
aussi sur R*+. Elle est drivable :
1 1
'( ) ln ( ln 1)
n
k k
k
x
f x kx x x k x
x

= + = + . La drive
est du signe de (k ln x +1) qui est croissante, et sannule pour ln x = -1/k, soit x = e
1/k
.
Dautre part, lorsque x tend vers 0, f
k
(x) est de la forme indtermine 0 ., mais dans
ce cas on sait que la puissance de x lemporte sur le logarithme do une limite 0 en 0.
Dautre part, lorsque x tend vers + , f
k
(x) est de la forme + .+ et tend vers .

Do le tableau de variations :
Venons-en la rsolution de lquation f
k
(x)=1.
Dans lintervalle ]0 e
1/k
], la fonction dcrot
partir de 0- , et ne peut jamais valoir 1. Plaons-
nous maintenant dans lintervalle [e
1/k
, +[, o la
fonction est strictement croissante et continue. Elle
ralise une bijection de [e
1/k
, +[ sur [-1/ek, +[.
Comme 1 se trouve dans cet ensemble darrive, il
admet un antcdent unique a
k
dans lensemble de
dpart. De mme, 0 a pour antcdent unique 1, et avec 0<1 et la fonction croissante, on
en dduit que 1 < a
k
.

3) Produit (ou compose) de deux applications

Cette opration est note par un o . Par dfinition la fonction gof est telle que :
gof (x) = g(f(x)). Autrement dit, en partant de x, on commence par faire f(x), puis on
applique g f(x) do g(f(x). Les deux fonctions sappliquant lune aprs lautre, f en
premier puis g.
Rappelons que lorsquil sagit de fonctions dune variable relle x, la drive dune
fonction compose est telle que (g(f(x)) = g(f(x) . f (x).

Exemple

Montrer que la compose de deux fonctions du premier degr (aussi appeles
fonctions affines) est une fonction du premier degr

Prenons f et g telles que f(x) = a x + b et g(x) = a x + b. Puis faisons gof :
1 1
' '
'( ) ' ' ' '
f g
x y ax b y a y b
a ax b b aa x a b b
= + = +
= + + = + +

do gof (x) = aa x + ab + b. Il sagit aussi dune fonction affine.
Remarquons que lopration o nest pas commutative, puisque
fog (x) = aa x + ab + b.
3
4) Bijection et sa bijection rciproque

Soit f une bijection dfinie sur I. Ainsi tout lment y de lintervalle image J = f(I)
admet un antcdent unique x dans I. Cela permet de dfinir la bijection rciproque de f,
note f
1
, qui chaque y de f(I) fait correspondre un x unique dans I, et cet x admet
son tour un antcdent unique y.

Ainsi y = f(x) x = f
1
(y)
xI yJ

La courbe de f
1
est la mme que celle de f, sauf que laxe de dpart o se trouve y
est maintenant vertical, et laxe darrive est horizontal. Pour revenir la situation
classique o cest laxe de dpart qui est horizontal, on fait une symtrie par rapport la
premire bissectrice du repre (celui-ci tant orthonorm), laxe de dpart qui est laxe
des y devient maintenant horizontal. On peut ensuite revenir aux notations classiques en
posant X=y, et Y=x, de faon que laxe horizontal soit laxe des X.

Proprits de la bijection rciproque

Comme f, f
-1
est continue sur J.
Si f est croissante, f
1
est aussi croissante. De mme pour la dcroissance.
Si f est drivable sur I, f
-1
est aussi drivable sur J, sauf aux points o la drive
de f est nulle (tangente horizontale), la symtrie rendant alors la tangente
verticale pour la courbe de f
-1
, f
1
nest pas drivable en ces points o f (x)=0.
La drive de f
1
, quand elle existe, peut se calculer ainsi de faon formelle :

1
1
1 1 1
'( )
'( )
'( ( ))
dx
f y
dy
dy f x
f f y
dx

= = = = ( pour f
1
, la variable est y)

5) Exemples classiques

Exemple 1

On considre la fonction f telle que f(x) = x
2
, dfinie sur R+. Montrer quelle
admet une bijection rciproque f
1
que lon prcisera

La courbe de f est une demi-parabole. La fonction tant continue et strictement
croissante sur R+, elle ralise une bijection de R+=[0 , +[ sur [f(0), f(+)[=[0, +[=R+
aussi. Elle admet une bijection rciproque f
-1
telle que :
y = f(x) sur R+ x = f
-1
(y) sur R+.
Plus prcisment : y = x
2
donne, puisque x0 et y0, x y = . Procdons un
changement de variables X=y et Y=x pour que laxe horizontal ne soit plus laxe des y
mais laxe des X : Y X = .
Par symtrie autour de la premire bissectrice du repre, la fonction racine carre est
reprsente par une demi-parabole daxe horizontal. Elle est continue, strictement
croissante sur R+.
4


La drive de f tant f (x) = 2x qui sannule en 0, la fonction racine carre est
seulement drivable sur R *+.
La drive de x = f
-1
(y) est
1
1
1
( ) '( )
'( ( )
f y
f f y

= , cela donne dans le cas prsent

1
1 1
( ) '( )
2 2
f y
x y

= = , do avec Y X = ,
1
'
2
Y
X
= .
On constate que la formule de drivation (x
n
) = n x
n-1
stend aux puissances
fractionnaires, puisque x scrit
1
2
x et que lon a bien
1 1
2 2
1 1
( ) '
2 2
x x
x

= = .

Exemple 2

Prendre la fonction f telle que f(x) = tan x, dfinie sur ]- /2 , /2[. Montrer
quelle admet une bijection rciproque tan
1
dont on prcisera les
caractristiques.

Rappel sur tan x :

Sur le cercle trigonomtrique (repre orthonorm
dorigine O, le rayon du cercle est 1, et le cercle est orient
dans le sens contraire des aiguilles dune montre), on prend
un arc x = AM partir de A, cet arc est par dfinition gal
langle x en radians. Par dfinition aussi :
tan x = AT (positif quand T est au-dessus de A, et ngatif au-
dessous). On a aussi tan x = sin x / cos x.

Lorsque x va de -/2 /2 , y=tan x va de - +. Cette fonction est strictement
croissante et continue sur ]-/2 , /2[. Elle ralise une bijection de ]-/2 , /2[ sur
]f(-/2) , f(/2)[ = ]-, +[= R. Elle admet une bijection rciproque f
1
telle que :
y = tan x sur ]-/2 , /2[ x = tan
-1
y sur R

La bijection rciproque tan
-1
est souvent note Arctan pour exprimer trs
concrtement que x = Arctan y est larc (langle) dont la tangente est y.
2


2
Dans les langages informatiques, Arctan scrit atan.
5



La drive de tan x est (tan x) = 1 + tan
2
x,
3
do pour x = tan
1
y, la drive est :
1
2 2 2
1 1 1
(tan ) '
1 (tan ) 1 (tan(arctan )) 1
y
x y y

= = =
+ + +
.
Finalement la drive de Y = Arctan X est
2
1
1 X +
. Ou encore une primitive de
2
1
1 X +
est Arctan X.


Exemple 3

On prend la fonction sin x avec x dans [-/2 , /2]. Montrer quelle admet une
bijection rciproque note Arcsin dont on prcisera les caractristiques

Lorsque x va de -/2 /2 , y = sin x va de -1 1. Sur
[-/2 , /2] , la fonction sin est continue et croissante. Elle ralise
une bijection de [-/2 , /2] sur [-1 , 1]. Elle admet une bijection
rciproque sin
1
note Arcsin telle que :

y = sin x sur [-/2 , /2] x = Arcsin y sur [-1 , 1]
o x est larc (langle) dont le sinus est y.

Tout comme la fonction sinus, la fonction Arcsin est impaire et croissante. Sa
drive est telle que
1 1
( sin ) '
cos cos( sin )
Arc y
x Arc y
= = . Mais il existe un lien entre le
sinus et le cosinus, soit : cos
2
x + sin
2
x = 1, do
2 2
cos 1 sin 1 x x y = = .
Finalement
2
1
(Arcsin ) '
1
y
y
=

ou encore, aprs changement de notations :

2
1
(Arcsin ) '
1
X
X
=

.


3
On sait que tan x = sin x / cos x. Do (tan x) =(cos
2
x + sin
2
x) / cos
2
x = 1 + tan
2
x en
cassant la fraction, ou encore 1/ cos
2
x puisque sin
2
x + cos
2
x = 1.
6
6) Exercices : Suites et fonctions composes

Exercice 1

On se donne les deux fonctions f et g telles que f(x) = 1/2 x et g(x) = 1/2 x + 1, et
on considre la suite (u
n
) dmarrant en u
0
donn quelconque et telle que u
1
= f(u
0
) ,
u
2
= g(u
1
), u
3
= f(u
2
), etc., o lon fait jouer en alternance f et g. Dterminer le
comportement linfini dune telle suite. Pour cela tudier la suite (u
2n
) indices
pairs et la suite (u
2n+1
) indices impairs.

Commenons par tudier la suite extraite (u
2n
) : u
0
, u
2
, u
4
, On a :
2 2 1 2 2 2 2 1 2
1 1 1
1 1
2 2 4
f g
n n n n n n
u u u u u u
+ + +
= = + = +
Puisque u
2n+2
= 1/4 u
2n
+ 1, il sagit dune suite arithmtico-gomtrique ayant pour
point fixe L tel que L = 1/4 L+1, soit L=4/3.
Avec u
2n+2
= 1/4 u
2n
+ 1
et L = 1/4 L + 1 , il reste aprs soustraction u
2n+2
- L = 1/4 (u
2n
- L ).
La suite v
n
= u
2n
L est une suite gomtrique de raison 1/4. On en dduit quelle
tend vers 0 pour n infini. Ainsi la suite (u
2n
) tend vers L = 4/3.

Prenons maintenant la suite extraite (u
2n+1
) : u
1
, u
3
, u
5
,
2 1 2 2 2 1 2 2 2 1 2
1 1 1 1
1
2 2 4 2
g f
n n n n n n
u u u u u u
+ + + + +
= + = = +
On tombe encore sur une suite arithmtico-gomtrique de point fixe L = 2/3 cette
fois. Pour les mmes raisons que prcdemment, la suite w
n
= u
2n+1
L est une suite
gomtrique de raison 1/4. On en dduit quelle tend vers 0 pour n infini. Ainsi la suite
(u
2n+1
) tend vers L = 2/3.
La suite (u
n
) finit par osciller sur les deux nombres 4/3 et 2/3.
4


Exercice 2

On considre la fonction telle que f(x) = c x (1-x) , dfinie sur [0 1], c tant un
nombre donn compris entre 2 et 4.

1) Dterminer les points fixes de f.

Il sagit des x tels que f(x) = x, soit c x(1-x) = x. On distingue deux cas :
x=0 qui est un point fixe
si x 0, on peut diviser par x : c(1-x)=1, do x = 1 1/c, deuxime point fixe.

2) Vrifier que f([0 1] [0 1]


4
La suite diverge, puisquelle ne converge pas vers un point. Mais on peut se permettre de
dire quelle converge vers un cycle de deux points, 4/3 et 2/3.
7
La courbe de f est une partie de parabole avec f(0)= f(1)=0, situe du ct des y
positifs et admettant un maximum pour x=1/2, soit f(1/2)= c /4 4 puisque c est entre 2
et 4. On a toujours f(x) dans [0 1] , ce qui signifie que f([0 1] [0 1]

3) Dterminer fof

Avec x dans [0 1] :
x y
1
= f(x) = c x (1-x) y = f(y
1
) = c c x (1 x)(1 cx (1-x))
Remarquons que y
1
est dans [0 1], donc fof existe bien.
On trouve y = fof (x) = c
2
x (1 - x)(1 cx + cx
2
) .

4) Pourquoi les points fixes de f sont-il aussi des points fixes de fof? En dduire les
points fixes de fof, et notamment lexistence de deux nouveaux points fixes, que lon
notera x
1
et x
2
, ds que c dpasse une valeur que lon prcisera.

Les points fixes de f vrifient f(x) = x, do aussi f(f(x) = f(x) = x. Ils sont aussi points
fixes pour fof . On retrouve pour fof les deux points fixes prcdemment trouvs,
soit x = 0 et x = (c 1)/c. Mais il y en a ventuellement dautres. Les points fixes
de fof vrifient :
c
2
x (1 - x)(1 cx + cx
2
) = x. Divisons par x car on connat dj le point fixe 0 :
c
2
x (1 - x)(1 cx + cx
2
) = 1, puis dveloppons et ordonnons, ce qui va donner une
quation du troisime degr :
cx
3
2 c x
2
+ (c + 1)x + (1 c
2
)/c
2
= 0, ou encore
2
3 2
3
1 1
2 0
c c
x x x
c
c
+
+ + =
On sait que (c 1)/c est solution, on factorise donc (x (c 1)/c) dans le polynme
du troisime degr. Cela donne :
2
2
1 1 1
( )( ) 0.
c c c
x x x
c c
c
+ +
+ =
Pour trouver les nouveaux points fixes ventuels, il suffit de rsoudre lquation du
second degr
2
2
1 1
0.
c c
x x
c
c
+ +
+ = Son discriminant est :

2
2 2
1 1 3
( ) 4 ( 1)
c c c
c
c
c c
+ +
= = + . Ds que c est suprieur 3, le discriminant est
positif et il existe deux nouveaux points fixes x
1
et x
2
.

5) Pourquoi a-t-on f(x
1
) = x
2
et f(x
2
) = x
1
? Puis, en posant g = fof, montrer que g(x
1
)
= g(x
2
).

Notons que x
1
est un point fixe pour fof et pas pour f, do f(x
1
) x
1
. En faisant agir
la fonction f rptition partir de x
1
, on a :
x
1
y
1
= f(x
1
)

x
1
y
1
= f(x
1
). On en dduit que y
1
=f(f(y
1
), do y
1
est un point
fixe pour fof et pas pour f, et ce nest pas x
1
. Ce ne peut tre que x
2
.
Finalement f(x
1
) = x
2
et par suite f(x
2
) = x
1
.
Maintenant drivons : g(x) = f (f(x) . f (x).
En particulier g(x
1
) = f (f(x
1
) . f (x
1
) = f (x
2
). f (x
1
) . Et de mme pour g(x
2
).
8

6) Tracer par programme la courbe de g pour c = 3,2.



(On retrouvera ce problme classique dans le chapitre 9 sur les suites )