ExerciceMaths Sup – MPSI, chapitre 1 — Logique et ensembles · Ensembles
Exercice 29
Dans chacun des diagrammes ci-dessous, , et sont trois parties d'un ensemble . Exprimer la zone coloriée à l'aide des symboles , , et du passage au complémentaire dans . Pour le diagramme (d), donner deux expressions différentes et démontrer qu'elles sont égales.
Corrigé
(a) La zone est dans et dans , mais pas dans :
(b) La zone est formée de tout le disque et de la lentille commune à et :
(c) La zone est formée des éléments qui n'appartiennent à aucune des trois parties ; on utilise les lois de De Morgan :
(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 :
Pour démontrer que , on fixe et l'on note le nombre de parties parmi , , qui contiennent . Chacun des trois morceaux de contient les éléments qui sont dans une partie désignée et dans aucune autre, donc . D'autre part, et , donc .
Piège : on serait tenté d'écrire . Mais cet ensemble contient aussi le centre : il est formé des éléments appartenant à un nombre impair de parties, ou .