Beruflich Dokumente
Kultur Dokumente
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.
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.
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
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.
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.
Remarque Une notation des logiciens pour "P ou Q" est "P Q", que nous
nemploierons pas dans ce cours.
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.
Lois de distributivit
On va dmontrer deux lois de distributivit par les tables de vrit.
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
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.
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
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.
F = {x E | P (x)}
[a, b] = {x R | a x b}
Q = { pq | p Z et q Z et q 6= 0}
E = {x U | P (x)}
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
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.
, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c}
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
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 :
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 .
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" .
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}}
Exemple 2
P() = {}, P() est un singleton. Donc
P(P()) = {, {}}
E F = {(x, y) | x E et y F }
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 )
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.
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.
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]
(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)
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.
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 )}
AB P et Q
x A B P (x) et Q(x)
AB P ou Q
x A B P (x) ou Q(x)
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
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 ".
x H, M (x)
o H dsigne lensemble des hommes et "M (x)" la proprit "x est mortel" .
p N, n N, p n.
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.
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.
Lordre dcriture
Lordre dcriture des quantificateurs est fondamental pour le sens dune phrase
formelle.
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 :
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.
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
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 :
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 :
x E, y F, z G, t T, P (x, y, z, t)
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."
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))"
P Q
(non P ) ou Q
Limplication "P Q" est donc aussi quivalente
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 ".
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.
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".
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
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.
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
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 () = .
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.
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)
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 : E R, x 7 f (x)
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 .
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.
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.
E = xE Cx
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 :
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.
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)
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.
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.
m E, M F, x F, mxM
M F et (x F, x M)
m F et (x F, m x)
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 ))
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
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 .
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
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 .
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 ".
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).
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
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.
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 :
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)
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.
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.
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.
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
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))
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.
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 :
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 :
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.
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.
sait parfaitement quAchille rattrape la tortue, mais il sagit pour lui de lancer un
dfi : comment dmonter le raisonnement prcdent ?
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.
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.
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.
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 ;
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), . . .
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).
(1, 1), (1, 2), (2, 1), (1, 3), (2, 2), (3, 1), . . .
Lensemble des couples dentiers positifs est donc dnombrable. Donc Q lest
aussi.
P = a0 + a1 x + a2 x2 + + an xn
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.
0, 95 = 0, 95000... = 0, 94999...
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.
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.
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)}
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.
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.