1

lments de logique et de thorie des

ensembles
Pour les exemples et exercices traits dans ce chapitre les ensembles usuels de nombres
entiers, rationnels rels et complexes sont supposs connus, au moins de manire intuitive comme
cela se passe au Lyce. Nous reviendrons plus loin sur les constructions de ces ensembles.
1.1 Quelques notions de logique
Nous allons prciser un premier niveau quelques notions mathmatiques qui sont relative-
ment intuitives mais ncessitent quand mme des dnitions rigoureuses.
Lide tant de prciser schmatiquement comment se prsente une thorie mathmatique
ainsi que la notion essentielle de dmonstration.
La premire notion est celle dassertion. De manire intuitive, une assertion est un nonc
mathmatique aussi rigoureux que possible qui ne peut prendre que deux valeurs de vrit
savoir vrai ou faux mais jamais entre les deux comme dans le langage courant.
Une assertion qui est toujours vraie est une tautologie.
Par exemple les noncs suivantes sont des assertions : 2 < 15 (elle est vraie),

2 est un
nombre rationnel (elle est fausse), cos(n) = (1)
n
(vraie), ...
Deux assertions sont dites logiquement quivalentes, ou plus simplement quivalentes, si elles
sont toutes deux vraies ou toutes deux fausses.
Il y a ensuite les noncs qui se dmontrent. Pour ce faire, on se donne des rgles prcises
(que nous verrons par la pratique) qui permettent de construire de nouvelles assertions partir
dassertions donnes.
Remarque 1.1 Il ne faut pas croire que dans une thorie donne toute assertion P soit obli-
gatoirement dmontrable. En 1931 Kurt Gdel dmontr quil y a des assertions non dmon-
trables (on dit aussi quelles sont indcidables) : il nest pas possible de dmontrer que P est
vraie ni que P est fausse.
la base de toute thorie mathmatique, on dispose dun petit nombre dassertions qui
sont supposs vraies priori (cest--dire avant toute exprience) et que lon nomme axiomes
ou postulats. Ces axiomes sont labors par abstraction partir de lintuition et ne sont pas
dduits dautres relations.
Par exemple, la gomtrie euclidienne est base sur une quinzaine daxiomes. Lun de ces
axiomes est le postulat numro 15 qui arme que par un point donn passe une et une seule
droite parallle une droite donne.
3
4 lments de logique et de thorie des ensembles
Une autre exemple important est donn par la construction de lensemble not N des entiers
naturels. Cette construction peut se faire en utilisant les axiomes de Peano suivants :
0 est un entier naturel ;
tout entier naturel n a un unique successeur not n + 1 ;
deux entiers naturels ayant mme successeur sont gaux ;
une partie P de N qui contient 0 et telle que si n est dans P alors le successeur de n y est
aussi, est gale N (axiome de rcurrence).
Nous reviendrons au paragraphe 1.6 sur lensemble N en partant sur une autre base.
La thorie des ensemble est base sur le systme daxiomes de Zermelo-Frnkel.
La notion de dnition nous permet de dcrire un objet ou une situation prcise laide du
langage courant.
Les noncs qui se dmontrent sont classs en fonction de leur importance dans une thorie
comme suit :
un thorme est une assertion vraie dduite dautres assertions, il sagit en gnral dun
rsultat important retenir ;
un lemme est un rsultat prliminaire utilis pour dmontrer un thorme ;
un corollaire est une consquence importante dun thorme ;
une proposition est de manire gnrale un rsultat auquel on peut attribuer la valeur
vraie ou fausse sans ambigut.
Pour rdiger un nonc mathmatique, on utilise le langage courant et les objets manipuls
sont reprsents en gnral par des lettres de lalphabet latin ou grec. Usuellement, on utilise :
les lettres minuscules a, b, c, ... pour des objets xs ;
les lettres minuscules x, y, z, t, ... pour des objets inconnus dterminer ;
les lettres majuscules E, F, G, H, ... pour des ensembles ;
des lettres de lalphabet grecques minuscules ou majuscules , , , , ... , , , ...
1.2 Les connecteurs logiques de base
Llaboration de nouvelles assertions partir dautres se fait en utilisant les connecteurs lo-
giques de ngation, de conjonction, de disjonction, dimplication et dquivalence dnis comme
suit, o P et Q dsignent des assertions.
La ngation de P, note

P, ou non P ou P, est lassertion qui est vraie si P est fausse et
fausse si P est vraie.
Par exemple la ngation de lassertion : x est strictement positif est x est ngatif ou
nul .
En thorie des ensembles on admet quil nexiste pas dassertion P telle que P et P soient
toutes deux vraies. On dit que cette thorie est non contradictoire.
La conjonction de P et Q, note PQ (lire P et Q), est lassertion qui est vraie uniquement
si P et Q sont toutes deux vraies (et donc fausse dans les trois autres cas).
Par exemple P P est toujours faux (on se place dans des thories non contradictoires).
La disjonction de P et Q, note PQ (lire P ou Q), est lassertion qui est vraie uniquement
si lune des deux assertions P ou Q est vraie (donc fausse si P et Q sont toutes deux
fausses).
Par exemple P P est toujours vraie (cest une tautologie).
Il faut remarquer que le ou pour ou bien est inclusif, cest--dire que P et Q
peuvent tre toutes deux vrais dans le cas o P Q est vraie.
On peut aussi introduire le ou exclusif , not W, qui est vrai uniquement lorsque lune
des deux assertions, mais pas les deux simultanment, est vraie.
Les connecteurs logiques de base 5
Limplication, note P Q, est lassertion qui est fausse uniquement si P est vraie et Q
fausse (donc vraie dans les trois autres cas).
On peut remarquer que si P est fausse, alors P Q est vraie indpendamment de la
valeur de vrit de Q.
Limplication est la base du raisonnement mathmatique. En partant dune assertion P
(ou de plusieurs), une dmonstration aboutit un rsultat Q. Si cette dmonstration est
faite sans erreur, alors P Q est vraie et on notera P Q (ce qui signie que si P est
vraie, alors Q est vraie). Dans ce cas, on dit que P est une condition susante et Q une
condition ncessaire.
On peut remarquer que limplication est transitive, cest--dire que si P implique Q et Q
implique R, alors P implique R.
Lquivalence de P et Q, note P Q, est lassertion qui est vraie uniquement si P Q
et Q P sont toutes deux vraies. Dans le cas o P Q est vraie on dit que P est Q
sont quivalentes et on note P Q (ce qui signie que P et Q sont, soit toutes deux
vraies, soit toutes deux fausses). Dans ce cas, on dit que Q est une condition ncessaire et
susante de P.
On peut rsumer ce qui prcde, en utilisant la table de vrit suivante :
P Q P P Q P Q P Q P Q
V V F V V V V
V F F F V F F
F V V F V V F
F F V F F V V
Les tables de vrit peuvent tre utilises pour faire certaines dmonstrations. On rappelle
que deux assertions qui ont mme table de vrit sont quivalentes.
Avec le thorme qui suit, on rsume quelques rgles de calcul.
Thorme 1.1 Soient P, Q, R des propositions. On a les quivalences :
1. commutativit :
(P Q) (Q P)
(P Q) (Q P)
2. associativit
(P (Q R)) ((P Q) R)
(P (Q R)) ((P Q) R)
3. distributivit :
(P (Q R)) ((P Q) (P R))
(P (Q R)) ((P Q) (P R))
4. ngations :
_
P
_
(P)
_
P Q
_

_
P Q
_
_
P Q
_

_
P Q
_
(P Q)
_
Q P
_
(P Q)
_
P Q
_
_
P Q
_

_
P Q
_
6 lments de logique et de thorie des ensembles
Dmonstration. On utilise les tables de vrit (exercices).
Les quivalences
_
P Q
_

_
P Q
_
et
_
P Q
_

_
P Q
_
sont appeles lois de Morgan.
Exercice 1.1 Montrer que les assertions P Q et P Q sont quivalentes.
Solution 1.1 On montre quelles ont mme table de vrit.
P Q P P Q P Q
V V F V V
V F F F F
F V V V V
F F V V V
Exercice 1.2 Montrer que les assertions P Q et P Q sont quivalentes.
Solution 1.2 On montre quelles ont mme table de vrit.
P Q P Q P Q
V V F F
V F V V
F V F F
F F F F
Exercice 1.3 Montrer que les assertions P P, (P Q) P, P (P Q) , P (P Q) ,
P (Q P) et ((P Q) P) P sont des tautologies (i. e. toujours vraies).
Solution 1.3 Pour P P, (P Q) P, P (P Q) , cest vident et pour les autres, on
utilise la table de vrit :
P Q P Q Q P P (P Q) P (Q P) ((P Q) P) P
V V V V V V V
V F F V V V V
F V V F V V V
F F V V V V V
Exercice 1.4 Simplier lexpression :
R =
_
P Q
_

_
P Q
_
(P Q) .
Solution 1.4 En utilisant les tables de vrit, on a :
P Q P Q P Q
_
P Q
_

_
P Q
_
P Q R
V V F F F V V
V F F F F F F
F V V F V F V
F F F V V F V
Donc R a la mme table de vrit que P Q, ce qui signie que R est quivalent P Q.
Exercice 1.5 Soient P, Q, R trois assertions.
Les connecteurs logiques de base 7
1. crire la ngation de chacune de ces assertions : P Q, P Q, P (Q R) , P (Q R) ,
P Q, P Q, P Q R, P Q R, P Q R et P Q R.
2. Traduire chacune de ces assertions, ainsi sa ngation, en langage courant o P correspond
jcris , Q je pense et R je chante .
Solution 1.5 On a :
P Q = P Q
ce qui peut se traduire par la ngation de je ncris pas et je pense est jcris ou je ne
pense pas ;
P Q = P Q
P (Q R) = P Q R = P
_
Q R
_
=
_
P Q
_

_
P R
_
et ainsi de suite.
Exercice 1.6 Montrer les quivalences qui suivent.
1. (P (Q R)) ((P Q) R)
2. ((P Q) R) ((P R) (Q R))
3. ((P Q) R) ((P R) (Q R))
4. (P (Q R)) ((P Q) (P R))
5. (P (Q R)) ((P Q) (P R))
Solution 1.6 On peut utiliser les tables de vrit ou utiliser lquivalence (P Q)
_
P Q
_
.
Par exemple, on a :
(P (Q R)) P
_
Q R
_
P Q R ((P Q) R)
Exercice 1.7 Montrer que les assertions PWQ (ou exclusif ) et
_
P Q
_

_
P Q
_
sont qui-
valentes.
Solution 1.7 On montre quelles ont mme table de vrit.
P Q PWQ
_
P Q
_

_
P Q
_
V V F F
V F V V
F V V V
F F F F
Exercice 1.8 Soient a, b deux entiers naturels.
1. Donner un quivalent de (a < b) (a = b)
2. Donner la ngation de (a b) (a > b)
Solution 1.8
1. (a < b) (a = b) est quivalent (a b) (a = b) encore quivalent a b.
2. La ngation de (a b) (a > b) est (a b) (a b) , soit (a b) .
Exercice 1.9 On dispose de 6 pices de 1 euro dont une seule est fausse et plus lourde que les
autres. Montrer quon peut la dtecter en utilisant une balance de type Roberval en eectuant
au plus deux peses. Mme question avec 8 pices.
8 lments de logique et de thorie des ensembles
Solution 1.9 On numrote de 1 6 les pices. On place les pices 1, 2, 3 sur le plateau P
1
de la
balance et les pices 4, 5, 6 sur le plateau P
2
. Lun des deux plateaux, disons P
1
est plus charg,
il contient donc la fausse pice. On isole la pice 3 et on place la pice 1 sur le plateau P
1
et
la pice 2 sur P
2
. Si les plateaux sont quilibrs cest 3 qui est fausse, sinon le plateau le plus
charg contient la fausse pice.
Pour 8 pices, on isole les pices 7 et 8 et on place les pices 1, 2, 3 sur le plateau P
1
et les pices
4, 5, 6 sur le plateau P
2
. Si les plateaux sont quilibrs, on compare 7 et 8 avec la balance et on
dtermine la fausse pice, sinon lun des deux plateaux, disons P
1
est plus charg, il contient
donc la fausse pice et le procd utilis pour les 6 pices nous permet de trouver la fausse pice.
Exercice 1.10 Des cannibales proposent un touriste de dcider lui mme de son sort en
faisant une dclaration : si celle-ci est vraie, il sera rti, sinon il sera bouilli. Quelle dclaration
peut faire ce touriste (malin) pour imposer une troisime solution ?
Solution 1.10
Exercice 1.11 Les habitants dun village sont partags en deux clans : ceux du clan A disent
toujours la vrit et ceux du clan B mentent toujours. Un touriste passant par ce village ren-
contre trois habitants et souhaite savoir quel clan appartient chacun deux. Il nentend pas la
rponse du premier, le deuxime rpte ce quil a entendu, selon lui, du premier et le troisime
lui indique le clan du premier et du second. Le touriste a la rponse sa question. Pouvez-vous
faire de mme.
Solution 1.11
On dit quune thorie est non contradictoire si P P est faux pour toute proposition P.
Exercice 1.12 Montrer que si dans une thorie une proprit P est contradictoire, cest--dire
si P P est vraie, alors Q Q est vraie pour toute proprit Q.
Solution 1.12 Nous allons montrer que sil existe un nonc contradictoire P, alors tout
nonc Q est vrai, donc Q aussi et Q Q est vraie.
On vrie tout dabord que R = P (P Q) est une tautologie avec la table de vrit :
P Q P P Q P (P Q)
V V F V V
V F F F V
F V V V V
F F V V V
Comme R et P sont vraies, P Q est vraie et Q est vraie puisque P est vraie.
1.3 Quelques mthodes de raisonnement
En gnral lnonc dune proposition dmontrer est form dune ou plusieurs hypothses
qui constituent lassertion H et dune ou plusieurs conclusions qui constituent lassertion C. Il
sagit donc de montrer limplication H = C.
Si de plus, on peut montrer que C = H, on dira alors que la rciproque de la proposition
est vraie.
Les ides de base que lon peut utiliser sont les suivantes.
Quelques mthodes de raisonnement 9
Une assertion peut toujours tre remplace par nimporte quelle assertion qui lui est
quivalente.
On peut eectuer une dmonstration directe, cest dire de dduire logiquement C de H.
Limplication tant transitive, on peut essayer de montrer que C = C

sachant par
ailleurs que C

= H.
Dans le cas o une dmonstration directe semble dicile, on peut essayer une dmons-
tration par labsurde qui consiste tudier lassertion H C quivalente H C et
on montre quon aboutit une impossibilit si cette dernire assertion est vraie (prati-
quement, on suppose que la conclusion est fausse avec les hypothses et on aboutit une
absurdit). Il en rsulte alors que H C est fausse, cest dire que H C est vraie,
soit H = C.
On peut aussi essayer de montrer la contrapose C H puisque les implications H C
et C H sont quivalentes.
La dmonstration par contre-exemple permet de montrer quune implication H C, o
H est C sont des proprits portant sur des variables x, est fausse. Pour ce faire on cherche
une ou des valeurs de x pour lesquels H (x) est vraie et C (x) est fausse.
La dmonstration par rcurrence permet de montrer quune proprit portant sur des
entiers naturels est toujours vraie. Cette mthode de dmonstration est dcrite au para-
graphe 1.6, o elle apparat comme un thorme bas sur le fait que lensemble des entiers
naturels est bien ordonn. Si on accepte laxiome de Pano, le principe de rcurrence en
est une consquence immdiate.
Exercice 1.13 En raisonnant par labsurde, montrer que

2 est irrationnel.
Solution 1.13 Supposons que

2 =
p
q
avec p, q entiers naturels non nuls premiers entre eux.
On a alors p
2
= 2q
2
qui entrane que p est pair, soit p = 2p

et q
2
= 2p
2
entrane q pair, ce qui
contredit p et q premiers entre eux.
Exercice 1.14 En raisonnant par labsurde, montrer que
ln (2)
ln (3)
est irrationnel.
Solution 1.14 Supposons que
ln (2)
ln (3)
=
p
q
avec p, q entiers naturels non nuls premiers entre
eux. On a alors ln (2
q
) = ln (3
p
) et 2
p
= 3
q
, ce qui est impossible puisque 2
p
est un entier pair
et 3
q
est un entier impair.
Exercice 1.15 Soit n un entier naturel non carr, cest--dire ne scrivant pas sous la forme
n = p
2
avec p entier. En raisonnant par labsurde et en utilisant le thorme de Bzout, montrer
que

n est irrationnel.
Solution 1.15 Si n est non carr, on a alors n 2.
Supposons que

n =
p
q
avec p, q premiers entre eux dans N

. Le thorme de Bzout nous dit

quil existe un couple (u, v) dentiers relatifs tels que up +vq = 1. On a alors :
1 = (up +vq)
2
= u
2
p
2
+ 2uvpq +v
2
q
2
avec u
2
p
2
= u
2
nq
2
. Lgalit prcdente scrit alors qr = 1 avec r = u
2
nq +2uvp +v
2
q dans Z,
ce qui implique que q = 1 et

n = p, en contradiction avec n non carr.
10 lments de logique et de thorie des ensembles
Exercice 1.16 Sachant que tout entier suprieur ou gal 2 admet un diviseur premier, mon-
trer que lensemble P des nombres premiers est inni.
Solution 1.16 On sait dj que P est non vide (il contient 2). Supposons que P soit ni avec :
P = {p
1
, , p
r
} .
Lentier n = p
1
p
r
+ 1 est suprieur ou gal 2, il admet donc un diviseur premier p
k
P.
Lentier p
k
divise alors n = p
1
p
r
+ 1 et p
1
p
r
, il divise donc la dirence qui est gale
1, ce qui est impossible. En conclusion P est inni.
Exercice 1.17 Montrer que x =
3
_
45 + 29

2 +
3
_
45 29

2 est un entier.
Solution 1.17 En posant a =
3
_
45 + 29

2 et b =
3
_
45 29

2, on a :
_
a
3
+b
3
= 90
ab =
3

45
2
2 29
2
=
3

343 = 7
ce qui donne :
90 = (a +b)
_
a
2
ab +b
2
_
= (a +b)
_
(a +b)
2
3ab
_
= x
_
x
2
21
_
donc x est racine du polynme :
P (X) = X
_
X
2
21
_
90
On regarde si ce polynme a des racines entires. Comme n
2
21 est ngatif pour n 4, on
cherche ces racines partir de n = 5. On a P (5) = 70 et P (6) = 0. On a alors P (X) =
(X 6) (X
2
+ 6X + 15) et x = 6, puis cest la seule racine relle de P.
1.4 Notions de base sur les ensembles. Quanticateurs
Nous nous contenterons dune dnition intuitive de la notion densemble.
Un ensemble est une collection dobjets possdant des proprits communes, ces objets sont
les lments de lensemble.
On utilisera les notations suivantes, pour les ensembles de nombres usuels :
N est ensemble des entiers naturels ;
Z est lensemble des entiers relatifs ;
Q est lensemble des nombres rationnels
R est lensemble des nombres rels ;
C est lensemble des nombres complexes.
On admet lexistence dun ensemble qui ne contient aucun lment. Cet ensemble est not
et on dit que cest lensemble vide.
Nous serons souvent amens dcrire un ensemble en prcisant les proprits que doivent
vrier tous ses lments, ce que nous noterons de la faon suivante :
E = {description des proprits des lments de E}
(on dit que lensemble E est dni en comprhension).
Notions de base sur les ensembles. Quanticateurs 11
Cette notion densemble dni en comprhension peut conduire des paradoxes lis au
problme de lensemble de tous les ensembles , mais un premier niveau, on se contente de
ce point de vue intuitif. Une tude approfondie de la thorie des ensembles peut mener assez
loin. Le lecteur intress peut consulter le volume de Bourbaki sur les ensembles, ou tout autre
ouvrage spcialis.
On peut aussi dcrire un ensemble en donnant la liste nie ou innie de tous ces lments,
quand cela est possible, ce qui se note :
E = {x
1
, x
2
, , x
n
}
sil sagit dun ensemble ni ou :
E = {x
1
, x
2
, , x
n
, }
sil sagit dun ensemble inni pour lequel on peut numroter les lments (un tel ensemble est
dit dnombrable). On dit alors que lensemble E est dni en extension.
Un singleton est un ensemble qui ne contient quun lment, soit E = {a} .
Si n, m sont deux entiers relatifs, lensemble des entiers relatifs compris entre n et m sera
not {n, , m} . Dans le cas o m < n, il ne peut y avoir dentiers entre n et m et cet ensemble
est tout simplement lensemble vide. Dans le cas o n = m, cet ensemble est le singleton {n} .
Pour n < m, on notera aussi {n, n + 1, , m} cet ensemble.
Nous nous contentons dans un premier temps de dnitions intuitives de ces notions den-
semble ni ou dnombrable (voir les paragraphes 2.1 et 2.2 pour des dnitions plus rigoureuses).
Si E est un ensemble, on notera a E pour signier que a est un lment de E, ce qui se
lit a appartient E . La ngation de cette assertion est a nappartient pas E et se
notera a / E.
Pour signier quun ensemble F est contenu dans un ensemble E, ce qui signie que tout
lment de F est dans E, nous noterons F E qui se lit F est contenu dans E . On peut
crire de manire quivalent que E F pour dire que E contient F. La ngation de cette
assertion est note F E.
Deux ensembles E et F sont gaux si, et seulement si, ils ont les mmes lments, ce qui se
traduit par E F et F E.
On admet que si E est un ensemble, il existe un ensemble dont tous les lments sont forms
de tous les sous-ensembles (ou parties) de E. On note P (E) cet ensemble et on dit que cest
lensemble des parties de E. Ainsi F E est quivalent F P (E) . Lensemble vide et E
sont des lments de P (E) .
Par exemple pour E = {1, 2, 3} , on a :
P (E) = {, {1} , {2} , {3} , {1, 2} , {1, 3} , {2, 3} , {1, 2, 3}}
Pour dcrire des ensembles, ou faire des raisonnements, nous utiliseront les deux quantica-
teurs suivants.
Le quanticateur universel quel que soit ou pour tout not utilis pour signier
que tout lment x dun ensemble E vrie une proprit P (x) , la syntaxe tant :
(x E) (P (x)) . (1.1)
Le quanticateur existentiel il existe not pour signier quil existe au moins un
lment x de E vriant la proprit P (x) , la syntaxe tant :
(x E) | (P (x)) . (1.2)
12 lments de logique et de thorie des ensembles
Pour signier quil existe un et un seul x dans E vriant la proprit P (x) , on utilisera
la syntaxe :
(!x E) | (P (x)) .
La ngation de lassertion 1.1 est :
(x E) |
_
P (x)
_
en utilisant le symbole | qui se lit tel que utilis pour traduire le fait que x est tel que la
proprit P (x) est vrie et la ngation de 1.2 est :
(x E)
_
P (x)
_
.
Nous verrons quil nest pas toujours facile de traduire la ngation dune assertion en utilisant
les quanticateurs.
Par exemple pour traduire le fait quune suite (u
n
)
nN
de nombres rels est convergente vers
un rel nous crirons :
( R) | ( > 0, n
0
N | n n
0
, |u
n
| < )
ce qui signie quil existe un rel tel que quel que soit la prcision > 0 que lon choisisse
lcart entre u
n
et (soit |u
n
|) est infrieur partir dun certain rang n
0
.
La ngation de cette assertion scrit :
( R) , ( > 0, n
0
N, n n
0
| |u
n
| )
Nous tudierons plus loin les suites relles ou complexes.
En utilisant les quanticateurs, il faudra faire attention lordre dapparition de ces derniers.
Par exemple les assertions suivantes, o f est une fonction valeurs relles dnie sur un
ensemble E :
x E, M > 0 | f (x) < M
et
M > 0 | x E, f (x) < M.
ne sont pas quivalentes. La premire assertion signie que pour tout lment x de E il existe
un rel M > 0 qui dpend priori de x (il faudrait donc le noter M (x)) tel que f (x) < M (par
exemple M (x) = f (x) + 1 convient), alors que la seconde signie quil existe un rel M > 0,
indpendant de x dans E, tel que f (x) < M, ce qui nest pas la mme chose.
1.5 Les symboles

et

Si n est un entier naturel non nul et x

1
, x
2
, , x
n
des entiers, rationnels, rels ou complexes,
on notera :
n

k=1
x
k
= x
1
+x
2
+ +x
n
et
n

k=1
x
k
= x
1
x
2
x
n
la somme et le produit des x
k
.
Dans une telle somme ou produit lindice est muet, cest--dire que
n

k=1
x
k
=
n

i=1
x
i
et
n

k=1
x
k
=
n

i=1
x
i
.
Les symboles

et

13
La manipulation dun produit de rels strictement positifs se ramne une somme en utilisant
la fonction logarithme :
ln
_
n

k=1
x
k
_
=
n

k=1
ln (x
k
)
On peut galement eectuer des changements dindice. Par exemple, en posant i = k + 1,
on aura :
n

k=1
x
k
=
n+1

i=2
x
i1
=
n+1

k=2
x
k1
On peut ajouter ou multiplier de telles sommes (ou produits). Par exemple, on a :
n

k=1
x
k
+
n

k=1
y
k
=
n

k=1
(x
k
+y
k
)

k=1
x
k
=
n

k=1
x
k
_
n

k=1
x
k
__
m

k=1
y
k
_
=
_
n

j=1
x
j
__
m

k=1
y
k
_
=

1jn
1km
x
j
y
k
.
Pour vrier ce rsultat, on crit que :
S =
_
n

k=1
x
k
__
m

k=1
y
k
_
= (x
1
+x
2
+ +x
n
)
_
m

k=1
y
k
_
= x
1
m

k=1
y
k
+ +x
n
m

k=1
y
k
=
n

j=1
x
j
_
m

k=1
y
k
_
=
n

j=1
_
m

k=1
x
j
y
k
_
=

1jn
1km
x
j
y
k
.
Exercice 1.18 Montrer que pour tout entier n 1, on a :
P
n
=
n

k=1
_
1 +
1
k
_
k
=
(n + 1)
n
n!
.
Solution 1.18 Il revient au mme de calculer S
n
= ln (P
n
) . On a :
S
n
= ln
_
n

k=1
_
k + 1
k
_
k
_
=
n

k=1
(k ln (k + 1) k ln (k))
=
n

k=1
k ln (k + 1)
n

k=1
k ln (k)
14 lments de logique et de thorie des ensembles
et le changement dindice j = k + 1 dans la premire somme donne :
S
n
=
n+1

j=2
(j 1) ln (j)
n

k=1
k ln (k)
=
n+1

j=2
j ln (j)
n+1

j=2
ln (j)
n

k=1
k ln (k)
=
n+1

k=2
k ln (k)
n+1

k=2
ln (k)
n

k=1
k ln (k)
= (n + 1) ln (n + 1)
n+1

k=2
ln (k)
(on a utilis le fait que lindice est muet dans une somme).
On a donc en dnitive :
S
n
= ln (P
n
) = ln
_
(n + 1)
n+1
_

n+1

k=2
ln (k)
= ln
_
(n + 1)
n+1
_
ln
_
n

k=2
k
_
= ln
_
(n + 1)
n+1
_
ln (n!)
= ln
_
(n + 1)
n+1
n!
_
et P
n
=
(n + 1)
n
n!
.
Une autre solution consiste eectuer directement un changement dindice dans le produit.
Soit :
P =
n

k=1
_
k + 1
k
_
k
=
n

k=1
(k + 1)
k
n

k=1
k
k
=
n+1

j=2
j
j1
n

k=1
k
k
=
n+1

k=2
k
k1
n

k=1
k
k
=
2 3
2
4
3
n
n1
(n + 1)
n
2
2
3
3
4
4
(n 1)
n1
n
n
=
(n + 1)
n
2 3 4 (n 1) n
=
(n + 1)
n
n!
.
1.6 Les thormes de rcurrence
On dsigne par N lensemble des entiers naturels, soit :
N = {0, 1, 2, , n, } .
La construction de cet ensemble avec les oprations usuelles daddition et de multiplication
est admise.
Les thormes de rcurrence 15
On note N

lensemble N priv de 0.
Notre point de dpart est laxiome du bon ordre suivant : toute partie non vide de N admet
un plus petit lment, ce qui signie que si A est une partie non vide de N, il existe alors un
entier m tel que :
_
m N,
n A, m n.
Exercice 1.19 On peut montrer que

3 est irrationnel en utilisant seulement le fait que N
est bien ordonn. Pour ce faire on raisonne par labsurde en supposant quil existe deux entiers
strictement positifs a et b tels que

3 =
a
b
.
On introduit lensemble :
A =
_
q N {0} | p N |

3 =
p
q
_
.
1. Montrer que A a un plus petit lment q
1
. On a donc

3 =
p
1
q
1
avec p
1
N.
2. Montrer que

3 =
3q
1
p
1
p
1
q
1
et conclure.
Solution 1.19
1. Si on suppose

3 rationnel alors lensemble A est non vide dans N et en consquence il
admet un plus petit lment q
1
. Comme q
1
A, il existe un entier p
1
1 tel que

3 =
p
1
q
1
.
2. On a :

3 + 1 =
2

3 1
=
2q
1
p
1
q
1
et :

3 =
2q
1
p
1
q
1
1 =
3q
1
p
1
p
1
q
1
=
p
2
q
2
o on a pos :
_
p
2
= 3q
1
p,
q
2
= p
1
q
1
.
Comme 1 <

3 =
p
1
q
1
< 2 (puisque 1 < 3 =

3
2
< 4) on a p
1
< 2q
1
, donc p
2
> 0 et
q
2
< q
1
. On a donc

3 =
p
2
q
2
avec q
2
A et q
2
< q
1
, ce qui contredit le fait que q
1
est le
plus petit lment de A. On peut donc conclure lirrationalit de

3.
En fait lexercice prcdent peut se gnraliser comme suit.
Exercice 1.20 Soit n un entier naturel non carr (i. e. il nexiste pas dentier p tel que n = p
2
).
On se propose, comme dans lexercice prcdent, de montrer que

n est irrationnel en utilisant
seulement le fait que N est bien ordonn.
Pour ce faire on raisonne par labsurde en supposant quil existe deux entiers strictement positifs
a et b tels que

n =
a
b
.
On introduit lensemble :
A =
_
q N {0} | p N |

n =
p
q
_
.
16 lments de logique et de thorie des ensembles
1. Montrer que A a un plus petit lment q
1
. On a donc

n =
p
1
q
1
avec p
1
N.
2. Montrer quil existe un entier m
1
[1,

n[ tel que

n =
nq
1
m
1
p
1
p
1
m
1
q
1
et conclure.
Solution 1.20
1. Si on suppose

n rationnel alors lensemble A est non vide dans N et en consquence il
admet un plus petit lment q
1
. Comme q
1
A, il existe un entier p
1
1 tel que

n =
p
1
q
1
.
2. Lensemble :
B =
_
m N

| m
2
< n
_
tant non vide dans N

(1 est dans B car n non carr dans N entrane n 2) et major

par n admet un plus grand lment m
1
N [1,

n[ et on a :
m
2
1
< n < (m
1
+ 1)
2
(m
1
est en fait la partie entire de

n). On a alors :

n +m
1
=
n m
2
1

n m
1
=
(n m
2
1
) q
1
p
1
m
1
q
1
et :

n =
(n m
2
1
) q
1
p
1
m
1
q
1
m
1
=
nq
1
m
1
p
1
p
1
m
1
q
1
=
p
2
q
2
o on a pos :
_
p
2
= nq
1
m
1
p
1
,
q
2
= p
1
m
1
q
1
.
En tenant compte de

n =
p
1
q
1
, on a :
p
2
= p
1
_
n
q
1
p
1
m
1
_
= p
1
_
n m
1
_
> 0,
soit p
2
1 et q
2
1 puisque

n =
p
2
q
2
> 0. Ensuite de :

n =
p
1
q
1
< m
1
+ 1,
on dduit que :
q
2
= p
1
m
1
q
1
< q
1
.
On a donc q
2
A et q
2
< q
1
, ce qui contredit le fait que q
1
est le plus petit lment de A.
On peut donc conclure lirrationalit de

n.
De laxiome du bon ordre, on dduit les deux thormes fondamentaux qui suivent. Le
premier rsultat est souvent appel thorme de rcurrence faible et le second thorme de
rcurrence forte.
Thorme 1.2 Soient n
0
N et P (n) une proprit portant sur les entiers n n
0
. La
proprit P (n) est vraie pour tout entier n n
0
si et seulement si :
(i) P (n
0
) est vraie ;
Les thormes de rcurrence 17
(ii) pour tout n n
0
si P (n) est vrai alors P (n + 1) est vraie.
Dmonstration. La condition ncessaire est vidente.
En supposant les conditions (i) et (ii) vries, on note A lensemble des entiers n n
0
pour
lesquels P (n) est faux. Si A est non vide il admet alors un plus petit lment n > n
0
(puisque
P (n
0
) est vraie). Mais alors P (n 1) est vraie ce qui implique, daprs (ii) , que P (n) est
vraie, soit une contradiction. En dnitive A est vide et la proprit est vraie pour tout entier
n n
0
.
Thorme 1.3 Soient n
0
N et P (n) une proprit portant sur les entiers n n
0
. La
proprit P (n) est vraie pour tout entier n n
0
si et seulement si :
(i) P (n
0
) est vraie ;
(ii) pour tout n n
0
si P (k) est vrai pour tout entier k compris entre n
0
et n, alors P (n + 1)
est vraie.
Dmonstration. La condition ncessaire est vidente.
En supposant les conditions (i) et (ii) vries, on note A lensemble des entiers n n
0
pour
lesquels P (n) est faux. Si A est non vide il admet alors un plus petit lment n > n
0
et P (k)
est vraie pour tout k compris entre n
0
et n 1, ce qui implique que P (n) est vraie, soit une
contradiction. En dnitive A est vide et la proprit est vraie pour tout entier n n
0
.
Exercice 1.21 Montrer que 2
n
> n
2
pour tout entier n 5.
Solution 1.21 Pour n = 5, on a 2
5
= 32 > 5
2
= 25.
Supposant le rsultat acquis au rang n 5, on a :
2
n+1
= 22
n
> 2n
2
> (n + 1)
2
puisque :
2n
2
(n + 1)
2
= n
2
2n 1 = (n 1)
2
2 > 0
pour n 5. Le rsultat est donc vrai au rang n + 1 et il vrai pour tout n 5.
Exercice 1.22 Montrer que si est une fonction strictement croissante de N dans N, on a
alors (n) n pour tout n.
Solution 1.22 Comme est une fonction de N dans N, (0) est un entier naturel et donc
(0) 0. Supposant le rsultat acquis pour n 0, sachant que est strictement croissante,
on a (n + 1) > (n) n, donc (n + 1) > n, ce qui quivaut (n + 1) n + 1 puisque
(n + 1) est un entier.
Le thorme de rcurrence faible peut tre utilis pour montrer quelques identits classiques
comme celles qui apparaissent avec les exercices qui suivent.
Exercice 1.23 Montrer par rcurrence que pour tout entier naturel non nul n, on a :
U
n
=
n

k=1
k =
n(n + 1)
2
,
V
n
=
n

k=1
k
2
=
n(n + 1) (2n + 1)
6
,
W
n
=
n

k=1
k
3
=
_
n(n + 1)
2
_
2
= U
2
n
.
18 lments de logique et de thorie des ensembles
Solution 1.23 Pour n = 1 cest clair.
En supposant les rsultats acquis pour n 1, on a :
U
n+1
=
n(n + 1)
2
+n + 1 =
n
2
+ 3n + 2
2
=
(n + 1) (n + 2)
2
V
n+1
=
n(n + 1) (2n + 1)
6
+ (n + 1)
2
=
(n + 1) (2n
2
+ 7n + 6)
6
=
(n + 1) (n + 2) (2n + 3)
6
W
n+1
=
_
n(n + 1)
2
_
2
+ (n + 1)
3
=
(n + 1)
2
(n
2
+ 4n + 4)
4
=
_
(n + 1) (n + 2)
2
_
2
On a aussi :
U
n
= 1 + 2 + + (n 1) +n
= n + (n 1) + + 2 + 1
et en additionnant terme terme on obtient :
2U
n
= n(n + 1) .
Le calcul de U
n
peut aussi se faire en passant par V
n+1
et en utilisant lidentit :
(k + 1)
2
= k
2
+ 2k + 1
Prcisment, en eectuant le changement dindice k = j + 1, on a :
V
n+1
=
n+1

k=1
k
2
=
n

j=0
(j + 1)
2
=
n

j=0
j
2
+ 2
n

j=0
j +
n

j=0
1
soit :
V
n+1
= V
n
+ 2U
n
+n + 1
et :
2U
n
= V
n+1
V
n
(n + 1) = (n + 1)
2
(n + 1) = n(n + 1)
ce qui donne bien U
n
=
n(n + 1)
2
.
De mme, le calcul de V
n
peut aussi se faire en passant par W
n+1
et en utilisant lidentit :
(k + 1)
3
= k
3
+ 3k
2
+ 3k + 1
Prcisment, en eectuant le changement dindice k = j + 1, on a :
W
n+1
=
n+1

k=1
k
3
=
n

j=0
(j + 1)
3
=
n

j=0
j
3
+ 3
n

j=0
j
2
+ 3
n

j=0
j +
n

j=0
1
Les thormes de rcurrence 19
soit :
W
n+1
= W
n
+ 3V
n
+ 3U
n
+n + 1
et :
3V
n
= W
n+1
W
n
3U
n
(n + 1) = (n + 1)
3
3
n(n + 1)
2
(n + 1)
=
n(n + 1) (2n + 1)
2
ce qui donne bien V
n
=
n(n + 1) (2n + 1)
6
.
Ce procd peut en fait se gnraliser.
Exercice 1.24 Calculer, pour tout entier naturel n, la somme :
I
n
= 1 + 3 + 5 + (2n 1) + (2n + 1) .
Solution 1.24 On a :
I
n
=
n

k=0
(2k + 1) = 2
n

k=0
k +
n

k=0
1 = n(n + 1) + (n + 1)
= (n + 1)
2
.
Exercice 1.25 On appelle nombres triangulaires les sommes U
n
=
n

k=1
k et nombres pyrami-
daux les sommes P
n
=
n

k=1
U
k
. Montrer que :
P
n
=
n(n + 1) (n + 2)
6
.
Solution 1.25 Pour n = 1 on a P
1
= U
1
= 1 et le rsultat est acquis est vrai pour n = 1. En
le supposant acquis pour n 1, on a :
P
n+1
=
n(n + 1) (n + 2)
6
+
(n + 1) (n + 2)
2
=
(n + 1) (n + 2)
2
_
n
3
+ 1
_
=
(n + 1) (n + 2) (n + 3)
6
.
Exercice 1.26 Montrer par rcurrence, que pour tout entier naturel n et tout nombre complexe
dirent de 1, on a :
n

k=0

k
=

n+1
1
1
.
Solution 1.26 Pour n = 0, cest clair. Si cest vrai pour n 0, alors :
n+1

k=0

k
=

n+1
1
1
+
n+1
=

n+2
1
1
.
Plus gnralement, on a lidentit (dite remarquable) suivante.
20 lments de logique et de thorie des ensembles
Exercice 1.27 Montrer que pour tout entier naturel n et tous nombres complexes a et b on a :
b
n+1
a
n+1
= (b a)
n

k=0
a
k
b
nk
.
Solution 1.27 Pour n = 0, cest vident. En supposant le rsultat acquis au rang n 0, on
a :
b
n+2
a
n+2
=
_
b
n+1
a
n+1
_
b +ba
n+1
a
n+2
= (b a)
n

k=0
a
k
b
n+1k
+ (b a) a
n+1
= (b a)
_
b
n+1
+ab
n
+ +a
n1
b
2
+a
n
b
_
+ (b a) a
n+1
= (b a)
n+1

k=0
a
k
b
n+1k
.
Le rsultat est donc vrai pour tout n 0.
Le thorme de rcurrence nous permet de dnir la fonction factorielle sur lensemble des
entiers naturels de la faon suivante :
_
0! = 1
n N, (n + 1)! = (n + 1) n!
De manire plus gnrale, cest le thorme de rcurrence qui nous assure de lexistence et
de lunicit dune suite (relle ou complexe) dnie par :
_
u
0
est un scalaire donn,
n N, u
n+1
= f (u
n
)
o f est une fonction dnie sur un ensemble I et valeurs dans le mme ensemble I. Une telle
suite est dite dnie par une relation de rcurrence (dordre 1).
Une telle suite peut aussi se dnir en donnant les premires valeurs u
0
, u
1
, , u
p
et une
relation u
n+1
= f
_
u
n
, , u
n(p1)
_
pour n p 1. Une telle suite est dite dnie par une
relation de rcurrence dordre p.
Exercice 1.28 Montrer que pour tout entier naturel n et tous nombres complexes a et b on a :
(a +b)
n
=
n

k=0
C
k
n
a
nk
b
k
o C
k
n
=
n!
k! (n k)!
pour k compris entre 0 et n avec la convention 0! = 1 (formule du binme
de Newton).
Les thormes de rcurrence 21
Solution 1.28 Pour n = 0 et n = 1, cest vident. En supposant le rsultat acquis au rang
n 1, on a :
(a +b)
n+1
= (a +b)
n
(a +b) =
_
n

k=0
C
k
n
a
nk
b
k
_
(a +b)
=
n

k=0
C
k
n
a
n(k1)
b
k
+
n

k=0
C
k
n
a
nk
b
k+1
=
n

k=0
C
k
n
a
n(k1)
b
k
+
n+1

k=1
C
k1
n
a
n(k1)
b
k
= a
n+1
+
n

k=1
_
C
k
n
+C
k1
n
_
a
n+1k
b
k
+b
n+1
et tenant compte de C
k
n
+C
k1
n
= C
k
n+1
(triangle de Pascal), cela scrit :
(a +b)
n+1
=
n1

k=0
C
k
n+1
a
n+1k
b
k
.
Le rsultat est donc vrai pour tout n 0.
Les coecients C
k
n
se notent aussi
_
n
k
_
.
On peut remarquer que, pour k x :
_
n
k
_
=
n!
k! (n k)!
=
n(n 1) (n k + 1)
k!
est un polynme en n de degr k, ce qui permet dtendre cette dnition R ou mme C.
Comme (a +b)
n
, on a aussi :
(a +b)
n
=
n

k=0
_
n
k
_
a
k
b
nk
Exercice 1.29 Montrer par rcurrence, que pour tout entier naturel non nul n et tout nombre
complexe dirent de 1, on a :
n

k=1
k
k
= n

n+1
1
+
1
n
( 1)
2
.
Solution 1.29 Pour n = 1, cest clair. Si cest vrai pour n 1, alors :
n+1

k=1
k
k
= n

n+1
1
+
1
n
( 1)
2
+ (n + 1)
n+1
= n

n+1
1
+
1
n
( 1)
2
+n
n+1
1
1
+
n+1
( 1)
2
( 1)
2
=
n
n+2
1
+

( 1)
2
_
1 +
n+1
( 2)
_
=
(n + 1)
n+2
1
+

( 1)
2
_
1
n+1
_
.
22 lments de logique et de thorie des ensembles
Exercice 1.30 Montrer que pour tout entier n 1, on a :

_
2 +

2 +
_
2 +
_
+

2 = 2 cos
_

2
n+1
_
(le nombre 2 apparaissant n fois sous la racine).
Solution 1.30 Notons x
n
=

2 +
_
2 +
_
2 +
_
+

2. Pour n = 1, on a :
x
1
=

2 = 2 cos
_

4
_
.
Supposant le rsultat acquis au rang n 1, on a :
x
2
n+1
= 2 +x
n
= 2 + 2 cos
_

2
n+1
_
et utilisant la formule cos (2) = 2 cos
2
() 1, il vient :
cos
_

2
n+1
_
= cos
_
2

2
n+2
_
= 2 cos
2
_

2
n+2
_
1
on a :
x
2
n+1
= 4 cos
2
_

2
n+2
_
.
Comme x
n+1
est positif, on en dduit que x
n+1
= 2 cos
_

2
n+2
_
.
Exercice 1.31 Soit x
1
, x
2
, , x
n
des rels dans [0, 1] . Montrer par rcurrence que
n

k=1
(1 x
k
)
1
n

k=1
x
k
.
Solution 1.31 Notons :
u
n
=
n

k=1
(1 x
k
) et v
n
= 1
n

k=1
x
k
.
Pour n = 1, on a u
1
= v
1
.
Supposant le rsultat acquis au rang n 1 et tenant compte de 1 x
n+1
0, on a :
u
n+1
= u
n
(1 x
n+1
)
_
1
n

k=1
x
k
_
(1 x
n+1
)
1
n

k=1
x
k
x
n+1
+x
n+1
n

k=1
x
k
1
n+1

k=1
x
k
= v
n+1
.
puisque tous les x
k
sont positifs.
Les thormes de rcurrence peuvent aussi tre utiliss pour montrer les rsultats fondamen-
taux darithmtique suivants.
Les thormes de rcurrence 23
Exercice 1.32 Soit a, b deux entiers naturels avec b non nul. Montrer quil existe un unique
couple dentiers (q, r) tel que :
_
a = bq +r,
0 r b 1.
Solution 1.32 On montre tout dabord lexistence du couple (q, r) par rcurrence sur lentier
a 0.
Pour a = 0, le couple (q, r) = (0, 0) convient.
Supposant le rsultat acquis pour tous les entiers a

compris entre 0 et a 1, o a est un entier

naturel non nul, on distingue deux cas. Si a est compris entre 1 et b 1, le couple (q, r) = (0, a)
convient, sinon on a a b, donc 0 a b a 1 et lhypothse de rcurrence nous assure
de lexistence dun couple dentiers (q, r) tels que a b = bq + r et 0 r b 1, ce qui nous
fournit le couple dentiers (q

, r) = (q + 1, r) .
Lunicit se montre facilement par labsurde.
Exercice 1.33 Soit n un entier naturel suprieur ou gal 2. Montrer, par rcurrence, que
soit n est premier, soit n admet un diviseur premier p

n.
Solution 1.33 Pour n = 2 et n = 3, le rsultat est vident (n est premier).
Supposons le acquis pour tous les entiers strictement infrieurs n 3. Si n est premier,
cest termin, sinon il existe deux entiers a et b compris entre 2 et n 1 tels que n = ab et
comme ces deux entiers jouent des rles symtriques, on peut supposer que a b. Lhypothse
de rcurrence nous dit que soit a est premier et cest alors un diviseur premier de n tel que
a
2
ab n, soit a admet un diviseur premier p

a et p divise aussi n avec p

n.
Exercice 1.34 Montrer que tout entier naturel n suprieur ou gal 2 se dcompose de manire
unique sous la forme :
n = p

1
1
p
r
r
,
o les p
k
sont des nombres premiers vriant :
2 p
1
< p
2
< < p
r
et les
k
sont des entiers naturels non nuls (dcomposition en nombres premiers).
Solution 1.34 On dmontre tout dabord lexistence dune telle dcomposition par rcurrence
sur n 2.
Pour n = 2, on a dj la dcomposition.
Supposons que, pour n 2, tout entier k compris entre 2 et n admet une telle dcomposition.
Si n +1 est premier, on a dj la dcomposition, sinon on crit n +1 = ab avec a et b compris
entre 2 et n et il sut dutiliser lhypothse de rcurrence pour a et b.
Lunicit dune telle dcomposition se montre galement par rcurrence sur n 2. Le rsultat
est vident pour n = 2. Supposons le acquis pour tout entier k compris entre 2 et n 2. Si
n + 1 a deux dcompositions :
n + 1 = p

1
1
p
r
r
= q

1
1
q
r
s
,
o les p
j
[resp. q
i
] sont premiers deux deux distincts et les
j
[resp.
i
] entiers naturels non
nuls. Lentier p
1
est premier et divise le produit q

1
1
q
r
s
, il divise donc ncessairement lun des
q
k
. Lentier q
k
tant galement premier la seule possibilit est p
1
= q
k
. En simpliant par p
1
on
se ramne la dcomposition dun entier infrieur ou gal n et il sut dutiliser lhypothse
de rcurrence pour conclure.
24 lments de logique et de thorie des ensembles
Exercice 1.35 Pour tout entier naturel n suprieur ou gal 2, on note H
n
=
n

k=1
1
k
.
1. Soit p un entier naturel non nul. Montrer que H
2p
=
1
2
H
p
+
a
2b + 1
o a, b sont des entiers
naturels avec a non nul.
2. Montrer par rcurrence que pour tout entier naturel non nul H
n
est le quotient dun entier
impair par un entier pair et quen consquence ce nest pas un entier.
Solution 1.35
1. On a :
H
2p
=
p

k=1
1
2k
+
p1

k=0
1
2k + 1
=
1
2
H
p
+
N
D
avec D = ppcm(1, 3, , 2p 1) qui est impair et N entier naturel non nul.
2. On a H
2
=
3
2
/ N. Supposons le rsultat acquis au rang n 2. Si n = 2p, on a alors :
H
n+1
= H
n
+
1
2p + 1
=
2a + 1
2b
+
1
2p + 1
=
(2a + 1) (2p + 1) + 2b
2b (2p + 1)
=
2a

+ 1
2b

avec a

= a +b +p + 2ap et b

= b (2p + 1) . Si n = 2p + 1, on a alors :
H
n+1
= H
2(p+1)
=
c
2d + 1
+
1
2
H
p+1
=
c
2d + 1
+
1
2
2a + 1
2b
=
4bc + (2d + 1) (2a + 1)
4b (2d + 1)
=
2a

+ 1
2b

avec a

= a +d + 2ad + 2bc et b

= 2b (2d + 1) .
Dans tous les cas, H
n
est le quotient dun entier impair par un entier pair et en cons-
quence, ce nest pas un entier.
1.7 Lalgbre des parties dun ensemble
Nous allons dnir sur lensemble P (E) des parties dun ensemble E des oprations qui vont
traduire les ides intuitives de partie complmentaire, dintersection et de runion.
Lensemble E tant donn et A, B, C, dsignant des parties de E (donc des lments de
P (E)), on dnit les ensembles suivant.
le complmentaire de A dans E est lensemble not C
E
A, ou E \ A (lire E moins A) ou A
des lments de E qui ne sont pas dans A, ce qui peut se traduire par :
_
x A
_
((x E) (x / A))
ou encore par :
A = {x E | x / A}
Lintersection de A et B, note A B, est lensemble des lments de E qui sont dans A
et dans B, soit :
(x A B) ((x A) (x B))
Lalgbre des parties dun ensemble 25
ou encore :
A B = {x E | x A et x B}
Si A B = , on dit alors que A et B sont disjointes.
Par exemple A et A sont disjointes.
La runion de A et B, note A B, est lensemble des lments de E qui sont soit dans
A, soit dans B (ventuellement dans A et B) soit :
(x A B) ((x A) (x B))
ou encore :
A B = {x E | x A ou x B}
La dirence de A et B, note A\ B, est lensemble des lments de E qui sont dans A et
qui ne sont pas dans B, soit :
(x A \ B) ((x A) (x / B))
ou encore :
A \ B = {x A | x / B}
Ainsi A = E \ A.
La dirence symtrique de A et B, note AB, est lensemble des lments de E qui
sont soit dans A et pas dans B soit dans B et pas dans A (cest--dire dans A ou exclusif
dans B), soit :
(x AB) ((x A) (x / B)) ((x B) (x / A))
Par exemple, on a A = A, AE = A.
Ces oprateurs de complmentarit, intersection, runion et dirence symtrique sont d-
crits laide des connecteurs logiques non de ngation, de conjonction, de disjonction et
W de disjonction exclusive.
Avec le thorme qui suit, on rsume les rsultats essentiels relatifs ces oprateurs ensem-
blistes.
Thorme 1.4 Soient E un ensemble et A, B, C, des sous-ensembles de E. On a :
1. commutativit :
A B = B A
A B = B A
AB = BA
2. associativit :
A (B C) = (A B) C
A (B C) = (A B) C
A(BC) = (AB) C
3. distributivit :
A (B C) = (A B) (A C)
A (BC) = (A B) (A C)
A (B C) = (A B) (A C)
26 lments de logique et de thorie des ensembles
4. dirence symtrique :
AA =
AB = (A \ B) (B \ A)
AB =
_
A B
_

_
B A
_
AB = (A B) \ (A B)
5. ngations :
A = A
(A B)
_
B A
_
A B = A B
A B = A B
Dmonstration. Laisse au lecteur.
On notera lanalogie entre ce thorme et le thorme 1.1 sur les rgles de calculs avec les
connecteurs logiques.
Toutes ces galits entre ensembles se visualisent bien en utilisant les diagrammes dEuler-
Venn.
La proprit dassociativit de lintersection et de la runion nous permet dcrire ABC
et A B C lintersection et la runion de trois ensembles sans se soucier de parenthses. De
manire plus gnrale, grce cette associativit, on peut dnir lintersection ou la runion
de n sous-ensembles A
1
, A
2
, , A
n
de E par :
(x A
1
A
2
A
n
) ((x A
1
) (x A
2
) (x A
n
))
et :
(x A
1
A
2
A
n
) ((x A
1
) (x A
2
) (x A
n
))
De faon condense, on crira (A
k
)
1kn
une telle famille de sous ensembles de E et :
n

k=1
A
k
= A
1
A
2
A
n
lintersection et :
n
_
k=1
A
k
= A
1
A
2
A
n
la runion.
On vrie facilement que pour tout entier j compris entre 1 et n, on a :
n

k=1
A
k
A
j

n
_
k=1
A
k
.
Dnition 1.1 On dit quune famille (A
k
)
1kn
de parties dun ensemble E forme une parti-
tion de E si les A
k
sont deux deux disjoints, cest--dire que A
k
A
j
= pour 1 k = j n
de runion gale E, soit
n

k=1
A
k
= E.
Dans le cas o (A
1
, A
2
) forme une partition de E, on a ncessairement A
2
= A
1
.
Lalgbre des parties dun ensemble 27
Exercice 1.36 Simplier les expressions suivantes, o A et B sont des sous-ensembles dun
ensemble E :
1. C =
_
A B
_

_
A B
_
(A B)
2. C
3. D = A B
_
A B
_
(A B) (A B)
Solution 1.36
1. Avec la distributivit de sur , on a :
A = A E = A
_
B B
_
=
_
A B
_

_
A B
_
(on a mis A en facteur) et avec la distributivit de sur , on a :
C = A (A B) =
_
A A
_

_
A B
_
= E
_
A B
_
= A B.
2. C = A B.
3. En posant :
X = A B, Y = X
_
A B
_
, Z = Y (A B) , T = Z (A B)
on a :
D = T = Z
_
A B
_
= Y (A B)
_
A B
_
= X
_
A B
_
(A B)
_
A B
_
avec
_
A B
_

_
A B
_
= E, donc D = E.
Exercice 1.37 Soient A
1
, A
2
, , A
p
des ensembles deux deux distincts. Montrer que lun
de ces ensembles ne contient aucun des autres.
Solution 1.37 On raisonne par labsurde, cest--dire quon que chacun des ensembles A
k
contient un ensemble A
j
dirent de A
k
. Donc A
1
contient un ensemble A
j
1
= A
1
, soit A
j
1
A
1
,
A
j
1
contient un ensemble A
j
2
= A
j
1
, soit A
j
2
A
j
1
, et on peut continuer indniment, ce qui
est impossible puisque la famille densembles est nie.
Exercice 1.38 Que dire de deux ensembles A et B tels que A B = A B?
Solution 1.38 On a toujours A B A B. Si de plus A B A B, on a alors :
A A B A B B et B A B A B A
ce qui donne A = B.
Exercice 1.39 Soient A, B, C trois ensembles. Montrer que A C = A B si, et seulement
si, B A C.
Solution 1.39 Si A C = A B, alors :
B A B = A C A et A A B = A C C.
Rciproquement si B A C, alors :
A C = A = A B
28 lments de logique et de thorie des ensembles
Exercice 1.40 Soient A, B, C trois ensembles. Montrer que si AB AC et AB AC,
alors B C.
Solution 1.40 Soit x B. Comme A B A C, x est dans A C. Sil est dans C cest
ni, sinon il est dans A, donc dans A B A C, donc dans C.
Exercice 1.41 Soient A, B, C trois ensembles. Montrer que :
(A B) (B C) (C A) = (A B) (B C) (C A)
Solution 1.41 On a :
(A B) (B C) = B (A C)
et, en notant D = (A B) (B C) (C A) , on a :
D = ((B C) (A B)) (C A) = (A B) (B C) (C A)
Ou alors on part de x D et on montre que x E = (A B) (B C) (C A) , puis
partant de x E, on montre que x D.
La notion de produit cartsien de deux ensembles sera trs souvent utilise. Elle correspond
lide de couples et se gnralise pour aboutir la notion de liste.
Dnition 1.2 tant donn deux ensembles E et F, on appelle produit cartsien de E par F
lensemble E F des couples (x, y) forms dun lment x de E et dun lment y de F.
Il est noter que les couples sont ordonns, cest--dire que (x, y) = (y, x) E F si, et
seulement si x = y. De manire plus gnrale, on a (x, y) = (x

, y

) dans E F si, et seulement

si x = x

et y = y

.
Dans le cas o F = E, on note E
2
pour E E.
On peut itrer le procd et dnir le produit cartsien E
1
E
2
E
n
de n ensembles
comme lensemble des listes (ordonnes) (x
1
, x
2
, , x
n
) formes dun lment x
1
de E
1
suivi
dun lment x
2
de E
2
, , suivi dun lment x
n
de E
n
. On notera de faon condens :
n

k=1
E
k
= E
1
E
2
E
n
.
L encore, on a (x
1
, x
2
, , x
n
) = (x

1
, x

2
, , x

n
) dans E F si, et seulement si x
k
= x

k
pour tout k compris entre 1 et n.
Dans le cas o tous les E
k
sont gaux un mme ensemble E, on notera E
n
pour E E
E (n fois).
Exercice 1.42 Montrer que lensemble :
C =
_
(x, y) R
2
| x
2
+y
2
1
_
ne peut pas scrire comme produit cartsien de deux parties de R.
Solution 1.42 Si C = EF, o E et F sont deux parties de R, on a alors (1, 0) C = EF
et (1, 0) C = E F, donc 1 E F et (1, 1) E F = C, ce qui est faux.
Applications. Notions dinjectivit, surjectivit et bijectivit 29
1.8 Applications. Notions dinjectivit, surjectivit et bi-
jectivit
Les notations E, F, G dsignent des ensembles.
Dnition 1.3 On appelle application, ou fonction, de E dans F (ou de E vers F) toute partie
du produit cartsien E F telle que :
x E, !y F | (x, y) .
En notant f une application de E dans F (cest en ralit le triplet (E, F, ) avec la proprit
nonce ci-dessus), on notera pour tout x E, f (x) lunique lment de F tel que (x, f (x))
et on dira que f (x) est limage de x par f et x est un antcdent de y par f. Un antcdent de
y par f nest pas unique a priori.
On dira aussi que E est lensemble de dpart (ou lensemble de dnition), F lensemble
darrive et le graphe de lapplication f.
Deux applications f et g sont gales si, et seulement si, elles ont mme ensemble de dpart
E, mme ensemble darrive F et mme graphe , cest--dire que :
x E, g (x) = f (x)
On a tout simplement prcis lide dun procd qui associe tout lment de E un unique
lment de F.
On notera :
f : E F
x f (x)
une telle application (ou fonction). On utilisera aussi les notation f : E F ou f : x f (x) .
Remarque 1.2 Nous ne faisons pas la distinction ici entre fonction et application. Usuelle-
ment, on distingue ces notions en disant quune fonction de E dans F toute partie du produit
cartsien E F telle que pour tout lment x de E, il existe au plus un lment y de F tel
que (x, y) . Le sous-ensemble D de E pour lequel il existe un unique lment y de F tel
que (x, y) est appel lensemble de dnition de la fonction. Une application est donc une
fonction pour laquelle tout lment de lensemble de dpart E a une image dans F.
On notera F (E, F) ou F
E
lensemble de toutes les applications de E dans F (la deuxime
notation sera justie plus loin).
Lapplication qui associe tout x dun ensemble E le mme x est lapplication identique
note Id
E
, o Id si lensemble E est x.
Si f est une fonction de E dans F et D un sous-ensemble non vide de E, on dnit une
application g de D dans F en posant :
x D, g (x) = f (x)
et on dit que g est la restriction de f D, ce qui se note g = f
|D
.
Dnition 1.4 Soit f une application de E dans F. Pour toute partie A de E, limage de A
par f est le sous ensemble de F not f (A) et dni par :
f (A) = {f (x) | x A} .
Pour toute partie B de F, limage rciproque de B par f est le sous ensemble de E not f
1
(B)
et dni par :
f
1
(B) = {x E | f (x) B} .
30 lments de logique et de thorie des ensembles
On a donc, pour tout y F :
y f (A) x A | y = f (x)
et pour tout x E :
x f
1
(B) f (x) B.
Lensemble f (E) est appel limage de f.
propos de la notation f
1
(B) , on pourra lire la remarque 1.3 (qui nengage que moi) plus
loin.
Exemple 1.1 On a f () = , f ({x}) = {f (x)} pour tout x E, f
1
() = et f
1
(F) = E.
Pour tout y F, f
1
{y} est lensemble des x E tels que f (x) = y et cet ensemble peut
tre vide ou form de un ou plusieurs lments. En fait f
1
{y} est lensemble des solutions
dans E de lquation f (x) = y, o y est donn dans F et x linconnue dans E. Cette quation
peut avoir 0 ou plusieurs solutions.
Exemple 1.2 Pour f : x x
2
avec E = F = R, on a f
1
{0} = {0} , f
1
{1} = et
f
1
{1} = {1, 1} .
On vrie facilement le rsultat suivant.
Thorme 1.5 Soit f une application de E dans F. Pour toutes parties A, B de E et C, D de
F, on a :
1. A B f (A) f (B)
2. f (A B) = f (A) f (B)
3. f (A B) f (A) f (B)
4. C D f
1
(C) f
1
(D)
5. f
1
(C D) = f
1
(C) f
1
(D)
6. f
1
(C D) = f
1
(C) f
1
(D)
7. f
1
_
C
_
= f
1
(C)
Dmonstration. Vrication immdiate.
Par exemple, pour le point 2, on peut crire que y est dans f (A B) si, et seulement si, il
existe x dans A B tel que y = f (x) , ce qui implique que y f (A) dans le cas o x A
ou y f (B) dans le cas o x B, soit y f (A) f (B) dans tous les cas. Rciproquement
si y f (A) f (B) , il est dans f (A) ou f (B) et scrit donc y = f (x) avec x dans A ou
B, ce qui signie que y f (A B) . On a donc les inclusions f (A B) f (A) f (B) et
f (A) f (B) f (A B) , cest--dire lgalit souhaite.
Pour le point 3, on a seulement une inclusion. Dire que y f (A B) quivaut dire quil
existe x AB tel que y = f (x) et y f (A) f (B) . Rciproquement, si y f (A) f (B) ,
il existe x
1
A et x
2
B tels que y = f (x
1
) = f (x
2
) et, a priori, il ny a aucune raison pour
que x
1
= x
2
.
Exercice 1.43 Vrier sur un exemple que lgalit f (A B) = f (A) f (B) nest pas tou-
jours vrie.
Applications. Notions dinjectivit, surjectivit et bijectivit 31
Solution 1.43 Considrer f : x sin (x) avec A = [, ] et B = [0, 2] . On a :
f (A B) = f ([0, ]) = [0, 1] f (A) f (B) = [1, 1] .
Exercice 1.44 Soit f une application de E dans F. Vrier que :
1. pour toute partie A de E, A f
1
(f (A))
2. pour toute partie B de F, f (f
1
(B)) = B f (E) .
Solution 1.44 Vrication immdiate.
Exercice 1.45 Soient E un ensemble et f une application de P (E) dans R telle que pour
toutes parties disjointes de E on ait f (A B) = f (A) +f (B) .
1. Montrer que f () = 0.
2. Montrer que pour toutes parties A, B de E, on a :
f (A B) +f (A B) = f (A) +f (B) .
Solution 1.45
1. On a f () = f ( ) = f () +f () dans R, donc f () = 0.
2. Avec les partitions A B = A (B \ A) et B = (A B) (B \ A) , on a :
_
f (A B) = f (A) +f (B \ A)
f (B) = f (A B) +f (B \ A)
et par soustraction :
f (A B) f (B) = f (A) f (A B)
qui donne le rsultat.
Aprs avoir dni le cardinal dun ensemble et la notion densemble ni (qui est quand mme
intuitive), nous verrons que si E est un ensemble ni alors la fonction f qui associe une partie
A de E son cardinal (cest--dire le nombre de ses lments) vrie lquation fonctionnelle de
lexercice prcdent.
On dispose dune opration importante sur les fonctions, cest la composition des fonctions
qui permet de construire de nouvelles fonctions partir de fonctions donnes.
Dnition 1.5 Soient f une application de E dans F et g une application de F dans G. La
compose de f par g est la fonction de E dans G note g f et dnie par :
x E, g f (x) = g (f (x)) .
Ce qui peut se schmatiser par :
E
f
F
g
G
x f (x) g (f (x))
On remarquera que f g nest pas dnie a priori (dans la situation de la dnition).
Dans le cas ou f est dnie de E dans F et g de F dans E, on peut dnir les applications
f g (de F dans F) et g f (de E dans E) et il ny a aucune raison pour que ces applications
soient gales, mme si F = E.
32 lments de logique et de thorie des ensembles
Dans le cas o E = F, on dit que les applications f et g (dnies de E dans E) commutent
si f g = g f.
On vrie facilement que la loi de composition est associative, cest--dire que f (g h) =
(f g) h, quand toutes ces composes ont un sens.
Cette proprit dassociativit permet de dnir la compose de n applications f
1
f
2
f
n
sans se soucier de parenthses.
Si f est une application de E dans E, on peut dnir la suite de ses itres par la relation
de rcurrence suivante :
_
f
1
= f
n N

, f
n+1
= f
n
f
On convient que f
0
= Id
E
.
On vrie facilement que f
p
f
q
= f
q
f
p
= f
p+q
pour tous entiers naturels p, q.
Exercice 1.46 Soient E et F deux ensembles. Dterminer toutes les applications f de E dans
E telles que f g = g f pour toute application g de E dans E.
Solution 1.46 Soit x E et g la fonction dnie sur E par g (y) = x pour tout y E (la
fonction constante gale x). On a alors x = g (f (x)) = f (g (x)) = f (x) . Comme x est
quelconque dans E, on dduit que f = Id
E
.
Les notions suivantes dinjectivit et de surjectivit sont aussi trs importantes.
Dnition 1.6 Soient E, F deux ensembles et f une application de E dans F. On dit que f
est :
1. injective (ou que cest une injection) si deux lments distincts de E on deux images
distinctes dans F, soit :
x
1
= x
2
dans E f (x
1
) = f (x
2
) dans E (1.3)
2. surjective (ou que cest une surjection) si tout lment de F a au moins un antcdent
dans E, soit :
y F, x E | y = f (x)
3. bijective (ou que cest une bijection) si elle est la fois injective ou surjective.
Une injection peut aussi se caractriser en disant que tout lment de y a au plus un an-
tcdent par f, encore quivalent dire que pour tout y F lquation y = f (x) a au plus
une solution x dans E, ce qui revient dire que si x
1
et x
2
sont deux lments de E tels que
f (x
1
) = f (x
2
) , alors x
1
= x
2
(contrapose de (1.3)).
Une surjection peut se caractriser en disant que pour tout y F lquation y = f (x) a au
moins une solution x dans E, encore quivalent dire que f (E) = F.
Si f est une surjection de E dans F, on dit parfois que f est une surjection de E sur (pour
surjection) F.
Une bijection peut se caractriser en disant que tout lment de y a un unique antcdent
par f, encore quivalent dire que pour que pour tout y F lquation y = f (x) a une et une
seule solution x dans E, ce qui permet de dnir lapplication rciproque de f, note f
1
, de
F dans E par :
_
y F et x = f
1
(y)
_
(x E et y = f (x)) .
Cette application f
1
est une bijection de F dans E.
Lapplication f f
1
est alors lapplication identit y y de F dans F et lapplication
f
1
f est alors lapplication identit x x de E dans E, ce qui se note f f
1
= Id
F
et
f
1
f = Id
E
.
Applications. Notions dinjectivit, surjectivit et bijectivit 33
Dnition 1.7 On appelle permutation dun ensemble E toute bijection de E dans lui mme.
On note en gnral S(E) lensemble des permutations de E.
Exemple 1.3 Lapplication x x
2
est surjective de R dans R
+
, mais non injective. Elle
bijective de R
+
dans R
+
.
Remarque 1.3 Dans le cas o f est une application de E dans F, on a not pour toute partie
B de F, f
1
(B) limage rciproque de B par f, sans aucune hypothse de bijectivit pour f.
Dans le cas o f est bijective, f
1
(B) est aussi limage directe de B par f
1
, mais dans le cas
gnral, il faut bien prendre garde, malgr la notation, que f na aucune raison dtre bijective.
Il faudrait en ralit utiliser un autre symbole que f
1
(par exemple f

(B) , f
(1)
(B) , ou
f

(f)), mais je prfre utiliser la notation f

1
(B) rencontre le plus souvent. Si lon sait
de quoi lon parle il ny a pas de vritable problme, il sagit seulement dune notation.
On peut lire dans An introduction to the theory of numbers de Hardy et Wright, p. 7 : We shall
very often use A as in (vi) , viz. an unspecied positive constant. Dierent As have usually
dierent values, even when they occur in the same formula ; and even when denite values can
be assigned to them, these values are irrelevant to the argument. Cest peut tre excessif, mais
lessentiel est toujours de savoir de quoi lon parle, on pourra ensuite crire les choses en toute
rigueur.
Exercice 1.47 Montrer quune application f strictement monotone de R dans R est injective.
Solution 1.47 Supposons que f soit strictement croissante (au besoin on remplace f par f).
Si x = y, on a ncessairement x > y ou y > x et donc f (x) > f (y) ou f (x) < f (y) , soit
f (x) = f (y) dans tous les cas.
Exercice 1.48 Soit m un entier naturel. Montrer que sil existe un entier naturel n et une
injection de E
n
= {1, , n} dans E
m
= {1, , m} , on a alors ncessairement n m.
Solution 1.48 On procde par rcurrence sur m 0.
Si m = 0, on a alors E
m
= et E
n
= (en eet, si E
n
= , lensemble f (E
n
) est alors non
vide et contenu dans lensemble vide, ce qui est impossible), donc n = 0.
Supposons le rsultat acquis pour m 0. Soit une injection de E
n
dans E
m+1
. Si n = 0, on
a bien n m+ 1. Si n 1, on distingue alors deux cas de gure :
soit (n) = m + 1 et dans ce cas induit une bijection de E
n1
dans E
m
(la restriction
de E
n1
) et n 1 m, soit n m+ 1 ;
soit (n) = m + 1 et dans ce cas, en dsignant par lapplication de E
m+1
dans lui
mme dnie par ((n)) = m + 1, (m+ 1) = (n) et (k) = k pour k E
m+1
\
{(n) , m+ 1} , lapplication est injective de E
n
dans E
m+1
(compose de deux
injections puisque est injective et bijective) avec (n) = m + 1, ce qui nous
ramne au cas prcdent.
On dduit de lexercice prcdent que pour n > m dans N, il nexiste pas dinjection de
{1, , n} dans {1, , m} .
Exercice 1.49 Soient n, m deux entiers naturels. Montrer que sil existe une bijection de
E
n
= {1, , n} sur E
m
= {1, , m} , on a alors ncessairement n = m.
Solution 1.49 On a n m puisque est une injection de E
n
dans E
m
et m n puisque
1
est une injection de E
m
dans E
n
, ce qui donne n = m.
34 lments de logique et de thorie des ensembles
Le rsultat des deux exercices prcdents nous seront utiles pour dnir le cardinal (cest--
dire le nombre dlments) dun ensemble ni.
Exercice 1.50 Soient E, F deux ensembles et f une bijection de E sur F. Montrer que si g
[resp. h] est une application de F sur E telle que g f = Id
E
[resp. f h = Id
F
], alors g [resp.
h] est bijective et g = f
1
[resp. h = f
1
].
Solution 1.50 Rsulte de g = (g f)f
1
= Id
E
f
1
= f
1
et h = f
1
(f h) = f
1
Id
F
=
f
1
.
On vrie facilement le rsultat suivant.
Thorme 1.6 Soient E, F, G des ensembles, f une application de E dans F et g une appli-
cation de F dans G.
1. Si f et g sont injectives, alors g f est injective (la compose de deux injections est une
injection).
2. Si f et g sont surjectives, alors g f est surjective (la compose de deux surjections est
une surjection).
3. Si f et g sont bijectives, alors g f est bijective (la compose de deux injections est une
bijection) et (g f)
1
= f
1
g
1
.
Dmonstration.
1. Supposons f et g injectives. Si g f (x
1
) = g f (x
2
) , alors g (f (x
1
)) = g (f (x
2
)) , donc
f (x
1
) = f (x
2
) puisque g est injective et x
1
= x
2
puisque f est injective.
2. Supposons f et g surjectives. Pour tout z G, il existe y F tel que z = g (y) puisque
g est surjective et y F scrit y = f (x) avec x E puisque f est surjective. On a donc
z = g f (x
1
) avec x E. Lapplication g f est donc surjective.
De manire plus compacte, on peut crire que :
(g f) (E) = g (f (E)) = g (F) = G.
3. Les deux premiers points nous disent que g f est bijective si f et g le sont. Puis avec
(f
1
g
1
) g f = f
1
Id
F
f = f
1
f = Id
E
, on dduit que f
1
g
1
est linverse
de g f.
Exercice 1.51 Soient E, F, G des ensembles, f une application de E dans F et g une appli-
cation de F dans G. Montrer que :
1. si g f est injective, alors f est injective ;
2. si g f est surjective, alors g est surjective ;
3. si g f est surjective et g injective, alors f est surjective ;
4. Si g f est injective et f surjective, alors g est injective.
Solution 1.51
1. Si x, x

dans E sont tels que f (x) = f (x

) , alors g f (x) = g f (x

) et x = x

puisque
g f est injective. Lapplication f est donc injective.
Applications. Notions dinjectivit, surjectivit et bijectivit 35
2. Pour tout z dans G, il existe x dans E tel que z = g f (x) puisque g f est surjective et
en notant y = f (x) , on a y F et z = g (y) , ce qui prouve que g est surjective.
3. Soit y F. Comme g f est surjective, il existe x E tel que z = g (y) = (g f) (x) =
g (f (x)) et y = f (x) si on suppose de plus que g est injective. En consquence, f est
surjective.
4. Soient y, y

dans F tels que g (y) = g (y

) . Comme f est surjective, il existe x, x

dans E
tels que y = f (x) et y

= f (x

) , ce qui donne g f (x) = g f (x

) et x = x

puisque g f
est injective, donc y = y

.
Le rsultat qui suit peut parfois tre utile pour montrer linjectivit, la surjectivit ou la
bijectivit dune application.
Thorme 1.7 Soient E, F deux ensembles et f une application de E dans F.
1. Sil existe une application g de F dans E telle que g f = Id
E
, alors f est injective.
2. Sil existe une application h de F dans E telle que f h = Id
F
, alors f est surjective.
3. Sil existe deux applications g et h de F dans E telles que g f = Id
E
et f h = Id
F
,
alors f est bijective et g = h = f
1
.
Dmonstration.
1. Si x, x

dans E sont tels que f (x) = f (x

) , alors x = g f (x) = g f (x

) = x

et f est
injective.
2. Pour tout y F, on a y = (f h) (y) = f (h(y)) avec x = h(y) E, donc f est surjective.
3. Les deux premiers points nous disent que f est bijective et de g f = Id
E
, on dduit que
f
1
= (g f) f
1
= g. De mme h = g
1
.
Exercice 1.52 Soient m un entier naturel non nul et E un ensemble non vide. Montrer que
sil existe une surjection de E
m
= {1, , m} sur E, on peut alors construire une injection
de E dans E
m
.
Solution 1.52 Comme est surjective de E
m
sur E, on a
1
{x} = pour tout x E et
chacun de ces sous-ensembles de E
m
a un plus petit lment j
x
= min
1
{x} E
m
, ce qui
permet de dnir lapplication de E dans E
m
par :
x E, (x) = j
x
On a alors :
x E, (x) = (j
x
) = x
cest--dire que = Id
E
et lapplication est injective (thorme prcdent).
Exercice 1.53 Soient n, m deux entiers naturels non nuls. Montrer que sil existe une surjec-
tion de E
n
= {1, , n} sur E
m
= {1, , m} , on a alors ncessairement n m.
Solution 1.53 En utilisant le rsultat de lexercice prcdent, on peut construire une injection
de E
m
dans E
n
et ncessairement m n (exercice 1.48).
Exercice 1.54 Soient E un ensemble et f une application de E dans E. Montrer que f est
injective si, et seulement si, f (A B) = f (A) f (B) pour toutes partie A et B de E.
36 lments de logique et de thorie des ensembles
Solution 1.54 On a toujours f (A B) f (A) f (B) pour toutes partie A et B de E, que
f soit injective ou pas. En eet un lment y de f (A B) scrit y = f (x) avec x A B et
donc y f (A) f (B) . Rciproquement si y f (A) f (B) , il existe x A et x

B tels que
y = f (x) = f (x

) et dans le cas o f est injective, on a ncessairement x = x

A B, donc
y f (A B) .
On a donc f (A B) = f (A) f (B) pour toutes partie A et B de E, si f est injective.
Rciproquement supposons que f (A B) = f (A) f (B) pour toutes partie A et B de E. Si f
nest pas injective, il existe x = x

dans E tels que f (x) = f (x

) et :
= f () = f ({x} {x

}) = f ({x}) f ({x}) = f ({x}) = {f (x)}

ce qui est impossible. Donc f est injective.
Exercice 1.55 Soient E un ensemble et f une application de E dans E. Montrer que f est
bijective si, et seulement si, f
_
A
_
= f (A) pour toute partie A de E.
Solution 1.55 Supposons f bijective. Un lment y de E est dans f
_
A
_
si, et seulement
si, il scrit y = f (x) o x est uniquement dtermin dans A, ce qui implique y / f (A)
(sinon y = f (x

) = f (x) avec x

A et x = x

A, ce qui contredit x A). On a donc

f
_
A
_
f (A). Si y / f (A) , il scrit y = f (x) (f est bijective) et x / A, donc y f
_
A
_
.On
a donc f (A) f
_
A
_
et f
_
A
_
= f (A).
Supposons que f
_
A
_
= f (A) pour toute partie A de E. En particulier, on a f (E) = f
_

_
=
f () = = E et f est surjective. Si x = x

dans E, en remarquant que x

{x}, on a
f (x

) f
_
{x}
_
= {f (x)} et f (x) = f (x

) . Donc f est injective.

Exercice 1.56 Soient E, F, G, H des ensembles, f une application de E dans F, g une ap-
plication de F dans G et h une application de G dans H. Montrer que si g f et h g sont
bijectives, alors f, g et h sont bijectives.
Solution 1.56 Si g f est bijective, elle est alors surjective et il en est de mme de g (exercice
1.51). Si h g est bijective, elle est alors injective et il en est de mme de g (exercice 1.51).
Donc g est bijective. Il en rsulte que f = g
1
(g f) et h = (h g)g
1
sont bijectives comme
composes.
Exercice 1.57 On dsigne par f lapplication dnie sur N
2
= N N par :
(n, m) N
2
, f (n, m) = 2
n
3
m
Montrer que f est injective. Il rsulte que N
2
est en bijection avec le sous ensemble f (N
2
) de
N. Ce rsultat se traduit en disant que N
2
est dnombrable.
Solution 1.57 Lgalit f (n, m) = f (n

, m

) avec (n, m) et (n

, m

) dans N
2
quivaut 2
n
3
m
=
2
n

3
m

et lunicit de la dcomposition en facteurs premiers dun entier naturel non nul nous
dit que (n, m) = (n

, m

) . Lapplication f est donc injective de N

2
dans N et bijective de N
2
dans f (N
2
) N.
Exercice 1.58 Montrer que lapplication f : (n, m) 2
n+m+1
+ 2
m
est injective de N
2
dans
N.
Solution 1.58 Lgalit f (n, m) = f (n

, m

) avec (n, m) et (n

, m

) dans N
2
quivaut 2
m
(2
n+1
+ 1) =
2
m

_
2
n

+1
+ 1
_
. Si m > m

, on a alors 2
mm

(2
n+1
+ 1) = 2
n

+1
+ 1 qui est la fois pair et
impair, ce qui est impossible. De manire analogue, on voit que m

> m est impossible. On

a donc m = m

et 2
n+1
+ 1 = 2
n

+1
+ 1, ce qui quivaut n = n

. Lapplication f est donc

injective.