Ensemble

Axiomes de définitions
 Ensemble
Définitions

On appelle ensemble toute réunion d'objets

(objets de notre conception, distincts,
concevables, déterminés). Les objets eux-
mêmes sont appelés les éléments de cet
ensemble.

Autre définitions possibles d'un ensemble: une

collection d'objets, une multitude vue comme un
tout, quelquechose d'entièrement définissable par
ces éléments...
 Ensemble
Définitions

Exemples: Les ensembles peuvent être définis par

→ des entiers naturels, les nombres rationnels, les

nombres réels,....
→ des voitures, des animaux, des objets....
→ des vecteurs, des couples, des triplets, des
matrices....
→ des graphes, des images, des tableaux....
→ des sous-ensembles
 Ensemble
Définitions

Un ensemble sera plutôt représenté

symboliquement par une lettre en majuscule
(E, F, G... ℕ, ℚ, ℤ, ℝ,ℂ… ℳmn, Mn, Gn...ℱ, Ω, ℘(Ω)...).

Au contraire, un élément sera souvent une minuscule

(x, y, z... u, v, w...,a, b, c...a, b, g...).
 Ensemble
Définitions

Le fait pour un élément d'être dans un ensemble,

l'appartenance, est représenté symboliquement
par  (la non-appartenance est représentée par ).
Exemple:
xE, mais xF: x est un élement de E mais pas de F.
 Ensemble
Définitions
Les ensembles peuvent être définis par une liste
exhaustive d'élements.
On dit que c'est la définition en extension.

Pour des entités bien distinctes, non continues on

utilisera le crochet pour représenter un ensemble à
partir de ces éléments:
E={a, b,...}.

Il n'y a pas de doublons d'un même élément dans la

liste:
Si E={a1, a1, a2, a3} alors en fait E={a1, a2, a3}.
 Ensemble
Définitions
Le singleton {a} sera un ensemble constitué d'un seul
élément a.

La définition en semi-extension signifie que la liste ne

peut être complétement écrite mais est ordonnable:
Exemple ℕ={0,1,2,3,....}, Epair={0,2,4,....}

Pour les éléments continues (les éléments ont des

“voisins” infiniment proches), on a les notions d'ouvert,
de fermé, des infinis à définir... (la Topologie selon
Cantor) Pour ℝ : [1, 3] fermé, ]1,3[ ouvert
[1, +∞[ fermé, ]1, +∞[ ouvert, [1, 3[ semi-ouvert
 Ensemble
Définitions

L'ensemble vide (ensemble sans aucun élément) est un

vu comme un ensemble.
On le note souvent par  ou parfois par {}.

Pour un ensemble en extension E, l'ensemble des

parties de E, (E), sera constitué de tous les sous-
ensembles tirés de E (auquel on peut ajouté l'ensemble
vide).
E={1,2} → (E)={, {1},{2},{1,2}}
 Ensemble
Définitions

Les ensembles peuvent être définis par une

propriété, une caractéristique.

Exemples
E={a entiers naturels tel que a+1>0}
E={ensemble des chats domestiques}

On dit que c'est la définition en intension, ou la

définition en compréhension.
 Ensemble
Définitions
La définition en compréhension peut être faite par
du texte ou/et une formule mathématique.

Exemple: Plusieurs façons de définir en intension le

même ensemble des multiples de 3
E={multiple entier de 3}
E={3k, kℕ}
E={x| x=0 modulo 3}
E={x| x3ℤ, x≥0}
et on a toujours la possibilité de l'écriture en semi-
extension
E={0,3, 6, 9, 27, ….}.
 Ensemble
Définitions
On utilise le langage mathématique mis à disposition.
Les symboles de variables x, y,.. les symboles de
comparaison, d'égalité, d'addition,... et aussi les
quantificateurs des variables. On a 2 quantificateurs
permettant de formaliser la façon de considérer une
variable:
“il existe x” :  x, (“il existe un unique x”: !x)
“pour tout x”, “quelque soit x” :  x

Exemples: C={AMn² |  BMn² tel que AB=BA}

[-1,1]={ xℝ|  yℝ tel que x=2y/(1+y²)}
 Ensemble
Définitions

Les ensembles peuvent être aussi représentés par

des diagrammes, des tableaux.

x1 x2
x1, x2, ...
E
 Ensemble
Définitions
L'inclusion d'un ensemble dans un autre
ensemble est représentée par  ou  (inclusion ou
égalité) , ou encore , .
Exemples: Si GE alors GE et il est possible que GE
(c'est-à-dire qu'il est possible que G=E).
FE, mais EF: F est inclus dans E mais pas égal à E.

Ne pas confondre le symbole d'appartencance 

concernant les éléments avec ceux de l'inclusion
concernant les ensembles.
Type d'exception: E(E), car dans ce cas l'ensemble
E n'est qu'un élément de l'ensemble des parties de E.
 Ensemble
Définitions
Le nombre d'éléments d'un ensemble E est
appelé le cardinal de l'ensemble et est noté
Card(E).

Le cardinal d'un ensemble infini est +∞.

Le cardinal de l'ensemble vide est 0: Card()=0.

Pour un ensemble fini E de cardinal n, on a la propriété

que l'ensemble des parties de E, (E), est 2n.
Card(E)=n → Card((E))=2n.
 Ensemble
Définitions
Remarque sur le cas des ensembles infinis:
Cantor a défini qu'un ensemble infini peut avoit
plusieurs infinis. Le plus petit de ces infinis (aleph 0) sera
le cardinal de l'ensemble si l'ensemble est dénombrable.

Pour ℕ, dénombrable par essence, on a Card(ℕ)=+∞.

Mais pour ℝ, ensemble infini continu, on n'a pas la

possibilité de dénombrer (les voisins autour d'un seul
élément réel choisi sont infiniment nombreux, et il y a
déja une infinité de réels: on ne pas compter les voisins,
puis les voisins des voisins, etc.. ) donc Cantor a formulé
Card(ℝ)=2aleph0.
 Ensemble

Opérations entre ensembles

 Ensemble
Opérations entre ensembles
La théorie des ensembles est une théorie fondatrice des
mathématiques: elles permettent d'établir les notions de
base nécessaires à toute construction et raisonnement
mathématique. Pour cela, il faut définir les opérations et
les relations liées à la notion des ensembles.

On a déja vu la notion d'inclusion que l'on pourra

redéfinir au travers de la notion plus large des relations.
Mais auparavant, on va définir les opérations
(assimilables aux lois algèbrique) entre ensembles
 Ensemble
Opérations entre ensembles
-La réunion (ou union):
A réunion B (A union B) est notée A∪B
A∪B={x , x∈ A ou x∈B}
A∪B={x ∣( x∈ A)∨( x∈B)}

A
B
 Ensemble
Opérations entre ensembles
-L'intersection:
L'intersection de A et B (A inter B) est notée A∩B
A∩B={x , x∈ A et x∈B}
A∩B={x ∣x∈A , x∈B}
A∩B={x ∣( x∈ A)∧( x∈B)}
 Ensemble
Opérations entre ensembles

-propriété d'être disjoint:

On dira que A et B sont disjoints entre eux si A∩B=∅
 Ensemble
Opérations entre ensembles
-La différence:
La différence entre A et B est l'ensemble A moins B et est
notée A ∖ B
A ∖ B={x , x∈ A et x∉B}
A ∖ B={x ∣x∈ A , x∉B}
A ∖ B={x ∣( x∈A)∧( x∉B)}
 Ensemble
Opérations entre ensembles
-La différence symétrique:
La différence entre A et B est l'union entre l'ensemble A
moins B et l'ensemble B moins A. Elle est notée A Δ B
A Δ B={x ,( x∈ A et x∉B)ou ( x∉ A et x∈B)}
A Δ B={x ∣(( x∈ A)∧( x∉B))∨(( x∉ A)∧( x∈B))}
 Ensemble
Opérations entre ensembles
-Le complémentaire:
Le complémentaire de A par rapport à un ensemble E
incluant A (AE, E est “l'univers” de A) est l'ensemble
qui réunit tous les éléments de E qui ne sont pas dans A.
c c
Elle est notée si l'univers de A est implicite A , A, A ou
sinon EA .

Une définition en intension possible:

A={x∈E ∣( x∉ A)et ( A⊂E)}
Ac
E
 Ensemble
Opérations entre ensembles
Remarques:
ℝ\ℚ=les nombres irrationnels

Si A B, alors A\B=
Si B A, alors A\B= AB

La définition de la différence symétrique peut se déduire

des autres opérations:
ADB=(AB)\(AB)
ADB=(A\B)(B\A)
 Ensemble
Opérations entre ensembles
Ces 5 opérations ont en commun qu'elles transforment
deux ensembles A et B provenant d'un même univers U
(U est un ensemble contenant par définition A et B) en un
ensemble contenu dans ce même univers U: elles sont
analogues à des lois algébriques internes par rapport à
cet univers. union ↔ loi “+”
intersection ↔ loi “.”
différence ↔ loi “-”
vide ↔ l'élement neutre pour la loi “+”
univers ↔l'élement neutre pour la loi “.”
A ...
B
 Ensemble
Opérations entre ensembles
Théorèmes algébriques:
- AB=BA (commutativités)
AB=BA
- A(BC)=(AB)C (associativités)
A(BC)=(AB)C
- A(BC)=(AB)(AC) (distributivités)
A(BC)=(AB)(AC)
- A=A=A (élément neutre pour l'union)
- A=A= (élément absorbant pour l'intersection)
 Ensemble
Opérations entre ensembles
Théorèmes algébriques:

Soit E “l'univers” pour A: le plus grand ensemble où AE

- AE=EA=A (élément neutre pour l'intersection)
- AE=EA=E (élément absorbant pour l'union)

- AB A AB
AB B AB (ordre de l'inclusion et les notions de
“minorant de A et B” pour AB et
de “majorant de A et B” pour AB)
 Ensemble
Opérations entre ensembles

Théorèmes algébriques:

- A\(BC)=(A\B)(A\C) (lois de Morgan)

A\(BC)=(A\B)(A\C)

→ E
(A B)= E
A  E
B ↔ (AB)c=AcBc

E
(A B)= E
A  E
B (AB)c=AcBc

- E
A A=E et EA A= (notion de complément)
- ( A)=A ↔ (Ac)c=A (involution du complément)
E E
 Ensemble
Opérations entre ensembles
Remarque sur la Cardinalité d'un ensemble E, le nombre
d'éléments d'un ensemble E noté Card(E).

En supposant des ensembles finis, c'est-à-dire avec un

nombre fini d'éléments, on a la relation suivantes:
Card(AB)=Card(A)+Card(B)-Card(AB)

d'où par exemple Car(Ac)=Card(E)-Card(A) car et

AAc= et AAc=E.
Ensemble

Relations
 Ensemble
Relation et ensembles-produit Cartésien
On appelle, de manière générale, la relation entre 2
ensembles E et F par le terme du produit Cartésien entre E
et F, et il est noté EF.

Si on s'arrête juste à cette définition, alors les éléments en

relation qui sont issues du produit Cartésien E F sont
notés (X,Y) où XE et YF.
 Ensemble
Relation et ensembles-produit Cartésien
Une définition théorique du produit Cartésien dans la
théorie des ensembles, utilisant l'ensemble des parties d'un
ensemble , est: il existe

E×F={z∈ ((E∪F)):∃ x∈E et ∃ y∈F tel que (z=(x, y))}

toute les combinaisons possibles avec ou sans répétition d'un même élément x ou y

En considérant des sous-parties ou des catégories

spécifiques du produit Cartésien d'ensembles, on définit des
notions connues comme celles d'application ou de fonction,
de loi interne ou externe, de relation d'ordre ou
d'équivalence.
 Ensemble
Relation et ensembles- Opération et Application
Définition d'une Opération
On peut considérer qu'en donnant en plus un sens à la
relation EF, E→F on peut considérer les éléments du
produit cartésien comme (X, Y(X)) comme ceux définissant
le couple d'un élément de E et d'un élément de F relié à E
par une opération.
 Ensemble
Relation et ensembles- Opération et Application
Définition d'une Application ou Fonction
Une application est le cas particulier où il n'existe pas 2
Y(X) différents reliés à un même X. Donc on peut alors
établir la relation X →Y(X) pour chaque élément, c'est-à-
dire qu'à un X, il n'existe qu'un seul Y(X).
Une fonction est une application, mais où il est aussi
possible de construire un f(X) non défini: à un X, il n'existe
au plus qu'un seul Y(X).
 Ensemble
Relation et ensembles- Opération et Application
f: E → F
Définition d'une Fonction injective
A f(x) ne correspond qu'une seule solution:
f(x)=f(y)→x=y
Définition d'une Fonction surjective
Pour tout z, z=f(x) a toujours au moins
une solution: zF, x z=f(x) F

Définition d'une Fonction bijective

La fonction est injective et surjective:
f, f -1 , f -1(f(x))=x=f(f -1(x))
 Ensemble
Relation et ensembles- Opération et Application

f: E → F
Définition d'un ensemble Image directe F
f(A)={f(x)F , xA}

Définition d'un ensemble Image réciproque

f -1(B)={xE, f(x)B}
 Ensemble
Relation et ensembles- Opération et Application

bijection f: E → F, f -1:F → E

F
 Ensemble
Relation et ensembles- Opération et Application

Définition d'une loi

Une loi est une application reliant des éléments d'un
produit Cartésien d'ensembles EF à un élément d'un
ensemble. On a en particulier la loi interne E E→E et la
loi externe FE→E.

C'est ce qui permet de distinguer un magma, un monoïde,

un groupe, un anneau, un espace vectoriel etc...
 Ensemble
Relation et ensembles- Relation entre éléments

Définition d'une Relation entre éléments

Au contraire d'une opération, on n'attend pas forcément
d'une relation entre 2 éléments de produire un élément,
mais plutôt de donner un sens au lien de ces 2 éléments.
On ne va s'intéresser qu'à deux relations binaires (entre 2
éléments) appartenant au produit Cartésien E E. On va
définir la relation d'ordre et la relation d'équivalence.
 Ensemble
Relation et ensembles- Relation entre éléments

On prend 2 éléments x et y de E, et on établit la relation

xℛy  EE.
Définition d'une Relation d'ordre
On établit la relation d'odre xℛd y  EE par:
-la réflexivité: xℛd x existe,
-la transitivité: si xℛd y et yℛd z alors xℛd z,
-l'antisymétrie: si xℛd y et yℛd x est possible alors x=y.
 Ensemble
Relation et ensembles- Relation entre éléments

Exemples classiques d'une Relation d'ordre xℛd y

Pour les entiers, les nombres on a x≤y.
Pour les ensembles, on a XY ou selon les puristes XY.
Pour les éléments de logiques, on aura X → Y.
 Ensemble
Relation et ensembles- Relation entre éléments
On prend 2 éléments x et y de E, et on établit la relation
xℛy  EE.
Définition d'une Relation d'équivalence
On établit la relation d'équivalence xℛe y  EE par:
-la réflexivité: xℛe x existe,
-la transitivité: si xℛe y et yℛe z alors xℛe z,
-la symétrie: si xℛe y alors yℛe x est toujours possible pour
tout x et y.
En pratique, on note xℛe y par x~y.
 Ensemble
Relation et ensembles- Relation entre éléments
On appelle classe d'équivalence l'ensemble des éléments
équivalents entre eux. On peut noter une classe par un
symbole type x qui représente tous les éléments équivalents
à x: x =“y~x”.

L'ensemble des classes d'un ensemble E se note souvent

comme un quotient E/ℛe ou E/F si ℛeest fait autour de F
comme par exemple ℛe:={x~y si y-xF}.

Exemple: ℤ/nℤ représente l'ensemble des entiers modulo

l'entier positif n, la relation d'équivalence étant a~b si il
existe kℤ tel que a-b=kn  nℤ.