c Christophe Bertault - MPSI

Vocabulaire des applications

Dans ce chapitre et tous les suivants, les mots fonction et application dsigneront un mme objet, conformment au
programme. Il se peut cela dit que vous trouviez dans certains ouvrages deux dfinitions distinctes attaches ces deux noms.
Un bon conseil : ny prtez pas attention sauf si cela vous intresse particulirement. En toute rigueur, fonction et application
sont bel et bien deux notions distinctes, mais les dbutants que vous tes nont nullement besoin de le savoir.
Dans tout ce chapitre, E, F , G et H sont des ensembles.

Dfinitions ensemblistes

   Explication
Avant de dfinir
proprement la notion dapplication/fonction, commenons par analyser de faon
informelle la fonction racine carre f : x 7 x.

Cette fonction f prend pour arguments des rels ; cela veut

dire que quand on crit f (x), x est un rel. Mais en ralit f
nest pas dfinie sur R tout entier. Seule la racine carre des
rels positifs est correctement dfinie. On rsume gnralement cette information en disant que lensemble de dpart
(ou domaine de dfinition) de f est R+ .
Par ailleurs f est valeurs dans lensemble des rels ; cela
veut dire que si xappartient au domaine de dfinition R+ de
f , alors f (x) = x est un rel. On dit que R est lensemble
darrive de f .

Image
Ensemble

(R+ )
darrive

(R)

Grap

f (x)

he

x
|
{z
}
Ensemble de dpart (R+ )

Mais en ralit f ne prend pas tout rel pour valeur. Lensemble des valeurs de f , i.e. lensemble des rels de la forme

f (x), x dcrivant R+ , est lensemble R+ lui-mme : quand x dcrit R+ , f (x) = x dcrit R+ galement. On rsume cela
en disant que limage de f est R+ .
Pour finir, on a coutume didentifier une fonction
et


la
courbe qui la reprsente. La courbe associe la fonction racine
carre f est lensemble des couples x, f (x) = x, x , x dcrivant le domaine de dfinition R+ de f . Plutt que de la
courbe associe f , on parle gnralement du graphe de f .
Dfinition

(Application/fonction, ensemble de dpart/arrive, graphe, image)

On appelle application (ou fonction) de E dans F tout triplet f = (E, F, ) constitu dun ensemble E appel lensemble
de dpart (ou domaine de dfinition, souvent not Df ) de f , dun ensemble F appel ensemble darrive de f et dune partie
de E F appele le graphe de f , soumise la condition suivante :
x E,

! y F/

(x, y) .

La proposition (x, y) , qui signifie (x, y) appartient au graphe de f , sera toujours note simplement
y = f (x) . Dans cette criture, x est appel un antcdent de y par nf et y est oappel limage de x par f .


.
On peut dcrire facilement le graphe de f avec cette notation : = x, f (x)
xE

La fonction f sera gnralement dfinie au moyen des notations

f : x 7 f (x).

f :

E
x

F
f (x)

ou plus simplement

Lensemble des lments de lensemble

darrive de f qui possdent
n
o n unoantcdent par f est appel limage de f et
.
note Im f . Formellement : Im f = y F/ x E/ y = f (x) = f (x)
xE

   Explication

f (x)

La proposition x E, ! y F/ (x, y) scrit plus simplement :

x E, ! y F/ y = f (x)

avec la convention de notation donne dans la dfinition. Nous retrouvons

l lide quune fonction f associe tout lment x de son domaine de
dfinition un unique lment y de son ensemble darrive.

F
&

f (x)
x
b

f (x)

Ceci nest pas une fonction de E dans F :

un x donn sont associes
plusieurs valeurs de f (x).

c Christophe Bertault - MPSI

On peut reprsenter une application de deux faons, classiquement : soit au moyen de patates (figure de gauche), soit
au moyen dun graphe (figure de droite). Remarquez bien quen gnral limage de f est plus petite que son ensemble
darrive, car tout lment larrive ne possde pas forcment un antcdent.
n

o
F
= x, f (x)
xE

bc

%
b

f (x)
b

Im f

Im f

bc

bc
b

&
b

E
Pour dterminer gomtriquement limage dune application,
on projette son graphe sur laxe des ordonnes.

$ $ $ Attention !

Lide selon laquelle il peut y avoir plusieurs antcdents, mais seulement une seule image doit tre bien comprise. On
parle dun antcdent et de limage.
Nallez pas croire quune application associe forcment des nombres dautres nombres. Dans la dfinition que nous avons
donne, les ensembles E et F sont quelconques. Par exemple, si E dsigne lensemble des lves du lyce une date fixe
et F lensemble des couleurs les plus classiques, on peut dfinir une application f de E dans
n F qui, chaque lve, associe
o
la couleur de ses yeux. Limage de cette application sera vraisemblablement lensemble Noir, Marron, Bleu, Vert, Gris .
Par ailleurs, llment Rouge de F naura pas dantcdent par f car aucun lve du lyce na les yeux rouges.
Exemple

La fonction f :

R
+
x

R
(ln x)2

a pour image Im f = [0, [.

Le rel 1 possde deux antcdents par f : e et

1
.
e

1
e

Dfinition (Ensemble des applications/fonctions dun ensemble dans un autre) Lensemble des applications de E
dans F est not F E ou F(E, F ).
$ $ $ Attention !

Ne confondez pas F E et E F !

Dfinition (Famille) Soit I un ensemble. On appelle famille (dlments) de E indexe par I toute application de I dans E.
Les familles, au lieu dtre note comme des applications, sont presque toujours notes sous la forme (xi )iI .
Lensemble des familles de E indexe par I est not E I .
   Explication
Pourquoi revenir sur la dfinition de la notion de famille alors que nous lavons dj dfinie dans
notre chapitre dintroduction ? Nous avons dfini une famille comme une suite, mais dans la mesure o navons pas dfini la
notion de suite , cest comme si nous navions rien fait.
Avec la dfinition dapplication que nous avons donne un peu plus haut, une famille (x1 , x2 , . . . , xn ) dlments de E est par
dfinition lapplication f de J1, nK dans E dfinie par les relations : f (1) = x1 , f (2) = x2 , . . . , f (n) = xn . En rsum,
f associe chaque position llment qui lui correspond.

Composition

Dfinition

(Composition)
Soient f : E F et g : F G deux applications.

E
G

Lapplication
est appele la compose de f suivie de g et note g f .
x 7 g f (x)

c Christophe Bertault - MPSI

f
b

E
   Explication

f (x)
b

g f (x)

Im f
F

Im g

gf
$ $ $ Attention !
La composition, en gnral, nest possible que dans un seul sens. Et quand elle est possible dans
les deux sens, on na aucune raison davoir f g = g f . Par exemple, la compose de x 7 x2 suivie de x 7 sin x est la
fonction x 7 sin(x2 ), alors que la compose de x 7 sin x suivie de x 7 x2 est la fonction x 7 sin2 x. Or ces fonctions sont
diffrentes !

Dfinition

(Application identique) Lapplication

E
x

E
x

est appele lapplication identique de E et note IdE .

Thorme

(Proprits de la composition) Soient f : E F , g : F G et h : G H trois applications.

Associativit :
h g f = h g f.
Elment neutre :
IdF f = f IdE = f .

   Explication Lapplication identique est donc une application transparente . Quand on la compose avec une autre
application, cest comme si on navait rien fait.

Dmonstration

Dmontrons seulement lassociativit. Pour tout x E :














h g f (x) = h g f (x) = h g f (x) = h g f (x) = h g f (x).

Et voil. 

Restriction et prolongement

Dfinition

(Restriction et prolongement) Soit A une partie de E.

Si f : E F est une application, on appelle restriction de f A lapplication note f|A de A dans F dfinie par :
x A,

f|A (x) = f (x).

Inversement, si f : A F est une application, on appelle prolongement de f E toute application g de E dans F

telle que :
x A, f (x) = g(x).
   Explication Restreindre une application, cest diminuer la taille de son domaine de dfinition. Au contraire, prolonger
une application, cest augmenter la taille de son ensemble de dfinition.
$ $ $ Attention !
Il existe en gnral beaucoup de prolongements dune application donne. Du coup, on parle
dun prolongement et non du prolongement dune application donne. Les figures ci-dessous sont trois prolongements de
lapplication constante gale 1 dfinie sur [1, 2].

bc

(
1
R
si x 6= 0
Exemple Lapplication R R, x 7
est un prolongement tout R de lapplication
x
x
0 si x = 0
On lui a ajout une valeur en 0. Si on avait ajout une autre valeur, cela nous aurait fait un autre prolongement.

R
1 .
x

c Christophe Bertault - MPSI

Injectivit, surjectivit, bijectivit

$ $ $ Attention ! Les trois notions dinjection, surjection et bijection sont absolument fondamentales. Comme elles sont
abstraites, travaillez-les trs soigneusement.

4.1

Injectivit

Dfinition

(Injectivit) Soit f : E F une application. On dit que f est injective ou que cest une injection si :
x, x0 E,

f (x) = f (x0 )

x = x0 .

Pour viter toute ambigut, on prcise gnralement lespace de dpart dune application injective ; on dira ainsi que f est
injective sur E.

   Explication
Pour comprendre la notion dinjectivit, on peut paraphraser la dfinition
prcdente en disant que lapplication f est injective si, toutes les fois quon
a f (x) = f (x0 ), alors forcment x = x0 . Ceci signifie, par contraposition, que
f ne peut pas prendre la mme valeur en deux points distincts :

E
b

y
Im f

si x 6= x0 , alors f (x) 6= f (x0 ).

Il est commode de penser la notion dinjectivit au moyen de la notion
dantcdent. Une application injective de E dans F est une application
pour laquelle tout lment de F possde au plus un antcdent
soit 0, soit 1 antcdent. Les lments de F ne possdant aucun antcdent
par f sont les lments de F r Im f .

x0

F
f nest pas injective

Pour finir, on peut voir linjectivit dune fonction de R dans R sur son graphe, car on peut voir facilement si une mme
valeur sur laxe des ordonnes est prise plusieurs fois.
bc

b
b

Pas dinjectivit.
bc

Injectivit.

Certains y ont plusieurs antcdents.

Exemple

Lapplication f :

R
x

R
x2

Aucun y na plusieurs antcdents.

nest pas injective, mais sa restriction R+ lest.

En effet
f nest pas injective car f (1) = 1 = f (1) par exemple.

Au contraire f|R+ est injective. Pour le comprendre, donnons-nous x, x0 R+ tels que f (x) = f (x0 ), i.e.
x2 = x02 . Il est bien clair, puisque x et x0 sont positifs ou nuls, que x = x0 , comme voulu.

Exemple

Lapplication

En effet


Cr i
z

C
z+i
zi

Nous devons montrer que :

est injective.

z, z 0 C r i ,
0


z+i
z +i
Soient donc z, z 0 C r i tels que
= 0
.
zi
z i
z0 + i
z+i
= 0
zi
z i

z0 + i
z+i
= 0
zi
z i

z = z0.

(z + i)(z 0 i) = (z 0 + i)(z i)

zz 0 iz + iz 0 + 1 = zz 0 iz 0 + iz + 1

2iz = 2iz 0

z = z0 .

Et voil.

c Christophe Bertault - MPSI

Thorme

(Injectivit et composition) Soient f : E F et g : F G deux applications.

Si f et g sont injectives, alors g f lest aussi.
Dmonstration Soient
x, x0
E tels que g f (x) = g f (x0 ). Nous voulons montrer que x = x0 .


Or puisquon a g f (x) = g f (x0 ) , et puisque g est injective, alors f (x) = f (x0 ). Enfin, f tant son tour injective,
on en tire x = x0 comme voulu.


4.2

Surjectivit

Dfinition

(Surjectivit) Soit f : E F une application. On dit que f est surjective ou que cest une surjection si :
y F,

x E/

y = f (x).

Pour viter toute ambigut, on prcise gnralement les espaces de dpart et darrive dune application surjective ; on dira ainsi
que f est surjective de E sur F .
   Explication Par dfinition, f est donc surjective si tout lment de son ensemble darrive possde au moins un
antcdent ; cela signifie aussi que Im f = F .

f est injective si tout lment de F possde au plus un antcdent par f ;

En rsum :

f est surjective si tout lment de F possde au moins un antcdent par f.

Exemple

Soit f : E F une application. Alors f est surjective de E sur son image Im f . Exemple important !
En effet

Exemple

Par dfinition, tout lment de Im f possde un antcdent par f .

Lapplication f :

R
x

R
x2

nest pas surjective ; en revanche, lapplication g :

R
x

R+
x2

lest.

En effet
Comme f ne prend que des valeurs positives ou nulles, il est faux que tout lment de lensemble
darrive R de f possde un antcdent ; par exemple, 1 nest le carr daucun rel. En revanche, tout lment
de R+ possde au moins une racine carre et par consquent g est surjective.

Thorme

(Surjectivit et composition) Soient f : E F et g : F G deux applications.

Si f et g sont surjectives, alors g f lest aussi.
Dmonstration Soit y G. Nous voulons montrer lexistence dun lment x E tel que y = g f (x).
Or g est surjective, donc il existe t F tel que y
= g(t). Et comme f est elle aussi surjective, il existe x E tel
que t = f (x). On obtient donc y = g(t) = g f (x) = g f (x) comme voulu.


4.3

Bijectivit

Dfinition

(Bijectivit) Soit f : E F une application. Les assertions suivantes sont quivalentes :

(i) f est la fois injective et surjective.

(ii) y F,

! x E/

y = f (x).

Si lune de ces assertions est vraie, on dit que f est bijective ou que cest une bijection.
Pour viter toute ambigut, on prcise gnralement les espaces de dpart et darrive dune application bijective ; on dira ainsi
que f est bijective de E sur F .
   Explication
Lquivalence des assertions (i) et (ii) est intuitivement claire. Dire que f est injective, cest dire que
tout lment de F possde au plus un antcdent ; dire que f est surjective, cest dire que tout lment de f possde
au moins un antcdent. Par consquent, dire que f est la fois injective et surjective, cest dire que tout lment de F
possde exactement un antcdent par f ; cest prcisment le sens de lassertion (ii).

c Christophe Bertault - MPSI

Exemple

Lapplication identique IdE est bijective de E sur E.

En effet
Injectivit : Soient x, x0 E. On suppose que IdE (x) = IdE (x0 ). Alors x = x0 par dfinition de IdE et le
tour est jou.
Surjectivit : Soit y E. On cherche x E tel que y = IdE (x). Or cest facile, posons x = y. On a bien
IdE (x) = IdE (y) = y comme voulu.

Exemple

Soient a R et b R. Lapplication
En effet

R
x

R
ax + b

est bijective de R sur R.

Injectivit : Soient x, x0 R tels que ax + b = ax0 + b. Il est bien clair que x = x0 .

Surjectivit : Soit y R. On cherche un rel x tel que y = ax + b. Facile : il suffit de poser x =
sachant que a 6= 0.
Thorme

yb
,
a

(Rciproque dune application bijective) Soit f : E F une application.

(i) f est bijective de E sur F si et seulement sil existe une application g : F E telle que g f = IdE et f g = IdF .
(ii) Si elle existe, une telle application g est unique ; on lappelle la rciproque de f et on la note f 1 . On a alors
lquivalence :
h
i
x E, y F,
y = f (x) x = f 1 (y) .
(iii) Si f est bijective de E sur F , alors f 1 est bijective de F sur E. De plus :

   Explication
Intuitivement, quest donc la rciproque dune application bijective f ? Le
thorme ci-dessus affirme quon a y = f (x) si et seulement si x = f 1 (y) ;
en dautres termes, f envoie x sur y si et seulement si f 1 envoie y sur x.
En somme, f 1 dfait le travail accompli par f : ce qui est image pour
f est antcdent pour f 1 ; ce qui antcdent pour f est image pour f 1 .

f 1

f 1 f = IdE

1

= f.
f
b

E
x
b

F
f 1

f f 1 = IdF

y = f (x)
y
b

f
y
f 1

x = f 1 (y)

Travaillons prsent avec des ensembles E et F qui sont des parties de R. Supposons
toujours f bijective, ici donc de R sur R, et notons f (resp. f 1 ) le graphe de f
(resp. f 1 ). Le thorme prcdent affirme que :
h
i
x E, y F,
y = f (x) x = f 1 (y) ,
ce qui scrit aussi :

x E,

y F,

(x, y) f

i
(y, x) f 1 .

Ceci signifie que les points de f et les points de f 1 sont les mmes, lordre
prs de leurs coordonnes. Finalement, f 1 a une interprtation gomtrique trs
simple : f 1 est le symtrique de f par rapport la droite dquation y = x.

y=x

$ $ $ Attention !

Ne confondez pas f 1 et

1
quand ces deux applications ont un sens. Rien voir !
f

Dmonstration
(i) Raisonnons en deux temps.
Supposons f bijective de E sur F , i.e. que :

y F,

! x E/

y = f (x).

Pour tout y F , notons g(y) lunique lment x de E tel que y = f (x). On dfinit de cette faon une
application g : F E. Nous allons montrer que g f = IdE et que f g = IdF .
Dj, lidentit f g = IdF rsulte immdiatement de la dfinition de g : y F, f g(y) = y.


Quen est-il de lautre identit ? Soit x E. Par dfinition de g, g f (x) est
lunique lment t de E tel
que f (x) = f (t). Comme x est un tel lment, on a donc g f (x) = g f (x) = x. Cela montre bien que
g f = IdE .

c Christophe Bertault - MPSI

Supposons quil existe une application g : F E telle que g f = IdE et f g = IdF .

Montrons que f est injective sur E. Soient donc x, x0 E tels que f (x) = f (x0 ). Alors x = x0 car :




x = IdE (x) = g f (x) = g f (x) = g f (x0 ) = g f (x0 ) = IdE (x0 ) = x0 .

Montrons que f est surjective de E sur F . Soit donc y F . Posons x = g(y). Alors y = f (x) car :


y = IdF (y) = f g(y) = f g(y) = f (x).

(ii) Plusieurs tapes ici aussi. Supposons f bijective de E sur F .

Montrons lunicit de sa rciproque f 1 . Soient donc g1 et g2 deux applications de F dans E telles

que g1 f = g2 f = IdE et f g1 = f g2 = IdF . Il nous suffit de montrer lgalit g1 = g2 , en dautres
termes, que : y F, g1 (y)
= g2 (y).


Soit donc y F . Alors f g1 (y) = f g1 (y) = f g2 (y) = f g2 (y) . Or f est injective, donc g1 (y) = g2 (y)
comme voulu.


Exemple

Soient x E et y F . Montrons lquivalence :

y = f (x)


1
1
1
Si y = f (x),
alors f (y) = f
f (x)

, donc f (y) = IdE (x),
1
1
Si x = f (y), alors f (x) = f f (y) ,
donc f (x) = IdF (y),

x = f 1 (y).
et enfin x = f 1 (y).
et enfin y = f (x).

1
(iii) Supposons f bijective. Montrons que f 1 est bijective et que f 1
= f.
1
1
1
Par dfinition de f , on a : f f = IdF et f f = IdE .
Posons donc g = f . Alors g f 1 = IdF et f 1 g = IdE . Via (i), cela suffit montrer que f 1 est bijective
de F sur E. En outre, via (ii), lapplication g ainsi obtenue est la rciproque de f 1 . Nous en dduisons

1
lidentit annonce :
f 1
= g = f.

y = ex

y=x

y = x2

Id1
E = IdE .
y = ln x

La fonction exponentielle est bijective de

R sur R
+ , de rciproque la fonction logarithme ; la fonction carre est bijective
de R+ sur R+ , de rciproque la fonction
racine carre. Notez bien la symtrie des
courbes par rapport la droite dquation
y = x.

   En pratique
bijective de E sur F :

y=x

y=

Nous disposons prsent de plusieurs techniques pour dmontrer quune application f : E F est

Si on a lavance une ide de ce que va valoir f 1 , on donne un nom cette application de F dans E, disons g ; il suffit
alors de vrifier que g f = IdE et f g = IdF . On dmontre ainsi que f est bijective de E sur F et que f 1 = g.

Si on na aucune ide de ce quoi peut ressembler f 1 , mais si tout de mme f est donne explicitement par une formule,
on peut essayer de dterminer la tte de f 1 au moyen de lquivalence y = f (x) x = f 1 (y) . Partant de
la proposition y = f (x) qui exprime y en fonction de x, on se dbrouille pour parvenir par quivalence jusqu une
proposition de la forme x = g(y) qui exprime x en fonction de y. Lapplication g ainsi dcouverte nest autre que f 1 .
Enfin, si f nest pas donne explicitement par une formule mais par certaines de ses proprits, ou bien si on ne se sent pas
du tout capable de dterminer f 1 au moyen de la technique prcdente, on dmontre en deux temps que f est injective
et surjective.

Exemple
7 i

La fonction f :


Cr i
z


+1
dfinie sur C r 1 .
1
En effet

C
z+i
zi



ralise une bijection de Cr i sur Cr 1 . Sa rciproque est lapplication


Pour tout z C r i et pour tout C :
z+i
=
zi

i( + 1) = z( 1).

On peut alors exprimer en fonction de z si et seulement si 6= 1. Par consquent, pour tout z C r i et pour


+1
tout Cr 1 : = f (z) z = i
. Cette quivalence montre que f est bijective de C r i sur
1


+1
dfinie sur C r 1 .
C r 1 de rciproque lapplication 7 i
1
= f (z)

z + i = z i

c Christophe Bertault - MPSI

Exemple
Soient f : E E une application telle que f f = IdE . On dit alors que f est une involution. Alors f est une
bijection et f 1 = f .
En effet Posons g = f . Lgalit f f = IdE montre alors que f g = IdE et g f = IdE . Par consquent f est
une bijection et g = f est sa rciproque.

Thorme

(Bijectivit et composition) Soient f : E F et g : F G deux applications.

Si f et g sont bijectives, alors g f lest aussi. De plus :

gf

1

= f 1 g 1 .

Dmonstration Nous avons dj montr que g f tait la fois injective et surjective ; elle est donc bijective
comme voulu. Mais nous pouvons redmontrer ce rsultat sans utiliser ce que nous avons dmontr prcdemment.
Posons h = f 1 g 1 , application de G dans E. Alors :








h g f = f 1 g 1 g f = f 1 g 1 g f = f 1 IdF f = f 1 f = IdE








et
g f h = g f f 1 g 1 = g f f 1 g 1 = g IdF g 1 = g g 1 = IdG .

Ceci dmontre dun coup dun seul que g f est bijective de E sur G de rciproque h = f 1 g 1 .

   Explication
A titre culturel, on notera que la notion de bijection est utilise en mathmatiques pour mesurer
la taille des ensembles. En effet, une bijection de E sur F est une manire de relier tout lment de E un unique lment
de F et tout lment de F un unique lment de E. En somme, dire quil existe une bijection de E sur F , cest dire que les
deux ensembles E et F ont la mme taille, le mme nombre dlments. Par dfinition, on dit dans ce cas que E et F sont
quipotents.

Image directe, image rciproque

5
5.1

Image directe

Dfinition (Image directe dune partie par une application) Soient

n f : E F une application
o etnA une
o partie de E.
.
On appelle image (directe) de A par f , note f (A), lensemble f (A) = y F/ a A/ y = f (a) = f (a)
aA

   Explication
Limage f (A) de A par f est lensemble des images par f des lments de A. Graphiquement, pour dterminer f (A), on projette sur laxe des ordonnes la portion du graphe
de f qui se situe au-dessus de A, comme lillustre la figure ci-contre.

Exemple
Tchez de vous convaincre vous-mmes, en faisant des dessins, que les affirmations suivantes sont vraies.

%
f (A)
&
-

Limage de R+ par lapplication exponentielle est lintervalle [1, [ ; limage de R par cette mme application est ]0, 1].
h i


Limage de par lapplication sinus est 0 ; limage de [0, ] est [0, 1] ; limage de ,
est [1, 1] ; limage de [0, 2]
2 2
est aussi [1, 1].

5.2

Image rciproque

Dfinition

(Image rciproque dune partie par une application) Soient f : E

et B une partie
n F une application
o
1
1
de F . On appelle image rciproque de B par f , note f (B), lensemble f (B) = x E/ f (x) B .

c Christophe Bertault - MPSI

F
   Explication

f 1 (B) est lensemble des lments de E dont limage par f appartient B. Gomtriquement, pour dterminer f 1 (B), on projette sur laxe des abscisses la portion du graphe de
f situe dans le tube horizontal dfini par B.
On a, pour tout x E :

Exemple

x f 1 (B)

f (x) B.

(B)

Tchez de vous convaincre vous-mmes, en faisant des dessins, que les affirmations suivantes sont vraies.

Limage rciproque de R+ par lapplication exponentielle est R tout entier ; limage rciproque de [1, 2[ est [0, ln 2[.

Limage rciproque de 0 par lapplication sinus est Z.
Limage rciproque de [4, [ par lapplication carre est ] , 2] [2, [.

$ $ $ Attention ! Nous avons rencontr la notation f 1 dans deux contextes diffrents : le contexte des applications
rciproques et le contexte des images rciproques. Cette mme notation recouvre en gnral des ralits mathmatiques distinctes.

Cas o f est bijective : Alors f 1 a un sens en tant quapplication puisque f 1 dsigne la rciproque de f . En outre,
si B est une partie de F , alors f 1 (B) est une partie de E bien dfinie.
En rsum, si f est bijective, les deux notations base de f 1 rencontres jusquici ont un sens.
Cas o f nest pas bijective : Alors f ne possde pas de rciproque, et donc la notation f 1 ne peut dsigner
aucune application. Cela nempche pas la partie f 1 (B) de E dtre bien dfinie pour toute partie B de F . Seulement
dans ce cas, f 1 nest quune notation sans rapport aucun avec la notion dapplication rciproque.
Il existe en fait un lien entre les deux notations f 1 lorsque f est bijective, comme laffirme le thorme suivant :

Thorme (Rciproque, image et image rciproque pour les bijections) Soit f une bijection de E sur F et B une
partie de F . On a :
f 1 (B) = f 1 (B)
%

Image directe de B par f 1

Image rciproque de B par f

Dmonstration Pour le moment, la notation f 1 (B) est ambigu. Dcidons donc provisoirement de noter
D limage directe de B par f 1 et R limage rciproque de B par f . Le thorme affirme prcisment que
D = R. Pour commencer, D et R sont deux parties de E par dfinition. Or pour tout x E :
xD

b B/

f (x) B

x = f 1 (b)

b B/
x R.

f (x) = b

(caractrisation des rciproques)

Tout ceci montre bien que D = R.

Quelques remarques sur les fonctions de R dans R

Thorme (Rciproque dune fonction impaire bijective) Soient A une partie de R et f : A R une fonction impaire.
Si f est bijective de A sur son image f (A), alors f (A) est symtrique par rapport 0 et f 1 est impaire sur f (A).

$ $ $ Attention ! Ce rsultat na
 pas dquivalent pour les fonctions paires car une fonction paire ne peut tre injective,
moins dtre dfinie sur le singleton 0 : elle prend la mme valeur aux points x et x pour tout x en lequel elle est dfinie.

Dmonstration
Soit y f (A). Alors y = f (x) pour un certain x A. Or A est symtrique par rapport 0
donc x A. Et comme f est impaire : y = f (x) = f (x) f (A). Ainsi f (A) est lui aussi symtrique par
rapport 0.




Mais en outre f 1 (y) = f 1 f (x) = f 1 f (x) = x = f 1 (y), donc f 1 est impaire comme voulu. 

c Christophe Bertault - MPSI

Il nest pas inutile de comprendre le thorme suivant en faisant un dessin !

Thorme (Stricte monotonie, injectivit et rciproque) Soient A une partie de R et f : A R une fonction
strictement monotone.
(i) La fonction f est injective sur A donc bijective de A sur son image f (A).
(ii) Lapplication rciproque f 1 : f (A) A est strictement monotone de mme sens de variation que f .
Dmonstration

Traitons seulement le cas o f est strictement croissante lautre cas se traite de mme.

(i) Montrons que f est injective sur A. Soient x, x0 A tels que f (x) = f (x0 ). Peut-on avoir x < x0 ? Non, car
on aurait alors f (x) < f (x0 ), alors que f (x) = f (x0 ). Peut-on avoir x0 < x ? Non plus, car on aurait alors
f (x0 ) < f (x). Du coup x = x0 comme voulu.
(ii) Montrons que f 1 est strictement croissante sur A. Soient x, x0 A tels que x < x0 . Peut-on avoir
f 1 (x) > f 1 (x0 ) ? Non, car la stricte croissance de f montrerait alors que x > x0 , alors que justement
x < x0 . Du coup f 1 (x) < f 1 (x0 ) comme voulu.


Exemple

h i
La fonction sinus est injective sur ,
, car elle est strictement croissante sur cet intervalle.
2 2

Le fameux corollaire du TVI est un mlange du rsultat prcdent sur la stricte monotonie et du thorme des valeurs
intermdiaires proprement parler. Nous dmontrerons proprement le TVI plus tard dans lanne.
Thorme (Le fameux corollaire du TVI) Soient a, b R tels que a <
b et f : [a, b] R une application continue
strictement monotone. Alors f ralise une bijection de [a, b] sur f [a, b] , et de plus :






si f est croissante : f [a, b] = f (a), f (b) ;
si f est dcroissante : f [a, b] = f (b), f (a) .

Si f est dfinie sur un intervalle ouvert ou semi-ouvert,

on a un irsultat analogue avec ventuellement des limites. Par exemple,

i
si f est dfinie sur ]a, b] et croissante : f ]a, b] = lim f, f (b) .
a

10