LM1, CHAPITRE 5 : Ensembles, relations, fonctions

Cours des mardis 30 novembre, 7 et 14 dcembre 2010

Nous nallons pas dnir ici la notion densemble, considre comme une notion
primitive en mathmatiques. On ne peut videmment pas tout dnir partir de
rien. Cependant, il faut savoir que, en mathmatiques, on ne peut pas considrer
comme un ensemble nimporte quelle collection dobjets mathmatiques, car
cela conduit des contradictions, comme nous le verrons (paradoxe de Russell).
Dans ce chapitre, o nous allons nous appuyer essentiellement sur une ide
nave des ensembles, nous xerons une terminologie et des notations et passerons
en revue quelques proprits fondamentales des ensembles, des relations et des
fonctions.
Une ide importante est quon peut considrer des ensembles sans tre oblig
de prciser la nature des objets qui les constituent. Ainsi par exemple, si A et B
sont deux ensembles, il y a un ensemble constitu des objets qui appartiennent
simultanment A et B ; on lappelle intersection des ensembles A et B
et on le note A B. Cette dnition et les proprits de lopration sont va-
lables quel que soit le type dobjets composant les ensembles considrs : il peut
sagir de nombres (entiers, rationnels, rels, complexes...), dobjets gomtriques
(points, gures varies, transformations du plan ou de lespace), de fonctions,
de suites... mais aussi densembles ! Et cela amne une deuxime ide impor-
tante : il ne faut pas croire que les objets mathmatiques se rpartissent entre
deux catgories distinctes qui seraient dune part les ensembles et dautre part
les objets qui peuplent ces ensembles (les lments). Avec des notations qui vous
sont dj familires et que nous rappellerons sous peu, on peut considrer len-
semble {0, 1} (constitu de deux lments : les nombes 0 et 1) mais on peut
considrer aussi lensemble {, {0}, {1}, {0, 1}}, qui lui a quatre lments, sa-
voir : les ensembles (ensemble vide), {0} (ensemble un lment constitu du
nombre 0), {1} (ensemble un lment constitu du nombre 1) et {0, 1}. Vous
le savez, lorsquun objet a gure parmi ceux qui constituent un ensemble A on
crit a A et on dit a appartient A (ou a est lment de A ). Et
donc, on peut tre amen considrer {0, 1} comme un ensemble et 0 comme un
lment de cet ensemble, en crivant 0 {0, 1}, puis considrer ce mme objet
{0, 1} comme un lment en crivant {0, 1} {, {0}, {1}, {0, 1}}. Vous voyez
que, en pareille situation, il vaut mieux tre vigilant et bien placer les accolades...
galit, appartenance, inclusion
Il y a en mathmatiques deux noncs fondamentaux : a = b et a b, qui
correspondent aux deux relations fondamentales : lgalit et lappartenance. Ici
a et b dsignent des objets absolument quelconques.
Lnonc a = b (qui, vous lavez remarqu, a deux variables libres a et b),
1
exprime que cest UN SEUL ET MME OBJET qui est dsign par les lettres
a et b. Disons cela autrement : armer que lnonc a = b est vrai, cest
dire que a et b sont deux noms pour un mme objet. Il vous arrive trs
souvent, quand vous faites des mathmatiques, davoir pour tche dtablir des
galits, cest--dire de prouver que sous deux noms dirents se cache en fait le
mme objet. Cest vrai lcole primaire, lorsque vous constatez que 2 +3 = 5 ;
cest vrai luniversit, quand vous dmontrez lgalit :

x C | x
2
+ x + 1 = 0

1
2
+ i

3
2
,
1
2
i

3
2

(notez que dans cet exemple cest la deuxime occurrence du signe = qui illustre
notre propos).
Passons lnonc a b. Au fait, quelles sont ses variables libres ? Oui, les
mmes que dans a = b. Cet nonc (quon lit donc a appartient b ou a est
lment de b , exprime que b est un ensemble et que a gure parmi les objets
qui constituent cet ensemble. Insistons sur le fait que a peut parfaitement tre
lui-mme un ensemble.
Le symbole dappartenance, , est une graphie rare de la lettre grecque
epsilon (minuscule), note habituellement .
Il y a une relation entre appartenance et galit : cest une proprit trs
importante (mme si elle semble aller de soi). Elle se dcompose en deux :
1. Deux ensembles gaux ont exactement les mmes lments.
a, a va vraiment de soi ! En eet, si a et b sont des ensembles tels que a = b,
alors ils ne sont quun seul et mme objet et ce qui vient dtre dit, cest quun
ensemble a exactement les mmes lments que... lui-mme ! On peut exprimer
le fait que les ensembles a et b ont exactement les mmes lments en utilisant
un quanticateur (et donc une variable muette) :
x(x a x b)
(ce qui vient dtre crit, cest que, pour tout objet x, ou bien x est simultan-
ment un lment de a et un lment de b, ou bien x nest ni un lment de a ni
un lment de b).
Et la proprit qui a t nonce est la suivante :
quels que soient les ensembles a et b, si a = b, alors x(x a x b).
2. Deux ensembles qui ont exactement les mmes lments sont gaux.
Cette fois, mme si cela semble conforme au bon sens, on voit que cest notre
ide intuitive du concept densemble qui nous dit que cest vrai, et non un fait
incontestable indpendamment de cette ide intuitive. Il sagit donc dune pro-
prit que nous admettons (heureusement, nous navons pas beaucoup deorts
faire pour ladmettre). Elle peut sexprimer ainsi :
2
Quels que soient les ensembles a et b, si x(x a x b), alors a = b.
Finalement, on peut noncer la proprit suivante :
Deux ensembles sont gaux si et seulement si ils ont les mmes lments.
Autrement dit :
Quels que soient les ensembles a et b,
a = b si et seulement si x(x a x b).
On utilise trs trs souvent cette proprit pour prouver lgalit de deux
ensembles : on prouve en fait quils ont les mmes lments, et on scinde souvent
cette preuve en deux : on prouve dabord que tout lment du premier est
lment du second, puis que tout lment du second est lment du premier.
Cela sexprime plus facilement laide de la notion dinclusion, dont voici la
dnition :
Soit a et b deux ensembles. On dit que a est inclus dans b, ou que a est
contenu dans b, ou que a est un sous-ensemble de b, ou que a est une partie de
b, et on note a b (mais aussi a b, que vous rencontrerez plus souvent) si
tout lment de a est aussi un lment de b.
On a donc, par dnition,
Quels que soient les ensembles a et b,
a b si et seulement si x(x a = x b).
On voit donc immdiatement que, pour que deux ensembles a et b soient
gaux, il faut et il sut que chacun deux soit inclus dans lautre, autrement dit
que lon ait simultanment a b et b a.
On crit a / b pour non a b et a b (ou a b) pour non a b .
Attention, ne confondez pas (symbole de non-inclusion) et le symbole
(symbole dinclusion stricte), qui a une tout autre signication : a b est une
abrviation pour a b et a = b (et se lit a est strictement inclus dans b).
On voit que a b est vrai si et seulement si tout lment de a est un lment
de b mais il y a au moins un lment de b qui nest pas lment de a.
Il est important de remarquer que lnonc a b signie quil existe au
moins un lment de a qui nappartient pas b :
Quels que soient les ensembles a et b,
a b si et seulement si x(x a et x / b).
3
Il est essentiel de ne pas confondre appartenance et inclusion. Ces mots, et
les symboles correspondants, ne sont pas interchangeables !
On a par exemple :
1 {0, 1}
{1} {0, 1} mais {1} / {0, 1}
{0, 1} {, {0, 1}} mais {0, 1} {, {0}, {1}, {0, 1}}

1
2
+ i

3
2
,
1
2
i

3
2

x C | x
3
= 1

et aussi

1
2
+ i

3
2
,
1
2
i

3
2

x C | x
3
= 1

.
Une des choses qui favorisent la confusion entre appartenance et inclusion,
cest lutilisation du mot contient qui peut parfois signier admet comme
sous-ensemble et parfois admet comme lment . Par exemple on pourra
rencontrer tout aussi bien les deux phrases suivantes : lensemble des entiers
contient lensemble des nombres premiers et lensemble des entiers contient
le nombre 2 . or (en appelant P lensemble des nombres premiers) la premire
signie P Z et la deuxime 2 Z . Il convient donc de manier cela
avec prcaution.
Lensemble vide
Il y a un ensemble qui na aucun lment. On lappelle lensemble vide et on le
note . Certains utilisent la notation {} (une accolade ouvrante immdiatement
suivie dune accolade fermante) pour dsigner lensemble vide. Nous vous la
DCONSEILLONS TRS FORTEMENT.
Lensemble vide est unique. En eet, deux ensembles vides ont exactement
les mmes lments (cest--dire aucun !) et sont donc identiques.
ATTENTION! IL NE FAUT SURTOUT PAS CONFONDRE
et {}.
Il sagit de deux ensembles distincts. Le premier est vide, le deuxime ne
lest pas ! Lensemble {} a UN lment. On a {}. Remarquez quon a aussi
{} et mme {}. Mais {} / et {} .
En fait, linclusion {} est un cas particulier de la proprit suivante :
Pour tout ensemble A, on a A.
Pour sen convaincre, il sut de considrer la ngation de lnonc A, cest-
-dire lnonc A, qui, comme on la vu, signie x(x et x / A) , qui
est un nonc clairement faux. Et donc lnonc A est toujours vrai.
Remarquons enn que lnonc A = est synonyme de lnonc x(x / A).
4
Diverses faons de dnir un ensemble ; notations associes
Il y a principalement deux faons de dnir un ensemble :
1. En extension : on donne la liste exhaustive des lments de lensemble. Cela
nest videmment possible que si lensemble est ni. Cette liste est donne entre
accolades, les lments tant spars par des virgules. On a dj utilis ce pro-
cd plus haut : {0, 1}, {, {0}, {1}, {0, 1}}, {, {0, 1}},

1
2
+ i

3
2
,
1
2
i

3
2

,
{} sont des dnitions en extension densembles (le premier, le troisime et le
quatrime ont chacun deux lments, le deuxime en a quatre et le cinquime
en a un. Lordre dans lequel les lments sont lists na pas dimportance :
{, {0}, {1}, {0, 1}} et {{0, 1}, {1}, , {0}}, dsignent exactement le mme en-
semble.
2. En comprhension : on dnit lensemble comme sous-ensemble dun autre
ensemble en donnant une proprit caractristique que vrient les lments de
ce sous-ensemble. Plus prcisment, tant donn un ensemble E et un nonc
[x] o la variable x est libre, on peut dnir lensemble A constitu des lments
x de E pour lesquels lnonc [x] est vri. On le note :
A = {x E | [x]}.
On remarque que cette dnition revient dire que lnonc suivant est vrai :
x(x A (x E et [x])) .
On a dj utilis des dnitions en comprhension plus haut, par exemple
quand on a considr lensemble

x C | x
2
+ x + 1 = 0

.
On dispose donc de deux dnitions direntes, mais quivalentes, de cet en-
semble, lune en extension (

1
2
+ i

3
2
,
1
2
i

3
2

), lautre en comprhension
(

x C | x
2
+ x + 1 = 0

).
ATTENTION : lensemble E joue ici un rle essentiel, mme si la plupart
du temps il est loin dtre unique ! Il serait bien sr tentant de considrer len-
semble de tous les x qui ont la proprit [x], sans se restreindre ceux qui
appartiennent un ensemble E. Mais cela peut conduire des contradictions
(comme on la dit plus haut : il nest pas vrai que nimporte quelle collection
dobjets constitue un ensemble).
Ce propos est illustr par le passage qui va suivre, consacr au clbre paradoxe
de Russell. Compos en petits caractres, il est surtout l titre de complment
et dclairage historique et culturel, et peut tre ignor en premire lecture.
5
Le paradoxe de Russell
1
Supposons que, pour tout nonc [x], il existe un ensemble constitu de tous les objets x
pour lesquels [x] est vrai, sans restriction ; on noterait naturellement un tel ensemble de la faon
suivante : {x | [x]}. Prenons alors pour [x] lnonc x / x, et posons
B = {x | x / x}.
Le problme surgit lorsquon se pose la question est-ce que B B? :
- si la rponse est oui, alors B doit satisfaire la proprit caractristique des lments de B,
cest--dire quon doit avoir B / B;
- si la rponse est non, alors cest que B ne satisfait pas la proprit caractristique des lments
de B, donc B / B est faux et on a B B.
En conclusion, on a B B si et seulement si B / B, ce qui est contradictoire.
lpoque o Russell a fait cette constatation (au tout dbut du xx
e
sicle), il semblait tout
fait naturel et banal de considrer lensemble des objets x ayant une certaine proprit [x], et
aucun mathmaticien ne pouvait imaginer de remettre cela en cause. Cest pourquoi on a parl de
paradoxe, et cela a contribu alimenter le doute et nourrir de srieuses controverses entre les
plus grands mathmaticiens de lpoque. On a ensuite dcrit cette priode comme tant celle de la
crise des fondements en mathmatiques.
Pour nous aujourdhui, les choses sont beaucoup plus simples et il ny a pas de paradoxe,
mais simplement une contrainte qui nous est impose lorsque nous voulons tablir des rgles pour
les mathmatiques. Nous venons de dmontrer quil nest pas possible de supposer comme nous
lavions fait que, pour tout nonc [x], il y a un ensemble ({x | [x]}) form de tous les objets x
qui satisfont [x].
Signalons enn que cest par un raisonnement du mme genre que celui quon vient de faire
quon dmontre quil nest pas possible de supposer lexistence dun ensemble qui serait constitu
de tous les ensembles (on admet ici que tous les objets mathmatiques sont des ensembles). On
raisonne encore par labsurde en supposant lexistence dun tel ensemble, disons Z. On a donc, pour
tout x, x Z. On peut alors considrer (lgitimement, cette fois !), le sous-ensemble Y suivant de
Z :
Y = {x Z | x / x}.
On a donc, pour tout ensemble x, x Y si et seulement si (x Z et x / x), mais comme
lnonc x Z est suppos toujours vrai (puisque Z est lensemble de tous les ensembles), (x Z
et x / x) quivaut simplement x / x. Finalement, pour tout x, x Y si et seulement si x / x, et
on conclut, de la mme faon que pour le paradoxe de Russell, que Y Y si et seulement si Y / Y ,
ce qui est une contradiction. Il ny a donc pas densemble de tous les ensembles (mais on vit trs
bien en sen passant !).
On a de lensemble vide une dnition en comprhension : on prend un
ensemble E quelconque, et on considre le sous-ensemble suivant de E : {x
E | x = x}. Cest lensemble vide ! En donner une dnition en extension est plus
dicile... Cest peut-tre l lorigine de la notation {} signale (et dconseille !)
plus haut.
En dehors de ces deux principales mthodes de dnition densembles (ex-
tension ou comprhension), il convient den signaler encore deux autres :
1. du nom du philosophe et mathmaticien anglais Bertrand Russell (1872-1970).
6
- une sorte dextension gnralise : par exemple {0, 1, 2, 3, . . . , n, . . .} pour
lensemble des entiers naturels, ou {0, 1, 4, 9, 16, 25, . . . n
2
, . . .} pour lensemble
des carrs dentiers, ou encore {1, 2, . . . , k} pour lensemble des entiers compris
(au sens large) entre 1 et k. Ces notations sont conventionnelles et facilement
comprises par tout le monde, mme si elles peuvent tre juges ambigus en
raison des points de suspension dont le statut nest pas facile prciser. On est
dans une situation intermdiaire entre la liste exhaustive (clairement impossible
dans ce genre de cas) et la dnition en comprhension qui est sous-jacente
mais napparat pas explicitement (ainsi, dans le troisime exemple ci-dessus, la
proprit [x] sous-jacente est 1 x k).
- la dnition dun ensemble comme image dune certaine fonction; exemple :
{cos t | t

0,

4

} (quon peut aussi dnir comme tant lintervalle ferm

2
2
, 1

, cest--dire {x R |

2
2
x 1}) ; dune faon gnrale, si f est une
application dun ensemble A dans un ensemble B, la notation {f(x) | x A}
dsigne limage de lensemble A par lapplication f. Cest un sous-ensemble de
B qui peut toujours tre dni de faon quivalente, en comprhension, ainsi :
{y B | (x A)(y = f(x))}.
Voici encore un exemple : lensemble {0, 1, 4, 9, 16, 25, . . . n
2
, . . .} considr plus
haut peut aussi tre dni comme {n
2
| n N} ou encore comme {x N |
(n N)(x = n
2
)}.
Pouvoir passer sans dicult de lun lautre de ces divers types de dni-
tions est important. Exercez-vous sur de nombreux exemples.
Terminons cette section par une remarque importante sur le rle des acco-
lades dans les diverses notations que nous venons de voir.
Dans la dnition dun ensemble en extension, les accolades ne sont pas
des signes muticateurs. Quand on crit {a, b, c, d}, les quatre variables qui
apparaissent sont libres.
La situation est radicalement dirente dans le cas des dnitions en compr-
hension : associes la barre verticale | (celle quon lit tel que ), les accolades
sont cette fois muticatrices. Par exemple, dans lexpression

x C | x
3
= 1

,
x est une variable muette, le muticateur tant lassemblage {. . . . . . | . . .}
(cest toujours la variable qui suit immdiatement laccolade ouvrante qui est
mutie : toutes ses occurrences entre les deux accolades sont muettes).
Dans ce que nous avons appel des dnitions densembles en extension g-
nralise , les choses sont en gnral moins nettes, et mritent dtre examines
au cas par cas. Ainsi, dans {0, 1, 2, 3, . . . , n, . . .}, n est muette, mais dans . Dans
{1, 2, . . . , k}, il ny a pas de variable muette qui apparaisse explicitement (bien
entendu, ds quon veut donner une dnition quivalente sans utiliser les points
de suspension, on est contraint dutiliser une mutication, du moins si k nest
pas explicitement donn : certes on peut donner une dnition de lensemble
{1, 2, . . . , 2011} sans utiliser de points de suspension ni de variable muette, mais
nous nous abstiendrons de le faire ici...).
Enn dans les dnitions densembles comme images de fonctions, il y a tou-
jours mutication : dans {f(x) | x E}, la variable x est muette. L encore, le
7
signe muticateur est lassociation des accolades et de la barre verticale |, mais
vous remarquerez que lassemblage est un peu dirent de celui utilis pour les
dnitions en comprhension : {. . . | . . . . . .} ; ici le symbole dappartenance
est droite de la barre verticale et non gauche ; de plus la variable mutie
napparat pas ncessairement immdiatement aprs laccolade ouvrante (repre-
nez lexemple de {cos t | t

0,

4

}).
Paires, singletons, couples
Les ensembles ayant un ou deux lments sappellent des paires. Les en-
sembles ayant un lment et un seul sappellent des singletons. Les singletons
sont donc des cas particuliers de paires. Donnez des exemples de singletons et
de paires.
tant donn des objets a et b (distincts ou non), on leur associe le couple
(a, b) encore appel paire ordonne (a, b).
Nous ne donnerons pas de dnition de la notion de couple. Lintuition sut
largement : pensez au couple (a, b) comme tant constitu des objets a et b mais
PRIS DANS CET ORDRE. Le couple (a, b), ce nest pas la mme chose que le
couple (b, a), sauf videmment dans le cas o a = b.
Peu importe la dnition que lon donne du couple ; ce qui compte, cest que
la proprit suivante soit vraie :
Quels que soient les objets a, b, a

et b

, (a, b) = (a

, b

) si et seulement si
a = a

et b = b

.
Llment a est la premire composante du couple (a, b) et llment b en est
la deuxime composante. (On dit parfois coordonne au lieu de compo-
sante .)
Produit cartsien de deux ensembles
Soit A et B deux ensembles, le produit cartsien de A par B est lensemble,
not A B, des couples dont la premire composante appartient A et la
deuxime composante appartient B. On a donc
AB = {(a, b) | a A et b B}.
Cet ensemble est dni quels que soient les ensembles A et B, mais videm-
ment une preuve de cette armation supposerait quon ait donn une dnition
de la notion de couple, ce que nous navons pas fait. Cest donc un fait que nous
admettrons.
Remarque : En gnral, les ensembles AB et B A sont dirents.
Exercice : Dmontrer que AB = B A si et seulement si A = B.
On gnralise la notion de couple en dnissant, pour chaque entier n 1, les
n-uples : ce sont les listes ordonnes de n objets. tant donn des objets a
1
, a
2
,
8
. . . , a
n
, (distincts ou non), on note (a
1
, a
2
, . . . , a
n
) le n-uple quils constituent,
pris dans cet ordre. Pour chaque i compris entre 1 et n, lobjet a
i
est la i-me
composante du n-uple.
On peut alors dnir le produit cartsien de n ensembles A
1
, A
2
, . . . , A
n
:
A
1
A
2
. . . A
n
= {(a
1
, a
2
, . . . , a
n
) | (i {1, 2, . . . , n}) (a
i
A
i
)
Remarque : On dit parfois n-uplet au lieu de n-uple . Les 2-uples sont
donc les couples ; les 3-uples et les 4-uples sont plus souvent appels respective-
ment des triplets et des quadruplets .
Enn signalons que, pour tout ensemble A et tout entier n 2, le produit
cartsien A A . . . A (avec n occurrences de la lettre A) est souvent not
A
n
.
Ensemble des parties dun ensemble. Oprations dans cet en-
semble des parties.
Dans cette section, un ensemble E est x une fois pour toutes et on va
essentiellement sintresser aux sous-ensembles de E et aux oprations sur ces
sous-ensembles.
Les sous-ensembles de E constituent un ensemble. Cest un fait qui ne peut
pas tre dmontr, quon adopte comme axiome.
Lensemble des sous-ensembles de E, appel aussi ensemble des parties de
E , est not (E).
Les lments de lensemble (E) sont donc les parties de lensemble E : on
a, pour tout X,
X (E) si et seulement si X E.
Il revient au mme de dire que, pour tout X,
X (E) si et seulement si v (v X = v E) .
On est dans une situation quon a dj voque : des objets (les parties de
E) peuvent jouer aussi bien le rle densembles que celui dlments.
On a remarqu plus haut que lensemble vide est inclus dans nimporte quel
ensemble. Cest donc certainement une partie de E, et par suite un lment de
(E). Mais E aussi est une partie de E, et donc E (E). Bien sr, si E = ,
ces deux remarques ne nous fournissent quun seul lment de lensemble (E),
qui nen a alors pas dautres. Mais si E = , alors on a l deux lments distincts
qui appartiennent (E) : et E.
Donnons quelques exemples simples densembles de parties :
({1}) = {, {1}} ; ({0, 1}) = {, {0}, {1}, {0, 1}} ; () = {} ;
9
({1, 2, 3, 4}) =
{, {1}, {2}, {3}, {4}, {1, 2}, {1, 3}, {1, 4}, {2, 3}, {2, 4}, {3, 4}, {1, 2, 3}, {1, 2, 4}, {1, 3, 4}, {2, 3, 4}, {1, 2, 3, 4}}
On le voit, le nombre de parties dun ensemble devient vite trs grand...
Voici quelques remarques ce sujet.
- Si lensemble E est ni, lensemble (E) est galement ni (autrement dit
un ensemble ni na quun nombre ni de sous-ensembles).
- Le nombre de sous-ensembles de lensemble ni E ne dpend que du nombre
dlments de E (et pas de la nature de ces lments).
Ces faits semblent couler de source mais il nest pas si facile que cela de les
justier (essayez ! nous reviendrons sur ce point plus loin).
Nous donnerons un peu plus loin la preuve du thorme suivant :
Thorme
Si E est un ensemble ni et si le nombre dlments de E est n, alors le
nombre dlments de (E) est 2
n
.
Oprations dans lensemble (E)
1. Le passage au complmentaire.
Pour chaque sous-ensemble A de E, on dnit le complmentaire de A dans
E : cest le sous-ensemble de E constitu des lments de E qui nappartiennent
pas A. Nous le dsignerons par E\A. On a donc la dnition en comprhension
suivante pour cet ensemble :
E \ A = {x E | x / A}.
On rencontre plusieurs autres notations pour dsigner le complmentaire de
A dans E. En voici trois :
E
A, A
c
, A. Les deux dernires ont linconvnient de
ne pas faire intervenir lensemble E (mais cet inconvnient est mineur lorsquon
a x cet ensemble une fois pour toutes et que le contexte indique clairement
que cest lui quon se rfre). La notation A est trs utilise en probabilits.
Le passage au complmentaire est donc une opration unaire ( un argument)
sur lensemble (E), cest--dire une application de (E) dans (E). chaque
lment A de (E), elle associe E \ A, qui est aussi un lment de (E).
Il est vident daprs la dnition que le complmentaire dans E du compl-
mentaire dans E de A, cest A :
(A (E)) (E \ (E \ A) = A)
10
(il est certainement plus commode et plus parlant dcrire la dernire
galit sous la forme (A
c
)
c
= A).
Notons que lon a toujours
E \ =
c
= E et E \ E = E
c
= .
Donnons enn une proprit importante du passage au complmentaire : il
renverse lordre des inclusions. Plus prcisment :
(A (E)) (B (E)) (A B B
c
A
c
) .
Preuve : soit A et B deux sous-ensembles de E. Si A est inclus dans B, tout
lment de A est aussi un lment de B, donc il ne peut pas exister dlment
de A qui soit en mme temps dans E \ B, ce qui veut dire quaucun lment
de E \ B nappartient A, ou encore que tout lment de E \ B appartient
E \ A. On a ainsi prouv que lnonc suivant est vrai :
(A (E)) (B (E)) (A B = B
c
A
c
) .
Supposons maintenant que A et B soient des parties de E telles que B
c
A
c
.
En appliquant ce quon vient linstant de prouver, on en dduit que (A
c
)
c

(B
c
)
c
, ce qui revient dire que A B. Ceci achve la dmonstration.
2. Lintersection :
Il sagit dune opration binaire ( deux arguments) sur (E).
tant donn deux lments A et B de (E), on appelle intersection de A et
B, et on note A B (lire A INTER B ), lensemble des lments de E qui
appartiennent la fois A et B :
A B = {x E | x A et x B}.
Donnons quelques proprits trs simples de lopration dintersection. Le
lecteur est invit faire lui-mme les dmonstrations.
Quelles que soient les parties A, B et C de E, on a :
1. A B = B A (lintersection est commutative)
2. (A B) C = A (B C) (lintersection est associative)
3. A E = A (llment E est neutre pour lopration dintersection)
4. A A = A
5. A =
6. A A
c
= (rappelons que A
c
dsigne le complmentaire de A dans E)
7. A B = A si et seulement si A B
11
Rdiger soigneusement les dmonstrations de toutes ces proprits est un
excellent exercice.
3. La runion :
Il sagit aussi dune opration binaire ( deux arguments) sur (E).
tant donn deux lments A et B de (E), on appelle runion de A et
B, et on note A B (lire A UNION B ), lensemble des lments de E qui
appartiennent au moins un des deux ensembles A, B :
A B = {x E | x A ou x B}.
Donnons quelques proprits trs simples de lopration de runion. Le lec-
teur est invit faire lui-mme les dmonstrations.
Quelles que soient les parties A, B et C de E, on a :
1.
8. A B = B A (la runion est commutative)
9. (A B) C = A (B C) (la runion est associative)
10. A = A (llment est neutre pour lopration de runion)
11. A A = A
12. A E = E
13. A A
c
= E
14. A B = A si et seulement si B A
On peut y ajouter des proprits supplmentaires :
15. A (B C) = (A B) (A C) (la runion est distributive par rapport
lintersection)
16. A(B C) = (A B)(A C) (lintersection est distributive par rapport
la runion)
17. (A B)
c
= A
c
B
c
18. (A B)
c
= A
c
B
c
Les proprits 15 et 16 expriment la distributivit de chacune des deux op-
rations (runion et intersection) par rapport lautre. Les proprits 17 et 18
sont les lois de Morgan qui expriment le fait que lopration de passage
au complmentaire change les oprations dintersection et de runion ( le
complmentaire de lintersection, cest la runion des complmentaires ; le com-
plmentaire de la runion, cest lintersection des complmentaires ).
12
Lien entre oprations ensemblistes et connecteurs logiques
Rcapitulons les dnitions des oprations ensemblistes. tant donn des
parties A et B de lensemble E, on peut crire :
E \ A = {x E |non x A}
A B = {x E | x A et x B}
A B = {x E | x A ou x B}
ou encore : quel que soit llment x appartenant E,
x E \ A si et seulement si non x A
x A B si et seulement si x A et x B
x A B si et seulement si x A ou x B
On voit ainsi quil y a une correspondance entre les oprations de passage au
complmentaire, dintersection et de runion et, respectivement, les connecteurs
logiques non , et et ou :
Opration ensembliste Connecteur logique correspondant
passage au complmentaire ngation ( non )
intersection () conjonction ( et )
runion () disjonction ( ou )
.
Attention : On pourrait envisager une ligne supplmentaire dans ce tableau,
avec limplication (connecteur =) dans la colonne de droite. Mais que faire
gurer alors sur cette ligne dans la colonne de gauche ? Une erreur trs rpan-
due est de rpondre : linclusion . Cette erreur sexplique facilement : par
dnition de linclusion, on a
A B si et seulement si x(x A = x B).
ce qui tablit certes un lien entre inclusion et implication, mais ce lien nest
pas du tout de mme nature que ceux qui lient passage au complmentaire,
intersection et runion respectivement ngation, conjonction et disjonction.
En eet, si on voulait poursuivre le parallle tabli, lopration ensembliste
qui correspondrait limplication serait celle qui, aux parties A et B,associe
lensemble suivant :
{x E | x A = x B}
Il nest pas dicile de voir (faites-le !) que cet ensemble nest autre que
(E \ A) B
Lopration qui A et B associe (E \ A) B, pour respectable quelle soit,
nest pas de celles quon utilise couramment ! La poursuite de lanalogie entre
oprations ensemblistes et connecteurs ne prsente donc pas un grand intrt.
En tout tat de cause, la prsence de linclusion dans la colonne de droite
naurait pas t pertinente : linclusion nest pas une opration binaire dans
13
(E) ; cest une relation binaire dans cet ensemble. Insistons : A B ne dsigne
pas une partie de E (contrairement A B ou A B), mais est un nonc
susceptible dtre vrai ou faux.
Relations binaires sur un ensemble. Applications dun ensemble
dans un autre.
[En cours de rdaction]
Applications injectives, surjectives, bijectives. Image directe, image rci-
proque dune partie dun ensemble par une application.
Familles densembles. Runion et intersection dune famille den-
sembles.
[En cours de rdaction]
Lien avec les quanticateurs : soit (A
i
)
iI
une famille densembles indexe
par un ensemble I non vide. On a :

iI
A
i
= {x E | i I x A
i
}

iI
A
i
= {x E | i I x A
i
}
Exemple : On prend I = N et, pour tout n N, A
n
= [0, n] = {x R | 0 x n}.
On a alors (prouvez-le !) :

nN
A
n
= R
+

nN
A
n
= {0}
Cardinalit.
[En cours de rdaction]
Ensembles quipotents. Deux ensembles A et B sont quipotents sil existe
une application bijective de A sur B.
Pour des ensembles nis, il est facile de se convaincre que tre quipotents
veut dire la mme chose que avoir le mme nombre dlments . La grande ide
qua eue Georg Cantor dans les annes 1870-1880, cest dutiliser cette notion
dquipotence pour concevoir celle de nombre dlments dun ensemble
inni. Ce qui est important, ce nest pas vraiment de savoir ce quest exactement
ce nombre dlments , mais cest de pouvoir dire si deux ensembles donns
ont ou nont pas le mme nombre dlments. Et ce sera oui si les ensembles
en question sont quipotents, et non dans le cas contraire. Ainsi il savre que
14
N a le mme nombre dlments que Q, mais na pas le mme nombre
dlments que R (voir plus loin). On dira (comme on peut sy attendre !) que
R a strictement plus dlments que N. Cela signie tout simplement quon
peut trouver une application injective de N dans R (vous en voyez une ?) et quon
ne peut pas trouver dapplication injective de R dans N. Quand deux ensembles
sont quipotents, on dit quils ont mme cardinal. Le cardinal dun ensemble,
cest en quelque sorte la proprit quil partage avec tous les ensembles qui lui
sont quipotents. Encore une fois, la dnition prcise du cardinal est beaucoup
moins importante que celle de lgalit des cardinaux !
Cantor a ainsi tabli une chelle des cardinaux innis qui est un sujet
dtude fascinant mais dicile. On nen donne ici quun aperu minuscule.
Ensembles nis. Ensembles innis. Ensembles dnombrables.
Les ensembles dnombrables sont les ensembles quipotents lensemble N
des entiers naturels. Les ensembles suivants sont dnombrables : N N, Z, Q,
lensemble des nombres algbriques rels (par dnition, un nombre rel est
algbrique si et seulement si il est racine dun polynme de degr au moins 1
coecients dans Z). Lensemble R nest pas dnombrable.
Thorme de Cantor (il nexiste pas de bijection dun ensemble sur lensemble
de ses parties.
Une runion dnombrable ou nie densembles dnombrables ou nis est
dnombrable ou nie. Autrement dit : si (A
i
)
iI
est une famille densembles
indexe par un ensemble I non vide, dnombrable ou ni, et si pour chaque
indice i I, lensemble A
i
est dnombrable ou ni, alors lensemble

iI
A
i
est
dnombrable ou ni.
15