ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 1 — Logique et ensembles · Ensembles

Exercice 29

DémonstrationCalcul

Dans chacun des diagrammes ci-dessous, AA, BB et CC sont trois parties d'un ensemble EE. Exprimer la zone coloriée à l'aide des symboles ∩\cap, ∪\cup, ∖\setminus et du passage au complémentaire dans EE. Pour le diagramme (d), donner deux expressions différentes et démontrer qu'elles sont égales.

Figure
Corrigé

(a) La zone est dans AA et dans BB, mais pas dans CC : (A∩B)∖C=A∩B∩C‾\boxed{(A \cap B) \setminus C = A \cap B \cap \overline{C}}

(b) La zone est formée de tout le disque AA et de la lentille commune à BB et CC : A∪(B∩C)\boxed{A \cup (B \cap C)}

(c) La zone est formée des éléments qui n'appartiennent à aucune des trois parties ; on utilise les lois de De Morgan : A∪B∪C‾=A‾∩B‾∩C‾\boxed{\overline{A \cup B \cup C} = \overline{A} \cap \overline{B} \cap \overline{C}}

(d) La zone est formée des éléments qui appartiennent à exactement une des trois parties. On peut la décrire morceau par morceau, ou comme la réunion privée des zones de recouvrement : X=(A∩B‾∩C‾)∪(A‾∩B∩C‾)∪(A‾∩B‾∩C)\boxed{X = (A \cap \overline{B} \cap \overline{C}) \cup (\overline{A} \cap B \cap \overline{C}) \cup (\overline{A} \cap \overline{B} \cap C)}

Y=(A∪B∪C)∖((A∩B)∪(A∩C)∪(B∩C))\boxed{Y = (A \cup B \cup C) \setminus \big((A \cap B) \cup (A \cap C) \cup (B \cap C)\big)} Pour démontrer que X=YX = Y, on fixe x∈Ex \in E et l'on note k∈{0,1,2,3}k \in \{0,1,2,3\} le nombre de parties parmi AA, BB, CC qui contiennent xx. Chacun des trois morceaux de XX contient les éléments qui sont dans une partie désignée et dans aucune autre, donc x∈X⇔k=1x \in X \Leftrightarrow k = 1. D'autre part, x∈A∪B∪C⇔k⩾1x \in A \cup B \cup C \Leftrightarrow k \geqslant 1 et x∈(A∩B)∪(A∩C)∪(B∩C)⇔k⩾2x \in (A \cap B) \cup (A \cap C) \cup (B \cap C) \Leftrightarrow k \geqslant 2, donc x∈Y⇔k=1x \in Y \Leftrightarrow k = 1. X=Y\boxed{X = Y}

Piège : on serait tenté d'écrire A Δ B Δ CA \,\Delta\, B \,\Delta\, C. Mais cet ensemble contient aussi le centre A∩B∩CA \cap B \cap C : il est formé des éléments appartenant à un nombre impair de parties, k=1k = 1 ou k=3k = 3.

Dans l'édifice

Thèmes

ensembles, opérations sur les parties

Notions

ensemble

Ouvrir dans l'atlas interactif →