
2
1. Justifier que CEA\CEB=B\A.
2. D´emontrer que pour tous A, B, C parties de E, on a:
(a) (A∪B)\C= (A\C)∪(B\C)
(b) (A∩B)\C= (A\C)∩(B\C)
(c) (A\B)\C=A\(B∪C).
Exercice 6 Soient Aet Bdeux parties d’un ensemble E. On appelle diff´erence sym´etrique de A
et Bl’ensemble
A∆B= (A\B)∪(B\A).
1. Montrer que: A∆B= (A∩B)∪(A∩B) = (A∪B)\(A∩B).
2. D´eduire A∆A,A∆∅,A∆Eet A∆CEA.
3. D´emontrer que pour tous A, B, C parties de E, on a:
(a) (A∆B)∩C= (A∩C)∆(B∩C)
(b) (A∆B)∪C= (A∪C)∆(B∪C)
Exercice 7 Dans N×N, on d´efinit la relation ≺par:
∀(a, b)∈N2,∀(a0, b0)∈N2,(a, b)≺(a0, b0)⇔a≤a0et b≤b0.
1. Montrer qu’il s’agit d’une relation d’ordre. Cet ordre est-il total?
2. Soit A={(1,2),(2,3),(3,1),(3,2),(3,4),(4,3),(4,4),(5,5)}.
(a) D´eterminer des minorants de A, des majorants de A.
(b) A admet-il un plus grand ´el´ement ? un plus petit ´el´ement ? une borne sup´erieure ? une
borne inf´erieure ?
Exercice 8 Dans N∗, on d´efinit une relation Ren posant pour tout m, n ∈N∗:
mRns’il existe k∈N∗, n =km.
1. Montrer que Rest une relation d’ordre partiel sur N∗.
2. Soient (N∗,R) un ensemble partiellement ordonn´e et A={4,5,6,7,8,9,10}une partie de
N∗.
(a) Rappeler la d´efinition du plus petit ´el´ement et du plus grand ´el´ement de A.
(b) L’ensemble Aposs`ede-t-il un plus grand ´el´ement ? Un plus petit ´el´ement ?
Exercice 9 Soit α∈Ndonn´e, on d´efinit la relation Rdans Npar:
∀(x, y)∈N2, xRy⇔(x+y=αou x=y).
Travaux dirig´es 2 B. Faye©2025