Vous êtes sur la page 1sur 8

MAT 1748 – Hiver 2023

Exercices 5 – Solutions

Professeur: Antoine Poirier

Ces exercices sont tirés du livre Discrete Mathematics 8th edition, de Kenneth H. Rosen.

Q UESTION 1 (2.1 # 1). Énumérez les éléments des ensembles suivants:

(a) {x | x est un nombre réel tel que x2 = 1}


(b) {x | x est un nombre entier positive inférieur à 12}
(c) {x | x est le carré d’un nombre entier et x < 100}
(d) {x | x est un nombre entier tel que x2 = 2}

Solution:

(a) {−1, 1}
(b) {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11}
(c) {0, 1, 4, 9, 16, 25, 36, 49, 64, 81}
(d) 0/

Q UESTION 2 (2.1 # 2). Donnez une définition en compréhension des ensembles suivants:

(a) {0, 3, 6, 9, 12}


(b) {−3, −2, −1, 0, 1, 2, 3}
(c) {m, n, o, p}

Solution:

(a) {3n | n ∈ {0, 1, 2, 3, 4}}


(b) {x ∈ Z | − 3 ≤ x ≤ 3}
(c) {x | x est une lettre entre m et p}.

Q UESTION 3 (2.1 # 7). Déterminez si les paires d’ensembles suivants sont égaux.

(a) {1, 3, 3, 3, 5, 5, 5, 5, 5} et {5, 3, 1}.


(b) {{1}} et {1, {1}}.
(c) 0/ et {0}.
/

Solution:

(a) Oui
(b) Non
(c) Non
2

Q UESTION 4 (2.1 # 8). Soient A = {2, 4, 6}, B = {2, 6},C = {4, 6} et D = {4, 6, 8}. Parmi ces ensembles, déterminez
lesquels constituent des sous-ensembles des autres.

Solution:
B ⊆ A,C ⊆ A,C ⊆ D.

Q UESTION 5 (2.1 # 9, # 10). Déterminez si 2 et {2} appartiennent aux ensembles suivants.

(a) {x ∈ R | x est un nombre entier supérieur à 1}


(b) {x ∈ R | x est le carré d’un nombre entier}
(c) {2, {2}}
(d) {{2}, {{2}}}
(e) {{2}, {2, {2}}}
(f) {{{2}}}

Solution:

(a) Oui, Non


(b) Non, Non
(c) Oui, Oui
(d) Non, Oui
(e) Non, Oui
(f) Non, Non

Q UESTION 6 (2.1, # 11). Déterminez si les énoncés suivants sont vrais ou faux.

(a) 0 ∈ 0/
(b) 0/ ∈ {0}
(c) {0} ⊂ 0/
(d) 0/ ⊂ {0}
(e) {0} ∈ {0}
(f) {0} ⊂ {0}
(g) {0}/ ⊆ {0}
/

Solution:

(a) Faux
(b) Faux
(c) Faux
(d) Vrai
(e) Faux
(f) Faux
(g) Vrai
3

Q UESTION 7 (2.1 # 12). Déterminez si les énoncés suivants sont vrais ou faux.
(a) 0/ ∈ {0}
/
(b) 0/ ∈ {0,
/ {0}}
/
(c) {0}/ ∈ {0}
/
(d) {0}/ ∈ {{0}}
/
(e) {0}/ ⊂ {0,
/ {0}}
/
(f) {{0}}
/ ⊂ {0, / {0}}
/
(g) {{0}}
/ ⊂ {{0}, / {0}}
/

Solution:
(a) Vrai
(b) Vrai
(c) Faux
(d) Vrai
(e) Vrai
(f) Vrai
(g) Faux

Q UESTION 8 (2.1 # 13). Déterminez si les énoncés suivants sont vrais ou faux.
(a) x ∈ {x}
(b) {x} ⊆ {x}
(c) {x} ∈ {x}
(d) {x} ∈ {{x}}
(e) 0/ ⊆ {x}
(f) 0/ ∈ {x}

Solution:
(a) Vrai
(b) Vrai
(c) Faux
(d) Vrai
(e) Vrai
(f) Faux

Q UESTION 9 (2.1 # 21). Quelle est la cardinalité de chacun des ensembles suivants?
(a) {a}
(b) {{a}}
(c) {a, {a}}
(d) {a, {a}, {a, {a}}}

Solution:
(a) 1
(b) 1
(c) 2
(d) 3
4

Q UESTION 10 (2.1 # 22). Quelle est la cardinalité de chacun des ensemble suivants?
(a) 0/
(b) {0}/
(c) {0,/ {0}}
/
(d) {0,/ {0},
/ {0,
/ {0}}}
/

Solution:
(a) 0
(b) 1
(c) 2
(d) 3

Q UESTION 11 (2.1 # 23). Trouvez l’ensemble des parties de chacun des ensembles suivants. (Ici, a et b sont distincts)
(a) {a}
(b) {a, b}
(c) {0,
/ {0}}
/

Solution:
(a) {0,
/ {a}}
(b) {0,
/ {a}, {b}, {a, b}}
(c) {0,
/ {0},
/ {{0}},
/ {0, / {0}}}
/

Q UESTION 12 (2.1 # 25). Combien d’éléments contiennent chacun des ensembles suviants? Ici, a et b sont distincts.
(a) P({a, b, {a, b}})
(b) P({0,
/ a, {a}, {{a}}})
(c) P(P(0))
/

Solution:
(a) 8
(b) 16
(c) 2

Q UESTION 13 (2.1 # 27). Démontrez que P(A) ⊆ P(B) si et seulement si A ⊆ B.

Solution: Supposons d’abord que P(A) ⊆ P(B). Soit a ∈ A. Alors, {a} ∈ P(A) et puisque P(A) ⊆ P(B), on a
{a} ∈ P(B). Ceci implique que a ∈ B. Donc, pour tout a ∈ A, on a a ∈ B: on conclut que A ⊆ B.

Supposons maintenant que A ⊆ B. Soit C ∈ P(A). Dans ce cas, C ⊆ A. Tout élément de C est un élément de A, et tout
élément de A est un élément de B: on conclut que tout élément de C est un élément de B, et donc que C ⊆ B. Dans ce cas,
C ∈ P(B). Donc, pour tout C ∈ P(A), on a C ∈ P(B): on conclut que P(A) ⊆ P(B).
5

Q UESTION 14 (2.1 # 29). Soit A = {a, b, c, d} et B = {y, z}. Trouvez


(a) A × B
(b) B × A

Solution:
(a) {(a, y), (b, y), (c, y), (d, y), (a, z), (b, z), (c, z), (d, z)}
(b) {(y, a), (y, b), (y, c), (y, d), (z, a), (z, b), (z, c), (z, d)}

Q UESTION 15 (2.1 # 33). Soit A un ensemble. Démontrez que 0/ × A = A × 0/ = 0/

Solution: 0/ × A = {(x, y) | x ∈ 0/ ∧ y ∈ A}. Étant donné qu’aucun x ne satisfait la condition x ∈ 0,


/ on conclut que 0/ × A = 0.
/
Similairement, A × 0/ = {(x, y) | x ∈ A ∧ y ∈ 0}./ Étant donné qu’aucun y ne satisfait la condition y ∈ 0, / on conclut que
A × 0/ = 0.
/

Q UESTION 16 (2.1 # 34). Soit A = {a, b, c}, B = {x, y} et C = {0, 1}. Trouvez
(a) A × B ×C
(b) C×B×A
(c) C×A×B
(d) B×B×B

Solution:
(a) {(a, x, 0), (a, x, 1), (a, y, 0), (a, y, 1), (b, x, 0), (b, x, 1), (b, y, 0), (b, y, 1), (c, x, 0), (c, x, 1), (c, y, 0), (c, y, 1)}
(b) {(0, x, a), (0, x, b), (0, x, c), (0, y, a), (0, y, b), (0, y, c), (1, x, a), (1, x, b), (1, x, c), (1, y, a), (1, y, b), (1, y, c)}
(c) {(0, a, x), (0, a, y), (0, b, x), (0, b, y), (0, c, x), (0, c, y), (1, a, x), (1, a, y), (1, b, x), (1, b, y), (1, c, x), (1, c, y)}
(d) {(x, x, x), (x, x, y), (x, y, x), (x, y, y), (y, x, x), (y, x, y), (y, y, x), (y, y, y)}

Q UESTION 17 (2.1 # 35). Trouvez A2 si A = {0, 1, 3}

Solution: {(0, 0), (0, 1), (0, 3), (1, 0), (1, 1), (1, 3), (3, 0), (3, 1), (3, 3)}

Q UESTION 18 (2.1 # 36). Trouvez A3 si A = {a}

Solution: {(a, a, a)}

Q UESTION 19 (2.1 # 41). Expliquez pourquoi A × B ×C ̸= (A × B) ×C.

Solution: Les éléments de A × B × C sont des triplets de la forme (a, b, c) où a ∈ A, b ∈ B et c ∈ C. Les éléments de
(A × B) ×C sont des paires de la forme ((a, b), c), où la première coordonnée est elle-même une paire.
6

Q UESTION 20 (2.1 # 43). Prouvez ou réfutez l’énoncé suivant: Si A et B sont des ensembles, alors P(A × B) = P(A) ×
P(B).

/ d’où P(A × B) = {0}.


/ on a A × B = 0,
Solution: C’est faux. Si on prend A = B = 0, / Par contre, P(A) = P(B) = {0}
/
et donc P(A) × P(B) = {(0, / 0)}.
/ On remarque que P(A × B) ̸= P(A) × P(B).

Q UESTION 21 (2.2 # 1). Soit A l’ensemble des étudiants qui habitent à moins de 1km de l’université, et soit B l’ensemble
des étudiants qui marchent pour se rendre à l’université. Décrivez les ensembles suivants:
(a) A∩B
(b) A∪B
(c) A−B
(d) B−A

Solution:
(a) L’ensemble des étudiants qui habitent à moins de 1km de l’université et qui marchent pour s’y rendre.
(b) L’ensemble des étudiants qui habitent à moins de 1km de l’université ou qui marchent pour s’y rendre (ou les
deux).
(c) L’ensemble des étudiants qui habitent à moins de 1km de l’université mais qui ne s’y rendent pas à la marche.
(d) L’ensemble des étudiants qui marchent pour se rendre à l’université et qui n’habitent pas à moins de 1km de
l’université.

Q UESTION 22 (2.2 # 3). Soit A = {1, 2, 3, 4, 5} et B = {0, 3, 6}. Trouvez


(a) A∩B
(b) A∪B
(c) A−B
(d) B−A

Solution:
(a) {3}
(b) {0, 1, 2, 3, 4, 5, 6}
(c) {1, 2, 4, 5}
(d) {0, 6}

Q UESTION 23 (2.2 # 5-10). On suppose que A est un sous-ensemble d’un ensemble universel U . Démontrez les égalités
suivantes
(a) A=A
(b) A ∪ 0/ = A
(c) A∩U = A
(d) A∪U = U
(e) A ∩ 0/ = 0/
(f) A∪A = A
(g) A∩A = A
(h) A∪A = U
(i) A ∩ A = 0/
(j) A − 0/ = A
(k) 0/ − A = 0.
/
7

Solution:
(a) A = {x | ¬(x ∈ A)} = {x | ¬¬(x ∈ A)} = {x | x ∈ A} = A.
(b) A ∪ 0/ = {x | x ∈ A ∨ x ∈ 0}
/ = {x | x ∈ A ∨ F} = {x | x ∈ A} = A.
(c) A ∩ U = {x | x ∈ A ∧ x ∈ U } = {x | x ∈ A ∧V } = {x | x ∈ A} = A.
(d) A ∪ U = {x | x ∈ A ∨ x ∈ U } = {x | x ∈ A ∨V } = {x | V } = U .
(e) A ∩ 0/ = {x | x ∈ A ∧ x ∈ 0}
/ = {x | x ∈ A ∧ F} = {x | F} = 0.
/
(f) A ∪ A = {x | x ∈ A ∨ x ∈ A} = {x | x ∈ A} = A.
(g) A ∩ A = {x | x ∈ A ∧ x ∈ A} = {x | x ∈ A} = A.
(h) A ∪ A = {x | x ∈ A ∨ ¬(x ∈ A)} = {x | V } = U .
(i) A ∩ A = {x | x ∈ A ∧ ¬(x ∈ A)} = {x | F} = 0. /
(j) A − 0/ = {x | x ∈ A ∧ ¬(x ∈ 0)}
/ = {x | x ∈ A ∧V } = {x | x ∈ A} = A.
(k) 0/ − A = {x | x ∈ 0/ ∧ ¬(x ∈ A)} = {x | F ∧ ¬(x ∈ A)} = {x | F} = 0.
/

Q UESTION 24 (2.2 # 11). Soit A et B deux ensembles. Démontrez que


(a) A ∪ B = B ∪ A
(b) A ∩ B = B ∩ A

Solution:
(a) A ∪ B = {x | x ∈ A ∨ x ∈ B} = {x | x ∈ B ∨ x ∈ A} = B ∪ A
(b) A ∩ B = {x | x ∈ A ∧ x ∈ B} = {x | x ∈ B ∧ x ∈ A} = B ∩ A

Q UESTION 25 (2.2 # 12). Démontrez que A ∪ (A ∩ B) = A.

Solution: Soit x ∈ A ∪ (A ∩ B). Alors x ∈ A ou x ∈ A ∩ B. Dans les deux cas, x ∈ A. Donc, A ∪ (A ∩ B) ⊆ A. Inversement,
si x ∈ A, alors x ∈ A ∪ (A ∩ B), donc A ⊆ A ∪ (A ∩ B). On conclut que A ∪ (A ∩ B) = A.

Q UESTION 26 (2.2 # 13). Démontrez que A ∩ (A ∪ B) = A.

Solution: Soit x ∈ A ∩ (A ∪ B). Alors x ∈ A et x ∈ A ∪ B. Donc, x ∈ A. Ceci démontre que A ∩ (A ∪ B) ⊆ A. Inversement,


si x ∈ A, alors x ∈ A ∪ B. Donc, x ∈ A ∩ (A ∪ B). Ceci démontre que A ⊆ A ∩ (A ∪ B). On conclut que A ∩ (A ∪ B) = A.

Q UESTION 27 (2.2 # 14). Trouvez des ensembles A et B tels que A − B = {1, 5, 7, 8}, B − A = {2, 10} et A ∩ B = {3, 6, 9}.

Solution: A = {1, 3, 5, 6, 7, 8, 9}, B = {2, 3, 6, 9, 10}

Q UESTION 28 (2.2 # 15). Démontrez que A ∪ B = A ∩ B.

Solution: A ∪ B = {x | ¬(x ∈ A ∪ B)} = {x | ¬(x ∈ A ∨ x ∈ B)} = {x | ¬(x ∈ A) ∧ ¬(x ∈ B)} = {x | x ∈ A ∧ x ∈ B} = A ∩ B.


8

Q UESTION 29 (2.2 # 17). Démontrez que si A et B sont des sous-ensembles d’un ensemble universel U , alors A ⊆ B si et
seulement si A ∪ B = U .

Solution: Supposons que A ⊆ B. Montrons que tous les éléments x ∈ U sont des éléments de A ∪ B. On a soit x ∈ A, soit
x ∈ A. Dans le premier cas, x ∈ A ∪ B. Dans le deuxième cas, x ∈ B, donc x ∈ A ∪ B.
Supposons maintenant que A ∪ B = U . Soit x ∈ A. Puisque x ∈
/ A, on conclut que x ∈ B. Ceci démontre que A ⊆ B.

Q UESTION 30 (2.2 # 19). Démontrez que A ∩ B ∩C = A ∪ B ∪C.

Solution: A ∩ B ∩C = {x | ¬(x ∈ A ∧ x ∈ B ∧ x ∈ C)} = {x | ¬(x ∈ A) ∨ ¬(x ∈ B) ∨ ¬(x ∈ C)} = A ∪ B ∪C

Q UESTION 31 (2.2 # 21). Soient A et B des ensembles. Démontrez


(a) A − B = A ∩ B
(b) (A ∩ B) ∪ (A ∩ B) = A

Solution:
/ B} = {x | x ∈ A ∧ x ∈ B} = A ∩ B.
(a) A − B = {x | x ∈ A ∧ x ∈
(b) A = A ∩ U = A ∩ (B ∪ B) = (A ∩ B) ∪ (A ∩ B).

Q UESTION 32 (2.2 # 23). Démontrez que (A ∪ B) ∪C = A ∪ (B ∪C).

Solution: (A ∪ B) ∪C = {x | (x ∈ A ∪ B) ∨ x ∈ C} = {x | (x ∈ A ∨ x ∈ B) ∨ x ∈ C} = {x | x ∈ A ∨ (x ∈ B ∨ x ∈ C)} = {x | x ∈
A ∨ (x ∈ B ∪C)} = A ∪ (B ∪C).

Q UESTION 33 (2.2 # 31). Que pouvez-vous conclure sur les ensembles A et B si


(a) A ∪ B = A?
(b) A ∩ B = A?
(c) A − B = A?
(d) A ∩ B = B ∩ A?
(e) A − B = B − A?

Solution:
(a) B⊆A
(b) A⊆B
(c) A ∩ B = 0/
(d) Rien, cette égalité est toujours vraie.
(e) A=B

Vous aimerez peut-être aussi