Universit e de Metz

Licence de Math ematiques

1` ere ann ee, 1er semestre
Logique et th eorie des ensembles
par Ralph Chill
Laboratoire de Math ematiques et Applications de Metz
Ann ee 2007/08
1
Contenu
Chapitre 1. Logique 5
1. Logique des propositions 5
2. Logique des pr edicats 10
3. Modes de raisonnement 12
Chapitre 2. Th eorie des ensembles 17
1. Lapproche nave ` a la th eorie des ensembles 17
2. Approche axiomatique ` a la th eorie des ensembles 18
3. Le produit cart esien 22
4. Relations d equivalence 24
5. Relations dordre 26
6. Fonctions et applications 28
7. Lois de composition 29
Chapitre 3. Arithm etique 33
1. Laxiome de lensemble inni et d enition de N 33
2. Construction de Z 35
3. Lalgorithme dEuclide 36
Chapitre 4. Laxiome du choix 41
Bibliographie 43
3
CHAPITRE 1
Logique
1. Logique des propositions
1.1. Proposition.
D rrrxrrrox 1.1 (Proposition). Une proposition est un enonc e d eclaratif dont on
peut dire sil est vrai (valeur 1) ou sil est faux (valeur 0), ind ependamment de tout
context de lieu, de temps, ou de personne qui le prononce. De plus, un enonc e qui
est ` a la fois vrai et faux nest pas une proposition.
Rrmxatr 1.2. (a) En math ematiques, une proposition est dite vraie si elle est
d emontrable.
(b) On ecrit tout court p, q, . . . an de d esigner une proposition.
1.2. Connecteurs logiques. Les propositions sont les atomes en logique. A
partir dune, deux ou plusieurs propositions on peut cr eer de nouvelles propositions
` a laide de connecteurs logiques. Nous allons d enir les r` egles pour les cinq con-
necteurs non, et, ou, si . . . alors et si et seulement si.
D rrrxrrrox 1.3 (N egation, non). La n egation dune proposition est une propo-
sition qui est vraie si celle-ci est fausse et vice-versa.
Notation: .
La table de v erit e de la n egation est la suivante:
p p
0 1
1 0
Quelques traductions usuelles: non, il est faux que, ne . . . pas.
Exrmrirs 1.4. (a) Vous n etes pas sans savoir que Beethoven a ecrit lHymne ` a
la Joie.
(b) Un androgyne nest ni homme ni une femme.
D rrrxrrrox 1.5 (Conjonction, et). La conjonction de deux propositions est une
proposition qui est vraie si les deux propositions sont simultan ement vraies. Elle est
fausse d` es que lune au moins des deux propositions est fausse.
Notation: .
5
6 1. LOGIQUE
La table de v erit e de la conjonction est la suivante:
p q p q
0 0 0
0 1 0
1 0 0
1 1 1
Quelques traductions usuelles: et, mais, quoique, bien que.
Exrmrirs 1.6. (a) Il ne ma pas plu quoiquil ait du charme.
(b) C eline est un grand ecrivain mais cest un personnage contrevers e.
D rrrxrrrox 1.7 (Disjonction, ou inclusif). La disjonction de deux propositions
est une proposition qui est vraie d` es que lune au moins des deux propositions est
vraie. Elle est fausse si les deux propositions sont simultan ement fausses.
Notation: .
La table de v erit e de la disjonction est la suivante:
p q p q
0 0 0
0 1 1
1 0 1
1 1 1
Quelques traductions usuelles: ou, ` a moins que.
Exrmrirs 1.8. (a) Ce m edicament peut provoquer des troubles de l equilibre ou
de la vue.
(b) Simon viendra ` a moins quil soit malade.
D rrrxrrrox 1.9 (Implication, Conditionnelle, si . . . alors). Si p et q sont deux
propositions, alors limplication si p alors q est une proposition qui est vraie si
p est faux, ou bien si p et q sont simultan ement vrais. Cette implication est fausse
uniquement si lant ec edant p est vrai et le cons equent q faux.
Notation: .
La table de v erit e de limplication est la suivante:
p q p q
0 0 1
0 1 1
1 0 0
1 1 1
Quelques traductions usuelles: si . . . alors, implique, a pour cons equence,
donc. Limplication p q sera aussi traduit par p seulement si q, car la propo-
sition p seulement si q nest faux que dans le cas o` u p est vrai et q est faux, et elle
a donc la m eme table de v erit e que p q.
Exrmrir 1.10. (a) Si Jupin a de bons avocats alors il nira pas en prison.
1. LOGIQUE DES PROPOSITIONS 7
D rrrxrrrox 1.11 (Equivalence, si et seulement si). Si p et q sont des proposi-
tions, alors l equivalence p si et seulement si q est une proposition qui signie (p
si q) et (p seulement si q). La valeur de v erit e de l equivalence p si et seulement si
q est la valeur de v erit e de (q p) (p q). L equivalence p si et seulement si
q est donc vraie uniquement si p et q ont la m eme valeur de v erit e.
Notation: .
La table de v erit e de l equivalence est la suivante:
p q p q
0 0 1
0 1 0
1 0 0
1 1 1
Quelques traductions usuelles: si et seulement si, equivaut ` a, equivaut ` a
dire ou revient ` a dire.
Rrmxatr 1.12. La n egation est un connecteur unaire (elle na quun argu-
ment), alors que la conjonction, la disjonction, limplication et l equivalence sont
des connecteurs binaires (elles ont deux arguments). La conjonction, la disjonction
et l equivalence sont commutatives dans le sens que les propositions p q et q p
(respectivement p q et q p, ou p q et q p) ont la m eme table de v erit e.
Limplication nest pas commutative; les propositions p q et q p nont pas la
m eme table de v erit e.
Rrmxatr 1.13. Attention: parce que, ` a cause de cela, que, car et
puisque ne sont pas des connecteurs logiques. Ainsi, les sch emas p parce que
q, p ` a cause de cela q etc. ne sont pas des sch emas de propositions.
1.3. Formules et langage des propositions. Les symboles du langage abstrait
(langage objet) que lon va d enir sont:
des lettres de proposition: p, q, r, . . .
des symboles: , , , ,
des parenth` eses: ()
D rrrxrrrox 1.14 (constructive).
(i) Une lettre de proposition est une formule dite atomique.
(ii) Si A est une formule, alors A lest aussi.
(iii) Si A et B sont des formules, alors (A B), (A B), (A B) et (A B)
sont aussi des formules.
(iv) Rien dautre nest une formule.
Exrmrir 1.15. ((p q) (p q)) est une formule.
An dall eger l ecriture, on convient que lon peut enlever les parenth` eses
ext erieures dans lassemblage nal (et non dans les ecritures int ermediaires).
Attention: les sch emas (p) ou (p q r) ne sont pas des formules!
8 1. LOGIQUE
1.4. Mise en formule et point de vue s emantique. Pour d eterminer la valeur
de v erit e dune proposition complexe, on peut envisager la m ethode suivante:
on fait apparatre la structure logique de la proposition en la d ecomposant
en ses constituant atomiques. On obtient alors une formule (F) qui est un
objet d enu e de sens o` u apparaissent des lettres de propositions p, q, r, . . .
et des connecteurs logiques (, , , , );
pour toute les attributions (assignations) possibles de valeurs de v erit e ` a la
suite de lettres p, q, r, . . . intervenant dans la formule (F) on calcule la
valeur de v erit e du compos e (F).
Cest la m ethode des fonctions (ou tables) de v erit e.
Pour simplier l ecriture on conviendra de mettre le symbole 1 ` a la place de vrai
et 0 ` a la place de faux.
La m ethode consiste donc ` a interpr eter la formule (F) (d enu ee de sens) comme
une fonction o` u les variables sont les lettres de propositions prenant leurs valeurs
dans lensemble ` a deux el ements 0 et 1.
Cette int erpr etation dune formule comme fonction des valeurs de v erit e des ses
lettres de proposition consid er ees comme variables est le point de vue s emantique.
Exrmrir 1.16. Consid erons l enonc e suivant:
Laccus e na pu se rendre coupable du crime [C] que sil etait ` a New-
York ` a 18 heures le 1
er
janvier [N]. Mais il a et e etabli quil etait ` a ce
moment-l` a ` a Washington [W]. Donc il nest pas coupable du crime.
En utilisant les abr eviations entre les crochets, nous obtenons pour la mise en for-
mule de cette proposition:
(C seulement si N mais W) donc non C,
ou: ((C N) W) C.
La table de v erit e de cette formule/proposition est la suivante:
C N W ((C N) W) C
0 0 0 1
0 0 1 1
0 1 0 1
0 1 1 1
1 0 0 1
1 0 1 1
1 1 0 1
1 1 1 0
1.5. Propositions logiquement vraies, fausses, equivalentes.
D rrrxrrrox 1.17. Une formule A est dite valide si sa table de v erit e ne contient
que des 1.
1. LOGIQUE DES PROPOSITIONS 9
D rrrxrrrox 1.18. On appelera formule compl` ete dune proposition P une for-
mule repr esentant la proposition donn ee telle que les lettres utilis ees dans cette
repr esentation d esignent des propositions (constituant P) ne contenant aucun con-
necteur logique.
D rrrxrrrox 1.19. Une proposition est logiquement vraie ou tautologique si sa
formule compl` ete est valide.
Une proposition est logiquement fausse ou contradictoire si sa n egation est
logiquement vraie.
Exrmrir 1.20. La proposition Paul est malade ou nest pas malade est logique-
ment vraie car sa formule p p est valide.
Rrmxatrs 1.21. (a) Une proposition contradictoire a une formule compl` ete dont
la table de v erit e ne comporte que des 0.
(b) Les formules sont r eparties en trois classes, ` a savoir: les formules valides, les
formules contradictoires, et les formules neutres, c.` a.d. les formules qui ne sont ni
valides ni contradictoires (formules dont la table de v erit e contient ` a la fois des 0 et
des 1).
D rrrxrrrox 1.22. On dit que deux propositions sont logiquement equivalentes si
leurs formules compl` etes sont equivalentes, c.` a.d. ont la m eme table de v erit e.
On dit quune proposition P implique logiquement une proposition Q si la propo-
sition si P alors Q est tautologique.
D rrrxrrrox 1.23. Un enthym` eme est une proposition qui semble logiquement
vraie mais qui ne lest pas car elle contient un implicite de lesprit. Et lorsque lon
compl` ete cette proposition avec largument implicite manquant, on obtient alors une
tautologie.
Exrmrir 1.24. La proposition
Laccus e na pu se rendre coupable du crime [C] que sil etait ` a New-
York ` a 18 heures le 1
er
janvier [N]. Mais il a et e etabli quil etait ` a ce
moment-l` a ` a Washington [W]. Donc il nest pas coupable du crime.
de lexemple 1.16 est un enthym` eme. On a vu dans lexemple 1.16 que cette propo-
sition nest pas logiquement vraie car sa table de v erit e contient un 0. Largument
manquant est largument que laccus e ne peut pas etre ` a New-York ` a 18 heures le 1
er
janvier et ` a ce moment l` a aussi ` a Washington. La formule compl` ete avec largument
manquant serait alors
((C N) W (N W)) C.
Cette formule est valide (v erier par la table de v erit e!), largument compl et e est
tautologique.
10 1. LOGIQUE
2. Logique des pr edicats
2.1. Variables et quanteurs. On constate que le langage abstrait des proposi-
tions introduit en Section 1.3 ne sut pas pour mettre en formule toutes les propo-
sitions du langage usuel et les propositions math ematiques. Des exemples sont les
enonc es
Tout etre humain est mortel,
or Socrate est un etre humain,
donc Socrate est mortel.
ou
tout el ephant est gros
ou
il existe n N tel que n
2
= 4.
Ces trois enonc es contiennent en fait des variables: cest la variable n dans le
troisi` eme exemple, et une variable x non explicitement visible dans les premiers deux
exemples (variable qui peut d esigner un animal comme par exemple un el ephant ou
un etre humain). En plus, ces trois enonc es contiennent les quanteurs tout (ou
quelque soit) et il existe. Ces el ements ne peuvent pas etre traduits en formule
dans le langage abstrait des propositions.
On va donc introduire de nouvelles formules quon appelle aussi sch emas de
quantication ou simplement sch emas. Par exemple, on mettra
Gx pour x est gros
et
Ex pour x est un el ephant,
et on utilisera le symbol au lieu du quanteur tout ou quelque soit. L enonc e
Tout el ephant est gros devient alors
x(Ex Gx).
Attention: l enonc e x est gros nest pas une proposition. Cest un pr edicat; plus
pr ecis ement, un pr edicat ` a une variable. Par contre, l enonc e Tout el ephant est gros
est une proposition (` a condition que les termes gros et el ephant ont et e denis claire-
ment et sont donc ind ependants de tout context, lieu ou personne qui prononce cet
enonc e).
De la m eme mani` ere on peut mettre
An pour n est un el ement de N
et
Bn pour n
2
= 4,
et on utilisera le symbol au lieu du quanteur il existe. Lenonc e Il existe un n N
tel que n
2
= 4 devient alors
n(An Bn).
2. LOGIQUE DES PR

EDICATS 11
2.2. Formules et langages de pr edicats. Dans cette partie on va donc formelle-
ment elargir le langage des propositions qui etait introduit dans la partie 1.3 de ce
chapitre.
Les symboles du nouveau langage abstrait (langage objet) que lon va d enir
sont:
les lettres de pr edicats ` a 0, 1, ou plusieurs arguments: p, q, r, . . .
les lettres de variables dobjets ou variables dindividus: x, y, z, . . .
les quanticateurs: ,
les symboles: , , , ,
les parenth` eses: ()
Rrmxatr 1.25. Les pr edicats ` a 0 arguments ne sont rien dautre que les propo-
sitions d enis dans la section pr ec edente.
D rrrxrrrox 1.26 (constructive).
(i) Si p est un pr edicat ` a n arguments et si x
1
, . . . , x
n
sont des variables, alors
p(x
1
, . . . , x
n
) est une formule dite atomique.
(ii) Si A est une formule, alors A lest aussi.
(iii) Si A et B sont des formules, alors (A B), (A B), (A B) et (A B)
sont aussi des formules.
(iv) Si A est une formule et x est une variable, alors xA et xA sont des for-
mules.
(v) Rien dautre nest une formule.
Il faut comparer cette d enition du langage des pr edicats avec celle du langage
des propositions (D enition 1.14). Les lettres de propositions sont remplac ees par
des lettres de pr edicats (qui peuvent en plus d ependre dune ou plusieurs variables),
et on a ajout e les symboles et . Contrairement au langage des propositions, dans
le langage des pr edicats pas toutes les formules repr esentent des propositions. La
d enition suivante peut servir pour reconnatre les propositions.
D rrrxrrrox 1.27. Une variable qui apparat dans un quanteur est dite li ee. Une
variable qui napparat dans aucun quanteur est dite libre.
Un enonc e (resp. une formule) qui ne comporte aucune variable libre est dit clos
(resp. close). Un enonc e clos est une proposition.
D rrrxrrrox 1.28. La cl oture universelle (resp. cl oture existentielle) dune formule
est la formule obtenue en adjoignant au d ebut de cette formule les quanteurs x, y,
. . . (resp. x, y, . . . ) correspondants aux variables libres (sil en existe) x, y, . . . de
cette formule.
2.3. Formules valides et inconsistentes.
D rrrxrrrox 1.29. Une formule est dite valide si sa cl oture universelle est valide,
c.` a.d. si toutes les instances de sa cl oture universelles sont vraies.
Une formule est dite inconsistente si sa n egation est valide.
12 1. LOGIQUE
Exrmrir 1.30. Consid erons la formule
(1.1) (xFx Fy).
La seule variable libre est la variable y. La cl oture universelle est donc
y(xFx Fy).
Par la loi de De Morgan (voir la Proposition 1.35 en bas), cette formule est
equivalente ` a
y(xFx Fy).
Comme Fy et Fy sont equivalentes, on peut r e- ecrire
y(xFx Fy).
Comme p q et p q sont equivalentes, on simplie pour obtenir
y(xFx Fy).
Cette derni` ere formule est valide, car
si xFx est faux, alors limplication xFx Fy est vraie, et
si xFx est vrai, alors Fy pour toute valeur de y (int erpr etation s emantique
de ) et donc limplication xFx Fy est vraie.
Ainsi, la formule (1.1) est valide.
Exrmrir 1.31. La formule
xFx xFx
est inconsistante.
3. Modes de raisonnement
3.1. Raisonnement par table de v erit e.
Parxcrrr 1.32. An de d emontrer quune formule est valide, on v erie que sa
table de v erit e ne contient que des 1 (D enitions 1.17 et 1.29). An de d emontrer
que deux formules sont equivalentes, on montre quelles ont la m eme table de v erit e
(D enition 1.22).
Paorosrrrox 1.33 (Transitivit e de limplication). La formule suivante est valide:
((p q) (q r)) (p r).
D rmoxsraxrrox. On ecrit la table de v erit e:
p q r ((p q) (q r)) (p r)
0 0 0 1
0 0 1 1
0 1 0 1
0 1 1 1
1 0 0 1
1 0 1 1
1 1 0 1
1 1 1 1
3. MODES DE RAISONNEMENT 13

La proposition suivante est une cons equence imm ediate de la proposition

pr ec ecente.
Paorosrrrox 1.34 (Transitivit e de l equivalence). La formule suivante est valide:
((p q) (q r)) (p r).
Paorosrrrox 1.35 (Lois de De Morgan). Les formules suivantes sont
equivalentes:
(a) (p q) et p q,
(b) (p q) et p q
D rmoxsraxrrox. (a) On ecrit la table de v erit e
p q (p q) p q
0 0 1 1
0 1 1 1
1 0 1 1
1 1 0 0
(b) On ecrit la table v erit e
p q (p q) p q
0 0 1 1
0 1 0 0
1 0 0 0
1 1 0 0

3.2. Raisonnement par implications. R` egle du modus ponens.

Parxcrrr 1.36 (Modus ponens). Si p est vraie et si p q est vraie, alors q est
vraie.
Ainsi, pour d emontrer une propri et e C (cons equence) partant dune proposition
vraie H (hypoth` ese), on d emontrera
H P
0
, P
0
P
1
, . . . , P
n1
P
n
et P
n
C.
Exrmrir 1.37.
Exracrcr 1.38. (1) Montrer sans calculer des d eriv ees que la fonction d enie par
f (x) =
x
2
+1
e
x
+1
est croissante sur R
+
.
(2) Montrer que lensemble des sommes de deux carr es dentiers est stable par mul-
tiplication.
(3) Les formules
((p q) r) (p r)
ou
((p q) (q r)) (p r)
14 1. LOGIQUE
sont-elles valides?
(4) Montrer que si une fonction f : R R est d erivable en un point x
0
, alors elle est
continue en x
0
.
(5) Sachant que pour tout n N lon a

n
k=0
k =
n(n+1)
2
, montrer que pour tout n N

lon a

n
k=1
(2k 1) = n
2
.
3.3. Raisonnement par equivalences.
Parxcrrr 1.39. On etablit l equivalence p q ` a laide dune chaine
d equivalences car l equivalence est transitive (Proposition 1.34).
Exracrcr 1.40. (1) R esoudre dans R en raisonnant par equivalences l equation

x
2
+ 2 = 3x.
(2) R esoudre dans C en raissonant par equivalences l equation z
5
= z.
(3) Trouver toutes les fonctions r eelles d erivables v eriant y

= y.
3.4. Raisonnement par disjonction des cas.
Exrmrir 1.41. On montre que la formule suivante
(F)
((p q) q) p
ant ec edent cons equent
est valide.
Si lant ec edent est faux, alors limplication dans (F) est vraie.
Si lant ec edent est vrai, alors p q et q sont simultan ement vraies, c.` a.d.
p q est vrai et q est faux. On en d eduit alors que p est vrai, c.` a.d. le
cons equent dans (F) est vrai. Donc, limplication dans (F) est vraie.
Comme lant ec edent est soit vrai, soit faux, on conclut que (F) est valide.
Exracrcr 1.42. (1) Montrer que pour tout n N on a: 3|n(n
2
+ 2).
(2) Montrer que
((p q) (p r) (q r)) r
est valide.
(3) Calculer les parties r eelles et imaginaires de (1 + i)
n
pour n Z.
(4) Montrer que la proposition suivante est vraie:
x(x R \ Q x

2
Q.
3.5. Raisonnement par labsurde.
Parxcrrr 1.43. Pour d emontrer la propri et e p, on suppose p (hypoth` ese du
raisonnement par labsurde) et on en d eduit une contradiction, c.` a.d. une proposition
q telle que q et q soient vraies. On conclut alors que p est vraie.
Exracrcr 1.44. (1) Montrer que la formule
(p (q q)) p
est valide.
(2) Montrer quil nexiste pas de surjection de lensemble E vers P(E), ensemble
3. MODES DE RAISONNEMENT 15
des parties de E.
(3) Montrer que la proposition suivante est vraie:
x(x R \ Q x

2
Q.
(4) Montrer que lensemble des entiers naturels premier est inni.
(5) Montrer quon a

2 Q.
3.6. Raisonnement par contraposition.
Paorosrrrox 1.45. Les implications p q et q p sont equivalentes.
Cette proposition, qui se d emontre facilement ` a laide dune table de v erit e, jus-
tie le principe suivant.
Parxcrrr 1.46. Pour d emontrer limplication p q, on d emontre q p.
Exracrcr 1.47. (1) Montrer que la relation est antisym etrique dans R.
(2) Montrer que la formule
(p q) (q p)
est valide.
(3) Montrer que pour tout (x, y) R
2
on a (x y) (x
3
y
3
).
(4) Montrer que si R \ 2Z, alors la suite (e
in
)
nN
diverge.
3.7. Raisonnement par r ecurrence.
Parxcrrr 1.48. Pour d emontrer que la proposition
n((n N) P(n)),
est vraie on peut eectuer les deux etapes suivantes:
(i) On prouve P(0).
(ii) On prouve que si P(n) est vraie pour un certain n N, alors P(n + 1) est vraie.
Rrmxatr 1.49. Une variante du raisonnement par r ecurrence est la suivante:
(i) On prouve P(0).
(ii) On prouve que si P(0), . . . , P(n) sont vraies pour un certain n N, alors P(n +1)
est vraie.
Exracrcr 1.50. (1) Montrer que pour tout n N lon a

n
k=0
k =
n(n+1)
2
.
(2) Montrer que pour tout n N lon a

n
k=0
k
3
=

n(n+1)
2

2
.
(3) Montrer que pour des entiers k n, le nombre de sous-ensembles ` a k el ements
dun ensemble ` a n el ements est C
k
n
=
n!
k!(nk)!
.
(4) Montrer que si a N, alors pour tout n N lentier (a + 1)
n+1
a(n + 1) 1 est
multiple de a
2
.
16 1. LOGIQUE
3.8. Raisonnement par contre-exemple.
Paorosrrrox 1.51. Les propositions xP(x) et xP(x) sont equivalentes.
Parxcrrr 1.52. Pour d emontrer que la proposition xP(x) est fausse, on trouve x
0
tel que P(x
0
) soit vraie.
Exracrcr 1.53. (1) Montrer quun nombre entier divisible par 6 et par 4 nest pas
n ecessairement divisible par 24.
(2) Montrer que lintersection de deux disques dans le plan nest pas n ecessairement
convexe.
CHAPITRE 2
Th eorie des ensembles
1. Lapproche nave ` a la th eorie des ensembles
En 1895, Georg Cantor donnait la d enition suivante dun ensemble:
Nous appelons ensemble toute r eunion M dobjets de notre concep-
tion, d etermin es et bien distincts, que nous nomm erons el ements de
M.
ou
Un ensemble est une collection dobjets (que lon appelle el ements
de lensemble), ou une multitude qui peut etre comprise comme un
tout.
1
Cantor utilise les lettres majuscules pour les ensembles, et les lettres minuscules
pour les el ements densembles. Comme lui, nous utilisons la notation
M = {x, y, c}
pour ecrire en extension lensemble M qui contient exactement les el ements x, y et
c. Notons que l el ement x est bien distinct de lensemble {x} qui contient x!
Nous allons en plus adopter le point de vue extensionnaliste didentier deux
ensembles qui contiennent les m emes el ements. Ainsi, par exemple, les ensembles
{1, 1, 2} et {1, 2}
sont egaux.
Soit c le nombre de soues que Jules C esar a fait le dernier jour avant sa mort.
Dapr` es la d enition de Cantor,
E = {20000, c}
est un ensemble. Cest lensemble qui contient exactement le nombre 20000 et le
nombre c. Dapr` es le point de vue extensionnaliste, nous ne pouvons pas savoir si cet
ensemble contient un el ement ou deux, car il est tout ` a fait possible que c = 20000,
auquel cas on aurait E = {20000}.
Quelques notations:
Nous ecrivons x E pour dire x appartient ` a E ou x est el ement de E.
1
Loriginal en allemand est: Unter einer Menge verstehen wir jede Zusammenfassung M von
bestimmten, wohlunterscheidbaren Objekten m unserer Anschauung oder unseres Denkens (welche
die Elemente von M genannt werden) zu einem Ganzen.
17
18 2. TH

EORIE DES ENSEMBLES

Nous dirons que E est une partie (ou: un sous-ensemble) de F si tout el ement de E
est aussi un el ement de F, et nous ecrivons tout court E F. Plus formellement,
E F : x (x E x F).
Si E et F sont deux ensembles egaux, nous ecrivons E = F. Avec notre d enition
de la partie et avec le point de vue extensionnaliste, on a
E = F (E F F E).
Nous d enissons la r eunion E F comme lensemble qui contient tous les el ements
de E et de F, et lintersection EF comme lensemble qui contient tous les el ements
qui appartiennent ` a la fois ` a E et ` a F. La di erence E \ F est lensemble de tous
les el ements dans E qui nappartiennent pas ` a F. Si F E, alors nous notons aussi

E
F = E \ F et nous appelons
E
F le compl ement de F dans E. Enn, la di erence
sym etrique EF est lensemble d eni par EF = (E \ F) (F \ E).
Il est important ` a noter que lapproche nave ` a la th eorie des ensembles (bas ee
sur la d enition de Cantor) est malheureusement contradictoire, comme Bertrand
Russell a d emontr e. Il a consid er e lensemble E de tous les ensembles qui ne se
contiennent pas eux-m emes:
(2.1) E = {F : F est ensemble et F F}.
Si E E, alors par la d enition de E, E E. Mais si E E, alors par la d enition
de E, E E. On obtient donc E E E E, ce qui est contradictoire.
Bertrand Russell a aussi formul e la variante suivante:
Epim enides, le cr etois, dit: tous les cr etois sont des menteurs. Est-ce
que Epim enides est un menteur?
2. Approche axiomatique ` a la th eorie des ensembles
Dans la suite, toutes les lettres d esignent des ensembles!!!
Dans cette partie, on va introduire la th eorie des ensembles ` a partir de quelques
axiomes. Par d enition, un axiome est une r` egle sans pr emisses. Ou un axiome
est par d enition un th eor` eme vrai qui ne n ecessite pas de d emonstration.
2.1. Laxiome de lextensionalit e. Le premier axiome nous dit quand est-ce
que deux ensembles sont egaux; encore une fois, nous adoptons le point de vue
extensionnaliste. Le premier axiome explique la signication du symbole = dans la
th eorie des ensembles (voir le paragraphe pr ec edent).
Axromr 1 (Extensionalit e). Deux ensembles qui contiennent les m emes el ements
sont egaux.
En langage des pr edicats:
E F (x(x E x F)) E = F.
2. APPROCHE AXIOMATIQUE
`
A LA TH

EORIE DES ENSEMBLES 19

Nous rappelons que dapr` es cet axiome, deux ensembles E et F sont egaux si et
seulement si E F et F E. Cest cette caract erisation de l egalit e quon utilise
dhabitude pour montrer que deux ensembles sont egaux.
2.2. Laxiome de la compr ehension. Le deuxi` eme axiome permet de constru-
ire des ensembles ` a partir dun ensemble donn e et des propri et es donn ees.
Axromr 2 (Compr ehension). Si E est un ensemble et Px est une propri et e, alors
il existe lensemble
{x E : Px}.
Notons que cet axiome de compr ehension marque une di erence importante par
rapport ` a lapproche naf ` a la th eorie des ensembles. Alors que la d enition de
Cantor implique que
{x : x est un ensemble}
est un ensemble (lensemble universel de tous les ensembles!) et que
{x : x est un ensemble et x x}
est aussi un ensemble (lensemble du paradoxe de Russell), laxiome de
compr ehension (Axiome 2) ne garantit pas que lensemble universel est vraiement un
ensemble. Au contraire: avec laxiome de compr ehension on peut m eme d emontrer
que lensemble universel nexiste pas! En particulier, on ne peut pas construire
lensemble de tous les ensembles qui ne se contiennent pas eux-m emes. Le paradoxe
de Russell qui montrait que lapproche naf ` a la th eorie des ensembles est contradic-
toire na donc plus de sens. Si on voulait d emontrer que le syst` eme daxiomes que
nous allons pr esenter ici est contradictoire, il faudrait trouver une autre contradic-
tion.
Paorosrrrox 2.1. On suppose les Axiomes 1 et 2. Alors pour tout ensemble E il
existe un ensemble F tel que F E.
D rmoxsraxrrox. Soit E un ensemble quelquonque. On d enit
F := {x E : x x}.
Dapr` es lAxiome 2, F est un ensemble. On montre que F E. Pour cela, on fait un
raisonnement par labsurde.
Supposons alors que F E. Alors deux cas sont possibles. Soit F F, soit
F F. Si F F, alors par d enition de F, on obtient F F. De m eme, par la
d enition de F, si F F, alors F F. On a donc trouv e F F et F F, ce qui est
une contradiction. Ainsi, lhypoth` ese F E est faux, c.` a.d. F E.
Rrmxatr 2.2. Le raisonnement dans cette d emonstration (disjonction des deux
cas F F et F F) est celui quon utilise dans le paradoxe de Russell, mais ici
cest n ecessaire que F E.
Les Axiomes 1 et 2 sont d ej` a susants pour d enir lintersection de deux en-
sembles et de dire que elle est de nouveau un ensemble.
20 2. TH

EORIE DES ENSEMBLES

D rrrxrrrox 2.3 (Intersection). Soient E, F deux ensembles. On d enit
E F := {x E : x F},
et on appelle E F lintersection de E et de F. Dapr` es lAxiome 2, lintersection
E F est un ensemble.
On a
E F = F E.
En eet, on a
x E F x E x F
x F x E
x F E.
L egalit e E F = F E est donc une cons equence de lAxiome 1 et de la d enition
de lintersection.
D rrrxrrrox 2.4 (Di erence). Soient E, F deux ensembles. On d enit
E \ F := {x E : x F},
et on appelle E \ F la di erence de E et de F. Dapr` es lAxiome 2, la di erence
E \ F est un ensemble.
2.3. Laxiome de lexistence.
Axromr 3 (Existence). Il existe un ensemble.
On suppose les Axiomes 1-3. Soit E un ensemble (qui existe dapr` es lAxiome
3). Alors on peut d enir
:= {x E : x x}.
Dapr` es lAxiome 2, est un ensemble. On appelle lensemble vide. Dapr` es
lAxiome 1, lensemble est unique (sa d enition ne d epend par exemple pas de
lensemble E de d epart). Lensemble vide est le premier (et jusquici le seul!) en-
semble concret.
Laxiome de lexistence sera plus tard remplac e par un axiome plus fort, notam-
ment par laxiome de lexistence dun ensemble inni.
2.4. Laxiome de la r eunion. Lexistence de la r eunion de deux ensembles nest
pas encore garanti apr` es les premiers trois axiomes, et en fait, il faut un axiome
suppl ementaire pour garantir cette existence. Il y a deux version de laxiome de
lexistence de la r eunion: lexistence de la r eunion de deux ensembles (ou dun
nombre ni densembles), et lexistence de la r eunion dune famille quelconque
densembles.
La premi` ere version est la suivante.
2. APPROCHE AXIOMATIQUE
`
A LA TH

EORIE DES ENSEMBLES 21

Axromr 4 (R eunion). Si E et F sont deux ensembles, alors il existe un ensemble
qui contient tous les el ements de E et de F.
En langage des pr edicats:
E F G((x E x F) x G).
D rrrxrrrox 2.5. Soient E et F deux ensembles, et soit G un ensemble qui contient
tous les el ements de E et de F (un tel ensemble existe dapr` es lAxiome 4). Alors
on d enit
E F := {x G : x E x F},
et on appelle E F la r eunion de E et de F. Dapr` es lAxiome 2, la r eunion est un
ensemble.
La d enition de la r eunion ne d epend pas de lensemble G dapr` es lAxiome 1.
En plus, on a
E F = F E.
La deuxi` eme version de laxiome de la r eunion est la suivante.
Axromr 4 (R eunion). Pour tout ensemble E il existe un ensemble qui contient
tous les el ements des el ements de E.
En langage des pr edicats:
E F x X ((x X X E) x F).
Rrmxatr 2.6. Attention: les deux axiomes de la r eunion sont ind ependants lun
de lautre, c.` a.d. le premier nimplique pas le deuxi` eme et vice versa! Le deuxi` eme
axiome de la r eunion impliquerait le premier si pour tout pair E et F densembles on
savait que {E, F} est un ensemble. Mais lexistence de lensemble {E, F} nest pas
garantie avec les Axiomes 1-3.
2.5. Laxiome de lensemble des parties.
Axromr 5 (Ensemble des parties). Si E est un ensemble, alors il existe un ensem-
ble qui contient toutes les parties de E.
En langage des pr edicats:
E PF (F E F P).
D rrrxrrrox 2.7. Soit E un ensemble, et soit P un ensemble qui contient toutes les
parties de E (un tel ensemble existe dapr` es lAxiome 5). Alors on d enit
P(E) := {F P : F P},
et on appelle P(E) lensemble des parties de E.
Laxiome de lensemble des parties nous permet de construire de nouveaux en-
sembles. Rappelons que lensemble vide est toujours le seul ensemble concret dont
nous savons lexistence. Certainement, est une partie de , et cest en fait la seule
partie de (pourquoi?). Dapr` es lAxiome 5 et la D enition 2.7 nous savons alors
22 2. TH

EORIE DES ENSEMBLES

que {} est un ensemble. Attention: {} nest lensemble vide, mais cest lensemble
qui contient comme seul el ement.
Nous constatons ensuite que et {} sont deux parties de lensemble {}, et que
ce sont en fait les deux seules parties (pourquoi?). Ainsi, dapr` es lAxiome 5 et la
D enition 2.7, nous savons que {, {}} est un ensemble.
Si nous continuous ce proc ed e de construire lensemble des parties, nous voyons
que lAxiome de lensemble des parties (avec lAxiome de lexistence dun ensem-
ble) garantit lexistence dune innit e densembles. Ce sont
,
{},
{, {}},
{, {}, {{}}, {, {}}},
.
.
.
Malheureusement, aucun des ces ensembles contient une innit e d el ements, et en
fait, lexistence dun ensemble inni (pratiquement, lexistence de N) est seule-
ment la cons equence dun autre axiome que nous allons discuter dans le troisi` eme
chapitre.
3. Le produit cart esien
D rrrxrrrox 2.8 (Couple ordonn e). Soient E et F deux ensembles, et soient x E
et y F. Alors on d enit le couple ordonn e (x, y) par
(x, y) := {{x}, {x, y}}.
On doit v erier si (x, y) est vraiement un ensemble dont lexistence est assur e
par les Axiomes 1-5. Premi` erement,
{x} = {z E : z = x}
et
{x, y} = {z E F : z = x z = y}
sont des ensembles; en fait, ce sont tous les deux parties de E F. On utilisera
lAxiome 4 de la r eunion et lAxiome 2 de la compr ehension pour voir ca. Par
lAxiome 5 de lensemble des parties, P(E F) est un ensemble, et {x}, {x, y}
P(E F). Donc
{{x}, {x, y}} = {z P(E F) : z = {x} z = {x, y}}
est un ensemble (on applique lAxiome 2 de la compr ehension encore une fois), qui
est partie de P(E F), ou el ement de P(P(E F)).
Le lemme suivant justie dappeler (x, y) couple ordonn e. La propri et e dans
le lemme suivant sert des fois comme d enition de couple ordonn e, mais nous
pr ef erons de d enir le couple ordonn e comme un ensemble.
3. LE PRODUIT CART

ESIEN 23
Lrmmr 2.9. On a
(x, y) = (x

, y

),
si et seulement si
x = x

et y = y

.
D rmoxsraxrrox. Premi` erement, limplication
(x = x

y = y

) (x, y) = (x

, y

)
est une cons equence de la d enition du couple ordonn e.
Puis, on a les equivalences
(x, y) = (x

, y

) {{x}, {x, y}} = {{x

}, {x

, y

}}
{x} {{x

}, {x

, y

}} {x, y} {{x

}, {x

, y

}}
{x

} {{x}, {x, y}} {x

, y

} {{x}, {x, y}}

({x} = {x

} {x} = {x

, y

})
({x, y} = {x

} {x, y} = {x

, y

})
(({x

} = {x} {x

} = {x, y})
({x

, y

} = {x} {x

, y

} = {x, y})
On va distinguer plusieurs cas. Premi` erement,
{x} = {x

} {x, y} = {x

, y

} x = x

{x, y} = {x, y

}
x = x

(y = x y = y

) {x, y} = {x

, y

}
(x = x

= y (x = x

y = y

)) {x, y} = {x

, y

}
x = x

= y = y

(x = x

y = y

)
(x = x

y = y

).
Deux` emement,
{x} = {x

, y

} {x, y} = {x

, y

} x = x

= y

{x, y} = {x, y

}
x = x

= y

{x, y} = {x

}
x = x

= y = y

(x = x

y = y

).
Troisi emement,
{x} = {x

, y

} {x, y} = {x

} x = x

= y

x = y = x

x = x

= y = y

(x = x

y = y

)
Quatri` emement,
{x} = {x

} {x, y} = {x

} x = x

x = y = x

x = x

= y.
24 2. TH

EORIE DES ENSEMBLES

Dans le quatri` eme cas, la propri et e {x

, y

} = {x} {x

, y

} = {x, y} devient simplement

{x

, y

} = {x}. Ceci implique x = x

= y

, et avec le quatri` eme cas, on obtient

x = x

= y = y

.
Donc, dans tous les cas, x = x

et y = y

.
D rrrxrrrox 2.10. Soient E et F deux ensembles. On d enit le produit cart esien
E F par
E F := {z P(P(E F)) : x E y F (z = (x, y))}.
Le produit cart esien est un ensemble dapr` es les Axiome 4 et 5 (qui impliquent
que P(P(E F)) est un ensemble) et dapr` es lAxiome 2 de compr ehension.
An dalleg er la notation, on va noter
(x, y, z) au lieu de ((x, y), z) ou (x, (y, z))
et
E F G au lieu de (E F) G ou E (F G).
De mani` ere similaire pour les produits cart esiens de quatre ou plus densembles.
D rrrxrrrox 2.11 (Relation). Soient E et F deux ensembles. Une relation de E
dans F est une partie R de E F. Si E = F, alors on dit simplement que R est une
relation dans E. Si R EF est une relation, alors on ecrit xRy au lieu de (x, y) R.
4. Relations d equivalence
D rrrxrrrox 2.12. Soit E un ensemble. Une relation dans E est appel ee relation
d equivalence si les trois propri et es suivantes sont satisfaites:
(i) (Reexivit e) Quelque soit x E, on a x x.
(ii) (Sym etrie) Quelque soit x, y E, on a x y si et seulement si y x.
(iii) (Transitivit e) Quelque soit x, y, z E, si x y et y z, alors x z.
Exrmrir 2.13. Supposons que lensemble Z est d ej` a construit. On dit quun
nombre n Z est divisible par 3, sil existe un entier m Z tel que n = 3m. On
d enit une relation dans Z par
x y : x y est divisible par 3.
Cette relation est une relation d equivalence, parce que:
(i) Si x Z, alors x x = 0 est divisible par 3. Donc x x pour tout x Z, c.` a.d.
est reexive.
(ii) Si x, y Z, et si x y, alors x y est divisible par 3. Alors y x est aussi
divisible par 3, et donc y x. Ainsi, est sym etrique.
(iii) Si x, y, z Z sont tels que x y et y z, alors
xy
3
et
yz
3
sont des entiers. En
prenant la somme, on voit que
xz
3
est entier, c.` a.d. x z. Ainsi, est transitive.
Bien sur, dans cet exemple, le nombre 3 peut etre remplac e par nimporte quel
autre nombre n Z \ {0}.
4. RELATIONS D

EQUIVALENCE 25
D rrrxrrrox 2.14. Soit E un ensemble, et soit une relation d equivalence dans
E. Pour tout x E on d enit la classe d equivalence x par
x := {y E : x y}.
En plus, on d enit lensemble E/F de toutes les classes d equivalences par
E/:= {A P(E) : x E (A = x)},
et on appelle E/ le quotient de E par la relation .
D rrrxrrrox 2.15. Soit E un ensemble. Une partition P de E est un sous-ensemble
de P(E) v eriant les trois propri et es suivantes:
(i) A P (A ),
(ii) A, B P (A B A B = ), c.` a.d. les ensembles dans P sont mutuellement
disjoints, et
(iii)

AP
A = E.
Paorosrrrox 2.16. Soit E un ensemble non-vide, et soit une relation
d equivalence dans E. Alors lensemble des classes d equivalences E/ est une
partition de E.
D rmoxsraxrrox. (i) Pour tout x E on a x x par r eexivit e de . Donc, x x,
ce qui implique que toute classe d equivalence est non-vide.
(ii) On d emontre limplication
x, y E ( x y x y = )
par contraposition. Supposons que x y . Alors il existe un el ement z dans x y,
et pour cet el ement z on a
x z et y z.
Comme la relation est sym etrique et transitive, ceci implique
x y.
On d emontre qualors x = y. En fait, si u x, alors x u. Comme on a aussi
x y, et comme est sym etrique et transitive, on obtient y u, et donc u y.
Inversement, si u y, alors y u. Comme on a aussi x y, et comme est
sym etrique et transitive, on obtient x u, et donc u x. On a donc d emontr e que
x = y (Axiome 1) si x y .
(iii) En utilisant la propri et e x x, on obtient
E =

xE
{x}

xE
x E,
ou, dapr` es lAxiome 1, E =

xE
x.
Exrmrir 2.17. Soit la relation sur Z qui a et e d enie dans lExemple 2.13.
Alors la classe d equivalence qui contient 0 est

0 = {x Z : x 0}
= {x Z : x est divisible par 3},
26 2. TH

EORIE DES ENSEMBLES

et de mani` ere similaire,

1 = {x Z : x 1 est divisible par 3}

et

2 = {x Z : x 2 est divisible par 3}

On voit que

0

1

2 = Z, et donc, dapr` es la Proposition 2.16, il ny a pas dautres
classes d equivalences. Par exemple, on a

0 =

3, car 0 3.
On trouve alors que le quotient de Z par la relation d equivalence (ou:
lensemble des classes d equivalences) est donn e par
Z/ = {

0,

1,

2}.
Ce quotient sera aussi not e Z/3Z.
La proposition suivante est une r eciproque ` a la Proposition 2.16.
Paorosrrrox 2.18. Soit E un ensemble non-vide, et soit P une partition de E.
Alors la relation d enie par
x y : A P (x A y A)
est une relation d equivalence dans E, et E/= P.
5. Relations dordre
D rrrxrrrox 2.19. Soit E un ensemble. Une relation dans E est appel ee relation
dordre dans E si les trois propri et es suivantes sont satisfaites:
(i) (Reexivit e) Quelque soit x E, on a x x.
(ii) (Anti-sym etrie) Quelque soit x, y E, si x y et y x, alors x = y.
(iii) (Transitivit e) Quelque soit x, y, z E, si x y et y z, alors x z.
Un ensemble muni dune relation dordre est dit ordonn e.
Exrmrir 2.20. Soit E un ensemble, et soit P(E) lensemble des parties de E.
Alors linclusion est une relation dordre dans P(E). (Exercice).
Exrmrir 2.21. On suppose que lensemble N des entiers relatifs est d ej` a con-
struit. Soit N

= N \ {0}. Pour deux el ements n, m N

on d enit
n|m : n divise m.
Alors | est une relation dordre dans N

. En fait:
(i) Quelque soit n N

on a que n divise n, ou n|n. La relation | est donc reexive.

(ii) Quelque soit n, m N

, si n divise m, et si m divise n, alors n = m. La relation |

est donc anti-sym etrique.
(iii) Quelque soit k, n, m N

, si k divise n, et si n divise m, alors k divise m. La

relation | est donc transitive.
D rrrxrrrox 2.22. Soit E un ensemble, et soit une relation dordre dans E. Soit
A E, A .
5. RELATIONS DORDRE 27
(i) On dit que lordre est total si
x, y E (x y ou y x).
(ii) On dit que lordre est partiel, sil nest pas total.
(iii) On dit que m E est un majorant (resp. minorant) de A si
x A (x m) (resp. (m x)).
(iv) On dit que M A est un plus grand el ement (resp. plus petit el ement) de A
si M est un majorant de A (resp. un minorant de A).
(v) On dit que m E est une borne sup erieure (resp. borne inf erieure) de A, et
on note m =: sup A (resp. m =: inf A), si m est le plus petit des majorants
(resp. le plus grand des minorant).
(vi) On dit que M E est maximal dans A si M A et si
x A (M x M = x).
(vii) On dit que M E est minimal dans A si M A et si
x A (x M M = x).
Paorosrrrox 2.23. Soit E un ensemble ordonn e, et soit A E tel que A .
Si A admet un plus grand el ement (resp. un plus petit el ement, resp. une borne
sup erieure, resp. une borne inf erieure), alors cet el ement est unique.
D rmoxsraxrrox. Soient M et N deux plus grand el ements dans A. Alors M A,
N A, et M et N sont des majorants de A. Comme M est majorant de A, alors
N M. Comme N est majorant de A, alors M N. Comme la relation dordre est
anti-sym etrique, on obtient que M = N. Donc, il y a au plus un plus grand el ement
dans A.
Dune mani` ere similaire, on montre quil y a au plus un plus petit el ement.
Le fait quil y a au plus une borne sup erieure et au plus une borne inf erieure de
A est une cons equence de la d enition de la borne sup erieure comme plus petit des
majorants (resp. de la borne inf erieure comme plus grands des minorants) et de ce
quon vient de d emontrer sur lunicit e du plus petit (resp. plus grand) el ement.
Paorosrrrox 2.24. Soit E un ensemble ordonn e, et soit A E tel que A .
Alors l el ement M E est le plus grand el ement (resp. plus petit el ement) de A si et
seulement si M A et M = sup A (resp. M = inf A).
Paorosrrrox 2.25. On consid` ere lensemble ordonn e (R, ). Soit A R non-vide,
et soient m, M R. Alors
(i) M = sup A si et seulement si
x A(x M) et > 0 x

A(M x

), et
(ii) m = inf A si et seulement si
x A(m x) et > 0 x

A(x

m + ).
28 2. TH

EORIE DES ENSEMBLES

Exrmrirs 2.26. (i) Dans (R, ) lintervalle A = [0, 1[ admet un plus petit el ement
(qui est 0), mais pas de plus grand el ement. De plus, sup A = 1 et inf A = 0.
(ii) Dans (Q, ), lensemble A = {x Q : x
2
2} na pas de borne sup erieure, et
donc a fortiori pas de plus grand el ement.
(iii) Dans (N

, |), tout nombre premier est minimal.

(iv) Dans (P(), ) on a sup{A, B} = A B et inf{A, B} = A B.
6. Fonctions et applications
D rrrxrrrox 2.27 (Fonction, application). Soient E et F deux ensembles. Une
fonction de E dans F est une relation de E dans F ayant la propri et e que si x, x

E
et y F sont tels que (x, y) f et (x

, y) f , alors x = x

. Si (x, y) f , alors on
appelle x lant ec edant de y, et y limage de x. On note
f : E F,
x y = f (x)
pour dire que f est une fonction de E dans F, et que f (x) est limage de x.
Si f est une fonction de E dans F, alors nous appelons
D( f ) := {x E : y F (x, y) f }
le domaine de d enition de f . Cest donc lensemble de tous les x qui poss` edent une
image.
Une application de E dans F est une fonction de E dans F donc le domaine de
d enition est E.
La fonction f = est appel ee la fonction vide.
D rrrxrrrox 2.28 (Injection, surjection, bijection). Soient E et F deux ensembles.
On dit quune fonction f de E dans F est
- injective si
x, y E ( f (x) = f (y) x = y),
- surjective si
y F x E ( f (x) = y).
Une injection est une application injective. Une surjection est une application sur-
jective. Une bijection est une application qui est injection et surjection.
Exrmrir 2.29. Soit E un ensemble. Lapplication identique 1
E
: E E d enie
par 1
E
(x) = x est une bijection.
D rrrxrrrox 2.30 (Composition de fonctions). Soient E, F et G trois ensembles.
Si f : E F et f : F G sont deux fonctions de domaine de d enition respectifs
D( f ) et D(g), alors la compos ee g f est la fonction de E dans G d enie par g f (x) =
g( f (x)), son domaine de d enition etant lensemble D(g f ) = {x E : x D( f ) et
f (x) D(g)}.
Paorosrrrox 2.31. La compos ee de deux applications (resp. injections, resp. sur-
jections, resp. bijections) est une application (resp. injection, resp. surjection, resp.
bijection).
7. LOIS DE COMPOSITION 29
Paorosrrrox 2.32. Si f est une bijection de E dans F, alors il existe une unique
bijection g de F dans E v eriant g f = 1
E
et f g = 1
F
.
D rrrxrrrox 2.33 (Bijection r eciproque). Soit f une bijection de E dans F. Alors
lunique bijection g de F dans E v eriant g f = 1
E
et f g = 1
F
(Proposition 2.32)
est appel ee bijection r eciproque et on note g =: f
1
.
D rrrxrrrox 2.34 (Images directes et r eciproques). Soit f : E F une fonction,
et soient A E, B F. On pose
f (A) = {y F : x A( f (x) = y)} et
f
1
(B) = {x E : y B(y = f (x))},
et on appelle f (A) limage directe de A, et f
1
(B) limage r eciproque de B.
Paorosrrrox 2.35. Soient f : E F une fonction et A
i
E, B
i
F pour i I.
Alors
(i) f (A
1
A
2
) = f (A
1
) f (A
2
),
(ii) f (

iI
A
i
) =

iI
f (A
i
),
(iii) f
1
(B
1
B
2
) = f
1
(B
1
) f
1
(B
2
),
(iv) f
1
(

iI
B
i
) =

iI
f
1
(B
i
),
(v) f
1
(B
1
B
2
) = f
1
(B
1
) f
1
(B
2
),
(vi) f
1
(

iI
B
i
) =

iI
f
1
(B
i
),
(vii) f
1
(
F
B) =
E
f
1
(B).
Exracrcr 2.36. Donner un exemple qui montre quen g en eral f (A
1
A
2
)
f (A
1
) f (A
2
). Est-ce quau moins une des inclusions f (A
1
A
2
) f (A
1
) f (A
2
)
ou f (A
1
A
2
) f (A
1
) f (A
2
) est vraie?
Exracrcr 2.37. Si E et F sont deux ensembles, alors on note F
E
pour lensemble
des applications de E dans F.
(a) Montrer que si E contient n el ements, et si F contient m el ements, alors F
E
contient m
n
el ements.
(b) Trouver une bijection entre R R -le produit cart esien - et R
2
- lensemble de
toutes les applications de 2 (vu comme un ensemble; voir le prochain chapitre) et R.
7. Lois de composition
D rrrxrrrox 2.38. Une loi interne T sur E est une application T : E E E. On
note xTy au lieu de T(x, y) limage de (x, y) E E.
Une loi externe sur E ` a domaine dop erateurs dans K est une application T :
K E E. On note Tx au lieu de T(, x) limage de (, x) K E.
Exrmrirs 2.39. (i) Laddition + et la multiplication sont des lois internes dans
R (resp. N, Z, Q).
(ii) Si E est un ensemble, alors la composition est une loi interne dans lensemble
des applications de E dans E.
(iii) Si E est un ensemble, alors lintersection et la di erence sym etrique sont
des lois internes dans P(E) (lensemble des parties de E).
30 2. TH

EORIE DES ENSEMBLES

D rrrxrrrox 2.40. Soit E un ensemble. Une loi interne T sur E est dite
- commutative si x, y E on a xTy = yTx,
- associative si x, y, z E on a (xTy)Tz = xT(yTz),
- distributive par rapport ` a une deuxi` eme loi interne S si x, y, z E on a xT(yS z) =
(xTy)S (xTz) et (xS y)Tz = (xTz)S (yTz).
La loi interne T admet un el ement neutre e E si x E on a xTe = eTx = x. Si
T admet un el ement neutre, alors un el ement inverse de x E est un el ement x

E
tel que xTx

= x

Tx = e.
Lrmmr 2.41. Soit E un ensemble, et soit T une loi interne sur E. Alors:
(i) il existe au plus un el ement neutre, et
(ii) si T admet un el ement neutre et si T est associative, alors pour tout x E il
existe au plus un el ement inverse.
D rmoxsraxrrox. (i) Soient e et e

deux el ements neutres. Alors

e = eTe

,
parce que e

est el ement neutre, et

eTe

= e

,
parce que e est el ement neutre. Donc, e = e

, ce qui veut dire quil existe au plus un

el ement neutre.
(ii) Soit e E l el ement neutre. Soit x E, et soient x

, x

E deux el ements
inverse. Alors, comme e est el ement neutre, et comme x

est el ement inverse de x,

x

= x

Te = x

T(xTx

).
De la m eme mani` ere,
x

= eTx

= (x

Tx)Tx

.
Comme T est associative, on obtient donc x

= x

, ce qui veut dire quil existe au

plus un el ement inverse.
Exrmrirs 2.42. (i) Laddition + et la multiplication dans R sont commutatives
et associatives, et la multiplication est distributive par rapport ` a laddition. L el ement
0 est un el ement neutre pour laddition, et 1 est un el ement neutre pour la multipli-
cation.
(ii) Si E est un ensemble, et si
Sym(E) := { f P(E E) : f est une bijection}
est lensemble de bijections de E dans E, alors la composition est une loi interne
sur Sym(E) qui est associative, mais non commutative (exemple!). Lapplication
identique 1
E
est l el ement neutre, et si f Sym(E), alors la fonction r eciproque f
1
est l el ement inverse.
(iii) Lintersection et la di erence sym etrique dans P(E) sont commutatives et
associatives, et lintersection est distributive par rapport ` a la di erence sym etrique.
L element neutre pour lintersection est lensemble E, l el ement neutre pour la
7. LOIS DE COMPOSITION 31
di erence sym etrique est lensemble vide . Si A est une partie de E, alors son in-
verse par rapport ` a la di erence sym etrique est A. En g en eral, il ny a pas d el ement
inverse pour lintersection.
D rrrxrrrox 2.43 (Anneau). Un triplet (A, +, ) qui consiste dun ensemble A et de
deux lois internes + et sur A est appel e anneau (unitaire) si
(i) laddition + est commutative, associative, admet un el ement neutre (not e 0), et
tout el ement x A admet un el ement inverse pour laddition, et
(ii) la multiplication est associative, distributive par rapport ` a laddition, et admet
un el ement neutre (not e 1).
Si de plus, la multiplication est commutative, alors on dit que (A, +, ) est un anneau
commutative.
Exrmrirs 2.44. (Z, +, ), (Q, +, ), (R, +, ) et (P(E), , ) sont des anneaux com-
mutatives.
CHAPITRE 3
Arithm etique
1. Laxiome de lensemble inni et d enition de N
Jusquici, dans les exemples, on a d ej` a utilis e les ensembles N, Z, Q, R, munis
des lois internes qui sont laddition et la multiplication, et munis de lordre . On a
suppos e que ces ensembles sont connus.
Dans ce chapitre on va d enir N (` a partir dun nouvel axiome) et ensuite con-
struire Z ` a partir de N. Ce sera un exercice de construire Q ` a partir de Z. On ne va
pas d ecrire une construction de R ici.
An de pouvoir d enir N on a besoin de laxiome suivant qui garantit lexistence
dun ensemble inni, et bien un peu plus. Laxiome suivant est donc une extension
de laxiome de lexistence dun ensemble (Axiome 3).
Axromr 6 (Existence dun ensemble r ecursif). Il existe un ensemble r ecursif E
avec les propri et es suivantes:
(i) E et
(ii) si x E, alors x {x} E.
D rrrxrrrox 3.1 (de N). Soit E un ensemble r ecursif (Axiome 6). On d enit
N :=

{F P(E) : F est r ecursif}

comme lintersection de tous les sous-ensembles r ecursifs de E.
Par d enition, lensemble N est le plus petit ensemble r ecursif. Lensemble N
contient exactement les el ements
,
{} = {},
{, {}} = {} {{}},
{, {}, {, {}}} = {, {}} {{, {}}},
.
.
.
33
34 3. ARITHM

ETIQUE
An dall eger la notation, on d enit
0 := ,
1 := {} = {0},
2 := {, {}} = 1 {1} = {0, 1},
3 := 2 {2} = {0, 1, 2},
4 := 3 {3} = {0, 1, 2, 3},
5 := 4 {4} = {0, 1, 2, 3, 4},
.
.
.
et alors N est lensemble qui contient exactement les el ements 0, 1, 2, 3, 4, 5, . . . .
Lexistence de lensemble N est maintenant garantit par lAxiome 6.
On remarque quavec la d enition ci-dessus les nombres 0, 1, 2, 3, 4, 5, . . .
sont des ensembles! Par exemple, le nombre 4 est lensemble qui contient les quatre
el ements 0, 1, 2 et 3. Avec ce point de vue, il est naturel de d enir lordre suivant
sur N.
Paorosrrrox 3.2 (Ordre sur N). Pour tout n, m N on d enit
n m : n m.
Alors est une relation dordre dans N.
Paorosrrrox 3.3 (Addition sur N). On d enit laddition + : N N N comme
suivant: on d enit premi` erement
n + 0 := n et
n + 1 := n {n},
et si n + m est d eja d enit, alors
n + (m + 1) := (n + m) + 1.
Alors laddition + est une loi interne sur N qui est commutative, associative, et qui
admet 0 comme el ement neutre.
Paorosrrrox 3.4 (Multiplication sur N). On d enit la multiplication : NN N
comme suivant: on d enit premi` erement
n 0 := 0 et
n 1 := n,
et si n m est d eja d enit, alors
n (m + 1) := (n m) + n.
Alors la multiplication est une loi interne sur N qui est commutative, associative,
distributive par rapport ` a laddition, et qui admet 1 comme el ement neutre.
2. CONSTRUCTION DE Z 35
2. Construction de Z
En supposant que (N, +, , ) est construit, on va maintenant construire Z ` a laide
dune relation d equivalence.
Paorosrrrox 3.5. Pour tout (a, b), (c, d) N
2
on pose
(a, b) + (c, d) := (a + c, b + d) et
(a, b) (c, d) := (ac + bd, ad + bc),
et on d enit une relation par
(a, b) (c, d) : a + d = b + c.
Alors + et sont des lois internes sur N
2
, et est une relation d equivalence dans
N
2
. En plus, pour tout (a, b), (c, d), (a

, b

), (c

, d

) N
2
on a
(a, b) (a

, b

) et (c, d) (c

, d

)
(a, b) + (c, d) = (a

, b

) + (c

, d

) et (a, b) (c, d) = (a

, b

) (c

, d

).
D rrrxrrrox 3.6 (de Z). On pose
Z := N/,
et on appelle Z lensemble des entiers relatifs. Sur Z, on d enit laddition + et la
multiplication par
(a, b) + (c, d) := (a, b) + (c, d) et
(a, b) (c, d) := (a, b) (c, d).
Rrmxatrs 3.7. (a) On remarque premi` erement que pour tout el ement (a, b) dans
Z il existe un n N tel que
(a, b) = (n, 0) ou (a, b) = (0, n).
An de voir cela, il sut de d emontrer que pour tout (a, b) N
2
il existe un n N
tel que
a = b + n ou a + n = b.
En cons equent, tous les el ements de Z secrivent de la forme (n, 0) ou (0, n) pour un
n N.
(b) On remarque deuxi` emement que pour tout (a, b) N
2
on a
(a, b) + (b, a) = (b, a) + (a, b) = (a + b, a + b),
et que (a + b, a + b) = (0, 0) est l el ement neutre pour laddition. En particulier, tout
el ement de Z admet un el ement inverse pour laddition.
Paorosrrrox 3.8. Soient Z, laddition + et la multiplication sur Z comme ci-
dessus. Alors (Z, +, ) est un anneau.
36 3. ARITHM

ETIQUE
Paorosrrrox 3.9. Lapplication
i : N Z,
n (n, 0),
est injective. En plus, pour tout n, m N on a
i(n + m) = i(n) + i(m) et
i(n m) = i(n) i(m).
Si on identie N avec son image direct i(N), alors on peut dire que N est un
sous-ensemble de Z, et laddition et la multiplication dans N coincide (sous cette
indentication) avec laddition et la multiplication dans Z.
Dans la suite, on va identier N avec son image direct i(N). En plus, on note les
el ements de Z simplement n, m, k, . . . . Si n Z, alors on note n l el ement inverse
pour laddition. On ecrit n m au lieu de n + (m).
Dapr` es la Remarque 3.7 (a), pour tout n Z on a
n N ou n N.
Paorosrrrox 3.10. On d enit, pour tout n, m Z,
n m : m n N.
Alors est une relation dordre sur Z qui, quand on la restreint sur N, coincide avec
la relation dordre sur N.
3. Lalgorithme dEuclide
D rrrxrrrox 3.11. Pour tout n Z on d enit la valeur absolue |n| par |n| :=
sup{n, n}.
Paorosrrrox 3.12. Pour tout n, m Z on a
|n| = 0 n = 0,
|n + m| |n| + |m| et
|n m| = |n| |m|.
Paorosrrrox 3.13 (Division avec reste). Pour tout n, m Z, m 0, il existe des
el ements unique q, r Z tel que
n = q m + r et 0 r < |m|.
D rmoxsraxrrox. Unicit e: Supposons quil y a deux solutions pour la division
avec reste, c.` a.d. supposons que q
1
, q
2
, r
1
, r
2
Z sont tels que
n = q
1
m + r
1
et 0 r
1
< |m| et
n = q
2
m + r
2
et 0 r
2
< |m|.
Alors
m (q
2
q
1
) = r
1
r
2