c Christophe Bertault - MPSI

Injections, surjections, bijections

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 dnitions distinctes attaches ces deux noms.
Un bon conseil : ny prtez pas attention. En toute rigueur, fonction et application sont deux notions distinctes mais vous navez
pas besoin de le savoir.
Dans tout ce chapitre, E, F, G . . . sont des ensembles.

Introduction aux applications

Explication
Quest-ce quune fonction ? On se contente gnralement de dire ce quune fonction fait pour viter
davoir dire ce quelle est : Une fonction associe tout lment dun ensemble un unique lment dun autre ensemble.
Ceci hlas nest pas une dnition. Quel est donc ce quelque chose qui associe une chose une autre ?
Intuitivement, une fonction cest une gure, une courbe, un graphe. La fonction x x2 par exemple peut tre vue comme
lensemble des points du plan de coordonnes (x, x2 ), x dcrivant R. On vous a sans doute expliqu quil ne faut pas confondre
une fonction et sa courbe reprsentative. Avec la dnition qui suit au contraire, toute fonction est son graphe.

Dnition

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

On appelle application (ou fonction) de E dans F toute partie f de E F telle que :

x E,

! y F/

(x, y) f.

La prsence du pseudo-quanticateur ! permet de noter f (x) lunique y F de la proposition ci-dessus.

Lensemble E est appel lensemble de dpart de f ou son domaine de dnition. Lensemble F est quant lui appel
un ensemble darrive de f .
Dans une relation (x, y) o x E et y F , quon peut aussi noter y = f (x) , y est appel limage de x
par f tandis que x est appel un antcdent de y par f .
La fonction f sera gnralement dnie au moyen des notations f :

f (x)

F
ou simplement f : x f (x).
f (x)

Explication

f (x)
x
f (x)

E
x

x1

x2

x3

Ceci nest pas une fonction de E dans F ,

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

Avec cette dnition, la fonction x x nest rien dautre que lensemble

Ici y possde plusieurs antcdents par f ,

on parle dun antcdent
et non de l antcdent de y.
x,

xR+

, nest rien dautre donc que son

graphe. Cette fonction est clairement dnie sur R+ et valeurs dans R, mais elle est aussi valeurs dans C si on veut. La
dnition suivante va plus loin en dnissant lensemble exact des valeurs dune application son image.

Dnition

(Image dune application) Soit f : E F une application. Lensemble des lments de F qui possdent

un antcdent par f est appel limage de f et not Im f :

Im f = y F/

x E/

y = f (x) = f (x)

xE

Explication On peut reprsenter une application de deux faons, classiquement : soit au moyen de patates (gure
de gauche ci-dessous), soit au moyen dun graphe (gure 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.

c Christophe Bertault - MPSI

F
E

y = f (x)

f (x)
Im f

Pour dterminer gomtriquement limage dune fonction, on

projette son graphe sur laxe des
ordonnes.

Im f

Dnition (Ensemble des applications 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 !

Dnition (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 Avec la dnition des applications que nous avons donne un peu plus haut, une famille (x1 , x2 , . . . , xn )
dlments de E nest rien de plus que lapplication f de 1, n dans E dnie par les relations : f (1) = x1 , f (2) = x2 ,
. . . , f (n) = xn . En rsum, f associe chaque position llment qui lui correspond.
Exemple

Lensemble des suites relles est lensemble RN , celui des suites complexes CN .

Dnition

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

E
G
est appele la compose de f suivie de g et note g f .
Lapplication
x g f (x)
Attention !
La composition, en gnral, nest possible que dans un seul sens, et quand elle est possible dans les
deux, on na aucune raison davoir f g = g f . Par exemple, la compose de x x2 suivie de x sin x est la fonction
x sin(x2 ), alors que la compose de x sin x suivie de x x2 est la fonction x sin2 x. Vraiment pas pareil !
E
x

E
x.

Dnition

(Identit) On appelle identit de E et on note IdE lapplication

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.

Dmonstration

Elment neutre :

Dmontrons seulement lassociativit. Pour tout x E :

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

Dnition

IdF f = f IdE = f .

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

Et voil.

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

Soit f : E F une application. On appelle restriction de f A lapplication note f

x A,

de A dans F dnie par :

(x) = f (x).

Soit f : A F 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 dnition. Au contraire, prolonger
une application, cest augmenter la taille de son ensemble de dnition.

c Christophe Bertault - MPSI

Attention !
Il existe en gnral beaucoup de prolongements dune application
donne. Du coup on parle dun prolongement et non du prolongement dune application. Les gures ci-contre sont deux prolongements de lapplication constante gale 1 dnie sur [1, 2].

Dnition (Image directe dune partie) Soient f : E F une application et A une 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

En particulier :

Im f = f (E).

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 gure ci-contre.

f (A)

Exemple

Limage de R+ par la fonction exponentielle est lintervalle [1, [. Limage de

R est ]0, 1].

Limage de Z par la fonction sinus est 0 . Limage de [0, ] est [0, 1]. Limage de ,
est [1, 1]. Limage de [0, 2]
2 2
est aussi [1, 1].

Dnition

(Image rciproque dune partie) Soient f : E F une application et B une partie de F . On appelle

image rciproque de B par f lensemble :

x E/

f (x) B ,

que nous noterons provisoirement f (B).

F

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

x f (B)

f (x) B.

f (B)

En pratique
Pour une fonction f de R dans R, chercher limage rciproque dun singleton y par f revient
rsoudre lquation y = f (x) dinconnue x alors que chercher limage rciproque dun intervalle [a, b] revient rsoudre
linquation a f (x) b.
Exemple
Limage rciproque de R+ par la fonction exponentielle est R tout entier. Limage rciproque de [1, 2[ est [0, ln 2[.

Limage rciproque de 1 par la fonction sinus est + 2Z. Limage rciproque de [2, 3] est vide.
2
Limage rciproque de [4, [ par la fonction carre est ] , 2] [2, [.

2
2.1

Injections, surjections, bijections

Injections

Dnition
E si :

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

f (x) = f (x )

x = x .

c Christophe Bertault - MPSI

Explication
Au premier abord, une application injective est une application par laquelle
on peut simplifier : quand f (x) = f (x ), alors en fait x = x .

F
E

Pour aller plus loin dans la comprhension du concept, contraposons. Lapplication f est injective lorsquelle donne des valeurs direntes des points
dirents : pour tous x, x E, si x = x alors f (x) = f (x ).

Im f

f nest pas injective.

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

f (x)

Im f
f est injective,
Im f est comme une copie de E
lintrieur de F .

Pour nir, on peut voir linjectivit dune fonction de R dans R sur son
graphe car on y voit facilement si une mme valeur sur laxe des ordonnes
est atteinte plusieurs fois ou non.

Pas dinjectivit.

Injectivit.

Certains y ont plusieurs antcdents.

Exemple

f (x)
= f (x )

On peut aussi dire les choses ainsi : parce que f distingue larrive les lments
qui le sont au dpart, limage Im f de f est comme une copie de E lintrieur
de F .
F
E

Aucun y na plusieurs antcdents.

Lapplication carre nest pas injective sur R, mais elle lest sur R+ .
En eet

Pas injective sur R car (1)2 = 12 par exemple.

Pourquoi injective sur R+ ? Soient x, x R+ tels que x2 = x2 . Alors (x + x )(x x ) = 0, donc x = x ou

x = x . Si x = x, alors en fait x = x = 0 car x 0 et x 0, donc x = x dans tous les cas comme voulu.
Exemple

z+i
est injective sur C \ i .
zi
z+i
z + i
Soient z, z C \ i tels que
=
.
zi
z i

Lapplication z
En eet

z + i
z+i
=
zi
z i

Thorme

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

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

2iz = 2iz

z = z.

Et voil.

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

Si f et g sont injectives, g f lest aussi.
Dmonstration Soient x, x E tels que g f (x) = g f (x ). Nous voulons montrer que x = x .
Or g f (x) = g f (x ) et g est injective, donc f (x) = f (x ), mais f tant son tour injective, x = x .

Thorme

(Injectivit et stricte monotonie) Soient A une partie de R et f : A R une fonction.

Si f est strictement monotone, alors f est injective.

Attention ! La rciproque est fausse en gnral comme le montre le graphe de la fonction injective reprsente un
peu plus haut. Cette fonction est injective sans tre monotone, mais du coup elle nest pas continue. Nous verrons plus tard en
eet quune fonction injective et continue sur un intervalle y est toujours strictement monotone.
Dmonstration Traitons seulement le cas o f est strictement croissante. Soient x, x A tels que f (x) = f (x ).
Peut-on avoir x < x ? Non, car on aurait alors f (x) < f (x ), alors que f (x) = f (x ). Peut-on avoir x < x ? Non
plus, car on aurait alors f (x ) < f (x). Forcment, x = x .

c Christophe Bertault - MPSI

Exemple

2.2

x+y
.
1 xy
En eet
Nous avons dj tabli ce genre de rsultat rcemment mais nous ne pouvions pas alors voquer la
moindre injectivit. Le concept claire aujourdhui les choses dun lumire un peu nouvelle. Soient x, y ] 1, 1[.

.
Alors Arctan x et Arctan y sont compris entre et , donc Arctan x + Arctan y ,
4
4
2 2
x+y
x+y
tan Arctan x + tan Arctan y
=
= tan Arctan
.
tan Arctan x + Arctan y =
1 tan Arctan x tan Arctan y
1 xy
1 xy

, y est a fortiori injective, donc on peut simplifier
Or la fonction tangente, strictement croissante sur ,
2 2
x+y
par tan ci-dessus et enn : Arctan x + Arctan y = Arctan
.
1 xy

Pour tous x, y ] 1, 1[ :

Arctan x + Arctan y = Arctan

Surjections

Dnition (Surjection) Soit f : E F une application. On dit que f est surjective de E sur F ou que cest une
surjection de E sur F si :
y F, x E/ y = f (x).
Cela revient dire que Im f = F .
Explication
f est injective sur E si et seulement si tout lment de F possde au plus un antcdent dans E par f .
f est surjective de E sur F si et seulement si tout lment de F possde au moins un antcdent dans E par f .
Quand on dit quune application f est dnie de E dans F ou quelle est valeurs dans F , cela signie que F en est
un ensemble darrive, i.e. que les valeurs de f sont des lments de F . Cela ne signie pas inversement que tout lment
de F est une valeur atteinte par f . Cest dailleurs pour cela que nous avons introduit limage Im f de f , i.e. prcisment
lensemble des valeurs de f .
Pour la surjectivit, on ne dit pas que f est surjective de E dans F mais bien quelle est surjective de E sur F , car
alors f atteint tous les lments de F et en ce sens E couvre F travers f . Cette ide dune couverture justie
lemploi de la prposition sur .
Trs important galement. Parce que tout lment de Im f possde un antcdent par f , par dnition :
Toute application est surjective de son domaine de dnition sur son image.

Exemple

Thorme

La fonction carre nest pas surjective de R sur R, en revanche elle lest de R sur son image R+ .

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

Si f et g sont surjectives, g f lest aussi.
Dmonstration Soit y G. Nous voulons montrer pour un certain x E : y = g f (x).
Or g est surjective, donc y = g(t) pour un certain t F . Mais f est aussi surjective, donc t = f (x) pour un certain
x E. Finalement, comme voulu : y = g(t) = g f (x) = g f (x).

2.3

Bijections

Le concept de bijection a dj t tudi dans un prcdent chapitre. Alors que nous nous tions contents de fonctions de
R dans R, nous gnralisons prsent des applications dnies sur et valeurs dans des ensembles quelconques. Certaines
preuves seront omises car elles sont exactement celles que nous avons donnes alors.
Dnition

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

(i) f est injective sur E et surjective de E sur F.

(ii) y F,

! x E/

y = f (x).

Si lune de ces assertions est vraie, on dit que f est bijective de E sur F ou que cest une bijection de E sur F .

c Christophe Bertault - MPSI

Explication
f est bijective de E sur F si et seulement si tout lment de F possde un et une seul antcdent dans E par f .

Dnition (Rciproque) Soit f : E F une application. On appelle rciproque de f toute application g : F E

pour laquelle : g f = IdE et f g = IdF .
Explication Les identits x E, g f (x) = x et y F,
travail que f opre et vice versa. Ce que lune tricote, lautre le dtricote.

Thorme

f g(y) = y expriment lide que g dfait le

(Bijectivit et rciproque) Soit f : E F une application.

f est bijective de E sur F si et seulement si f possde une rciproque.

Une telle rciproque est alors unique, appele la rciproque de f et note f 1 . Pour tous x E et y F :
y = f (x)

x = f 1 (y).

Dans le cas dune fonction de R dans R, cette quivalence signie gomtriquement que le graphe de f et celui de f 1 sont
symtriques lun de lautre par rapport la droite dquation y = x.
y = x

y=x

Explication
Les deux exemples suivants, bien connus, illustrent la symtrie des graphes dune fonction de R dans R et de sa rciproque quand elle en a une.

y = ex
1

y = x
y = ln x

Exemple

Sur cette gure, > 1.

Lapplication IdE est bijective de E sur E de rciproque elle-mme.

En eet

Exemple

y=x

Tout simplement :

IdE IdE = IdE .

Soient a R et b R. La fonction x ax + b est bijective de R sur R de rciproque x

En eet

xb
.
a

xb
sont rciproques lune de lautre.
a
xb
f g(x) = a
+ b = x.
a
g

Il nous sut de montrer que les fonction x ax + b et x

Or pour tout x R :

g f (x) =

(ax + b) b
=x
a

et

Exemple Soit f : E E une application telle que f f = IdE on dit dans ce cas que f est une involution de E. Alors
f est une bijection et f 1 = f .

Thorme

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

(i) Si f est bijective de E sur F , f 1 est bijective de F sur E et :

(ii) Si f et g sont bijectives, g f lest aussi et :

gf

f 1

= f.

= f 1 g 1 .

Attention !
Gare lordre ! Cest bien g f
= f 1 g 1 et non pas g f
= g 1 f 1 . Si vous
cachez un trsor dans un core (f ), puis ce core sous terre (g), et si ensuite vous voulez rcuprer votre trsor (dfaire g f ),
vous devez dabord dterrer le core (g 1 ), puis louvrir (f 1 ) au total : f 1 g 1 .
Dmonstration
(i) Si f est bijective, les galits : f 1 f = IdE et f f 1 = IdF qui expriment la bijectivit de f
1
expriment pour la mme raison la bijectivit de f 1 et indique bien que f 1
= f.
f 1 g 1 g f = f 1 g 1 g f = f 1 IdF f = f 1 f = IdE

(ii) Si f et g sont bijectives :

gf f

=g f f

donc en eet g f est bijective de rciproque f

g
1

= g IdF g

=gg

= IdG ,

et :

c Christophe Bertault - MPSI

En pratique
Comment montrer concrtement quune application f : E F est bijective ? Le tableau suivant,
essentiel, rsume la marche suivre.
Priorit

Ce quon obtient

Si on connat spontanment une expression explicite de

f 1 , on appelle g la fonction en question et on vrie
simplement que g f = IdE et f g = IdF .

Bijectivit
+
Rciproque

Si on ne connat pas spontanment f 1 mais quon se

sent capable den trouver une expression explicite, on le
fait via lquivalence y = f (x) x = f 1 (y) .

Bijectivit
+
Rciproque

Exemple

Ce quon fait

Si on ne se sent pas capable de trouver une expression

explicite de f 1 , on montre en deux temps que f est la
fois injective et surjective.

Bijectivit

Lapplication z
En eet

z+i
z+1
est bijective de C \ i sur C \ 1 de rciproque z i
.
zi
z1

Pour tout z C \ i et pour tout C :

= f (z)

z+i
=
zi

z + i = z i

i( + 1) = z( 1).

On peut alors exprimer z en fonction de si et seulement si = 1. Conclusion : 1 na pas dantcdent par f et

plus prcisment Im f = C \ 1 .
+1
Achevons maintenant nos calculs. Pour tout z C \ i et pour tout C \ 1 : = f (z) z = i
.
1
+1
.
Il en dcoule que f est bijective de C \ i sur C \ 1 de rciproque i
1
f

Lapplication (x, y) (2x + y, x2 + y) de R2 dans R2 nest pas injective sur R2 mais elle est bijective de [1, [ R

sur le demi-plan dquation y x + 1 0, de rciproque (x, y) 1 + y x + 1 , x 2 2 y x + 1 .

Exemple

En eet
(a, b) = f (x, y)

Pour tous (x, y), (a, b) R2 :

2x + y = a
x2 + y = b

2x + y = a
x2 2x = b a

L2 L2 L1

y = a 2x
(x 1)2 = b a + 1.

Ces quivalences montrent que les couples (a, b) pour lesquels b a + 1 < 0 nont pas dantcdent par f , et mme

plus prcisment que Im f est exactement (a, b) R2 /

0 , i.e. le demi-plan dquation y x + 1

ba+1

Poursuivons. Sous lhypothse additionnelle que b a + 1 0 :

(a, b) = f (x, y)

x = 1 + b a + 1 ou

x=1

ba+1

et

0.

y = a 2x.

Ce rsultat prouve comme voulu que f nest pas injective sur R2 puisque tout couple (a, b) pour lequel b a + 1 > 0
possde exactement deux antcdents. Mais de ces deux antcdents (x, y), nous venons de voir que x > 1 pour
lun et x < 1 pour lautre. Ds lors, pour tout (a, b) R2 tel que b a + 1 0 et pour tout (x, y) [1, [R :

(a, b) = f (x, y)

(x, y) = 1 + b a + 1 , a 2 2 b a + 1 .
Cette quivalence prouve enn que f est bijective de [1, [R sur le demi-plan dquation y x + 1

rciproque (x, y) 1 + y x + 1 , x 2 2 y x + 1 .

Thorme

(Bijectivit et image rciproque) Soit f une bijection de E sur F et B une partie de F . Alors :
f (B) = f 1 (B),

o lon rappelle que f (B) est limage rciproque de B par f et f 1 (B) limage directe de B par f 1 .

Dmonstration

Pour tout x E :

x f 1 (B)

b B/

f (x) = b

b B/

x = f 1 (b)

f (x) B

x f (B).

0, de

c Christophe Bertault - MPSI

Attention ! Le thorme prcdent justie quon note dsormais toujours f 1 (B) plutt que f (B). La notation
f (B) nexiste pas en fait, nous lavons juste introduite pour ne pas nous emmler les pinceaux dans un premier temps.

Dans le cas o f est bijective, nous venons de voir que limage rciproque de B par f est exactement limage directe de B
par f 1 . La confusion des notations f 1 (B) et f (B) nest donc pas gnante dans ce cas.
Et dans le cas o f nest pas bijective ? Dans ce cas, de toute faon, il ny a pas de rciproque f 1 , donc pas dimage
directe de B par f 1 . La notation f 1 (B) ne pose donc pas de problme dans ce cas non plus.
En guise de conclusion :

La notation f 1 (B) ne requiert pas la bijectivit de f !

Explication
Revenons un instant pour nir sur notre fameux corollaire strictement monotone du thorme des
valeurs intermdiaires. Les notions de ce chapitre nous permettent aujourdhui de mieux comprendre son conomie intrieure.
f [a, b] na pas de trou,
cest un intervalle.

f est continue sur [a, b].

f est strictement croissante sur [a, b].

f [a, b] = f (a), f (b) .
f est injective sur [a, b].

f est bijective de [a, b]

sur son image f [a, b] .

f est bijective de [a, b]

sur f (a), f (b) .

Equipotence
Le contenu de ce paragraphe est tout fait hors programme et ne vous est prsent qu titre culturel.

Dnition

(Equipotence) Soient E et F deux ensembles.

On dit que F est quipotent E sil existe une bijection de E sur F .

Explication
Pourquoi ce mot quipotent et pourquoi faire ? Issu du latin, quipotent veut dire mme puissance . En quel
sens ? Lexistence dune bijection de E sur F nous garantit quon peut faire se correspondre parfaitement les lments de
E et les lments de F , associer tout lment de E un et un seul lment de F et vice versa. Dire que F est quipotent
E revient ainsi dire que F a exactement le mme nombre dlments que E.
Intuitivement, de mme, lexistence dune injection de E dans F signie quil y a moins dlments dans E que dans
F (ventuellement autant), puisquon peut dans ce cas trouver dans F une copie de E qui nest pas forcment F tout
entier. Quant lexistence dune surjection de E sur F , elle indique au contraire que cest E qui a plus dlments que F
(ventuellement autant), puisquon peut associer tout lment de F au moins un antcdent, peut-tre plusieurs, ce qui
fait quen un sens E couvre F travers f .
Thorme

(Proprits de la relation dquipotence) Soient E, F et G trois ensembles.

Symtrie : Si F est quipotent E, alors E est quipotent F . On peut donc dire sans ambigut que E et F
sont quipotents.
Transitivit : Si F est quipotent E et si G est quipotent F , alors G est quipotent E.
Dmonstration La symtrie repose sur le fait que la rciproque dune bijection est une bijection la transitivit
sur le fait que la compose de deux bijections est une bijection.
Le thorme suivant, hors programme mais trs important en mathmatiques, nest nonc qu titre culturel.
Thorme (Thorme de Cantor-Bernstein) Soient E et F deux ensembles. Sil existe une injection de E dans F et
une injection de F dans E, alors E et F sont quipotents.

c Christophe Bertault - MPSI

Explication

Bref, si E a moins dlments que F et F moins dlments que E, alors E et F en ont autant !

On donne ci-dessous des exemples dquipotence dont certains sont vraiment surprenants au premier abord. Nous allons
notamment voir que deux ensembles peuvent tre quipotents alors que lun dentre eux est inclus strictement dans lautre.

Exemple R et ,
sont quipotents alors quils nont pas la mme longueur. Bref, longueur et nombre de points nont
2 2
aucune rapport. Plus gnralement, tout intervalle qui nest ni lensemble vide ni un singleton est quipotent R.

En eet Tout simplement, la fonction tangente est bijective de ,
sur R.
2 2
Exemple

N et Z sont quipotents.
En eet
nN

f (n) Z
Exemple

6
3

N et N2 sont quipotents.

Il nest pas trop dicile de montrer que lapplication f : N Z reprsente ci-contre est bijective. Il sut den trouver une expression explicite, de trouver une expression explicite de ce
quon pense tre sa rciproque f , puis de vrier
que f f = IdN et f f = IdZ .

En eet Notons g lapplication (p, q) 2p (2q + 1) 1 de N2 dans N. Nous allons montrer que g est bijective.
On pourrait le faire en utilisant la dcomposition des entiers en produit de facteurs premiers, mais comme tout le
monde na pas fait darithmtique en Terminale, nous allons procder autrement.
Pour linjectivit, soient (p, q), (p , q ) N2 tels que g(p, q) = g(p , q ). Quitte permuter (p, q) et (p , q ), on

peut supposer p p sans perte de gnralit. Alors 2p p (2q + 1) = 2q + 1 galit dans laquelle 2p p ,

2q + 1 et 2q + 1 sont des entiers. Comme 2q + 1 est impair, forcment p = p . Mais du coup 2q + 1 = 2q + 1

donc q = q , et enn (p, q) = (p , q ) comme voulu.
Pour la surjectivit, raisonnons par rcurrence forte. Nous allons montrer que pour tout n N, tout entier
de 0, n possde un antcdent par g.
Initialisation : 0 possde un antcdent par g puisque g(0, 0) = 0.
Hrdit : Soit n N. On suppose que tout lment de 0, n possde un antcdent par g. Quen est-il
de n + 1 ? Si n est pair, disons n = 2q pour un certain q N, alors n + 1 = 2q + 1 = 20 (2q + 1) = g(0, q)
donc n + 1 possde un antcdent par g.
Supposons prsent n impair. Alors n + 1 est pair, disons n + 1 = 2m pour un certain m N. On peut
mme en fait armer que m 0, n . Par hypothse de rcurrence, m possde donc un antdcent par g,
disons (p, q). Finalement n + 1 = 2m = 2g(p, q) = 2 2p (2q + 1) = 2p+1 (2q + 1) = g(p + 1, q), donc n + 1
possde un antcdent par g.
Explication
Pour que vous saisissiez bien lincroyable porte des deux exemples qui suivent, rappelons que Q et
R \ Q sont denses dans R et qu ce titre : 1) entre deux rationnels distincts, il y a toujours un irrationnel ; et 2) entre deux
irrationnels distincts, il y a toujours un rationnel. Intuitivement, Q et R \ Q sont donc comme deux peignes en vis--vis dont les
dents salternent et se croisent : entre deux dents rationnelles se trouve une dent irrationnelle et vice versa.
Exemple

N et Q sont quipotents. On peut donc numroter les rationnels : n 0, n 1, n 2, etc.

En eet Contentons-nous dun sketch of the proof comme disent les anglo-saxons un aperu de la preuve.
Nous conservons dans cet exemple les notations f et g des deux exemples prcdents.
Lapplication n n est injective de N dans Q. En vertu du thorme de Cantor-Bernstein, il nous sut
ds lors dexhiber une injection de Q dans N pour montrer que N et Q sont quipotents.
p
Rappelons quune fraction r = est irrductible lorsquaucune simplication nest plus envisageable entre
q
son numrateur et son dnominateur sauf 1, bien sr. Avec ces notations, lapplication qui, r Q,
associe (p, q) Z N est bien dnie et injective. Nous disposons donc dune injection h de Q dans Z N .
Lapplication n n 1 est trs clairement une bijection de N sur N. Comme par ailleurs f est bijective
de N sur Z, lapplication produit (m, n) f 1 (m), n 1 est une bijection de Z N sur N2 sur nous
noterons i.
Lapplication h i g est nalement injective de Q dans N par composition :

Q Z N N2 N.

Exemple
R et Q ne sont pas quipotents. Il y a donc inniment plus dlments dans R que dans Q, donc a fortiori
inniment plus dirrationnels que de rationnels. Le peigne des rationnels et le peigne des irrationnels ont donc la fois des dents
parfaitement alternes (au sens de la remarque faite un peu plus haut) et pas le mme nombre de dents !

c Christophe Bertault - MPSI

En eet Parce que N et Q sont quipotents, montrer que R et Q ne le sont pas revient montrer que R et N
ne le sont pas non plus. Et pour montrer quil nexiste pas de bijection de N sur R, nous allons en fait prouver
quaucune application de N dans R ne peut tre surjective. Ce sera susant.
Soit : N R une application quelconque. Tchons de montrer que nest pas surjective de N sur R.

1
2
et
, 1 ne contient pas (0) : nous le notons I0 si les deux
3
3
intervalles conviennent, on choisit celui de gauche par exemple. Par construction : (0) I0 . Notons a0
/
1
et b0 les bornes de I0 , de sorte que I0 = [a0 , b0 ]. Lintervalle I0 a pour longueur .
3
Ensuite on rpte. Pour tout n N, une fois les intervalles I0 , I1 , . . . , In construits, on construit lintervalle
2an + bn
an + 2bn
, bn ne contient
In+1 de la faon suivante. Lun au moins des intervalles an ,
et
3
3
pas (n + 1) : nous le notons In+1 si les deux intervalles conviennent, on choisit celui de gauche par
exemple. Par construction : (n + 1) In+1 . Notons an+1 et bn+1 les bornes de In+1 , de sorte que
/
1
In+1 = [an+1 , bn+1 ]. Lintervalle In+1 a pour longueur n+1 la longueur est divise par 3 chaque tape.
3
Lun au moins des intervalles

an

0,

2an + bn
3

an + 2bn
3

bn
In
Les deux choix possibles pour In+1

Nous avons nalement construit une suite dintervalles (In )nN qui sont embots les uns dans les autres :
. . . I3 I2 I1 I0 et dont la longueur est toujours divise par 3 dun rang au suivant. Les suites
(an )nN et (bn )nN vrient donc les proprits suivantes :
a0

a1

a2

...

b2

b1

b0

Bref : la suite (an )nN est croissante, la suite (bn )nN

1
.
3n+1
dcroissante et lim (bn an ) = 0. Ces suites sont donc

et pour tout n N :

bn a n =

adjacentes, donc convergentes de mme limite en vertu du thorme des suites adjacentes.

Par construction, an

bn pour tout n N avec (n) In = [an , bn ], donc forcment = (n).

/
Conclusion : ne prend pas la valeur , donc nest pas surjective !
Exemple On peut montrer que R, C/R2 et R3 sont quipotents. Il y a donc autant de points sur une droite ou sur un plan
que dans notre espace trois dimensions.
Terminons ce chapitre en beaut avec un rsultat dune porte pistmologique et historique considrable.
Thorme

(Thorme de Cantor) Il nexiste pas de surjection de E sur P(E).

Dmonstration

Soit : E P(E) une application. On pose :

A =

x E/

x (x) .
/

Comme

A P(E), on peut se demander si A possde ou non un antcdent par . Pour tout x E :

si x A, alors x (x) donc (x) = A,
/

et si x A, alors x (x) donc (x) = A.

/

Dans les deux cas A = (x), et ce pour tout x, donc en eet A na pas dantcdent par f , donc f nest pas
surjective de E sur P(E).
Explication
Dans la mesure o lapplication x x est injective de E dans P(E), le thorme de Cantor montre au fond que E
est toujours strictement plus petit que P(E) en termes dquipotence. Il en dcoule un procd de construction simple
dinnis de tailles direntes toujours plus grandes : N, P(N), P P(N) , P P P(N)

. . . Il nest pas trop dur de

montrer que P(N) et R sont quipotents en particulier, on la vu, N et R ne sont pas quipotents.
A la n du XIXme sicle, Cantor se demande sil existe ou non entre N et P(N) un inni de taille intermdiaire mais
nobtient aucun rsultat ni dans un sens ni dans lautre. Lnonc selon lequel il ny a pas de tel inni intermdiaire
sappelle depuis lhypothse du continu.
En 1938, Gdel montre que lhypothse du continu ne rfute pas le cadre traditionnel des mathmatiques quon appelle
ZFC. Ce rsultat est compliqu comprendre : Gdel na pas montr que lhypothse du continu est vraie, mais que si on
lajoute aux axiomes usuels, la thorie obtenue nest ni plus ni moins contradictoire que la thorie usuelle ZFC.
En 1963, Cohen montre que lhypothse du continu nest pas dmontrable dans la thorie ZFC des mathmatiques usuelles.
Lhypothse du continu est donc un de ces noncs quon dit indcidables, impossible prouver, impossible rfuter.

10