mathématiques MPSI · Chapitre 1 · Application directe du cours

Lois de De Morgan pour une famille de parties

Raisonnement et vocabulaire ensembliste · E. Vocabulaire des ensembles · niveau 1 (application)

Énoncé

Soit $E$ un ensemble. Établir les formules suivantes, pour toutes familles de parties de $E$ et toutes parties de $E$ :

a) $∁_{E} (⋃_{i \in I} A_{i}) = ⋂_{i \in I} ∁_{E} (A_{i})$ et $∁_{E} (⋂_{i \in I} A_{i}) = ⋃_{i \in I} ∁_{E} (A_{i})$ b) $(⋃_{i \in I} A_{i}) \cap B = ⋃_{i \in I} (A_{i} \cap B)$ et $(⋂_{i \in I} A_{i}) \cup B = ⋂_{i \in I} (A_{i} \cup B)$ c) $(⋃_{i \in I} A_{i}) \cap (⋃_{j \in J} B_{j}) = ⋃_{(i, j) \in I \times J} (A_{i} \cap B_{j})$ et $(⋂_{i \in I} A_{i}) \cup (⋂_{j \in J} B_{j}) = ⋂_{(i, j) \in I \times J} (A_{i} \cup B_{j})$ d) $(\forall i \in I, A_{i} \subset B_{i}) \Rightarrow (⋃_{i \in I} A_{i} \subset ⋃_{i \in I} B_{i} et ⋂_{i \in I} A_{i} \subset ⋂_{i \in I} B_{i})$ e) $⋂_{i \in I} (A_{i} - B_{i}) = (⋂_{i \in I} A_{i}) - (⋃_{i \in I} B_{i})$

Corrigé

Montrons ces formules à l'aide des définitions logiques :

a) Lois de De Morgan :

Soit $x \in E$ . On a : $x \in ∁_{E} (i \in I ⋃ A_{i}) ⟺ x \in / i \in I ⋃ A_{i} ⟺ \forall i \in I, x \in / A_{i} ⟺ \forall i \in I, x \in ∁_{E} (A_{i}) ⟺ x \in i \in I ⋂ ∁_{E} (A_{i})$
De même : $x \in ∁_{E} (i \in I ⋂ A_{i}) ⟺ x \in / i \in I ⋂ A_{i} ⟺ \exists i \in I, x \in / A_{i} ⟺ \exists i \in I, x \in ∁_{E} (A_{i}) ⟺ x \in i \in I ⋃ ∁_{E} (A_{i})$

b) Distributivité :

Soit $x \in E$ . $x \in (i \in I ⋃ A_{i}) \cap B ⟺ (\exists i \in I, x \in A_{i}) et x \in B ⟺ \exists i \in I, (x \in A_{i} et x \in B) ⟺ x \in i \in I ⋃ (A_{i} \cap B)$
De même : $x \in (i \in I ⋂ A_{i}) \cup B ⟺ (\forall i \in I, x \in A_{i}) ou x \in B ⟺ \forall i \in I, (x \in A_{i} ou x \in B) ⟺ x \in i \in I ⋂ (A_{i} \cup B)$

c) Distributivité générale :

Soit $x \in E$ . $x \in (i \in I ⋃ A_{i}) \cap j \in J ⋃ B_{j} ⟺ (\exists i \in I, x \in A_{i}) et (\exists j \in J, x \in B_{j}) ⟺ \exists (i, j) \in I \times J, (x \in A_{i} et x \in B_{j}) ⟺ x \in (i, j) \in I \times J ⋃ (A_{i} \cap B_{j})$
De même pour la seconde formule en remplaçant la conjonction "et" par la disjonction "ou" et les quantificateurs.

d) Supposons que pour tout $i \in I$ , $A_{i} \subset B_{i}$ .

Soit $x \in ⋃_{i \in I} A_{i}$ . Il existe $i_{0} \in I$ tel que $x \in A_{i_{0}}$ . Comme $A_{i_{0}} \subset B_{i_{0}}$ , on a $x \in B_{i_{0}}$ , d'où $x \in ⋃_{i \in I} B_{i}$ . L'inclusion des unions est établie.
Soit $x \in ⋂_{i \in I} A_{i}$ . Pour tout $i \in I$ , $x \in A_{i}$ . Comme $A_{i} \subset B_{i}$ , on a $x \in B_{i_{0}}$ pour tout $i \in I$ , d'où $x \in ⋂_{i \in I} B_{i}$ . L'inclusion des intersections est établie.

e) En utilisant les complémentaires et les lois précédentes : $i \in I ⋂ (A_{i} - B_{i}) = i \in I ⋂ (A_{i} \cap ∁_{E} (B_{i})) = (i \in I ⋂ A_{i}) \cap (i \in I ⋂ ∁_{E} (B_{i}))$ Par De Morgan, $⋂_{i \in I} ∁_{E} (B_{i}) = ∁_{E} (⋃_{i \in I} B_{i})$ . On a donc : $i \in I ⋂ (A_{i} - B_{i}) = (i \in I ⋂ A_{i}) \cap ∁_{E} (i \in I ⋃ B_{i}) = (i \in I ⋂ A_{i}) - (i \in I ⋃ B_{i})$

100 % gratuit

Essaie le suivant avec le tuteur

L'exercice suivant avec le tuteur, sans compte : il guide pas à pas, sans donner la réponse
37 autres exercices corrigés dans ce chapitre, et 59 à chercher avec le tuteur
Les 2 QCM du chapitre, le premier sans compte
Le podcast et la vidéo du chapitre et la correction filmée du TD : 2 minutes sans compte

Faire l'exercice suivant avec le tuteur

Sans compte : le cours, le premier QCM, 2 minutes de podcast et de vidéo et un exercice avec le tuteur. Pour tout le reste : inscription gratuite en 30 secondes, sans carte bancaire.

Le cours du chapitre · Tous les exercices du chapitre

Exercice suivant avec le tuteur →