Vous êtes sur la page 1sur 66

1

Logique
et
Langage des ensembles

Les notions abordes dans ce module sont des notions de base qui inter-
viennent dans tous les domaines des mathmatiques. Souvent considres comme
acquises par les tudiants aprs un cours dintroduction rapide, elles sont sus-
ceptibles de causer des difficults dans tout le travail ultrieur, en cas de matrise
insuffisante. Cest pourquoi ce module est trs dtaill sur les questions qui posent
problme aux tudiants. Il est conseill de travailler de faon approfondie ce mo-
dule au dbut de lanne, puis de revenir ensuite revoir les points qui sont source
de difficult.

Universit en ligne . C OUSQUER et C. S ACR, USTL


2

Contenu du module "Logique et thorie des ensembles"


1. Connecteurs Ngation Conjonction Disjonction Lois de Morgan
Distributivit
Cours et cinq exercices interactifs avec correction.
2. Langage des ensembles Notion densemble Inclusion et galit
Ensembles particuliers Runion densembles Intersection densemble
Proprits de distributivit Complmentaire dun ensemble Autres
oprations Correspondance Ensembles/Proprits
Cours et trente neuf exercices interactifs.
3. Quantificateurs Quantificateur universel Quantificateur existentiel
Rgles dusage Ngation des quantificateurs
Cours, quatorze exercices interactifs, un test dauto-valuation avec qua-
rante questions
4. Implication Sens de limplication Condition ncessaire, suffisante
Contrapose Rciproque Ngation de limplication quivalence
logique
Cours, trois exercices interactifs, deux tests dauto-valuation avec cin-
quante questions
5. Applications Dfinition Images Composition Proprits
Cours, quarante exercices interactifs, deux tests dauto-valuation avec quatre-
vingt questions
6. Relations Dfinition Relation dquivalence Relation dordre
Application croissante entre ensembles ordonns
Cours et vingt six exercices interactifs.
7. Dmonstrations Implication Conjonction Disjonction Ngation
Dmonstration par labsurde Quantificateurs et dmonstration
Cours et dix-sept exercices interactifs.
8. Rdaction Directives gnrales Connecteurs logiques Quantifica-
teurs Remarques finales
Cours et neuf exercices interactifs.
9. Cardinal dun ensemble Les ensembles infinis Cardinal dun en-
semble Le dnombrable Le continu : les rels Le continu : les
nombres complexes Les cardinaux infinis
Cours

Universit en ligne . C OUSQUER et C. S ACR, USTL


3

Connecteurs logiques
En mathmatiques, on se situe dans le cadre dune logique deux valeurs.
Une proposition mathmatique "P " est soit vraie soit fausse. Si elle est vraie,
nous lui attribuons la valeur 1, (ou V) ; si elle est fausse, nous lui attribuons la
valeur logique 0, (ou F).
On peut trouver des propositions toujours vraies, par exemple "x2 0" pour x
rel, ou "0 = 0" quon appelle des tautologies, des propositions toujours fausses,
par exemple "0 = 1" et des propositions tantt vraies, tantt fausses, par exemple
"x2 = 1" qui est vraie pour "x = 1" ou "x = 1", et fausse sinon.

But de ce chapitre On examine comment, partir de propositions donnes en


former de nouvelles, laide de connecteurs logiques :
la ngation le "non"
la conjonction le "et"
et la disjonction logique le "ou".

Ngation
Notation de la ngation dune proposition On note "non P " le contraire de la
proposition "P ", cest--dire la proposition qui est vraie quand "P " est fausse et
qui est fausse quand "P " est vraie. Par exemple si "P " est la proposition "x = 0",
"non P " est la proposition "x 6= 0".

Remarque Une notation des logiciens pour "non P " est la notation "P ". On
se contentera de la notation avec le mot non, car nous ne dveloppons pas un cours
de logique.

p non p
Table de vrit de la ngation 1 0
0 1

Ngation de la ngation Une proprit immdiate est que "non (non P )" est
quivalente "P ", (cela se voit aussi sur la table de vrit.)
(non (non P )) P

Sens du symbole "quivaut" Le sens du symbole qui se lit quivaut, et


qui signifie ici que les deux propositions ont toujours la mme valeur sera revu
par la suite.

Universit en ligne . C OUSQUER et C. S ACR, USTL


4

Conjonction
Notation de la conjonction de deux propositions Lorsque lon a deux propo-
sitions "P ", "Q", on peut former une nouvelle proposition appele la conjonction
de ces deux propositions, que lon notera "P et Q". La proposition "P et Q" vraie
signifie que les deux propositions sont vraies en mme temps. Par exemple pour
deux nombres x et y rels, la proposition "x2 + y 2 = 0" quivaut "x = 0 et y =
0". Il est clair que :
(P et Q) (Q et P )

Remarque Une notation des logiciens pour "P et Q" est "P Q", que nous
nemploierons pas dans ce cours.

Commutativit Il est clair que (P et Q) (Q et P )

p q p et q
1 1 1
Table de vrit de la conjonction 1 0 0
0 1 0
0 0 0

Disjonction
Lorsque lon a deux propositions "P ", "Q", on peut former une proposition
que lon appelle la disjonction de ces deux propositions, et que lon note "P ou Q".
La proposition "P ou Q" est vraie si lune au moins des deux propositions "P " ou
"Q" est vraie.

Attention Ce point diffre du langage courant. En mathmatiques, le ou est non-


exclusif, cest dire quil comprend la possibilit que les deux propositions soient
vraies. Ainsi la proposition "xy = 0" quivaut la proposition "x = 0 ou y = 0",
elle est vraie quand lun des deux nombres est nul, elle est aussi vraie quand les
deux sont nuls.

Remarque Une notation des logiciens pour "P ou Q" est "P Q", que nous
nemploierons pas dans ce cours.

Commutativit Il est clair que (P ou Q) (Q ou P )

Universit en ligne . C OUSQUER et C. S ACR, USTL


5

p q p ou q
1 1 1
Table de vrit de la disjonction 1 0 1
0 1 1
0 0 0

Lois de Morgan
Elles indiquent comment prendre la ngation dune disjonction, ou la ngation
dune conjonction.

Ngation de la disjonction Daprs linventaire des trois cas possibles pour la


proposition "P ou Q", la proposition "non (P ou Q)" signifie que lon a "P " faux
et "Q" faux, cest--dire que lon a la proposition "(non P ) et (non Q)" :
non (P ou Q) ((non P ) et (non Q))

Ngation de la conjonction De mme la proposition "non (P et Q)" signifie


que lon est dans lun des trois cas : "P " faux et "Q" vrai, "P " faux et "Q" faux,
"P " vrai et "Q" faux, cest--dire que lune au moins des proprits "P ", "Q" est
fausse, et que lon a la proposition "(non P ) ou (non Q)" :
non (P et Q) ((non P ) ou (non Q))

Lois de distributivit
On va dmontrer deux lois de distributivit par les tables de vrit.

La conjonction est distributive par rapport la disjonction


(P et (Q ou R)) ((P et Q) ou (P et R))
p q r q ou r p et q p et r (p et q) ou (p et r) p et (q ou r)
1 1 1 1 1 1 1 1
1 1 0 1 1 0 1 1
1 0 1 1 0 1 1 1
1 0 0 0 0 0 0 0
0 1 1 1 0 0 0 0
0 1 0 1 0 0 0 0
0 0 1 1 0 0 0 0
0 0 0 0 0 0 0 0

Universit en ligne . C OUSQUER et C. S ACR, USTL


6

La disjonction est distributive par rapport la conjonction

(P ou (Q et R)) ((P ou Q)et (P ou R))

p q r q et r p ou q p ou r (p ou q) et (p ou r) p ou (q et r)
1 1 1 1 1 1 1 1
1 1 0 0 1 1 1 1
1 0 1 0 1 1 1 1
1 0 0 0 1 1 1 1
0 1 1 1 1 1 1 1
0 1 0 0 1 0 0 0
0 0 1 0 0 1 0 0
0 0 0 0 0 0 0 0

Travail faire sur ordinateur


Les cinq exercices interactifs du chapitre "Connecteurs logiques"

Universit en ligne . C OUSQUER et C. S ACR, USTL


7

Notion densemble
Depuis le dbut du vingtime sicle, tous les objets mathmatiques sont d-
crits en utilisant le langage des ensembles. Ensembles de nombres, ensembles de
points, ensembles de fonctions, etc.
On ne dfinit pas la notion densemble. Sinon, si lon dit quun ensemble est
une collection, il faudrait dfinir ce quest une collection, etc. Nous allons simple-
ment prciser les notations et les rgles pour utiliser ce langage de faon sre.

Exemples Vous-mme avez commenc utiliser ce langage.


N ensemble des entiers naturels, {0, 1, 2, 3, ...}
Z ensemble des entiers relatifs, {0, 1, 1, 2, 2, ...}
D ensemble des dcimaux, cest--dire des nombres qui peuvent scrire sous la
forme 10np , n et p entiers relatifs. Les dcimaux comportent les entiers et
les nombres qui peuvent scrire sous une forme dcimale avec un nombre
fini de chiffres non nuls aprs la virgule. On prendra garde que les nombres
dcimaux ont deux critures dcimales illimites : lune avec des zros in-
dfiniment partir dun certain rang, lautre avec des 9 indfiniment partir
dun certain rang. Par exemple :
14, 452 = 14, 452000 . . . = 14, 451999 . . .
Q ensemble des rationnels, cest--dire des nombres qui peuvent scrire comme
le quotient de deux entiers n et m, (m 6= 0). On admet qu tout nombre
rationnel on associe un dveloppement dcimal priodique, unique si le
nombre nest pas un dcimal.
R les nombres rels. Ils nont jusqu prsent pas t dfinis. Cette anne on don-
nera trs prcisment les proprits des nombres rels utilisables dans les
dmonstrations. tout nombre rel on associe un dveloppement dcimal
illimit, unique si le nombre nest pas un dcimal.
C les nombres complexes qui peuvent scrire sous la forme a + ib, avec a et b
rels.
En gomtrie, vous avez aussi utilis ce langage en parlant de la droite comme un
ensemble de points, etc.

Notion dappartenance
xE : x est lment de lensemble E
xE : x appartient lensemble E
x 6 E : est la ngation de x E
x 6 E : x nest pas lment de lensemble E
x 6 E : x nappartient pas lensemble E

Universit en ligne . C OUSQUER et C. S ACR, USTL


8

Ensemble vide On considre en mathmatiques, quil y a un unique ensemble,


appel ensemble vide, qui ne contient aucun lment, et qui est not . Si on
considre un lment x quelconque, on a forcment x 6 .

Ensembles infinis Les ensembles ont t invents pour manipuler des ensembles
infinis. Lorsque, la fin du dix-neuvime sicle, les mathmaticiens ont com-
menc manipuler des ensembles, ils se sont aperus que la notion d" ensemble
de tous les ensembles" conduisait des contradictions. Afin de limiter les en-
sembles utiliss, ils se sont fix la rgle suivante de formation des ensembles.

Rgle de formation Si on se donne un ensemble E et une proprit "P ", on


peut former un nouvel ensemble F constitu des lments de E qui vrifient la
proprit "P ". Cela scrit :

F = {x E | P (x)}

criture dun ensemble


Pour crire un ensemble, on a deux possibilits :

criture en extension On numre ses lments. On dit quon dfinit len-


semble en extension. Cette dfinition nest pas toujours utilisable : comment crire
ainsi des ensembles tels que lensemble des points dun segment par exemple ?
Exemples :
E = {0, 1, 5, 10}
Z = {0, 1, 1, 2, 2, ...}

criture en comprhension On se donne une proprit qui caractrise ses l-


ments. On dit quon dfinit lensemble en comprhension. Cest lcriture des
ensembles la plus utilise. Exemples :

[a, b] = {x R | a x b}

2N = {p | p " entier pair" }

Q = { pq | p Z et q Z et q 6= 0}

C = {a + ib | a R et b R}, avec (i2 = 1)

Universit en ligne . C OUSQUER et C. S ACR, USTL


9

Remarque importante Il y a deux parties dans lcriture dun ensemble, spa-


res par une barre verticale.

E = {x U | P (x)}

La premire x U indique o sont pris les lments de lensemble, la deuxime


P (x) indique une proprit caractristique des lments de lensemble E. Les
signes logiques ne peuvent donc intervenir ventuellement quau niveau de lcri-
ture de la proprit "P " et en aucun cas dans la premire partie de lcriture.

Inclusion et galit
Inclusion densembles
On dit quun ensemble F est inclus dans un ensemble E, si tout lment de F
appartient E.
F E F est inclus dans lensemble E
F E F est contenu dans lensemble E
F E F est un sous-ensemble de lensemble E
F E F est une partie de lensemble E
F 6 E est la ngation de F E
F 6 E F nest pas inclus dans lensemble E
F 6 E signifie "il existe au moins un lment de F nappartenant pas E"

Linclusion est une inclusion large Daprs la dfinition prcdente, tout en-
semble E est inclus dans lui mme.

EE

Inclusion stricte Lorsque le sous-ensemble F est strictement inclus dans len-


semble E, on dit que F est un sous-ensemble propre de E. On doit alors le
prciser par la conjonction des deux proprits :

F E et F 6= E

Ensemble vide et inclusion Lensemble vide est contenu dans tout ensemble
E.
E
Un ensemble E non vide a donc toujours au moins deux sous-ensembles, len-
semble vide et lui mme. Par contre, lensemble a un seul sous-ensemble, lui-
mme.

Universit en ligne . C OUSQUER et C. S ACR, USTL


10

Exemples dinclusion densembles


N Z, Z D, D Q, Q R, R C
Soit lensemble E = {a, b, c}. Ses sous-ensembles sont les ensembles :

, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c}

Transitivit de linclusion A, B, C tant trois ensembles, si le premier en-


semble A est contenu dans le second B, si le deuxime ensemble B est contenu
dans le troisime C, alors le premier ensemble A est contenu dans le troisime C ;
on dit que linclusion est transitive ; cette proprit snonce :

Si (A B et B C), alors A C

et scrit en langage formalis o se lit " implique" et sera revu dans la suite :

(A B et B C) A C

Justification Soit x un lment de A, daprs lhypothse A B, on peut


affirmer que x est lment de B. Daprs lhypothse B C, on peut affirmer
que x est lment de C. On a donc montr que tout lment de A est lment de
C et donc que A est inclus dans C.

Abus dcriture On peut crire une srie dinclusions qui met en vidence la
transitivit de linclusion :

NZDQRC

galit densembles
Deux ensembles sont gaux sils ont exactement les mmes lments. Cela se
traduit par deux inclusions simultanes.

E = F (F E et E F )

Comment dmontrer
Une inclusion Pour dmontrer quun ensemble F est inclus dans un ensemble
E, on prend un lment x quelconque de F , on utilise les hypothses qui dfi-
nissent lensemble F , et on dmontre que x vrifie les proprits qui dfinissent
lensemble E. La dmonstration prend donc la structure suivante :

Universit en ligne . C OUSQUER et C. S ACR, USTL


11

Soit x un lment de lensemble F


...
(raisonnement)
...
donc x est un lment de lensemble E
Conclusion : F E

Une non-inclusion Comment prouver F 6 E ? Il suffit de trouver un lment


de F qui nest pas dans lensemble E, (un contre-exemple suffit).

Une galit densembles Deux ensembles sont gaux sils ont exactement les
mmes lments. Cela se traduit par deux inclusions simultanes.
E = F (F E et E F )
Pour dmontrer lgalit de deux ensembles E et F , il faudra faire deux dmons-
trations dinclusion, dune part pour dmontrer F E, dautre part pour dmon-
trer E F .

Utiliser dans une dmonstration


Une inclusion Comment utiliser une hypothse F E dans une dmonstra-
tion ? On utilise que tout lment qui appartient F appartient aussi E et donc
vrifie les proprits qui dfinissent E.

Une non-inclusion Comment utiliser une hypothse F 6 E ? On affirme : on


sait quil y a au moins un lment de F qui nest pas lment de E, on dit quon
en prend un et on utilise llment ainsi dfini dans la dmonstration qui suit.

Exemple
Reprenons la dmonstration faite prcdemment de la proprit :
Si (A B et B C), alors A C
La justification a suivi les schmas "Dmontrer une inclusion" et "utiliser une
inclusion" .

"Dmontrer une inclusion" Lobjectif est de montrer que A C. On a donc


pris un lment x de A, et nous avons pour but de montrer que x est lment de
C.

Universit en ligne . C OUSQUER et C. S ACR, USTL


12

"Raisonnement" Il consiste utiliser deux inclusions donnes en hypothse,


(A B et B C).
"Utiliser une inclusion" : en utilisant linclusion A B donne par hypo-
thse, on peut affirmer que x est lment de B.
"Utiliser une inclusion" : comme x B, en utilisant linclusion B C
donne par hypothse, on peut affirmer que x est lment de C, ce qui est notre
but.

"Conclure" On a donc montr que tout lment de A est lment de C et donc


que A est inclus dans C.

Ensembles particuliers
Ensemble des parties dun ensemble Pour tout ensemble E, on peut former
un ensemble que lon note P(E), dont les lments sont les sous-ensembles de E.

P(E) = {F | F E}
F P(E) F E

Exemple 1
Pour lensemble E = {a, b, c}, lensemble des parties est

P(E) = {, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c}}

Attention bien distinguer a qui dsigne un lment de E, et {a} qui dsigne


le sous-ensemble de E, appel singleton, qui ne contient que llment a. On
crira :
a E ; {a} E ; {a} P(E)
a 6= {a} ; a {a} ; a 6 {a}...

Exemple 2
P() = {}, P() est un singleton. Donc

P(P()) = {, {}}

Universit en ligne . C OUSQUER et C. S ACR, USTL


13

Produit densembles Lensemble R2 , reprsentant les points du plan lorsque


lon a choisi un repre est un ensemble produit ; cest lensemble des couples
dlments de rels (x, y), x premier lment du couple, y deuxime lment du
couple. On peut gnraliser au produit de deux ensembles E et F quelconques :

E F = {(x, y) | x E et y F }

Ceci se gnralise au produit dun nombre fini densembles E1 , E2 , . . . , En


quelconques :
E1 E2 En = {(x1 , x2 , . . . , xn ) | x1 E1 et x2 E2 et et xn En }

Runion densembles
Si E et F sont des ensembles, E F est lensemble constitu des lments
qui appartiennent au moins lun des deux ensembles E ou F , (on admet quil
existe).
E F = {x | x E ou x F }
On a donc :
x E F (x E ou x F )

Le "ou" est non-exclusif, cest--dire quil regroupe les trois cas :


x E F
(x E et x F ) ou (x 6 E et x F ) ou (x E et x 6 F )

Lien avec les lois de Morgan

x 6 E F (x 6 E et x 6 F )

Proprits de la runion
La runion de deux ensembles A et B est le plus petit ensemble qui contienne
la fois ces deux ensembles Ce qui se traduit en langage formalis par la
conjonction de deux proprits.

[A A B et B A B] et

[(A C et B C) A B C]
On peut titre dexercice, dmontrer ces proprits, ainsi que les suivantes.

Idempotence Pour tout ensemble E, E E = E

Universit en ligne . C OUSQUER et C. S ACR, USTL


14

Commutativit Pour tous les ensembles E et F , E F = F E

Associativit (E F ) G = E (F G) pour tous les ensembles E, F et


G. Cela permet de dfinir la runion de trois ensembles, dun nombre fini den-
sembles.
E1 E2 E3 = {x | x E1 ou x E2 ou x E3 }
E1 E2 En = {x | x E1 ou x E2 ou ou x En }

Gnralisation La runion se gnralise la runion dune famille densembles


(dont on admet lexistence).
[
Ei = {x | i I, x Ei }
iI

signifie il existe au moins un et sera revu plus tard.

Runion, lien avec le connecteur "ou" Supposons lensemble E dfini par une
proprit "P " et lensemble F dfini par une proprit "Q", alors on remarque que
lensemble E F est dfini par la proprit "P ou Q" :

E = {x U | P (x)}
F = {x U | Q(x)}
E F = {x U | P (x) ou Q(x)}

Intersection densembles
Si E et F sont des ensembles, E F est lensemble constitu des lments
qui appartiennent la fois aux deux ensembles E et F .
E F = {x | x E et x F }
x E F (x E et x F )
On peut titre dexercice, dmontrer ces proprits, ainsi que les suivantes.

Lien avec les lois de Morgan


x
/ E F (x 6 E ou x 6 F )
autrement dit :
x 6 E F
(x 6 E et x 6 F ) ou (x 6 E et x F ) ou (x E et x 6 F ))

Universit en ligne . C OUSQUER et C. S ACR, USTL


15

Proprits de lintersection
Lintersection de deux ensembles A et B est le plus grand ensemble qui est
contenu la fois dans ces deux ensembles Ce qui se traduit en langage for-
malis par la conjonction de deux proprits.
[A B A et A B B] et
[(C A et C B) C A B]

Idempotence Pour tout ensemble E, on a E E = E.

Commutativit E F = F E, pour tous les ensembles E et F .

Associativit (E F ) G = E (F G), pour tous les ensembles E, F


et G. Cela permet de dfinir lintersection de trois ensembles, dun nombre fini
densembles.
E1 E2 E3 = {x | x E1 et x E2 et x E3 }
E1 E2 En = {x | x E1 et x E2 et et x En }

Gnralisation Lintersection se gnralise une intersection quelconque dune


famille densembles indexe par un ensemble non vide I.
\
Ei = {x E | i I, x Ei }
iI

(Le sens du symbole qui veut dire "pour tout" sera revu ensuite.)

Lien avec le connecteur "et" Supposons lensemble E dfini par une pro-
prit "P " et lensemble F dfini par une proprit "Q", alors on remarque que
lensemble E F est dfini par la proprit "P et Q" :
E = {x U | P (x)}
F = {x U | Q(x)}
E F = {x U | P (x) et Q(x)}

Proprits de distributivit
Lintersection est distributive par rapport la runion Cela rsulte de la
distributivit de la conjonction par rapport la disjonction.
E (F G) = (E F ) (E G)

Universit en ligne . C OUSQUER et C. S ACR, USTL


16

La runion est distributive par rapport lintersection Cela rsulte de la


distributivit de la disjonction par rapport la conjonction.
E (F G) = (E F ) (E G)

Complmentaire dun ensemble


On suppose E U . On dfinit un ensemble not {U E, appel complmentaire
de E dans U :
{U E = {x U | x 6 E}
x {U E (x U et x 6 E)

Lien avec le connecteur "non" Si le sous-ensemble E de U est dfini par la


proprit "P ", alors son complmentaire est dfini par la proprit "non P ".
E = {x U | P (x)}
{U E = {x U | non P (x)}

Proprits E et F sont deux sous-ensembles de U . En utilisant les lois de


Morgan et les autres proprits logiques, dmontrer que :
1. {U (E F ) = ({U E) ({U F )
2. {U (E F ) = ({U E) ({U F )
3. {U ({U E) = E
4. E ({U E) = U
5. E ({U E) =
6. E F {U F {U E

Autres oprations
En mathmatiques, on utilise aussi les notions suivantes :

Diffrence densembles
Si E et F sont des sous-ensembles de U , on dfinit la diffrence de ces deux
ensembles, et on note E \ F , lensemble :
E \ F = {x U | x E et x 6 F } = E {U F
Remarque : certains notent la diffrence de deux ensembles E F , mais cette
notation est dangereuse, en algbre linaire par exemple.

Universit en ligne . C OUSQUER et C. S ACR, USTL


17

Diffrence symtrique
Si E et F sont des sous-ensembles de U , on dfinit la diffrence symtrique
de ces deux ensembles, et on note E4F , lensemble

E4F = (E \ F ) (F \ E)

E4F = {x U | ((x E et x 6 F ) ou (x 6 E et x F )}

Correspondance entre proprits et ensembles


On se donne un ensemble E et trois proprits "P ", "Q", "R" susceptibles
dtre vrifies par des lments de lensemble E. chacune des proprits, on
associe un sous ensemble de E.
A = {x E | P (x)}, B = {x E | Q(x)}, C = {x E | R(x)}.

AB P et Q
x A B P (x) et Q(x)
AB P ou Q
x A B P (x) ou Q(x)

{E A = {x E | nonP (x)} nonP


{E {E A = A non(non(P )) P
{E (A B) = ({E A) ({E B) non(P et Q) ((nonP ) ou (nonQ))
{E (A B) = ({E A) ({E B) non(P ou Q) ((nonP ) et (nonQ))
A ({E A) = E P ou (nonP )
A ({E A) = P et (nonP ) impossible

Travail faire sur ordinateur


Les trente neuf exercices interactifs du chapitre "Langage des ensembles"

Universit en ligne . C OUSQUER et C. S ACR, USTL


18

Quantificateurs
Le langage courant (franais) est facilement ambigu : la phrase "tous les gui-
chets sont ferms certains jours" , qui est grammaticalement irrprochable, signifie-
t-elle "certains jours tous les guichets sont ferms" , ou bien signifie-t-elle "chaque
guichet est ferm certains jours" , ce qui est tout diffrent ?
Les mathmatiques, qui ont la prtention de pouvoir affirmer avec certitude
que telle proprit est vraie, que telle autre est fausse, ne peuvent saccommoder
dun tel risque de flou, mme sil doit tre artistique. Cest la raison de la ncessit
dun langage prcis spcifique aux mathmatiques.
Lobjet de ce cours est de prsenter les signes qui dans le langage mathma-
tique expriment la quantification, cest dire la quantit dobjets (aucun, certains,
tous) pour lesquels une proprit est vraie, signes que lon appelle des quantifica-
teurs.
Quantificateur universel

Le quantificateur se lit :
pour tout,
quelque soit,
pour chaque
pour nimporte quel

Quantificateur existentiel

Le quantificateur se lit : il existe

Lusage de ces quantificateurs est trs prcis et diffre de lusage intuitif du


langage ordinaire. Cette prcision est ncessaire pour que les formules crites avec
des quantificateurs aient un sens prcis et non ambigu. Cest pourquoi il importe
de prendre conscience des rgles dutilisation de ces quantificateurs.

Quantificateur universel

x E, P (x)
Cette phrase formelle affirme que la proprit "P " est vraie pour tous les lments
x de lensemble E, ou encore quil ny a pas dans E de contre-exemple la
proprit "P ".

Universit en ligne . C OUSQUER et C. S ACR, USTL


19

On remarquera que le quantificateur est plac avant la proprit quil quan-


tifie.
En franais, pour traduire le caractre universel dune proprit dans len-
semble E, on utilisera des expressions comme
pour tout x,
pour nimporte quel x,
quelque soit x,
pour chaque x,
pour un x quelconque.
Cependant, alors que le quantificateur en mathmatiques doit figurer explicite-
ment dans lexpression, il arrive en franais quune phrase exprime une proprit
universelle sans quun mot particulier comme tout, nimporte quel... ne figure.

Exemple de phrases universelles en franais


Tout homme est mortel.
Nimporte quel homme est mortel.
Lhomme est mortel.
Ces phrases franaises sont rigoureusement quivalentes. Pourtant dans la der-
nire, il ny a pas de marque explicite pour le caractre universel de la proprit
nonce. Cest larticle dfini qui joue ce rle, et on doit daprs le sens de la
phrase, rtablir le quantificateur manquant pour traduire cette phrase en une phrase
formalise en mathmatiques. On crira :

x H, M (x)

o H dsigne lensemble des hommes et "M (x)" la proprit "x est mortel" .

Exemples mathmatiques de phrases universelles


Ce mme phnomne se prsente aussi en mathmatiques, dans la mesure o
les proprits mathmatiques sont nonces en utilisant la langue naturelle. Lors-
quon dit
"un entier positif est plus grand quun entier ngatif ",
il est vident que le sens est
"nimporte quel entier positif est plus grand que nimporte quel entier ngatif ",
et donc que cette phrase se traduit par :

p N, n N, p n.

Universit en ligne . C OUSQUER et C. S ACR, USTL


20

"Laddition des entiers est commutative" :


on sait que cela veut dire que le rsultat de la somme de deux entiers (quelconques)
ne dpend pas de lordre des termes. Si on veut formaliser cette phrase, il faudra
donc faire intervenir deux quantificateurs universels :

x Z, y Z, x + y = y + x.

Attention :
La proprit " x , P (x)" est vraie pour nimporte quelle proprit "P ",
puisquil ny a aucun lment dans lensemble vide, et quune proprit est vraie
dans un ensemble sil ny a pas de contre-exemple.

Remarque :
La proprit " x E, P (x)" ne dpend pas de x, elle signifie exactement la
mme chose que " y E, P (y)". On dit que la variable x est muette.

Exemple :
Les deux formules suivantes sont quivalentes :

x Z, y Z, x+y =y+x

a Z, z Z, a+z =z+a
En effet, les deux formules signifient : "laddition dans Z est commutative" ,
et dans cette phrase, il ny a ni x, ni y, ni a, ni z...

Quantificateur existentiel

x E, P (x)
Cette phrase formelle affirme que dans E il existe au moins un lment x qui
vrifie la proprit "P ". Attention, il peut aussi en exister plusieurs. La seule affir-
mation faite est la suivante : lensemble des lments de E qui vrifie la proprit
"P " est non vide. Ceci est diffrent du langage courant souvent plus ambigu. Dans
certains contextes, laffirmation Il y a un x qui vrifie "P " peut vouloir dire un
seul x, alors que dans le langage mathmatique le sens est prcis : au moins un
x, ventuellement plusieurs.

Universit en ligne . C OUSQUER et C. S ACR, USTL


21

Un exemple pour illustrer


Si a Z, tudions la proprit
"lquation 2x2 (a + 2)x + a = 0 a une solution entire".
Lquation a deux racines, x0 = 1 et x = a2 ; si a est pair, elles sont en-
tires toutes les deux, sinon, seule la premire est entire. La proprit est donc
vraie, bien quil y ait quelquefois deux solutions entires ; elle doit tre comprise
comme :
x Z, 2x2 (a + 2)x + a = 0
Souvent on prcise quand mme :
"lquation 2x2 (a + 2)x + a = 0 a au moins une solution entire" , mais ce
nest pas obligatoire.

Attention
La proprit " x , P (x)" est fausse quelle que soit la proprit "P ",
puisque lensemble vide ne contient aucun lment.

Remarque
La proprit " x E, P (x)" ne dpend pas de x. Les expressions " x
E, P (x)" et " y E, P (y)" signifient exactement la mme chose. Les variables
x et y sont ici des variables muettes.

Rgles dusage des quantificateurs


Pas de mlange
Quand on crit une phrase formelle avec des symboles logiques, on ne m-
lange pas des mots et des signes logiques :
ou bien on crit des phrases compltes en franais,
ou bien on crit des phrases formelles.
En particulier, il est incorrect dutiliser ces signes comme des abrviations et cela
conduit des erreurs.

Lordre dcriture
Lordre dcriture des quantificateurs est fondamental pour le sens dune phrase
formelle.

Universit en ligne . C OUSQUER et C. S ACR, USTL


22

Quand deux quantificateurs existentiels se suivent, on peut les changer


sans changer le sens.
Quand deux quantificateurs universels se suivent, on peut les changer sans
changer le sens.
Quand on inverse lordre de deux quantificateurs diffrents, le sens
change.

Sens dune phrase formelle


Considrons la proprit "P (x, y)" voulant dire x aime y. Si nous crivons les
deux phrases formelles suivantes, leur sens est trs diffrent.

phrase 1 x E, y E, P (x, y)

phrase 2 y E, x E, P (x, y)
Pour mieux saisir cette diffrence, il faut comprendre quun systme de paren-
thses est sous entendu lorsque plusieurs quantificateurs se suivent. Si nous les
rtablissons, cela donne :

phrase 1 x E, (y E, P (x, y))

ou encore :
phrase 1 x E, Q(x)
o "Q(x)" est la proprit " y E, P (x, y)". La proprit "Q(x)" signifie x
aime au moins une personne.
La phrase 1 affirme pour chaque lment x de lensemble E lexistence
dune personne aime y, y pouvant dpendre de x.

phrase 2 y E, (x E, P (x, y))


ou encore :
phrase 2 y E, R(y)
avec pour "R(y)" la proprit " x E, P (x, y)". La proprit "R(y)" signifiant
y est aim par tout le monde.
La phrase 2 affirme donc lexistence dune personne y au moins, qui est
aime par toutes les personnes (y compris par elle-mme).

Universit en ligne . C OUSQUER et C. S ACR, USTL


23

Exemple mathmatique
Interprter les phrases formelles suivantes obtenues en inversant lordre des
quantificateurs :
phrase 3 n N, p N, p n
phrase 4 p N, n N, p n
Rtablissons des parenthses sous-entendues :

phrase 3 n N, (p N, p n)

La proprit " p N, p n" veut dire que n est plus grand que tous les
entiers. La phrase 3 signifie donc quil existe un entier n plus grand que tous
les autres. Ce qui est videmment faux.

phrase 4 p N, (n N, p n)
La proprit " n N, p n" veut dire qutant donn p entier, on peut trouver
un entier n plus grand que p. La phrase 4 signifie donc que pour chaque entier
p, on peut trouver un entier plus grand, ce qui est vrai (par exemple p + 1 ou
p + 15, ou encore p lui-mme . . . ).

Rcapitulation :

x E, y F, P (x, y)
pour chaque x il y a un y, fonction de cet x, tel que. . .

y F, x E, P (x, y)
il y a un y, le mme pour tous les x, tel que. . .
On comprend pourquoi il faut mettre les quantificateurs devant la proprit
quils quantifient : si on se permettait dcrire :

y F, P (x, y), x E

on ne saurait jamais laquelle des deux formules prcdentes on veut exprimer.

Ngation dune phrase avec quantificateurs


Comment prendre la ngation dune phrase formelle crite avec des quantifi-
cateurs ?

Universit en ligne . C OUSQUER et C. S ACR, USTL


24

Ngation dune phrase universelle :

x E, P (x).
Comme on affirme quune proprit "P " est universelle sur E, pour nier cette
proprit, il suffit de trouver un contre-exemple.
Autrement dit :

(non (x E, P (x))) (x E, nonP (x)).

Remarque sur la phrase prcdente.


Nous avons mis des parenthses car sinon nous avons deux interprtations
possibles.
"non P Q" veut-il dire :
"non (P Q)"
ou
"(non P ) Q" ? ce qui nest pas la mme chose.
Lusage est plutt "(non P ) Q", mais il vaut mieux expliciter comme nous
lavons fait.

Ngation dune phrase existentielle :

x E, P (x)
On affirme ici que pour un x au moins, "P " est vrai, ou encore que lensemble des
x pour lesquels "P " est vrai nest pas vide.
Le contraire est videmment que lensemble des x pour lesquels "P " est vrai est
vide ou encore que "(nonP )" est universelle :

(non(x E, P (x))) (x E, nonP (x))

Ngation dune phrase comportant plusieurs quantificateurs


Il suffit de se souvenir que ces phrases admettent un parenthsage implicite et
dappliquer progressivement les proprits prcdentes.

x E, y F, z G, t T, P (x, y, z, t)

Universit en ligne . C OUSQUER et C. S ACR, USTL


25

Rtablissons un parenthsage :
x E, (y F, (z G, (t T, P (x, y, z, t))))
prenons la ngation :
non(x E, (y F, (z G, (t T, P (x, y, z, t)))))
appliquons la premire proprit :
x E, non(y F, (z G, (t T, P (x, y, z, t))))
appliquons la deuxime proprit :
x E, y F, non(z G, (t T, P (x, y, z, t)))
appliquons la premire proprit :
x E, y F, z G, non(t T, P (x, y, z, t))
appliquons la deuxime proprit :
x E, y F, z G, t T, nonP (x, y, z, t).

Rcapitulation
Pour nier une phrase formelle commenant par plusieurs quantificateurs,
conserve lordre dcriture des variables, on change les "" en "", et les
"" en "", puis on remplace la proprit "P " par sa ngation, "nonP ".

Attention
Lorsquon veut crire la ngation dune proprit mathmatique, on com-
mence par crire soigneusement de faon formelle, sans oublier de quantificateurs
et de signes logiques, ("et", "ou", "non", "implique", etc) la proprit directe. Puis
on en prend la ngation avec les rgles prcdentes.

Exemple
Pour crire qu"un ensemble A, (A R), nest pas major", on commence
par crire la proprit "A est major ; (il existe un lment x qui est un majorant
de A)" :
x R, y A, y x.
Ensuite on en prend la ngation :
x R, y A, y > x.
Si on veut, on retraduit en franais : "pour chaque rel, on peut trouver dans A un
rel strictement plus grand."

Universit en ligne . C OUSQUER et C. S ACR, USTL


26

Travail faire sur ordinateur


Les quatorze exercices interactifs du chapitre "Quantificateurs"

Ensuite, testez vos connaissances


Faites les quarante questions du test dauto-valuation.

Universit en ligne . C OUSQUER et C. S ACR, USTL


27

Sens de limplication
On peut considrer que les phrases suivantes ont le mme sens :
si la proposition "P " est vraie, alors la proposition "Q" est vraie,
si "P " alors "Q",
"P implique Q",
"P Q".

Le sens de la phrase formelle "P Q", est celui-ci : ou bien "P " est faux, ou
bien "P " et "Q" sont vrais en mme temps.

Attention :
La proposition Si "P " alors "Q" ne dit pas que lhypothse "P " est vraie ;
elle dit seulement que si lhypothse "P " est vraie, alors la conclusion "Q" lest
aussi. Ceci sexprime donc laide des symboles de conjonction et de disjonction
par lune ou lautre des phrases suivantes :
"(non P ) ou Q"
"non (P et (non Q))"
Les formules suivantes sont donc quivalentes :
"P Q"
"(non P ) ou Q"
"non (P et (non Q))"

Condition ncessaire, condition suffisante


Il sagit dune autre faon dexprimer les implications. Les phrases suivantes
ont le mme sens :
"P Q" ;
pour que "P " soit vraie, il faut que "Q" soit vraie ;
"Q" est une condition ncessaire pour que "P " ;
pour que "Q" soit vraie, il suffit que "P " soit vraie ;
"P " est une condition suffisante pour que "Q".
La mme implication peut donc scrire
soit comme une condition suffisante, "pour que la conclusion soit vraie, il
suffit que lhypothse soit vraie",
soit comme une condition ncessaire, "pour que lhypothse soit vraie, il
faut que la conclusion soit vraie".

Universit en ligne . C OUSQUER et C. S ACR, USTL


28

Contrapose dune implication


On a vu que les phrases suivantes sont quivalentes :

P Q

(non P ) ou Q
Limplication "P Q" est donc aussi quivalente

(non (non Q)) ou (non P )

cest--dire
(non Q) (non P )
La proposition
(non Q) (non P )
sappelle la contrapose de lapplication "P Q" ; elle lui est quivalente.
On a donc toujours "P Q " quivaut " (non Q) (non P )".

Attention
Limplication contrapose de "P Q" na pas la mme signification que
limplication rciproque de "P Q" qui est "Q P ".

Exemple dimplication contrapose


Limplication : "ab = 0 (a = 0 ou b = 0)"
sa contrapose : "(a 6= 0 et b 6= 0) ab 6= 0" ;
limplication "x = 1 x2 = 1" est vraie (x suppos rel), ainsi bien sr que
limplication contrapose "x2 6= 1 x 6= 1",
tandis que limplication rciproque "x2 = 1 x = 1" est fausse.

Rciproque
Pour toute proposition "P implique Q", on peut associer une application rci-
proque "Q implique P" o lhypothse de la premire est devenue la conclusion de
la seconde et la conclusion de la premire est devenue lhypothse de la seconde.
Attention, comme vous le savez dj lune des propositions peut tre vraie et
lautre fausse.

Universit en ligne . C OUSQUER et C. S ACR, USTL


29

Ngation dune implication


Daprs le sens mme de limplication on voit tout de suite que

non (P Q)

est quivalente
P et (non Q)

Equivalence logique
Les phrases suivantes ont le mme sens :
les proprits "P " et "Q" sont quivalentes ;
"(P Q) et (Q P )" ;
"P Q" ;
"P ", "Q" sont simultanment vraies, ou simultanment fausses ;
"(P et Q) ou ((non P ) et (non Q))" ;
pour que "P " il faut et il suffit que "Q" ;
"P " est vraie si et seulement si "Q" est vraie ;
"P " est une condition ncessaire et suffisante pour que "Q".
Bien entendu, dans toutes ces phrases, on peut changer les rles de "P " et de
"Q".

Travail faire sur ordinateur


Les trois exercices interactifs du chapitre "Implication"

Ensuite, testez vos connaissances


Faites les cinquante questions des deux tests dauto-valuation.

Universit en ligne . C OUSQUER et C. S ACR, USTL


30

Notion dapplication
Le but est de gnraliser la notion de fonction numrique y = f (x) tudie au
lyce.
Habituellement, on se donne une fonction numrique en se donnant une partie
non vide de R o varie la variable x (le domaine de dfinition de la fonction f ),
et une loi, un moyen de calcul qui, une valeur du nombre x, associe une unique
valeur de y dans R. Par exemple, y = 3x2 + 1.
Quelquefois, par exemple quand on parle de la " fonction logarithme" , le
premier travail faire est de prciser lensemble de dfinition, ici R+ .
Jusqu prsent, ltude dune fonction f , on a associ son graphe Gf , un
dessin du plan ainsi dfini : Gf = {(x, y) | y = f (x)}. Une proprit caractris-
tique du graphe dune fonction est que tout lment x de lensemble de dfinition
est labscisse dun point et dun seul du graphe.
Nous voulons gnraliser cette notion de fonction des relations entre en-
sembles. Nous ne parlerons plus alors de fonction, mais plutt dapplication (ou
dapplication ponctuelle). Nous dfinirons une application laide de son graphe.

Dfinition
On dfinit une application f dun ensemble E dans un ensemble F en se don-
nant son graphe G, G E F ; ce sous-ensemble possde la proprit suivante :
pour tout x de E, il y a un couple unique (x, y) appartenant G. Pour tout x de
E, soit f (x) lunique point y de F tel que (x, y) G.

Notation
On note lapplication

f : E F, x 7 f (x) = y

E est lensemble de dfinition (ou ensemble de dpart), F est lensemble darri-


ve ; si y = f (x), y est limage de llment x de E et x est un antcdent de
llment y de F .

Noubliez pas
un lment de lensemble de dfinition est associe une image et une seule.
Par contre un lment de lensemble darrive peut avoir zro, un ou plusieurs
antcdents.

Universit en ligne . C OUSQUER et C. S ACR, USTL


31

Exemples
Les fonctions numriques tudies au lyce.
Les transformations gomtriques que vous avez tudies au lyce sont sui-
vant les cas, des applications du plan dans le plan, (par exemple une transla-
tion ou une rotation autour dun point, etc), ou des applications de lespace
dans lespace, (par exemple une symtrie orthogonale par rapport un plan),
ou des applications de lespace dans un plan, (par exemple une projection
orthogonale sur ce plan).
A tout produit de deux ensembles E et F , on peut associer deux applica-
tions appeles ses deux projections canoniques :
premire projection pr1 : E F E, (x, y) 7 x
deuxime projection pr2 : E F F, (x, y) 7 y

A tout ensemble E est associe une application appele application iden-


tique de E, note IdE : E E, x 7 x.
On a donc : x E IdE (x) = x Le graphe de IdE est la diagonale de
E E, cest dire le sous-ensemble {(x, x) | x E}.
Voici une fonction trs bizarre appele fonction de Dirichlet, quon ne peut
pas reprsenter, (essayez !) :
: R R avec (x) = 1 si x Q et (x) = 0 sinon.
Ces diffrents exemples doivent vous montrer que la notion dapplication est une
notion trs gnrale qui intervient dans tous les secteurs des mathmatiques.

Images et images rciproques


Image dun ensemble par une application
Soit une application f : E F, x 7 f (x). A tout sous ensemble A de E,
on associe un sous ensemble de F appel image de A et not f (A) :

f (A) = {y F | x A, f (x) = y}

Exemples :
f (E) est une partie de F . On sintressera plus loin au cas f (E) = F . On a
toujours f () = .

Universit en ligne . C OUSQUER et C. S ACR, USTL


32

Image rciproque dun ensemble par une application


On a une application f : E F, x 7 f (x). A tout sous ensemble B de F ,
on associe un sous ensemble de E appel image rciproque de B et not f 1 (B) :

f 1 (B) = {x E | f (x) B}

Faire trs attention : Cette notation est mauvaise, mais elle est toujours utilise
dans les livres. En effet, ici, f 1 nest pas une application rciproque, au sens des
applications usuelles : en gnral f na pas dapplication rciproque. Cest une
application qui un ensemble B F , fait correspondre un ensemble f 1 (B),
f 1 (B) E, cest dire une application de P (F ) P (E)

Composition dapplications.
Lorsque lon a deux applications f : E F et g : F G, on peut dfinir
une troisime application appele compose des deux applications f et g et note
g f , (attention lordre dcriture !) :
g f : E G, x 7 (g f )(x) = g(f (x))
Attention : Ce produit nest en gnral pas commutatif.
Par exemple, si on considre les fonctions numriques f (x) = sin x et g(x) =
x2 , on a : (g f )(x) = sin2 (x) et (f g)(x) = sin(x2 )
Et si f (x) = x2 et g(x) = ln(x), alors f g(x) = (ln(x))2 , alors que g f
nest pas dfinie !

Proprits
Nous avons vu que dans une application, tout lment de lensemble de dpart
avait une image et une seule. Si nous cherchons savoir si la correspondance qui
y F associe x E est une application, nous sommes amens nous poser
la question : combien un lment de F a-t-il dantcdents ? Si chaque y a un
et un seul antcdent, on pourra dfinir ce quon appelle lapplication rciproque
de lapplication donne. Toutefois il est intressant de dcomposer la proprit :
chaque y a un et un seul antcdent en deux proprits :
chaque y a au moins un antcdent dans E
chaque y a au plus un antcdent dans E
et nous distinguerons certaines applications suivant la rponse quelles apportent
ces questions.

Universit en ligne . C OUSQUER et C. S ACR, USTL


33

Surjection
Dfinition
Une application f : E F est surjective si tout lment de lensemble dar-
rive a au moins un antcdent, (peut-tre plusieurs) :

(f surjective ) (y F, x E, y = f (x))

(f surjective ) (f (E) = F )
Si on considre lapplication numrique,

f : E R, x 7 f (x)

fonction dune variable relle x, dfinie sur un sous-ensemble E de R, les pro-


prits suivantes sont quivalentes et traduisent la surjectivit :
1. tout lment de lensemble darrive est limage dau moins un point de
lensemble de dpart, (peut-tre de plusieurs) ;
2. toute parallle Ox coupe le graphe en au moins un point, (peut-tre en
plusieurs points) ;
3. toute quation f (x) = a au moins une solution.
Si f est surjective, on dit parfois que f est une application de E sur F . Toute
application f : E F dfinit une application surjective f : E f (E)

Injection
Dfinition
Une application f : E F est injective si tout lment de lensemble darri-
ve a au plus un antcdent, (peut-tre aucun) :

(f injective ) x E, x0 E, (x 6= x0 f (x) 6= f (x0 ))


Cette proprit peut aussi scrire (par contraposition) :

(f injective ) x E, x0 E, (f (x) = f (x0 ) x = x0 )

Si on considre lapplications numrique

f : E R, x 7 f (x)

fonction dune variable relle x, dfinie sur un sous-ensemble E de R, les pro-


prits suivantes sont quivalentes et traduisent linjectivit :

Universit en ligne . C OUSQUER et C. S ACR, USTL


34

1. tout lment de lensemble darrive est limage dau plus un point de len-
semble de dpart, (peut-tre daucun) ;
2. toute parallle Ox coupe le graphe en au plus un point, (peut-tre ne le
coupe pas) ;
3. toute quation f (x) = a au plus une solution, (peut-tre aucune).

Bijection
Dfinition
Une application f de E dans F est dite bijective si elle est la fois injective et
surjective. Tout lment de lespace darrive F a un antcdent et un seul dans
E.
Alors, et seulement dans ce cas, on peut dfinir une application de F dans
E, quon appelle application rciproque de f et quon note f 1 qui vrifie les
proprits suivantes :
x E, y F, [y = f (x) x = f 1 (y)]
f 1 f = IdE et f f 1 = IdF
f 1 est elle mme une bijection. En effet, chaque lment x de E a un et
un seul antcdent par f 1 , puisquil a une et une seule image par f par
dfinition de lapplication f .

Travail faire sur ordinateur


Les quarante exercices interactifs du chapitre "Applications"

Ensuite, testez vos connaissances


Faites les quatre-vingt questions des deux tests dauto-valuation.

Universit en ligne . C OUSQUER et C. S ACR, USTL


35

Relations
Dfinition
Soit un ensemble E, on dit quon a dfini une relation R sur lensemble E, si
on sest donn un ensemble G E E appel graphe de la relation.
Cette dfinition revient dire que pour dfinir une relation, on se donne len-
semble des couples (x, y) dlments de E qui vrifient la relation. On constate
que lon a ici le mme mode de dfinition que pour une application, qui est un cas
particulier de relation, appele relation fonctionnelle.
Au lieu de noter (x, y) G nous noterons xRy.
Dans ce chapitre, nous tudions deux autres type classiques de relations :
les relations dquivalence
les relations dordre

Relation dquivalence
Dfinition
On dit quune relation est une relation dquivalence si elle est :
symtrique : x E, y E, xRy yRx,
rflexive : x E, xRx,
transitive : x E, y E, z E, (xRy et yRz) xRz.

Exemples :
a) Sur tout ensemble, lgalit de deux lments.
b) Sur lensemble des droites (du plan ou de lespace), la relation " droites paral-
lles ou confondues " .
c) Sur lensemble des bipoints du plan (ou de lespace), la relation dquipol-
lence.
d) Pour les angles du plan, la relation de congruence modulo 2.
e) Dans Z, la relation x y mod(n), si x y est divisible par lentier n.
f) Dans E = N N, (a, b)R(a0 , b0 ) a + b0 = a0 + b.
g) Dans E = Z Z , (p, q)R(p0 , q 0 ) pq 0 = p0 q.

Universit en ligne . C OUSQUER et C. S ACR, USTL


36

Classe dquivalence
tant donn un ensemble E muni dune relation dquivalence R, on appelle
classe dun lment x lensemble :

Cx = {y E | xRy}.

Proprit
Toute classe dquivalence contient au moins un lment. En effet, puisque
tout lment x est quivalent lui-mme, la classe Cx de x contient au moins
llment x.

Thorme
Soient les classes Cx et Cy de deux lments x et y. Ces classes sont disjointes
ou sont confondues.
Dmonstration
1er cas : Cx Cy = . Les deux classes sont disjointes.
2e cas : Cx Cy 6= . Soit z Cx Cy . On a xRz et yRz, donc on a
xRz et zRy, et par transitivit xRy. On en conclut que y est dans la classe
de x : y Cx . Montrons que la classe de y est contenue dans celle de x.
Soit z1 Cy . On a yRz1 et xRy, et donc xRz1 par transitivit. Cest--dire
z1 Cx et donc Cy Cx . De la mme faon, on montre Cx Cy . Donc
les deux classes Cx et Cy sont confondues.

Dfinition
Cx est la classe dquivalence de tout lment z de Cx . En effet, si y et z
appartiennent la classe de x, alors leurs classes sont confondues avec celle de x.
Ceci justifie dappeler tout lment dune classe reprsentant de cette classe.

Partition dun ensemble


Lensemble E est partag en une runion disjointe de classes.

E = xE Cx

On dit quon a une partition de lensemble E :


Chaque lment de E appartient une classe au moins
Chaque lment de E appartient une seule classe.

Universit en ligne . C OUSQUER et C. S ACR, USTL


37

Exemples :
a) x E, Cx = {x} pour lgalit.
b) Relation de paralllisme sur les droites du plan : si d est une droite, sa classe
dquivalence Cd est par dfinition la direction de d.
c) Relation dquipollence sur les bipoints (A, B) : la classe dquivalence CAB

est par dfinition le vecteur libre AB.
d) Un angle modulo 2.
e) Pour la congruence modulo n, les classes dquivalence sont reprsentes par
0, 1, 2, . . ., n 1, o i = {x | k Z, x i = kn}.
f) E = N N, (a, b)R(a0 , b0 ) a + b0 = a0 + b. La classe de (a, b) est par
dfinition le nombre relatif a b.
g) E = Z Z , (p, q)R(p0 , q 0 ) pq 0 = p0 q. La classe de (p, q) est par
dfinition le nombre rationnel pq .

Relation dordre
Dfinition
Soit E un ensemble. Une relation binaire R dans E est une relation dordre si
elle est :
rflexive :
x E, xRx
antisymtrique :

x E, y E, (xRy et yRx) x = y

transitive :

x E, y E, z E, (xRy et yRz) xRz

Exemples
La relation dordre x y sur les nombres rels.
La relation dordre x y sur les nombres rels.
La relation dinclusion sur les parties dun ensemble.

Universit en ligne . C OUSQUER et C. S ACR, USTL


38

Remarques
Notation :
Par analogie avec la relation dordre sur les nombres, on note souvent les re-
lations dordre avec le symbole .

Attention
La relation x < y sur R nest pas une relation dordre car elle nest pas r-
flexive.
x < y pour x y et x 6= y
On dit cependant quelquefois que cest une relation dordre strict, ce qui est dan-
gereux puisque ce nest pas une relation dordre. Mme problme pour linclusion
stricte des ensembles.

Ordre total
La relation dordre sur les nombres est une relation dordre total. En effet
deux lments sont toujours comparables. tant donns deux nombres rels x et
y, on a toujours x y ou x y.

x R, y R, (x y ou x y)

La relation dinclusion entre sous-ensembles dun ensemble E nest pas une


relation dordre total sur P(E). Il existe des ensembles tel que le premier ne soit
pas inclus dans le second, ni le second inclus dans le premier. Par exemple [1, 3] 6
[0, 2] et [0, 2] 6 [1, 3] pour des intervalles de R.

Majorant, minorant
Dfinition : majorant
Soit E un ensemble muni dune relation dordre note  et F un sous-ensemble
de E. On dit quun lment M E est un majorant de F sil est plus grand que
tous les lments de F .
x F, x  M
Si M est un majorant de F , tout lment plus grand que M est aussi un majo-
rant.

Universit en ligne . C OUSQUER et C. S ACR, USTL


39

Dfinition : minorant
On dit quun lment m E est un minorant de F sil est plus petit que tous
les lments de F .
x F, m  x
Si m est un minorant de F , tout lment plus petit que m est aussi un minorant.

Dfinition : ensemble major


On dit quun sous-ensemble F de E ensemble ordonn est major sil possde
un majorant. Ce qui daprs les rgles dusage des quantificateurs se traduit par la
phrase formelle :
M E, x F, x  M

Dfinition : ensemble minor


Un sous-ensemble F dun ensemble ordonn E est minor sil possde un
minorant.
m E, x F, m  x

Dfinition : ensemble born


Un sous-ensemble F dun ensemble ordonn E est born si il possde la fois
un majorant et un minorant, cest--dire sil est la fois major et minor.

m E, M F, x F, mxM

Dfinition : plus grand lment


Soit E un ensemble muni dune relation dordre note  et F un sous-ensemble
de E. On dit quun lment M F est le plus grand lment de F , si cest un
majorant de F , cest--dire si il est plus grand que tous les lments de F . Cela se
traduit formellement par :

M F et (x F, x  M)

On dfinit de la mme faon la notion de plus petit lment m de F .

m F et (x F, m  x)

Universit en ligne . C OUSQUER et C. S ACR, USTL


40

Unicit du plus grand lment


Nous avons mis le plus grand lment de F , car il est facile de voir que si nous
supposons dans F deux tels lments M 0 et M , on a M 0  M et M  M 0 , et
donc daprs lantisymtrie de la relation dordre, M 0 = M .
Si un majorant de F appartient F , alors cest le plus grand lment de F .
Un sous-ensemble F major peut ne pas avoir de plus grand lment. Par
exemple, lensemble des nombres rationnels infrieurs 2 est major par exemple
par 2, mais il na pas de plus grand lment.

Dfinition
Soit un ensemble ordonn E et F un sous-ensemble de E. On suppose que F
est major. Si lensemble des majorants de F admet un plus petit lment, il est
appel borne suprieure de F et not sup F .

Dfinition
On dfinit de mme la borne infrieure dun ensemble F minor, comme le
plus grand des minorants de cet ensemble et on le note inf F .
Si F a une borne suprieure qui appartient F , alors cest aussi le plus grand
lment de F .
Il est facile de montrer les implications suivantes qui rsultent simplement des
dfinitions.

Proprits
Soit un ensemble ordonn E et F un sous-ensemble de E.
Si F admet un plus grand lment M , alors M est la borne suprieure de F .
Si F admet une borne suprieure a, alors a est un majorant de F .

Application croissante
Soient E et F deux ensembles ordonns et f une application de E dans F .

Dfinition
f est croissante si deux lments et leurs images sont rangs dans le mme
ordre. Cela se traduit formellement par
x E, x0 E, (x x0 f (x) f (x0 ))

Universit en ligne . C OUSQUER et C. S ACR, USTL


41

Dfinition
f est dcroissante si deux lments et leurs images sont rangs dans lordre
contraire. Cela se traduit formellement par

x E, x0 E, (x x0 f (x) f (x0 ))

Dfinition
f est monotone si elle est croissante ou si elle est dcroissante. Cela se traduit
formellement par

[x E, x0 E, (x x0 f (x) f (x0 ))]

ou
[x E, x0 E, (x x0 f (x) f (x0 ))]

Remarques
attention lcriture prcdente. Si on est tent de "mettre en facteur les
quantificateurs", un peu de rflexion peut vous persuader que lcriture suivante
est vraie pour toutes les applications dun ensemble ordonn E dans un en-
semble totalement ordonn F .

x E, x0 E, [(x x0 (f (x) f (x0 ) ou f (x) f (x0 ))]

Dfinition
Fonction strictement croissante : Si on veut exclure quune fonction croissante
prenne deux fois la mme valeur, on utilise la notion de fonction strictement crois-
sante :
x E, x0 E, (x < x0 f (x)  f (x0 )
x E, x0 E, (x < x0 (f (x) f (x0 ) et f (x) 6= f (x0 ))

Dfinition
On dfinit de la mme faon une fonction strictement dcroissante

x E, x0 E, (x < x0 f (x) f (x0 )

x E, x0 E, (x < x0 (f (x) f (x0 )etf (x) 6= f (x0 ))

Universit en ligne . C OUSQUER et C. S ACR, USTL


42

Dfinition
On dfinit de la mme faon une fonction strictement monotone, ce qui signifie
que f est strictement croissante ou que f est strictement dcroissante.

Remarque
Une fonction constante est une fonction croissante. Ceci nest pas paradoxal,
car il faut se souvenir que les ingalits crites sont des ingalits larges.

Attention
Mfiez vous du langage. Le contraire de "f est croissante" nest pas "f est
dcroissante".
Comment crire que f nest pas croissante ?
Pour crire que f nest pas croissante, utilisons le formalisme et prenons la
ngation de
x E, x0 E, (x x0 f (x) f (x0 ))
On obtient :
x E, x0 E, (x x0 et f (x) > f (x0 ))
La donne dun couple bien choisi et de ses images donne la non-croissance de f .

Travail faire sur ordinateur


Les vingt six exercices interactifs du chapitre "Relations"

Universit en ligne . C OUSQUER et C. S ACR, USTL


43

Dmonstration
Typiquement, dans une dmonstration, on a des objets donns dans lnonc,
des hypothses cest--dire de proprits de ces objets qui sont supposes vraies,
et il sagit de dmontrer un but, qui est une proprit que lon doit tablir et qui
concerne ces mmes objets, laide des hypothses et des proprits connues
antrieurement (les axiomes, les thormes, . . . ).
Les considrations ci-dessous ont pour but daider avoir un plan de dmons-
tration : comment sy prendre partir des hypothses pour aboutir au but ? Toutes
les dmonstrations ne se rduisent pas des automatismes, mais le peu de logique
pratique indiqu ci-dessous doit aider organiser une dmonstration.

Implication
1. Pour dmontrer une implication "P Q" : on suppose que "P " est vraie
et on dmontre "Q". Autrement dit on ajoute "P " aux hypothses, et on
remplace le but par "Q".
2. Pour utiliser une hypothse (ou proprit dj connue dans la suite, on ne
fera pas la distinction) "P Q", on essaie de dmontrer "P ", et on obtient
alors la proprit "Q".
Ne pas perdre de vue, pour (1) comme pour (2), quil est parfois commode de
remplacer limplication par sa contrapose "(non Q) (non P )".

Conjonction
3. Pour dmontrer une conjonction "P et Q" : on dmontre sparment la pro-
prit "P " et la proprit "Q", dans un ordre au choix. Autrement dit on fait
deux dmonstrations avec les hypothses que lon a, lune dont le but est
"P ", lautre dont le but est "Q".
4. Pour utiliser une hypothse "P et Q", on la remplace par les deux hypo-
thses, dune part "P ", dautre part "Q".

Equivalence
Penser remplacer systmatiquement "P Q" par la conjonction des deux
implications "P Q" et "Q P ".

Universit en ligne . C OUSQUER et C. S ACR, USTL


44

Disjonction
5. Pour dmontrer une disjonction "P ou Q" : on dmontre que lune au moins
des deux proprits est vraie. Cela se fait gnralement en supposant que
lune des deux proprits, "P " par exemple, est fausse, et en dmontrant
lautre, "Q" dans notre exemple. Remarquer que procder ainsi revient
remplacer la disjonction "P ou Q" par limplication quivalente
"(non P ) Q".
6. Pour utiliser une hypothse "P ou Q" : on fait deux dmonstrations spa-
res, lune en prenant "P " comme hypothse supplmentaire, lautre en pre-
nant "Q" comme hypothse. Cest ce quon appelle la disjonction des cas ;
on lexprime par exemple de la faon suivante :
Premier cas : supposons que "P " est vraie . . .
Deuxime cas : supposons que "Q" est vraie . . .
On peut aussi considrer "P ou Q" comme tant "(non P ) Q", ou comme
tant "(non Q) P ".

Ngation
Pour une ngation, pas de rgle gnrale, sauf quil est adroit de rentrer au
maximum les ngations lintrieur des formules. Par exemple, sil sagit de
"non (P Q)", transformer cette formule en "P et (non Q)". Quand les n-
gations sont arrives au stade atomique, cest--dire sous la forme "a 6= b", ou
"x
/ E", il ny a plus de gros problme de logique.

Exemple de dmonstration
nonc : On considre deux nombres rels x et a. On suppose que lon a

(x 6= a) (x = 1)

Montrer que
((x 6= a) (x 6= 1)) (x = a)
Objets donns : x et a.
Hypothse : (x 6= a) (x = 1).
But : [(x 6= a) (x 6= 1)] (x = a).

Universit en ligne . C OUSQUER et C. S ACR, USTL


45

Dmonstration
On va faire une dmonstration de la contrapose de la proprit cherche. On
remplace le but [(x 6= a) (x 6= 1)] (x = a) par limplication contrapose,
(x 6= a) [(x 6= a) et (x = 1)] (revoir la ngation dune implication)
On prend donc maintenant lhypothse x 6= a. Supposons x 6= a et montrons
que (x 6= a) (x 6= 1) est faux. Autrement dit montrons que (x 6= a) et (x = 1).
On sait dj que x 6= a, il reste dmontrer que x = 1.
Or nous savons x 6= a, et par hypothse (x 6= a) (x = 1), donc x = 1, ce
qui termine la dmonstration de x = 1.
On a donc montr la contrapose du but et donc le but est montr.

Exemples
Une exception : la dmonstration par labsurde
Il est quelquefois ncessaire dutiliser cette technique particulire de dmons-
tration. Elle consiste ajouter comme hypothse la ngation du but, le nouveau but
tant alors une contradiction, cest dire une proprit du type " Z et non Z " , o
Z est une proprit quelconque, qui ne figure pas ncessairement dans lnonc.
Ne pas abuser des dmonstrations par labsurde : quand il y a une dmons-
tration directe et naturelle, il est lourd de prsenter les choses par labsurde. En
particulier, pour dmontrer une implication "P Q", une dmonstration du style
" supposons que "Q" est fausse, . . . donc "P " est fausse. " est une dmonstration
par contraposition, et pas une dmonstration par labsurde !

Montrer que 2 est irrationnel
Pas
dobjet donn, pas dhypothse,
but : 2 nest pas un quotient dentiers.
Dmonstration Dmontrons
cette proprit par labsurde : supposons 2 ration-
p
nel ; on peut crire 2 = q o p et q sont deux entiers (constater lintroduction de
nouveaux objets). Quitte simplifier la fraction par 2 autant de fois quil le faut,
on se ramne au cas o p et q ne sont pas pairs tous les deux.
On a alors p2 = 2q 2 . Le second membre de cette galit est pair, donc le
premier aussi, ce qui montre que p est pair, car le carr dun nombre ne peut tre
pair que si ce nombre est pair. En crivant p = 2p0 , o p0 est entier, on obtient
4p02 = 2q 2 , puis 2p02 = q 2 , ce qui montre par la mthode dj utilise que q est
pair.
En rapprochant les trois proprits crites en caractres penchs, on obtient la
contradiction cherche (la formule Z tant par exemple " p pair et q pair " ). Le

Universit en ligne . C OUSQUER et C. S ACR, USTL


46


nombre 2 est donc irrationnel.

Quantificateurs et dmonstrations
Le but de cette section est de donner une aide pour les dmonstrations o
interviennent, de faon implicite ou explicite, des quantificateurs. Il ny a pas
(malheureusement ? heureusement ?) de recette pour dmontrer une proprit ma-
thmatique, mais on essaiera ici de donner un guide permettant presque toujours
dy voir plus clair en comprenant mieux ce quil y a faire, en se construisant un
plan raisonnable de dmonstration.

Les interventions de formules quantifies, explicites ou implicites, dans une


dmonstration se font (si lon excepte le dpart dune dmonstration par labsurde
qui modifie les hypothses et le but) en utilisant les quatre rgles suivantes.

Formules universelles :
"x, P (x)" signifie que pour tout x, "P (x)" est vraie, donc :

rgle 1
Pour dmontrer une proprit universelle (du type "x, P (x)"), on prend un
x quelconque (cest--dire que lon ne suppose rien a priori sur cet x), et on
dmontre que "P (x)" est vraie. On exprimera dans la dmonstration que lon
prend cet x en crivant quelque chose du genre "soit x", ou "prenons un x quel-
conque". . .

rgle 2
Pour utiliser une proprit (hypothse) universelle (du type "x, P (x)"), on
cherche un x particulier intressant (quelquefois plusieurs), et on peut alors utili-
ser la proprit "P (x)".

Formules existentielles :
"x, P (x)" signifie quil existe un x tel que "P (x)" est vraie, donc :

Universit en ligne . C OUSQUER et C. S ACR, USTL


47

rgle 3
Pour dmontrer une proprit existentielle (du type "x, P (x)"), on construit
(synonymes : on trouve, on fabrique, . . . ) un x et on dmontre pour cet x la pro-
prit "P (x)".

rgle 4
Pour utiliser une proprit (hypothse) existentielle (du type "x, P (x)"),
on prend un x ayant la proprit P (x). Cela peut se faire en crivant quelque
chose du genre "considrons x tel que "P (x)", ou "prenons un x tel que P (x)",
ou simplement "il existe x tel que P (x)" (noter dans cette dernire expression que
"il existe" crit en toutes lettres peut signifier dans ce contexte, non seulement que
lon affirme lexistence dun x, ce que la formule "x, P (x)" fait, mais en plus
quon en prend un, fix pour la suite de la dmonstration, ce que la formule ne fait
pas !). Une fois quon a pris cet x, on peut utiliser la proprit "P (x)" (attention,
cest tout ce quon sait sur x).

Exemple.
Voyons ci-dessous un exemple comment dans lequel on est amen exploiter
ces rgles. On trouvera successivement un nonc dexercice, une rflexion sur la
faon de lui trouver une dmonstration, la rdaction de la dmonstration obtenue
(ce nest pas la mme chose !), et enfin quelques considrations critiques sur celle-
ci.

nonc.
Montrer que si f : E F est une injection, et P et Q deux parties de E, alors
f (P ) f (Q) f (P Q).

Dcortication de lnonc
Regardons dabord lhypothse
"f injective" ; elle se traduit par la formule universelle

x E, y E, (f (x) = f (y) x = y)

On ne peut lutiliser tout de suite car on ne dispose ni de x ni de y intressants


pour pouvoir lutiliser. Prendre un x et un y quelconques ici ne servirait rien.

Universit en ligne . C OUSQUER et C. S ACR, USTL


48

Regardons maintenant le but


(ici comme souvent cest par l quil est bon de commencer). Il peut scrire :
y F, (y f (P ) f (Q) y f (P Q))
On va donc prendre un y quelconque dans F et essayer de dmontrer limplication
y f (P ) f (Q) y f (P Q)
Pour cela, on commence par supposer y f (P ) f (Q), et il reste dmontrer
y f (P Q). Or y f (P Q) signifie x P Q, y = f (x) ; il nous faut
donc trouver un x tel que. . . mais nous navons pas encore un tel x sous la main ;
il faut donc continuer autrement.

Construction dune dmonstration


On sait que y f (P ) f (Q), autrement dit que y f (P ) et que y f (Q) ;
or y f (P ) signifie que x P, y = f (x), on va donc prendre un tel x en disant
"prenons x P tel que y = f (x)". De mme y f (Q) va nous donner un x0 Q
tel que y = f (x0 ) (attention, il faut prendre ici une autre notation que x, en effet
y f (Q) signifie bien x Q, y = f (x), mais il ne faut pas oublier que nous
avons dj un x dans le problme ; y f (Q) dit que y a un antcdent dans "Q",
mais ne nous dit pas sil sagit de x).
On sait maintenant que x P , que x0 Q, que y = f (x) et que y =
f (x0 ), donc en particulier que f (x) = f (x0 ). Cest le bon moment pour utiliser
lhypothse "f injective" : nous avons maintenant x et x0 dans E pour exploiter
cette hypothse. Comme f (x) = f (x0 ), on tire x = x0 . Ainsi x est un lment
commun P et "Q", donc x P Q.
On a fabriqu un x P Q tel que y = f (x) ; on peut donc conclure que
y f (P Q) et atteindre le but.

Rdaction de la dmonstration
Notre recherche de dmonstration est ainsi termine. Il nous reste rdiger
cette dmonstration. Voici dans lencadr ci-dessous la rdaction telle quon pour-
rait la trouver dans une bonne copie.

Soit y F ; supposons y f (P ) f (Q). Comme y f (P ), il existe x P tel


que y = f (x) ; de mme puisque y f (Q) il existe x0 Q tel que y = f (x0 ).
Ainsi f (x) = f (x0 ), do x = x0 car f est injective. Alors x P et x = x0 Q,
donc x P Q, et y = f (x) f (P Q).
Conclusion : f (P ) f (Q) f (P Q).

Universit en ligne . C OUSQUER et C. S ACR, USTL


49

Notez :
Combien de quantificateurs, de , . . . ont t crits dans cette dmonstra-
tion ?
Comment les formules quantifies de la partie recherche sont-elles vo-
ques ?
quels endroits et de quelle faon les notations sont-elles introduites ? Il
sagit ici des notations x, x0 et y car E, F , P , Q et f sont donnes par
lnonc et nont donc pas tre introduites.
quels endroits et de quelles faons les hypothses sont-elles utilises ?

"Rdaction" dconseille :
On trouve souvent dans les copies des suites de formules en guise de dmons-
tration. Sur lexemple prcdent, jugez-vous mme de la clart dune telle rdac-
tion :
f (P ) f (Q) = {y F | x P, y = f (x) et x Q, y = f (x)}
= {y F | x P, x0 Q, y = f (x) = f (x0 )}
f injective x E, x0 E, (f (x) = f (x0 ) x = x0 )
f (P ) f (Q) = {y F | x P, x0 Q, y = f (x) et x = x0 }
= {y F | x P Q, y = f (x)}
= f (P Q)
Daccord, elle donne lgalit et pas seulement linclusion, mais quel prix
pour la clart ! Et de toutes faons lautre inclusion est trs facile rdigez-la.

Travail faire sur ordinateur


Les dix sept exercices interactifs du chapitre "Dmonstrations"

Universit en ligne . C OUSQUER et C. S ACR, USTL


50

Langage mathmatique et mtalangage


Tout texte mathmatique, que ce soit un nonc de problme, une copie dtu-
diant, un manuel ou une publication, comporte plusieurs niveaux de langage.
Le langage mathmatique proprement dit, qui est le langage formel, ou celui
que lon pourrait formaliser (au moins en thorie). En gros, il sagit des notations
et des formules, ou assertions. Exemples : "x N", "x = 2 x2 = 4", "f est
continue en x0 " qui se formalise comme on sait par " > 0 . . .".
Le langage mtamathmatique ou mtalangage qui exprime ce quon peut
dire propos de la vracit des assertions dans un contexte donn, ou de la faon
dont les assertions se dduisent les unes des autres, au cours dune dmonstration,
ou encore les dfinitions (de notations entre autres). "x N est faux", "x = 2 donc
x2 = 4", "soit > 0, . . ." sont des phrases de mtalangage. Certains autres types
de langage ne sont pas strictement indispensables au discours mathmatique, mais
on conoit difficilement un texte de quelque importance o ils ne se rencontrent
pas :
Les explications ou commentaires de type heuristique qui soutiennent lin-
tuition et aident comprendre le texte. En font partie les figures, les rappels au
moment opportun du rsultat ou de la dfinition utile pour une dduction, les in-
dications mthodologiques, etc.
Dautres parties Notes historiques, bibliographies, tables des matires, le
prsent prambule de cette section, etc.

Rdaction mathmatique
Directives gnrales
Aucun signe logique nest ncessaire une bonne rdaction de dmonstration.
Mais de mme quil est plus simple dcrire "x = y" que "x et y sont gaux",
leur utilisation permet dallger lcriture, et damliorer la clart, condition de
respecter un minimum de rgles lmentaires.

Rgle 1
Lemploi des "", "", "", "", . . . doit tre strictement limit des for-
mules symboliques compltes, scrivant sauf cas exceptionnels en une ligne au
maximum (de prfrence isole des autres) et ne comportant pas en principe de
mots du vocabulaire ordinaire, except "et", "ou" et "non" qui doivent tre assimi-
ls des signes.

Universit en ligne . C OUSQUER et C. S ACR, USTL


51

Rgle 2
Ces formules ne doivent en aucun cas tre une indication de dmonstration :
2x + 3 = 5x 6 3 + 6 = 5x 2x 9 = 3x x = 3

est inacceptable car "" nest pas synonyme de "jen dduis".


Par contre ces formules seront efficacement utilises pour les objectifs sui-
vants.
Titrer une question, en indiquant ce que lon compte dmontrer,
Rappeler brivement une hypothse ou une proprit dj dmontre ( quoi-
quelles ne soient pas toujours idales pour cela),
et surtout
Exprimer une conclusion partielle ou dfinitive.
Une bonne rdaction en comporte en gnral assez peu, mais judicieusement
places.

Utilisation des connecteurs logiques


"", "", "et", "ou".
Ces signes, appels connecteurs binaires, sont obligatoirement utiliss entre
deux formules qui, si elles ne sont pas trs simples, doivent tre entoures de
parenthses pour viter toute ambigut. Le rsultat est une autre formule.

Exemples
Si x et y sont des nombres rels dfinis dans le texte prcdent, on pourra
crire :
(x 0 et y 0) x + y 0
xy = 0 (x = 0 ou y = 0)

Sont proscrire
Des expressions comme
ABC
car elles nont aucun sens : les deux membres de chacun des "" ne sont pas bien
dtermins, et suivant la place des parenthses que lon peut mettre, la significa-
tion change ; en gnral, lnonc ci dessous est vrai :
 
non ((A B) C) (A (B C))

Universit en ligne . C OUSQUER et C. S ACR, USTL


52

Emploi des quantificateurs


Rgle 3
"" et "" doivent tre suivis dune seule lettre, notation non encore dfinie
dans le texte antrieur. Par exemple, si (xn )nN est une suite de nombres rels
positifs, on crira :
n, (n N xn > 0)
ou
n N, xn > 0
qui en est une abrviation, mais surtout pas :
xn , xn > 0

Rgle 4
Un "x", ou un "x" commenant une formule doit tre suivi dune (sous-)
formule complte, par exemple :
x, (x R x2 0)
z, (z C et z 2 = 1)
mais on crit souvent les formules de ce type sous les formes respectives sui-
vantes :
x R, x2 0
z C, z 2 = 1
Remarque : le "tel que" que lon dit aprs un "il existe . . . " ne scrit pas dans
les formules.

Rgle 5
"" et "", suivis dune lettre, dfinissent cette lettre comme notation pour la
suite de la formule que lon crit (par exemple, dans "x, x / ", le deuxime x
est dfini par le quantificateur), mais pas pour la suite de la dmonstration :
Si A est un ensemble donn, et si on a dmontr "x, x A", "x" nest
pas une notation dfinie dans le reste du problme ; si on a besoin dutiliser un
lment de A, on en dfinira explicitement un par "Soit x un lment de A" (on
tolre gnralement dans ce cas labus de langage "Soit x A", et dans le mme
ordre dide "Soit  > 0" pour "Soit  un nombre rel strictement positif").
Ceci est particulirement important, car la dfinition correcte des termes utili-
ss est essentielle une bonne dmonstration.

Universit en ligne . C OUSQUER et C. S ACR, USTL


53

Rgle 6
Toutes les notations utilises dans une formule doivent tre dfinies, soit par
des quantificateurs placs avant dans la formule, soit dans le texte prcdent (ou
lnonc).

Remarques finales
On tolre en gnral un certain assouplissement des rgles prcdentes, en
particulier lutilisation discrte des mots pour viter une dfinition qui serait plus
lourde, par exemple :

Possible
Si f est une fonction dun ensemble X dans un ensemble Y , on pourra crire :

(f injective) x X, x0 X, (f (x) = f (x0 ) x = x0 )

Possible
Si X, Y , Z sont des intervalles de R, f une application de X dans Y , g une
application de Y dans Z, et x0 un lment de X, on pourra crire :

((f continue en x0 ) et (g continue en f (x0 ))) (g f continue en x0 )

Impossible
Il ne faut pas crire dhorreurs du genre :
"Puisque f et g sont continues 1 + 2 > 0, inf(1 , 2 ) tel que si |x
x0 | < |f (x) = g(x) (f + g) (x0 )| <  f + g continue car 1 et 2 sont
positifs." qui ont lnorme avantage de runir toutes les erreurs dnonces ici, que
le lecteur pourra retrouver et le (non moins norme) dsavantage de se rencontrer
frquemment dans certaines copies.
Bien entendu, le respect des rgles pratiques exposes ci-dessus ne dispense
pas du bon usage de la langue franaise (lorthographe en particulier, sans parler
de lcriture !), non plus que de lutilisation des artifices classiques de prsentation
tels que sparation des paragraphes, rappel des numros de questions, mise en
relief des conclusions . . . dont lemploi quilibr donne un texte plus clair et plus
agrable.

Universit en ligne . C OUSQUER et C. S ACR, USTL


54

Travail faire sur ordinateur


Les neuf exercices interactifs du chapitre "Rdaction"

Universit en ligne . C OUSQUER et C. S ACR, USTL


55

Le dnombrable et le continu
Aprs une prsentation historique de quelques problmes lis linfini dans
lhistoire, on introduit la notion de cardinal dun ensemble, gnralisation de la
notion de nombre dlments dun ensemble et on pose la question suivante :
Les ensembles de nombres entiers, rationnels, rels, complexes comportent une
infinit dlments. Pouvons nous comparer ces infinis ? Y a-t-il plusieurs sortes
dinfinis ?
La rponse est oui, et les deux premiers infinis, le dnombrable et le continu
apparatront propos des ensembles de nombres.
Ce chapitre ne dtaille pas toutes les dmonstrations, mais souvent donne
lide essentielle permettant de les construire. Cest une premire approche de
notions fondamentales en mathmatiques.

Les ensembles infinis


De tout temps, les mathmaticiens ont fait usage de raisonnements lmen-
taires portant sur des ensembles de faon plus ou moins consciente, par exemple
la phrase : "Le tout est plus grand que la partie". Le maniement des syllogismes
(tel que "Si tout A est un B, si tout B est un C, alors tout A est un C"), la question
de lappartenance dun objet une collection, linclusion dun ensemble dans un
autre relve de ce type de raisonnement.
Cantor, le premier revendiquer lusage des ensembles infinis en mathma-
tiques, donne la "dfinition" suivante :
"Par ensemble, on entend un groupement en un tout, dobjets bien distincts de
notre intuition ou de notre pense."
Ce qui montre une fois de plus quon ne peut pas tout dfinir en mathmatiques et
que, ainsi que nous lavons vu, le terme densemble fait partie des termes primitifs.

Les paradoxes de Znon


Trs tt dans lhistoire, les mathmaticiens se sont heurts au problme de
linfini. Un philosophe de lAntiquit a avanc ainsi des paradoxes logiques faisant
intervenir linfini dont le plus clbre tait celui dAchille et la tortue : dans une
course entre Achille et la tortue, Achille laisse la tortue prendre une avance au
dpart ; Achille ne rattrapera jamais la tortue, dit le philosophe, car lorsque Achille
parvient la position atteinte par la tortue quand Achille a commenc sa course,
celle-ci a avanc et se trouve dans une autre position ; quand Achille atteint cette
nouvelle position, la tortue a de nouveau avanc et ainsi de suite. Bien sr, Znon

Universit en ligne . C OUSQUER et C. S ACR, USTL


56

sait parfaitement quAchille rattrape la tortue, mais il sagit pour lui de lancer un
dfi : comment dmonter le raisonnement prcdent ?

Infini potentiel, infini actuel


La solution trouve par le philosophe Aristote dans lAntiquit fut de distin-
guer deux sortes dinfini.
Linfini potentiel, ou infini en puissance que lon utilise par exemple lorsquon
dit "Pour tout entier, on peut en trouver un plus grand" ;
Linfini actuel qui consiste accepter et travailler avec une infinit dobjets, de
nombres considrs comme disponibles en mme temps, tels que linfinit din-
tervalles de temps et de distances envisags dans lexemple dAchille ou pour
prendre un exemple daujourdhui, le fait de dire "soit lensemble des entiers...".
La solution trouve par Aristote fut daccepter des raisonnements faisant in-
tervenir linfini potentiel et de refuser linfini actuel, en considrant quon nen
avait pas besoin en mathmatiques.

Linfini en mathmatiques
Le point de vue auquel se sont arrts les mathmaticiens depuis lAntiquit
a, pour lessentiel, t de refuser le dbat. On vite dintroduire linfini actuel, en-
semble portant sur une infinit dobjets existant simultanment, et on se contente,
y compris dans le calcul infinitsimal, de linfini potentiel, en se donnant la possi-
bilit daugmenter ou de diminuer toute grandeur donne. Classiquement, on peut
dire quun point appartient une droite, mais il est impossible de dire que la droite
est constitue de points. Ceci sert de garde-fou aprs les querelles provoques par
lusage de linfini.

Le tout et la partie
Galile (au dbut du dix-septime sicle) remarque que la relation entre les
entiers naturels et leurs carrs est bijective ; donc quune partie des entiers est en
bijection avec les entiers. La relation "Le tout est plus grand que la partie", ne
sapplique pas aux ensembles infinis. Ceci renforce la mfiance des mathmati-
ciens vis vis de lusage de linfini actuel mais pourtant les ncessits de lanalyse
les confrontent ce problme. Par exemple, les dveloppements dcimaux illimi-
ts font bien intervenir
un infini actuel, infinit des chiffres du dveloppement de
nombres tels que 2 ou . De plus en plus, les mathmaticiens font usage de lin-
fini dans leurs raisonnements, sans avoir les moyens de justifier rigoureusement
ces mthodes.

Universit en ligne . C OUSQUER et C. S ACR, USTL


57

Linfini actuel
Lacceptation de lusage de linfini actuel fut le fait de plusieurs mathmati-
ciens de la seconde moiti du sicle dernier dont Bolzano est un prcurseur et
Cantor le plus connu.
Au cours de cette priode, on suit un processus de dbat et dacceptation.
Ainsi, on voit une volution chez un mathmaticien comme Bolzano. En 1817, il
montre lexistence de la borne infrieure dun ensemble minor de nombres rels
par un raisonnement en comprhension. Trente ans plus tard, il utilise linfini ac-
tuel en montrant que deux intervalles compacts de R sont quipotents, (cest--
dire en bijection). Il remarque quune diffrence caractristique entre ensemble
fini et ensemble infini est lexistence de sous-ensembles propres quipotents au
tout. Cependant Bolzano narrive pas dgager clairement la notion de puissance
dun ensemble (gnralisation de la notion de nombre dlments pour un en-
semble infini) et la distinguer de la notion dordre de grandeur.

Comparaison densembles
Il faut sparer nettement les questions lies linfini et la notion de cardinal
ou de puissance dun ensemble, beaucoup plus difficiles. Depuis les paradoxes de
Znon, jusqu Bolzano et Cantor, les mathmaticiens sont confronts la diffi-
cult de concevoir une grandeur finie compose dune infinit de points dpourvus
de grandeur. La notion dquipotence, cest--dire de lexistence dune bijection
entre ensembles est dgage petit petit.
Quand on travaille avec les ensembles finis, pour comparer deux ensembles
du point de vue du nombre de leurs lments, on peut soit compter celui-ci pour
chacun des deux ensembles, soit essayer dtablir une bijection entre les deux en-
sembles. Toutefois, si lun des ensembles finis est strictement inclus dans lautre,
on sait quil a moins dlments.
Ceci nest plus vrai pour les ensembles infinis. Paradoxalement, la proprit
qui avait choqu Galile va devenir une dfinition. On va dfinir un ensemble
infini comme un ensemble qui possde un sous-ensemble propre quipotent cet
ensemble.

Les travaux de Cantor


On peut introduire la notion densemble dnombrable pour des ensembles
dobjets que lon peut ranger en une suite, cest--dire pour lesquels on peut ta-
blir une bijection avec lensemble des entiers. Y a-t-il des ensembles qui ne sont
pas dnombrables ?

Universit en ligne . C OUSQUER et C. S ACR, USTL


58

Cantor aborde ces questions propos densembles exceptionnels apparus dans


ltude des sries trigonomtriques. En 1873 il montre que lensemble des ration-
nels est dnombrable et que lensemble des nombres rels ne lest pas. En 1877,
aprs avoir montr que les ensembles R et R2 peuvent tre mis en bijection, il
crit Dedekind "Je le vois, je ne le crois pas", tant ce rsultat est en contradiction
avec lintuition. De 1878 1884, il publiera six mmoires sur la thorie des en-
sembles. Il dgage la notion dquipotence de deux ensembles, de puissance dun
ensemble, densemble totalement ordonn, tudie les proprits topologiques de
R et aborde les problmes de mesure. Ses travaux sont trs controverss, et sil re-
oit lappui de Dedekind et de Weierstrass, il se heurte une trs grande hostilit
de mathmaticiens influents comme Schwarz et Kronecker.
Dedekind prolonge les travaux de Cantor en dgageant la notion dapplication
quelconque dun ensemble dans un autre, la notion densemble ordonn et celle
densemble rticul.

La crise des fondements


Trs vite le langage des ensembles est adopt par les mathmaticiens, mais
trs vite aussi, des paradoxes surgissent : par exemple Cantor lui-mme en montre
lapparition lorsque lon utilise une notion telle que "lensemble de tous les en-
sembles". En voici quelques autres en mathmatiques ou ailleurs :
La rgle "toutes les rgles possdent des exceptions" est une rgle ; donc elle
doit avoir une exception ; donc au moins une rgle ne possde pas dexception.
On connat ainsi plusieurs noncs autorfrents qui se nient eux-mmes : le
paradoxe du menteur quand il dit "je mens", faut-il le croire ? Que penser de "la
phrase que jnonce est fausse" ?
Russel en 1902 dfinit la classe N de tous les classes E qui nappartiennent
pas elles-mmes. Daprs la dfinition, N ne sappartient pas. Mais si N ne
sappartient pas, il fait partie des classes qui ne sappartiennent pas et appartient
donc N .

Controverses
Hausdorff en 1914 crit dans les "Fondements de la thorie des ensembles"
que cest "... un champ dans lequel rien nest vident, dont les noncs vrais sont
souvent paradoxaux et dont les noncs plausibles sont faux..."
Certains mathmaticiens sont violemment opposs lusage des ensembles.
Dautres y voient une avance essentielle :
"La solution des difficults qui entouraient auparavant linfini mathmatique
est probablement la plus grande ralisation dont notre ge ait se glorifier",
Russel, 1910.

Universit en ligne . C OUSQUER et C. S ACR, USTL


59

"Personne ne nous chassera du paradis que Cantor a cr pour nous", Hilbert.

La thorie des ensembles


Diffrents courants de pense cherchent une solution ces problmes. Ceci
conduit llaboration de thories axiomatiques des ensembles fixant "les rgles
du jeu". Celle utilise aujourdhui a t labore par Zermelo en 1908 et amlio-
re par Fraenkel en 1922. Mme si on sait quon ne pourra jamais prouver quelle
nentrane pas de contradiction, elle est accepte par la grande majorit des math-
maticiens, comme lexprime le texte de Bourbaki, (collectif de mathmaticiens) :
"Nous nous contenterons de remarquer que ces difficults peuvent tre sur-
montes dune manire qui vite toutes les objections et ne laisse aucun doute
quant lexactitude du raisonnement".
"Pendant vingt-cinq sicles, les mathmaticiens ont corrig leurs erreurs, voyant
leur science enrichie et non pas appauvrie ; en consquence, cela leur donne le
droit de contempler le futur avec srnit". Les solutions trouves pour la tho-
rie lmentaire des ensembles ont t esquisses avant. On va voir maintenant
ce quest le cardinal dun ensemble et chercher quels sont les cardinaux des en-
sembles de nombres connus. Quelques indications sur les dmonstrations de d-
nombrabilit ou non dnombrabilit densembles seront donnes pour permettre
ceux qui le souhaitent de faire eux-mmes les dmonstrations compltes.

Cardinal dun ensemble


On ne va pas dfinir le cardinal dun ensemble mais se donner les moyens de
dire si des ensembles ont le mme cardinal ou de comparer des cardinaux. On
utilise dans les dmonstrations les ides suivantes :
tout ensemble est attach un cardinal et un seul ;
si deux ensembles peuvent tre mis en bijection, on dit quils ont le mme
cardinal, ou la mme puissance ;
un cardinal est le cardinal dau moins un ensemble ;

Comparaison de cardinaux
si un ensemble est contenu dans un autre, le cardinal du premier est infrieur
ou gal au cardinal du second ; plus gnralement, le cardinal dun ensemble
E est dit infrieur au cardinal dun ensemble F , sil existe une injection de
E dans F ;

Universit en ligne . C OUSQUER et C. S ACR, USTL


60

cette relation dfinit une relation dordre sur les cardinaux ; la transitivit de
cette relation est immdiate, lantisymtrie rsulte du thorme de Cantor-
Bernstein tabli en 1897 :
Quels que soient les ensembles E et F , sil existe une injection de E dans
F et une injection de F dans E, alors ces deux ensembles sont en bijection.
on admet que deux cardinaux sont toujours comparables ;
on dsigne par 0 le cardinal de lensemble des entiers.

Le dnombrable
Lensemble des entiers relatifs.
Comment montrer que Z est dnombrable ?
Z contient N comme sous-ensemble, donc sa puissance est au moins celle des
entiers naturels.
Z peut tre construit en tablissant une relation dquivalence sur les couples den-
tiers positifs : (a, b) est quivalent au couple (c, d) si a + d = b + c. Chaque classe
dquivalence reprsente un entier relatif : la classe dun entier positif n admet un
reprsentant du type (n, 0) et pour lentier ngatif n un reprsentant (0, n).
On peut ranger ces lments en une suite de la faon suivante :

(0, 0), (1, 0), (0, 1), (2, 0), (0, 2), . . . , (n, 0), (0, n), . . .

Cela montre que le cardinal de Z est gal 0 , cardinal de N.

Lensemble des nombres rationnels


La dmonstration de la dnombrabilit de Q fut faite par Cantor en 1874.
Comme lensemble Q contient lensemble des entiers, le cardinal de cet ensemble
est au moins 0 .
Il est facile de voir daprs la dmonstration prcdente que si lensemble des
nombres rationnels positifs Q+ est dnombrable, lensemble Q lest aussi.
Lensemble Q+ peut tre construit en tablissant une relation dquivalence sur
lensemble des couples dentiers relatifs (a, b) avec a N, b N et b 6= 0 :

(a, b) (c, d) si et seulement si a d = b c.

Ceci est la faon mathmatique dexprimer que des "fractions gales" reprsentent
le mme nombre rationnel qui admet donc pour reprsentants une infinit de
couples (numrateur, dnominateur).

Universit en ligne . C OUSQUER et C. S ACR, USTL


61

Lensemble des couples dentiers


Q+ est en bijection avec une partie de lensemble des couples, donc que son
cardinal est infrieur ou gal celui des couples dentiers. On peut ranger ces
couples dentiers (a, b), pour a N et b N , en une suite de la faon suivante.
On range dans la premire ligne les couples de premier terme 1 suivant lordre
croissant du deuxime terme. Dans la deuxime ligne, les couples de premier
terme 2, etc.
(1, 1) (1, 2) (1, 3) (1, 4) (1, 5) . . .
(2, 1) (2, 2) (2, 3) (2, 4) (2, 5) . . .
(3, 1) (3, 2) (3, 3) (3, 4) (3, 5) . . .
(4, 1) (4, 2) (4, 3) (4, 4) (4, 5) . . .
Ensuite on range tous les couples en les numrotant suivant des diagonales de ce
tableau. Cela donne lordre :

(1, 1), (1, 2), (2, 1), (1, 3), (2, 2), (3, 1), . . .

Lensemble des couples dentiers positifs est donc dnombrable. Donc Q lest
aussi.

Lensemble des nombres algbriques


Lensemble des nombres algbriques est lensemble des racines de polynmes
coefficients entiers. Pour un tel polynme,

P = a0 + a1 x + a2 x2 + + an xn

nous dfinissons un entier positif appel sa hauteur :

h(P ) = n 1 + |a0 | + |a1 | + |a2 | + + |an |

Avec un peu de rflexion, on voit quil nexiste quun nombre fini de poly-
nmes de hauteur h. Chacun de ces polynmes na quun nombre fini de racines.
Pour ranger tous les nombres algbriques en une suite, on commence ranger les
polynmes en une suite, en utilisant leur hauteur et en rangeant arbitrairement les
polynmes (en nombre fini) qui ont une hauteur donne. Pour chacun de ces po-
lynmes, on range ses racines par le mme procd. On fabrique donc une suite
forme de tous les nombres algbriques. Lensemble des nombres algbriques est
donc contenu dans une runion dnombrable densembles finis, cela permet de
montrer que lensemble des nombres algbriques est dnombrable.

Universit en ligne . C OUSQUER et C. S ACR, USTL


62

Le continu : les rels


Lensemble des nombres rels peut tre mis en bijection avec un intervalle,
par exemple en utilisant la fonction tangente, et deux intervalles quelconques de
R peuvent tre mis en bijection en utilisant une fonction affine. Il suffit donc de
montrer que lensemble des rels de lintervalle ]0, 1[ est non dnombrable.
Chaque nombre rel compris entre 0 et 1 possde un dveloppement dcimal
illimit ou deux. Les nombres non dcimaux en ont un seul, les nombres dcimaux
possdent deux dveloppements : Par exemple :

0, 95 = 0, 95000... = 0, 94999...

lun comporte des 9 indfiniment, on lappelle dveloppement impropre, lautre,


quon appelle dveloppement propre, comporte seulement un nombre fini de chiffres
non nuls aprs la virgule. Si on convient de nutiliser que des dveloppements
propres, chaque nombre rel est donc associ un unique dveloppement propre ;
si deux dveloppements propres diffrent en un chiffre, ils sont les dveloppe-
ments de nombres rels distincts.

Non dnombrabilit de lensemble des rels


On suppose que les nombres rels de lintervalle ]0, 1[ peuvent tre rangs en
une suite A0 , A1 , A2 , . . ., et on crit les dveloppements dcimaux propres de ces
nombres, (les aij sont des chiffres) :

A0 = 0,a00 a01 a02 a03 a04


A1 = 0,a10 a11 a12 a13 a14
A2 = 0,a20 a21 a22 a23 a24
A3 = 0,a30 a31 a32 a33 a34
..
.
An = 0,an0 an1 an2 an3 an4
..
.

Le procd diagonal de Cantor


Le principe de la dmonstration est de montrer quau moins un nombre rel
chappe ce classement et donc quil y a une contradiction. On fabrique un
nombre rel B par un procd appel procd diagonal en prenant B = 0,b0 b1 b2 b3
en imposant b0 6= a00 , b1 6= a11 , b2 6= a22 , etc. et que de plus les bi ne soient pas
gaux des 9 indfiniment.

Universit en ligne . C OUSQUER et C. S ACR, USTL


63

Comme on ne travaille quavec des dveloppements propres, il est sr que


B 6= A0 car le premier chiffre aprs la virgule de ces deux nombres diffre, B 6=
A1 car le deuxime chiffre aprs la virgule de ces deux nombres diffre, B 6=
A2 car le troisime chiffre aprs la virgule de ces deux nombres diffre, etc. Le
nombre B na pas t class et on a obtenu une contradiction. On ne peut donc
pas ranger les nombres rels de lintervalle ]0, 1[ en une suite. Cet ensemble nest
pas dnombrable. On en dduit immdiatement que lensemble des nombres rels
R est non dnombrable.

Lensemble des nombres transcendants


La runion de deux ensembles dnombrables est dnombrable. Comme len-
semble des nombres rels est la runion de lensemble des nombres algbriques
et de lensemble des nombres transcendants, on peut conclure que lensemble des
nombres transcendants nest pas dnombrable, sinon lensemble R le serait aussi.
Dans lenseignement au lyce, les tudiants rencontrent quelques nombres
transcendants comme et e. Implicitement, ils peuvent en tirer lide que ces
nombres sont peu nombreux et se limitent quelques nombres exotiques. On voit
combien le rsultat mathmatique est ici loin de lintuition.

Le continu : les nombres complexes


Comme on peut tablir une bijection entre R et ]0, 1[, les ensembles R2 et
]0, 1[2 sont aussi en bijection. Cantor a montr quon pouvait tablir une bijection
entre les points de lintervalle ]0, 1] et les points du carr ]0, 1]2 , ce qui permet
daffirmer lexistence dune bijection entre les points de la droite et les points du
plan.

Dmonstration de Cantor
Comment fabriquer une bijection entre les points de ]0, 1] et les points du
carr ]0, 1]2 ? On considre un point du carr de coordonnes x et y et on crit le
dveloppement dcimal illimit de ces deux nombres, en choisissant cette fois-ci
le dveloppement impropre (avec des 9 indfiniment), si ce nombre est dcimal.
Aucun des dveloppements crits na donc que des zros partir dun certain
rang. On partage les chiffres de ces dveloppements en blocs de zros termins
par un chiffre non nul. Puis on crit un dveloppement dcimal dun nombre z en
crivant dans lordre le premier bloc de x suivi du premier bloc de y, le second
bloc de x suivi du second bloc de y, etc.

Universit en ligne . C OUSQUER et C. S ACR, USTL


64

Un exemple pour comprendre

x = 0,301204007
y = 0,00137008
x = 0,3|01|2|04|007|
y = 0,001|3|7|008|
z = 0,3|001|01|3|2|7|04|008|007| . . .
z = 0,30010132704008007

Ce procd permet dtablir une bijection entre les points du carr et les points
du segment. Un peu de rflexion permet de le voir et de comprendre pourquoi on
a choisi des dveloppements nayant pas de zros indfiniment.
Par consquent lensemble des points de la droite et celui des points du plan
ont le mme cardinal, rsultat qui avait paru si surprenant Cantor quand il lavait
tabli. Cela entrane que lensemble des nombres complexes a le mme cardinal
que lensemble des nombres rels.

Les cardinaux infinis


Laxiome du choix
Un principe important dans les mathmatiques issues des travaux de Cantor est
ce quon appelle laxiome du choix qui donne la possibilit de faire une infinit
de choix simultanment. En voici lnonc :
"tant donn un ensemble E et lensemble F de ses parties non vides, on peut
dfinir une application de F dans E qui toute partie non vide de E, associe un
lment de cette partie."
Il y a en mathmatiques de nombreux noncs dont on a montr quils sont
quivalents laxiome du choix.
Cet axiome permet, si on connat une surjection entre E et F , daffirmer
quon peut, pour chaque lment y de F , choisir arbitrairement un antcdent
x 1 ({y}) dans E et ainsi fabriquer une application de F dans E dont on
montre quelle est injective en utilisant les proprits des applications tudies
prcdemment.

Utiliser une autre relation dordre ?


On peut essayer de dfinir une autre relation dordre sur les cardinaux en di-
sant que le cardinal de E est plus grand que celui de F , si on peut dfinir une
application surjective de E sur F .

Universit en ligne . C OUSQUER et C. S ACR, USTL


65

Laxiome du choix permet de montrer qualors il existe une injection de F


dans E. On na donc dfini en fait quune seule relation dordre sur les cardinaux.
On montre que si la thorie des ensembles est non contradictoire, elle le reste
si on lui adjoint laxiome du choix (rsultat dmontr par Gdel en 1940), elle
le reste aussi si on adopte la ngation de laxiome du choix (Cohen, 1963), ce
qui signifie que cet axiome est indpendant des autres axiomes de la thorie des
ensembles.

Le thorme de Cantor
Cantor a tablit le thorme suivant :
Pour tout ensemble E, le cardinal de lensemble P (E) des parties de E est
strictement suprieur au cardinal de E.
On en fait une dmonstration par labsurde en supposant une application sur-
jective f de E sur P (E), et on considre lensemble A :

A = {x E | x
/ f (x)}

Cet ensemble A est limage dun lment a de E par lapplication f . On constate


alors que les deux assertions, a A et a / A sont impossibles. On a donc une
contradiction, ce qui dmontre quil nexiste pas de surjection dun ensemble sur
lensemble de ses parties.

Infinit de cardinaux
Le thorme de Cantor montre lexistence dune infinit de cardinaux, puisque
pour tout cardinal e, on peut en trouver un strictement plus grand, celui de len-
semble de ses parties que nous noterons 2 puissance e.
Cette notation sexplique, car tout sous ensemble F dun ensemble E, on
peut associer une application de E dans lensemble {0, 1} en prenant la fonction
caractristique de F . P (E) peut donc tre mis en bijection avec lensemble des
fonctions de E valeur dans {0, 1}, ensemble not {0, 1}E .
On dsigne par c le cardinal de R et par 0 le cardinal de N. On a vu que
0 < c car R nest pas dnombrable.

Comparaison des cardinaux 20 et c


On va montrer la relation 20 = c en montrant une double ingalit :
Si tout nombre compris entre 0 et 1, on associe son dveloppement dyadique
(propre), (cest--dire son dveloppement en base 2), on obtient une injection de
[0, 1[ dans {0, 1}N et donc c 20 .

Universit en ligne . C OUSQUER et C. S ACR, USTL


66

Si toute suite infinie dlments de {0, 1}, on associe un nombre entre 0 et 1


qui admet cette suite comme dveloppement triadique, (cest--dire son dvelop-
pement en base 3), on obtient une injection de {0, 1}N dans [0, 1[ et donc 20 c.

Lhypothse du continu
On peut se demander sil existe des cardinaux compris entre 0 et c. Laffirma-
tion "Il nexiste pas de cardinal strictement compris entre 0 et c." est un axiome
qui sappelle lhypothse du continu.
On peut gnraliser avec laffirmation "Pour tout cardinal infini e, il nexiste
pas de cardinal strictement compris entre e et 2 puissance e." est un axiome qui
sappelle lhypothse gnralise du continu. Gdel et Cohen ont aussi montr
que cet axiome tait indpendant des autres axiomes de la thorie des ensembles.

Universit en ligne . C OUSQUER et C. S ACR, USTL