Université L1 / enseignement supérieur

Théorie des ensembles : exercices corrigés L1

Les opérations sur les ensembles sont au cœur des démonstrations, des probabilités et des espaces de fonctions. Les exemples utilisent des ensembles finis pour visualiser les définitions, puis un raisonnement général sur la complémentation.

L'essentiel à retenir

  • x∈Ax\in A signifie « xx appartient à AA » ; A⊆BA\subseteq B signifie « tout élément de AA appartient à BB ».
  • A∪B={x:x∈A ou x∈B}A\cup B=\{x:x\in A\text{ ou }x\in B\} et A∩B={x:x∈A et x∈B}A\cap B=\{x:x\in A\text{ et }x\in B\}.
  • Le complémentaire dans un univers UU est Ac=U∖AA^c=U\setminus A ; préciser UU évite les ambiguïtés.
  • Produit cartésien : A×B={(a,b):a∈A, b∈B}A\times B=\{(a,b):a\in A,\ b\in B\}. Si A,BA,B sont finis, ∣A×B∣=∣A∣∣B∣|A\times B|=|A||B|.
  • Lois de De Morgan : (A∪B)c=Ac∩Bc(A\cup B)^c=A^c\cap B^c et (A∩B)c=Ac∪Bc(A\cap B)^c=A^c\cup B^c.

Exercice 1 — Union, intersection, complémentaire

Dans U={1,2,3,4,5,6,7,8,9,10}U=\{1,2,3,4,5,6,7,8,9,10\}, on pose A={2,4,6,8,10}A=\{2,4,6,8,10\} et B={3,6,9}B=\{3,6,9\}.
  1. Calculer A∩BA\cap B.
  2. Calculer A∪BA\cup B.
  3. Calculer U∖(A∪B)U\setminus(A\cup B).
Corrigé détaillé
1. Le seul entier commun aux deux ensembles est 66 : A∩B={6}\boxed{A\cap B=\{6\}}. 2. On rassemble les éléments sans répétition : A∪B={2,3,4,6,8,9,10}\boxed{A\cup B=\{2,3,4,6,8,9,10\}}. 3. Les éléments de UU absents de l’union sont 1,5,71,5,7 : U∖(A∪B)={1,5,7}\boxed{U\setminus(A\cup B)=\{1,5,7\}}.

Exercice 2 — Produit cartésien

Soient A={a,b}A=\{a,b\} et B={1,2,3}B=\{1,2,3\}.
  1. Énumérer A×BA\times B.
  2. Donner son cardinal.
  3. Comparer A×BA\times B et B×AB\times A.
Corrigé détaillé
1. A×B={(a,1),(a,2),(a,3),(b,1),(b,2),(b,3)}A\times B=\{(a,1),(a,2),(a,3),(b,1),(b,2),(b,3)\}. 2. Il y a deux choix pour la première coordonnée et trois pour la seconde, donc ∣A×B∣=2×3=6\boxed{|A\times B|=2\times3=6}. 3. B×AB\times A contient les couples (1,a),(1,b),…,(3,b)(1,a),(1,b),\ldots,(3,b). L’ordre est inversé : en général A×B≠B×AA\times B\ne B\times A (ils ont néanmoins le même cardinal pour des ensembles finis).

Exercice 3 — Démontrer une loi de De Morgan

Soient AA et BB deux parties d’un univers UU.
  1. Montrer que (A∩B)c=Ac∪Bc(A\cap B)^c=A^c\cup B^c.
  2. Vérifier l’identité sur U={1,2,3,4}U=\{1,2,3,4\}, A={1,2}A=\{1,2\}, B={2,3}B=\{2,3\}.
Corrigé détaillé
1. Preuve par appartenance. Pour tout x∈Ux\in U, x∈(A∩B)c  ⟺  x∉A∩B  ⟺  (x∉A) ou (x∉B)  ⟺  x∈Ac∪Bc.x\in(A\cap B)^c\iff x\notin A\cap B\iff (x\notin A)\ \text{ou}\ (x\notin B)\iff x\in A^c\cup B^c. Les deux ensembles ont donc exactement les mêmes éléments. 2. Exemple. A∩B={2}A\cap B=\{2\}, donc (A∩B)c={1,3,4}(A\cap B)^c=\{1,3,4\}. D’autre part Ac={3,4}A^c=\{3,4\} et Bc={1,4}B^c=\{1,4\} : leur union vaut {1,3,4}\{1,3,4\}. Identité vérifiée.

Exercice 4 — Opérations sur ensembles finis

Pour A={1,2,4}A=\{1,2,4\} et B={2,3,4}B=\{2,3,4\} dans U={1,2,3,4,5}U=\{1,2,3,4,5\}, calculer A∩BA\cap B, A∪BA\cup B et les deux complémentaires.
Corrigé détaillé
1. L'intersection regroupe les éléments communs : A∩B={2,4}A\cap B=\{2,4\}. 2. L'union contient les éléments appartenant à au moins un ensemble : A∪B={1,2,3,4}A\cup B=\{1,2,3,4\}. 3. Par rapport à UU, Ac={3,5}A^c=\{3,5\} et Bc={1,5}B^c=\{1,5\}.

Exercice 5 — Différence et différence symétrique

Pour A={1,2,3,5}A=\{1,2,3,5\} et B={3,4,5,6}B=\{3,4,5,6\}, calculer A∖BA\setminus B, B∖AB\setminus A et leur différence symétrique.
Corrigé détaillé
1. Retirer de AA les éléments de BB donne A∖B={1,2}A\setminus B=\{1,2\}. 2. Inversement, B∖A={4,6}B\setminus A=\{4,6\}. 3. La différence symétrique est l'union disjointe de ces parties : A△B={1,2,4,6}A\triangle B=\{1,2,4,6\}. Les éléments 33 et 55, communs aux deux ensembles, sont exclus.

Exercice 6 — Produit cartésien et cardinal

Si A={a,b,c}A=\{a,b,c\} et B={0,1}B=\{0,1\}, donner la liste de A×BA\times B, son cardinal et expliquer pourquoi (a,1)(a,1) diffère de (1,a)(1,a).
Corrigé détaillé
1. A×B={(a,0),(a,1),(b,0),(b,1),(c,0),(c,1)}A\times B=\{(a,0),(a,1),(b,0),(b,1),(c,0),(c,1)\}. 2. Le produit des cardinaux donne ∣A×B∣=3×2=6|A\times B|=3\times2=6. 3. Les couples sont ordonnés : (a,1)(a,1) et (1,a)(1,a) n'ont pas les mêmes coordonnées placées dans le même ordre ; le second appartient à B×AB\times A et non à A×BA\times B.

Exercice 7 — Inclusion et ensemble des parties

Soit A={1,2,3}A=\{1,2,3\}. Donner P(A)\mathcal P(A), montrer que {1,2}⊆A\{1,2\}\subseteq A et calculer ∣P(A)∣|\mathcal P(A)|.
Corrigé détaillé
1. L'ensemble des parties vaut P(A)={∅,{1},{2},{3},{1,2},{1,3},{2,3},A}\mathcal P(A)=\{\varnothing,\{1\},\{2\},\{3\},\{1,2\},\{1,3\},\{2,3\},A\}. 2. Les éléments 11 et 22 appartiennent à AA, donc {1,2}⊆A\{1,2\}\subseteq A. 3. Chaque élément est présent ou absent : il y a 23=82^3=8 sous-ensembles.

Exercice 8 — Formule des cardinaux

Une classe compte 3030 élèves : 1818 aiment l'algèbre, 1515 l'analyse et 88 aiment les deux. Combien aiment au moins l'une des deux matières ? Combien aucune ?
Corrigé détaillé
1. Poser AA et BB pour les deux préférences. 2. La formule d'inclusion-exclusion donne ∣A∪B∣=∣A∣+∣B∣−∣A∩B∣=18+15−8=25|A\cup B|=|A|+|B|-|A\cap B|=18+15-8=\boxed{25}. 3. Les élèves n'aimant aucune matière appartiennent au complémentaire : 30−25=530-25=\boxed5. La soustraction de l'intersection évite le double comptage.

Exercice 9 — De Morgan par appartenance

Prouver (A∪B)c=Ac∩Bc(A\cup B)^c=A^c\cap B^c par équivalences logiques sur un élément arbitraire xx de l'univers.
Corrigé détaillé
1. Soit x∈Ux\in U. On a x∈(A∪B)c  ⟺  x∉A∪Bx\in(A\cup B)^c\iff x\notin A\cup B. 2. N'appartenir à aucune des deux parties signifie x∉Ax\notin A et x∉Bx\notin B. 3. Cela équivaut à x∈Ac∩Bcx\in A^c\cap B^c. Les deux parties ayant les mêmes éléments, (A∪B)c=Ac∩Bc(A\cup B)^c=A^c\cap B^c.

Exercice 10 — Distributivité

Prouver A∩(B∪C)=(A∩B)∪(A∩C)A\cap(B\cup C)=(A\cap B)\cup(A\cap C) pour des parties arbitraires d'un ensemble UU.
Corrigé détaillé
1. Pour tout xx, x∈A∩(B∪C)x\in A\cap(B\cup C) signifie x∈Ax\in A et (x∈B(x\in B ou x∈C)x\in C). 2. Par distributivité de « et » sur « ou », c'est équivalent à (x∈A(x\in A et x∈B)x\in B) ou (x∈A(x\in A et x∈C)x\in C). 3. C'est exactement x∈(A∩B)∪(A∩C)x\in(A\cap B)\cup(A\cap C). D'où l'égalité des deux ensembles.