`mes de Mathe

matiques
Proble
Trois relations identiques dans P(E)

Enonc
e

Trois relations identiques dans P(E)

Etant donne un ensemble E, on designe par M une partie non vide de P(E) telle que :
X, Y M, Z M, tel que Z X Y.
1. Montrer que pour tout ensemble E, il existe de telles parties M de P(E). [ S ]
2. On associe `a M une relation binaire R definie sur P(E) par :
A, B P(E),

A R B X M telque A X = B X

(a) Montrer que R est une relation dequivalence. [ S ]

(b) Montrer que R est legalite si et seulement si M = {E}. [ S ]
(c) Montrer que R est lequivalence universelle si et seulement si M. [ S ]
b la classe dequivalence, pour R, dune partie A quelconque de E.
3. On note A
b et b
(a) Determiner E
. [ S ]
b et B E,
b alors A B E.
b [S]
(b) Montrer que si A E
b et dans P(E) on designe par S la relation :
(c) On pose N = E,
A, B P(E),

A S B Y N telque A Y = B Y

Montrer que les relations R et S sont identiques. [ S ]

4. On definit sur P(E) la difference symetrique :
A, B P(E), AB = (A B) (A B)
Soit T la relation definie sur P(E) par :
A, B P(E),

A T B X M telque (AB) X =

(a) Montrer que les relations T et R sont identiques. [ S ]

(b) A, A0 , B, B 0 etant des parties de E telles que A R A0 et B R B 0 , montrer que :
(A B) R (A0 B 0 ), (A B) R (A0 B 0 ), A R A0 , et (AB) R (A0 B 0 ). [ S ]
5. Determiner les classes dequivalence de P(E) pour la relation R dans les cas suivants :
(a) M = {E}. [ S ]
(b) M. [ S ]
(c) M = {{x}}, o`
u x E. [ S ]
(d) M {{x}, {y}}, o`
u x, y sont deux elements distincts de E. [ S ]

c
Page 1
Jean-Michel Ferrard
www.klubprepa.net
EduKlub
S.A.
Tous droits de lauteur des uvres r
eserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.

`mes de Mathe
matiques
Proble
Trois relations identiques dans P(E)
Corrige

Corrig
e du probl`
eme
1. M = P(E) convient. [ Q ]
2. (a) Reflexivite
Soit A dans P(E). Puisque M =
6 , soit X un element de M .
On a... A X = A X, ce qui prouve A R A.
Symetrie
Elle est evidente par definition (car X, Y jouent le meme role.)
Transitivite
Soient A, B, C dans P(E), tels que : A R B et B R C.
Il existe X et Y dans M tels que A X = B X et B Y = C Y .
On sait quil existe Z dans M tel que Z X Y .

AX Z =BX Z
On en deduit
BY Z =C Y Z

AZ =BZ
puis
car X Z = Z et Y Z = Z.
BZ =C Z
Ainsi A Z = C Z, et Z est element de M. Donc A R C.
Conclusion
R est une relation dequivalence sur P(E).
[Q]
(b) Supposons M = {E}
Pour tous A et B de P(E), A R B A E = B E A = B.
La relation R est donc legalite.
Reciproquement
On suppose que M est different de {E}. Montrons que R nest pas legalite.
Puisque M =
6 , il existe X dans M, avec X 6= E.
On constate que X R E (car X X = E X et X M.)
Or X et E sont distincts : R nest pas donc pas la relation egalite.
Conclusion
R est la relation egalite M se reduit au singleton{E}.
[Q]
(c) Supposons M
Pour tous A, B de P(E) on a alors A R B car A = B .
R est donc lequivalence universelle.

c
Page 2
Jean-Michel Ferrard
www.klubprepa.net
EduKlub
S.A.
Tous droits de lauteur des uvres r
eserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.

`mes de Mathe
matiques
Proble
Trois relations identiques dans P(E)
Corrige

Reciproquement
Supposons que R soit lequivalence universelle dans P(E).
Alors en particulier R E.
Il existe donc un element X de P(E) tel que E X = X.
Mais cela signifie que X = . Donc M.
Conclusion
R est lequivalence universelle est element de M.
[Q]
3. (a) Classe de E
b X M tel que A X = E X
AE
X M tel que A X = X
X M tel que X A
b est donc formee des parties de E contenant au moins un element de M.
E
En particulier tous les elements de M sont dans la classe de E.
Classe de
Ab
X M tel que A X = X
X M tel que A X =
b
est donc lensemble des parties de E qui ont une intersection vide avec
au moins un element de M.
[Q]
b
(b) Soient A et B deux elements de E.
Comme on la vu, il existe X et Y dans M tels que X A et Y B.
On sait quil existe un element Z de M tel que Z X Y .
b [Q]
On a donc Z A B, ce qui prouve que A B appartient `a E.
(c) Il sagit de demontrer que pour tous A, B de P(E), A R B A S B.
Supposons A R B
Alors il existe X dans M tel que A X = B X.
b (car X contient X !). Donc A S B.
On X est aussi element de N = E
Supposons A S B
Alors il existe X dans IN tel que A X = B X.
Par definition, il existe un element Y de M tel que Y X.
On en deduit A X Y = B X Y puis A Y = B Y . Donc A R B.

c
Page 3
Jean-Michel Ferrard
www.klubprepa.net
EduKlub
S.A.
Tous droits de lauteur des uvres r
eserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.

`mes de Mathe
matiques
Proble
Trois relations identiques dans P(E)
Corrige

Conclusion
Les relations R et S sont identiques.
[Q]
4. (a) Il sagit de demontrer que pour tous A, B de P(E), A R B A T B.
Pour toutes parties A et B de E et tout element X de M :


(A B) X =
(AB) X = (A B)
X) (A B X) =
(A B
X = et A B X =
AB
A X B et B X A.
On aura termine la demonstration quand on aura prouve lequivalence :
(A X B et B X A) A X = B X
Dans le sens : cest evident.
Dans le sens :
)
)
)
AX B
AX X BX
AX BX

A X = B X
BX A
BX X AX
BX AX
Les relations R et T sont donc identiques. [ Q ]

(b) Par hypoth`ese, il existe X et Y dans M tels que : (S)

A X = A0 X
B Y = B0 Y

On sait quil existe Z dans M tel que Z X Y .


A Z = A0 Z
Le syst`eme (S) implique alors ()
B Z = B0 Z
Intersection
() A Z B Z = A0 Z B 0 Z
(A B) Z = (A0 B 0 ) Z
On en deduit (A B) R (A0 B 0 ).
Reunion
(S) (A Z) (B Z) = (A0 Z) (B 0 Z)
(A B) Z = (A0 B 0 ) Z
On en deduit (A B) R (A0 B 0 ).
Complementaire
D.

Pour toutes parties C et D de E, on remarque que CD = C

Dans ces conditions :
A R A0 A T A0 X M tel que (AA0 ) X =
A0 ) X = A T A0 A R A0
X M tel que (A

c
Page 4
Jean-Michel Ferrard
www.klubprepa.net
EduKlub
S.A.
Tous droits de lauteur des uvres r
eserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.

`mes de Mathe
matiques
Proble
Trois relations identiques dans P(E)
Corrige

Difference symetrique
On utilise les resultats precedents :



R (A0 B
0)
RB
0
(A B)
A R A0
A R A0 et B

R (B 0 A0 )
(B A)
B R B0
B R B 0 et A R A0
(B A)
R (A0 B
0 ) (B 0 A0 )
(A B)
Ce dernier resultat nest autre que (AB) R (A0 B 0 ).
[Q]
5. (a) Si M = {E}, R est legalie. Il y a donc autant de classes que de parties de E.
b = {A}. [ Q ]
Plus precisement : pour toute partie A de E, A
(b) Si M, R est lequivalence universelle.
Il na donc quune seule classe dequivalence, `a savoir P(E). [ Q ]
(c) Pour toutes parties A et B de E,

x A B
A R B A {x} = B {x} ou

x
/ A et x
/B
Il y a donc deux classes dequivalence :
Celle formee des parties de E qui contiennent x.
Celle formee des parties de E qui ne contiennent pas x.
[Q]
(d) On suppose donc que {x} et {y} sont deux elements de M.
Mais on sait quil existe Z dans M tel que Z {x} {y}.
Dans ce cas cela siginifie que M.
On est ainsi ramene au cas (b). [ Q ]

c
Page 5
Jean-Michel Ferrard
www.klubprepa.net
EduKlub
S.A.
Tous droits de lauteur des uvres r
eserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.