Académique Documents
Professionnel Documents
Culture Documents
3 Produit cartésien
F. STURM, Pôle de Mathématiques, INSA de Lyon Cours de Mathématiques - Première Année ASINSA F. STURM, Pôle de Mathématiques, INSA de Lyon Cours de Mathématiques - Première Année ASINSA F. STURM, Pôle de Mathématiques, INSA de Lyon Cours de Mathématiques - Première Année ASINSA
F. STURM, Pôle de Mathématiques, INSA de Lyon Cours de Mathématiques - Première Année ASINSA F. STURM, Pôle de Mathématiques, INSA de Lyon Cours de Mathématiques - Première Année ASINSA F. STURM, Pôle de Mathématiques, INSA de Lyon Cours de Mathématiques - Première Année ASINSA
Théorie des ensembles 10 Théorie des ensembles 11 Théorie des ensembles 12
Définition 1.3 Ensemble des parties d’un ensemble Plan du cours
Deux ensembles E et F sont dits égaux (ou identiques) et on
Définition 1.4
note E = F lorsqu’ils sont constitués des mêmes éléments. On
a ainsi : Soit E un ensemble. Les sous-ensembles de E forment un
ensemble appelé ensemble des parties de E et noté P(E).
E =F ⇐⇒ E ⊂ F et F ⊂ E . Ainsi, A ∈ P(E) signifie que A ⊂ E. 1 Ensemble et sous-ensemble
Dans le cas contraire, on dit qu’ils sont distincts et on note Exemple 1.4
E 6= F . Si E = {a, b, c} alors card (P({a, b, c})) = 23 = 8 et 2 Opérations sur les ensembles
n o
Exemple 1.3 P(E) = ∅, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c} .
Soient A, B et C les trois sous-ensembles de R suivants : 3 Produit cartésien
Attention, les éléments de P(E) sont des sous-ensembles de E
A = {x ∈ R | x 2 − 3x + 2 = 0}, et non pas des éléments de E. On a : ∅ ∈ P(E) et E ∈ P(E).
√
B = {1, 2} et C = {1, 2, 2} Proposition 1.1
A B A B E
A On vérifie que l’on a :
Proposition 2.3
∁E (A) = E \ A, ∁E (∅) = E, ∁E (E) = ∅. Soient A, B deux parties de l’ensemble E. On a les relations
suivantes appelées lois de Morgan :
A\B B\A
On a aussi les propriétés suivantes : ∁E (A ∪ B) = ∁E (A) ∩ ∁E (B) ,
Par définition on a : A \ B ⊂ A et B \ A ⊂ B. Ainsi A \ B 6= B \ A. ∁E ∁E (A) = A, A ∩ ∁E (A) = ∅, A ∪ ∁E (A) = E. ∁E (A ∩ B) = ∁E (A) ∪ ∁E (B) .
La différence n’est ni commutative, ni associative.
F. STURM, Pôle de Mathématiques, INSA de Lyon Cours de Mathématiques - Première Année ASINSA F. STURM, Pôle de Mathématiques, INSA de Lyon Cours de Mathématiques - Première Année ASINSA F. STURM, Pôle de Mathématiques, INSA de Lyon Cours de Mathématiques - Première Année ASINSA
Théorie des ensembles 19 Théorie des ensembles 20 Théorie des ensembles 21
Plan du cours Définition 3.1 (Produit cartésien) Exemple 3.1
Soient E et F deux ensembles. R2 = {(x, y ) | x ∈ R, y ∈ R}.
On appelle produit cartésien de E et de F l’ensemble noté C3 = {(x1 , x2 , x3 ) | x1 ∈ C, x2 ∈ C, x3 ∈ C}.
E × F , constitué des couples (x, y ) avec x ∈ E et y ∈ F , Soient E = {a, b, c} et F = {1, 2, 3, 4}. Alors
c’est-à-dire : n
1 Ensemble et sous-ensemble
n o E ×F = (a, 1), (a, 2), (a, 3), (a, 4),
déf.
E × F = (x, y ) x ∈ E, y ∈ F .
(b, 1), (b, 2), (b, 3), (b, 4),o
2 Opérations sur les ensembles Deux couples (x, y ) et (x ′ , y ′ )
de E × F sont égaux (ou (c, 1), (c, 2), (c, 3), (c, 4) .
identiques) si on a à la fois x = x ′ et y = y ′ . On écrit alors
(x, y ) = (x ′ , y ′ ). F
3 Produit cartésien 4
Plus généralement, on convient de la notation suivante : 3
2
n not.
| ×E ×
E {z· · · × E} = E . 1
n fois a b c E
F. STURM, Pôle de Mathématiques, INSA de Lyon Cours de Mathématiques - Première Année ASINSA F. STURM, Pôle de Mathématiques, INSA de Lyon Cours de Mathématiques - Première Année ASINSA F. STURM, Pôle de Mathématiques, INSA de Lyon Cours de Mathématiques - Première Année ASINSA
En particulier,
{x, y } = {y , x}.
En revanche, si (x, y ) ∈ E × F alors (y , x) ∈ F × E.
Proposition 3.1
Soient E, F deux ensembles finis. Alors
F. STURM, Pôle de Mathématiques, INSA de Lyon Cours de Mathématiques - Première Année ASINSA