Mathématiques discrètes

Jean-François Hêche

Automne 2022-2023

J.-F. H ÊCHE, Mathématiques discrètes, 2022-2023 – 1

 Chapitre 1
Les ensembles

J.-F. H ÊCHE, Mathématiques discrètes, 2022-2023 – 2

 Ensembles et éléments

1. Les ensembles
Ensembles et éléments Un ensemble est un regroupement d’éléments formant un tout.
Appartenance
Ensembles égaux
Ensemble vide et univers
Sous-ensembles
 Un ensemble est entièrement déterminé par la collection de ses éléments.
Opérations
 Dans les cas les plus simples, on peut décrire un ensemble en listant
Cardinal
Ensemble des parties explicitement tous ses éléments entre accolades (on parle alors de
Produit cartésien description en extension).
2. Les relations
 E XEMPLES .
3. Les fonctions

4. Suites et séries
◮ L’ensemble des chiffres décimaux s’écrit

{0, 1, 2, 3, 4, 5, 6, 7, 8, 9}.

◮ L’ensemble des voyelles de la langue française s’écrit

{a, e, i, o, u, y}.

J.-F. H ÊCHE, Mathématiques discrètes, 2022-2023 – 3

 Relation d’appartenance : ∈

1. Les ensembles
Ensembles et éléments
 Si x est un élément d’un ensemble A, on dit qu’il appartient à cet
Appartenance ensemble, qu’il en fait partie ou encore que l’ensemble contient x et on
Ensembles égaux note
Ensemble vide et univers
Sous-ensembles
x∈A .
Opérations
Cardinal
Ensemble des parties
 Si x n’appartient pas à l’ensemble A, on note
Produit cartésien

2. Les relations x∈
/A .
3. Les fonctions

4. Suites et séries
 E XEMPLES .

◮ 1 ∈ {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} ◮ Faux ∈ {Vrai, Faux}

◮ 2∈
/ {1, 3, 5, 7, 9} ◮ Peut-être / {Oui, Non}
∈

J.-F. H ÊCHE, Mathématiques discrètes, 2022-2023 – 4

 Description des ensembles

1. Les ensembles
 La description en extension n’est effective que pour les ensembles
Ensembles et éléments
Appartenance contenant très peu d’éléments.
Ensembles égaux
Ensemble vide et univers  Pour des ensembles plus conséquents il est parfois possible de lister
Sous-ensembles suffisamment d’éléments afin de faire ressortir un motif clair et non ambigu.
Opérations
Cardinal  E XEMPLES .
Ensemble des parties
Produit cartésien
◮ L’ensemble des entiers positifs ou nuls et inférieurs à 100 peut s’écrire
2. Les relations
{0, 1, 2, 3, . . . , 99}.
3. Les fonctions

4. Suites et séries
◮ L’ensemble (infini) des entiers positifs pairs peut s’écrire

{2, 4, 6, 8, 10, . . .}.

◮ L’ensemble (infini lui aussi) des entiers impairs peut s’écrire

{. . . , −7, −5, −3, −1, 1, 3, 5, 7, . . .}.

J.-F. H ÊCHE, Mathématiques discrètes, 2022-2023 – 5
 Description des ensembles (suite)

1. Les ensembles
 La forme privilégiée (en mathématiques) pour définir un ensemble est la
Ensembles et éléments
Appartenance description en compréhension obtenue en spécifiant une propriété
Ensembles égaux satisfaite par tous les éléments de l’ensemble recherché et par eux seuls.
Ensemble vide et univers
Sous-ensembles ◮ L’ensemble de tous les éléments x vérifiant la propriété P (x) se note
Opérations
Cardinal
Ensemble des parties {x | P (x)}
Produit cartésien

2. Les relations
où la barre verticale | se lit « tel que » ou « pour lesquels ».
3. Les fonctions

4. Suites et séries ◮ L’ensemble de tous les éléments x de l’ensemble A vérifiant la propriété

P (x) se note
{x ∈ A | P (x)} .

J.-F. H ÊCHE, Mathématiques discrètes, 2022-2023 – 6

 Exemples

1. Les ensembles
Ensembles et éléments
 L’ensemble des entiers positifs ou nuls et inférieurs à 100 peut s’écrire
Appartenance
Ensembles égaux {x ∈ N | 0 ≤ x ≤ 99}.
Ensemble vide et univers
Sous-ensembles
Opérations  L’ensemble des entiers positifs pairs peut s’écrire
Cardinal
Ensemble des parties
{x | x est pair et positif}
Produit cartésien

2. Les relations mais également

3. Les fonctions

4. Suites et séries
{x | x = 2k, k ∈ N∗ } ou {x | ∃ k ∈ N∗ , x = 2k}.

 L’ensemble des entiers impairs peut s’écrire

{x | x est impair}
ou

{x | x = 2k + 1, k ∈ Z} ou encore {x | ∃ k ∈ Z, x = 2k + 1}.
J.-F. H ÊCHE, Mathématiques discrètes, 2022-2023 – 7
 Ensembles égaux

1. Les ensembles
Deux ensembles sont égaux si et seulement si tout élément de l’un est aussi
Ensembles et éléments
Appartenance
élément de l’autre. Si A et B sont égaux, on note
Ensembles égaux
Ensemble vide et univers
A=B .
Sous-ensembles
Opérations
Cardinal
Ensemble des parties
Deux précisions importantes s’imposent :
Produit cartésien

2. Les relations  Dans un ensemble, l’ordre des éléments n’a pas d’importance :
3. Les fonctions

4. Suites et séries
{1, 3, 5} = {3, 5, 1}.

 Dans un ensemble, les répétitions éventuelles d’un même élément ne

comptent pas :

{i, n, f, i, n, i} = {f, i, n, i} = {f, i, n}.

J.-F. H ÊCHE, Mathématiques discrètes, 2022-2023 – 8

 Quelques ensembles importants de nombres

 L’ensemble des entiers naturels est noté N : N = {0, 1, 2, 3, . . .}.

 L’ensemble des entiers relatifs est noté Z : Z = {. . . , −3, −2, −1, 0, 1, 2, 3, . . .}.
 L’ensemble des nombres rationnels est noté Q : Q = {p/q | p, q ∈ Z et q 6= 0}.
 L’ensemble des nombres réels est noté R.

 En ajoutant le suffixe ∗ , on supprime 0 des ensembles précédents :

N∗ = {1, 2, 3, . . .}.

 En ajoutant le suffixe + , on ne garde que les éléments positifs ou nuls (≥ 0) :

Z+ = N.

 En ajoutant le suffixe − , on ne garde que les éléments négatifs ou nuls (≤ 0).

J.-F. H ÊCHE, Mathématiques discrètes, 2022-2023 – 9

 Intervalles réels

 Un intervalle réel est un ensemble défini par deux bornes, inférieure et supérieure, et formé
de tous les nombres réels compris entre ces deux bornes.

 On distingue trois types d’intervalles :

◮ les intervalles fermés lorsque les deux bornes font partie de l’ensemble :

def
[a, b] = {x ∈ R | a ≤ x ≤ b} ;
◮ les intervalles ouverts lorsque les deux bornes sont exclues de l’ensemble :

def
]a, b[ = {x ∈ R | a < x < b} ;
◮ les intervalles semi-ouverts lorsqu’une seule des deux bornes appartient à l’ensemble :

def def
]a, b] = {x ∈ R | a < x ≤ b} et [a, b[ = {x ∈ R | a ≤ x < b} .

 La borne inf. peut être égale à −∞ et la borne sup. à +∞ (elles ne sont jamais inclues) :

R+ = [0, +∞[, R =] − ∞, +∞[.

J.-F. H ÊCHE, Mathématiques discrètes, 2022-2023 – 10
 Ensemble vide et ensemble universel

1. Les ensembles
 L’ensemble vide est l’ensemble ne contenant aucun élément, il est noté ∅
Ensembles et éléments
Appartenance ou, plus rarement, { }.
Ensembles égaux
Ensemble vide et
univers
À priori les éléments d’un ensemble peuvent être de natures très diverses, ainsi
Sous-ensembles
Opérations
Cardinal
A = {rouge, {3}, vendredi, π}
Ensemble des parties
Produit cartésien est un ensemble tout à fait valide.
2. Les relations

3. Les fonctions
 Dans les applications les éléments pouvant appartenir à un ensemble ne
4. Suites et séries
sont pas quelconques mais proviennent d’un ensemble universel (ou
univers), noté généralement Ω, contenant tous les éléments à prendre en
compte dans un contexte donné.

J.-F. H ÊCHE, Mathématiques discrètes, 2022-2023 – 11

 Sous-ensembles et relation d’inclusion : ⊆

1. Les ensembles
Ensembles et éléments L’ensemble B est un sous-ensemble ou une partie de l’ensemble A si et
Appartenance
seulement si tous les éléments de B sont aussi des éléments de A.
Ensembles égaux
Ensemble vide et univers
Sous-ensembles
Opérations  Si B est un sous-ensemble de A on dit que B est inclus dans A et on note
Cardinal
Ensemble des parties
Produit cartésien
B⊆A .
2. Les relations

3. Les fonctions
 Mathématiquement, la définition de la relation d’inclusion s’écrit
4. Suites et séries

B ⊆ A ⇐⇒ (∀ x ∈ B, x ∈ A)
et se lit

B est un sous-ensemble de A (B est inclus dans A) si et seulement

si chaque élément x appartenant à B appartient également à A.

J.-F. H ÊCHE, Mathématiques discrètes, 2022-2023 – 12

 Quelques propriétés

1. Les ensembles
 Tout ensemble A est un sous-ensemble de lui-même :
Ensembles et éléments
Appartenance
Ensembles égaux A ⊆ A, ∀A .
Ensemble vide et univers
Sous-ensembles
Opérations  L’ensemble vide ∅ est un sous-ensemble de n’importe quel ensemble :
Cardinal
Ensemble des parties
Produit cartésien ∅ ⊆ A, ∀A .
2. Les relations

3. Les fonctions et en particulier de lui-même :

4. Suites et séries
∅⊆∅ .

 Deux ensembles A et B sont égaux si et seulement s’ils sont

sous-ensembles l’un de l’autre (principe de double inclusion) :

A = B ⇐⇒ A ⊆ B et B ⊆ A .

J.-F. H ÊCHE, Mathématiques discrètes, 2022-2023 – 13

 Appartenance vs inclusion

Les notions d’appartenance et d’inclusion ne doivent pas être confondues !

Pour l’ensemble A = {1, 2, 3}, on a

 1 est un élément de A : 1 ∈ A ;
 1 n’est pas un sous-ensemble de A : 1 6⊆ A ;
 {1} est un sous-ensemble de A : {1} ⊆ A ;
 {1} n’est pas un élément de A : {1} ∈
/ A.
Pour l’ensemble B = {{e}, {f, g}, {h}}, on a
 e n’est ni un élément ni un sous-ensemble de B : e ∈
/ B et e 6⊆ B ;
 {e} est un élément de B mais pas un sous-ensemble : {e} ∈ B mais {e} 6⊆ B ;
 {{e}} est un sous-ensemble de B mais pas un élément : {{e}} ∈ / B mais {{e}} ⊆ B ;
 f et {f } ne sont ni des éléments ni des sous-ensembles de B .

Les risques de confusion et d’erreurs apparaissent principalement lorsque des ensembles sont
éléments d’autres ensembles !
J.-F. H ÊCHE, Mathématiques discrètes, 2022-2023 – 14
 Sous-ensembles propres et inclusion stricte : ⊂

1. Les ensembles
Ensembles et éléments
 Il est parfois important d’insister sur le fait que B est un sous-ensemble de
Appartenance A mais que B n’est pas égal à A tout entier (il existe donc au moins un
Ensembles égaux élément de A qui n’est pas dans B ).
Ensemble vide et univers
Sous-ensembles
Dans un tel cas, B est dit un sous-ensemble propre de A. Il est alors
Opérations strictement inclus dans A et cette situation est notée
Cardinal
Ensemble des parties
Produit cartésien
B⊂A ou B(A .
2. Les relations

3. Les fonctions
 Évidemment, si B est un sous-ensemble propre de A alors B est
4. Suites et séries
également un sous-ensemble de A :

B ⊂ A =⇒ B ⊆ A .

 A STUCE MNÉMOTECHNIQUE . On peut rapprocher les symboles d’inclusion

⊆ et ⊂ des comparateurs ≤ et <.

J.-F. H ÊCHE, Mathématiques discrètes, 2022-2023 – 15

 Diagrammes de Venn et diagrammes d’Euler

1. Les ensembles
 Les diagrammes de Venn et d’Euler permettent de représenter
Ensembles et éléments
Appartenance graphiquement des ensembles et offrent une approche visuelle efficace
Ensembles égaux pour illustrer certaines situations ou vérifier des propriétés simples.
Ensemble vide et univers
Sous-ensembles  Dans de tels diagrammes,
Opérations
Cardinal ◮ l’ensemble universel Ω est généralement représenté par un rectangle ;
Ensemble des parties
Produit cartésien
◮ les ensembles étudiés sont représentés par des surfaces simples
2. Les relations
(typiquement des cercles, des ellipses ou des rectangles).
3. Les fonctions
 Dans un diagramme d’Euler, la disposition de ces surfaces reflète les
4. Suites et séries
relations connues ou souhaitées entre les ensembles qu’elles représentent.

 Dans un diagramme de Venn, la disposition de ces surfaces est telle que

chaque possibilité de chevauchement apparaît une et une seule fois.

J.-F. H ÊCHE, Mathématiques discrètes, 2022-2023 – 16

 Diagrammes d’Euler : Exemples

 Diagramme d’Euler pour deux ensembles A et B avec B sous-ensemble de A (B ⊆ A) :

A
B

 Diagramme d’Euler pour deux ensembles A et B disjoints, c.-à-d. sans aucun élément en
commun :
Ω

A B

J.-F. H ÊCHE, Mathématiques discrètes, 2022-2023 – 17

Diagramme d’Euler des entités supranationales européennes

Source : Wikimedia Commons

J.-F. H ÊCHE, Mathématiques discrètes, 2022-2023 – 18
 Diagrammes de Venn pour 1, 2 et 3 ensembles

 Versions classiques des diagrammes de Venn pour, respectivement, 1, 2 et 3 ensembles :

Ω Ω Ω
A B
A A B

 Il est possible de construire des diagrammes de Venn pour un nombre n quelconque

d’ensembles mais leur utilité devient très discutable au-delà de 3 ensembles.
En effet, un diagramme de Venn pour n ensembles doit compter 2n cellules car la disposition
des surfaces représentant les ensembles doit être telle que chaque possibilité de
chevauchement apparaisse une et une seule fois. Cette explosion exponentielle du nombre
de cellules détruit la lisibilité et par conséquent l’utilité des diagrammes.

J.-F. H ÊCHE, Mathématiques discrètes, 2022-2023 – 19

 Diagrammes de Venn pour 4 ensembles

Ω Ω

A C
A

B
B D

C D

J.-F. H ÊCHE, Mathématiques discrètes, 2022-2023 – 20

 Diagrammes de Venn pour 5 et 6 ensembles

Pour le plaisir des yeux. . .

Source : Wikimedia Commons

Source : Wikimedia Commons

Source : Wikimedia Commons

J.-F. H ÊCHE, Mathématiques discrètes, 2022-2023 – 21
 Opérations sur les ensembles : Union

1. Les ensembles
Soient A et B deux ensembles dans un univers Ω.
Ensembles et éléments
Appartenance
Ensembles égaux  L’union ou la réunion de A et B , notée A ∪ B , est l’ensemble des
Ensemble vide et univers éléments appartenant à A ou à B (voire aux deux) :
Sous-ensembles
Opérations
def
Cardinal
A ∪ B = {x | x ∈ A ou x ∈ B} .
Ensemble des parties
Produit cartésien

2. Les relations

3. Les fonctions
Ω
4. Suites et séries

A B

J.-F. H ÊCHE, Mathématiques discrètes, 2022-2023 – 22

 Opérations sur les ensembles : Intersection

1. Les ensembles
Ensembles et éléments
 L’intersection de A et B , notée A ∩ B , est l’ensemble des éléments
Appartenance appartenant à A et à B :
Ensembles égaux
Ensemble vide et univers
def
Sous-ensembles A ∩ B = {x | x ∈ A et x ∈ B} .
Opérations
Cardinal
Ensemble des parties
Produit cartésien
Ω
2. Les relations

3. Les fonctions A B
4. Suites et séries

Deux ensembles A et B sont dits disjoints si leur intersection est vide,

autrement dit si A ∩ B = ∅.

J.-F. H ÊCHE, Mathématiques discrètes, 2022-2023 – 23

 Opérations sur les ensembles : Complément

1. Les ensembles
Ensembles et éléments  Le complément (absolu) de A, noté A, est l’ensemble des éléments de
Appartenance
Ensembles égaux
l’ensemble universel n’appartenant pas à A :
Ensemble vide et univers
Sous-ensembles def
Opérations
A = {x ∈ Ω | x ∈
/ A} .
Cardinal
Ensemble des parties
Produit cartésien

2. Les relations

3. Les fonctions
Ω
4. Suites et séries
A

J.-F. H ÊCHE, Mathématiques discrètes, 2022-2023 – 24

 Opérations sur les ensembles : Différence

1. Les ensembles
Ensembles et éléments
 La différence entre A et B , notée A \ B et souvent lu « A sauf B » ou
Appartenance « A privé de B », est l’ensemble formé des éléments appartenant à A mais
Ensembles égaux
pas à B :
Ensemble vide et univers
def
Sous-ensembles
A \ B = {x | x ∈ A et x ∈
/ B} .
Opérations
Cardinal
Ensemble des parties
Ω
Produit cartésien

2. Les relations A B
3. Les fonctions

4. Suites et séries

 La différence A \ B est aussi appelée le complément relatif de B par

rapport à A et on a

A=Ω\A et A\B =A∩B .

J.-F. H ÊCHE, Mathématiques discrètes, 2022-2023 – 25
 Opérations sur les ensembles : Différence symétrique

1. Les ensembles
Ensembles et éléments
 La différence symétrique de A et B , notée A△B ou A ⊕ B , est
Appartenance l’ensemble formé des éléments appartenant soit A soit B (mais pas aux
Ensembles égaux deux) :
Ensemble vide et univers
def
Sous-ensembles
A△B = {x | soit x ∈ A soit x ∈ B} .
Opérations
Cardinal
Ensemble des parties
Produit cartésien
Ω
2. Les relations

3. Les fonctions
A B
4. Suites et séries

 En utilisant les opérations précédentes, on montre facilement que

A△B = (A \ B) ∪ (B \ A) = (A ∪ B) \ (A ∩ B) .
J.-F. H ÊCHE, Mathématiques discrètes, 2022-2023 – 26
 Propriétés et identités

Les opérations ensemblistes vérifient de nombreuses propriétés et identités. Pour les trois
opérations de base (∪, ∩ et ) les plus importantes sont présentées ci-dessous.
 Associativités

A ∪ (B ∪ C) = (A ∪ B) ∪ C A ∩ (B ∩ C) = (A ∩ B) ∩ C
Associativité de l’union Associativité de l’intersection

R EMARQUE . Pour les opérations associatives (comme l’union et l’intersection) le parenthésage n’est pas
essentiel et une expression du style A ∪ B ∪ C est bien définie car indépendante du parenthésage et
donc de l’ordre dans lequel elle est évaluée :
A ∪ B ∪ C = A ∪ (B ∪ C) = (A ∪ B) ∪ C.
 Commutativités

A∪B =B∪A A∩B =B∩A

Commutativité de l’union Commutativité de l’intersection

J.-F. H ÊCHE, Mathématiques discrètes, 2022-2023 – 27

 Propriétés et identités (suite)

 Distributivités

Distributivité de l’union
A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)
par rapport à l’intersection

Distributivité de l’intersection
A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
par rapport à l’union

 Lois de De Morgan

A∪B =A∩B A∩B =A∪B

1re loi de De Morgan 2e loi de De Morgan

 Absorptions
A ∪ (A ∩ B) = A A ∩ (A ∪ B) = A
1re loi d’absorption 2e loi d’absorption
J.-F. H ÊCHE, Mathématiques discrètes, 2022-2023 – 28
 Tables d’appartenance

1. Les ensembles
 Ces propriétés et identités se vérifient facilement à l’aide de diagrammes de
Ensembles et éléments
Appartenance Venn ou en montrant (à l’aide de raisonnements logiques) que chaque côté
Ensembles égaux d’une égalité est un sous-ensemble de l’autre.
Ensemble vide et univers
Sous-ensembles  On peut aussi recourir à des tables d’appartenance pour vérifier une
Opérations
identité.
Cardinal
Ensemble des parties
 À titre d’exemple, pour la première loi de De Morgan (A ∪ B = A ∩ B ) on
Produit cartésien
a la table d’appartenance.
2. Les relations

3. Les fonctions
A B A∪B A∪B A B A∩B
4. Suites et séries
0 0 0 1 1 1 1
0 1 1 0 1 0 0
1 0 1 0 0 1 0
1 1 1 0 0 0 0

Les colonnes 4 et 7 de cette table étant identiques, la première loi de De

Morgan se trouve vérifiée.

J.-F. H ÊCHE, Mathématiques discrètes, 2022-2023 – 29

 Vérification de la 1re loi de De Morgan

A∪B A∪B
Ω Ω
A B A B

A B A∩B
Ω Ω Ω
A B A B A B

La validité de la première loi de De Morgan : A ∪ B = A ∩ B résulte de l’égalité des deux

diagrammes de droite.
J.-F. H ÊCHE, Mathématiques discrètes, 2022-2023 – 30
 Vérification de la 1re loi de De Morgan (2)

 Dire qu’un élément x appartient au complément de l’union de A et B est équivalent à dire

qu’il n’appartient pas à l’union de A et B (par définition du complément).

x ∈ A ∪ B ⇐⇒ x ∈
/ A∪B
 L’élément x n’appartient pas à l’union de A et B si et seulement s’il n’appartient ni à A ni à B .

x∈ / A et x ∈
/ A ∪ B ⇐⇒ (x ∈ / B)
 Dire que l’élément x n’appartient ni à A ni à B et équivalent à dire qu’il appartient au
complément de A et au complément de B .


/ A et x ∈
(x ∈ / B) ⇐⇒ x ∈ A et x ∈ B
 Finalement l’élément x appartient au complément de A et au complément de B si et
seulement s’il appartient à l’intersection de ces deux compléments.


x ∈ A et x ∈ B ⇐⇒ x ∈ A ∩ B
 Ainsi un élément x appartient à A ∪ B si et seulement s’il appartient à A ∩ B . Ces deux
ensembles sont donc égaux.
J.-F. H ÊCHE, Mathématiques discrètes, 2022-2023 – 31
 Cardinal d’un ensemble fini

1. Les ensembles
Ensembles et éléments
 Un ensemble A est fini si son nombre d’éléments (distincts) est un entier
Appartenance naturel. Dans le cas contraire, l’ensemble A est infini (une définition plus
Ensembles égaux précise d’un ensemble fini sera donnée au chapitre 3).
Ensemble vide et univers
Sous-ensembles
Opérations Si A est un ensemble fini, le cardinal, ou la cardinalité, de A,
Cardinal noté |A|, est égal au nombre d’éléments distincts de A.
Ensemble des parties
Produit cartésien

2. Les relations  E XEMPLES .

3. Les fonctions
◮ |{a, b, c, . . . , z}| = 26 (en français tout au moins)
4. Suites et séries
◮ |{0, 1, 1, 0, 1, 0, 0}| = 2
◮ |∅| = 0
 R EMARQUE . Il existe plusieurs notations, plus ou moins répandues, pour
noter le cardinal d’un ensemble. Ainsi on trouvera tantôt

|A|, Card(A) ou encore #(A).

J.-F. H ÊCHE, Mathématiques discrètes, 2022-2023 – 30
 Ensemble des parties

1. Les ensembles
Ensembles et éléments Pour un ensemble A donné, l’ensemble des parties de A est l’ensemble
Appartenance
P(A) formé de tous les sous-ensembles de A :
Ensembles égaux
Ensemble vide et univers def
Sous-ensembles
P(A) = {X | X ⊆ A}.
Opérations
Cardinal
Ensemble des parties
 E XEMPLE . Pour l’ensemble {Oui, Non}, on a
Produit cartésien
P({Oui, Non}) = {∅, {Oui}, {Non}, {Oui, Non}}.
2. Les relations

3. Les fonctions  Propiété. Quel que soit l’ensemble A, l’ensemble vide ∅ et l’ensemble A
4. Suites et séries tout entier sont des parties de A, on aura donc toujours

∅ ∈ P(A) et A ∈ P(A) .

Théorème. Soit A un ensemble fini de cardinal |A| = n, alors

|P(A)| = 2|A| = 2n .
J.-F. H ÊCHE, Mathématiques discrètes, 2022-2023 – 31
 Couples, triplets et n-uples

1. Les ensembles
Ensembles et éléments
 Un couple (a, b) est une liste ordonnée de deux éléments a et b.
Appartenance
Ensembles égaux
 Un triplet (a, b, c) est une liste ordonnée de trois éléments a, b, c.
Ensemble vide et univers
 Plus généralement, un n-uple ou n-uplet (a1 , a2 , . . . , an ) est une liste
Sous-ensembles
Opérations ordonnée de n éléments appelés ses composantes.
Cardinal
Ensemble des parties
 Le nombre n est appelé la taille du n-uple.
Produit cartésien
 Deux n-uples sont égaux si et seulement s’ils sont formés des mêmes
2. Les relations
éléments aux mêmes positions :
3. Les fonctions

4. Suites et séries
(a, b) = (c, d) ⇐⇒ a = c et b = d

et plus généralement

(a1 , a2 , . . . , an ) = (b1 , b2 , . . . , bn ) ⇐⇒ a1 = b1 , . . . , an = bn .

J.-F. H ÊCHE, Mathématiques discrètes, 2022-2023 – 32

 Produit cartésien de deux ensembles

1. Les ensembles
Ensembles et éléments Le produit cartésien A × B de deux ensembles A et B est l’ensemble
Appartenance
de tous les couples (a, b) avec a ∈ A et b ∈ B :
Ensembles égaux
Ensemble vide et univers
def
Sous-ensembles A × B = {(a, b) | a ∈ A, b ∈ B}.
Opérations
Cardinal
Ensemble des parties
Produit cartésien
 E XEMPLE . Pour les ensembles A = {0, 1} et B = {x, y, z}, on a
2. Les relations

3. Les fonctions A × B = {(0, x), (0, y), (0, z), (1, x), (1, y), (1, z)}
4. Suites et séries

Théorème. Si |A| = n et |B| = m alors

|A × B| = |A| · |B| = nm.

J.-F. H ÊCHE, Mathématiques discrètes, 2022-2023 – 33

 Produit cartésien de n ensembles

 Le produit cartésien peut être étendu à un nombre quelconque d’ensembles :

def
A1 × A2 × . . . × An = {(a1 , a2 , . . . , an ) | ai ∈ Ai , i = 1, 2, . . . , n} .

 Un cas particulier et fréquent apparaît lorsque tous les ensembles Ai sont égaux. On a alors
Ai = A pour i = 1, 2, . . . , n, et on note An leur produit cartésien :

def
An = A × A × ··· × A .
| {z }
n facteurs

On définit ainsi les puissances (entières et positives) de l’ensemble A.

 On a A1 = A ainsi que la propriété

Ak × Al = Ak+l ∀ k, l ∈ N∗ .
J.-F. H ÊCHE, Mathématiques discrètes, 2022-2023 – 34
 Repère cartésien et coordonnées cartésiennes

 Pour définir un repère cartésien du plan, on choisit un point O (l’origine), deux axes
(généralement orthogonaux) et deux vecteurs de base de longueur 1 (un sur chaque axe).

 Chaque point A du plan est alors identifié (repéré) par ses coordonnées cartésiennes
−→
(a1 , a2 ), correspondant aux projections du vecteur OA sur chaque axe.
 Chaque point du plan correspond alors à un couple de nombres réels et le plan est assimilé
au produit cartésien R2 = R × R.
x2

A(a1 , a2 )
a2

~a
1
~e2

O ~e1 a1 x1
1
J.-F. H ÊCHE, Mathématiques discrètes, 2022-2023 – 35
 Représentation géométrique de produits cartésiens

b b b b

{1, 2, 3, 4} × {1, 3}

1 b b b b
1
[1, 4] × [1, 3]

1 1

[1, 4[×{1, 3}

1 1
]1, 4[×]1, 3]

1 1
J.-F. H ÊCHE, Mathématiques discrètes, 2022-2023 – 36