Correction
Relation d’équivalence selon un sous-ensemble
a. Montrons que Rest réflexive. ∀X∈ P(E),X∩A=X∩Adonc XRX.
Rest donc réflexive.
Montrons que Rest symétrique. ∀X,Y ∈ P(E),XRY ⇒X∩A=Y∩A⇒
Y∩A=X∩A⇒Y RX.Rest donc symétrique.
Montrons que Rest transitive. ∀X,Y,Z ∈ P(E),XRY et Y RZ ⇒X∩A=
Y∩Aet Y∩A=Z∩A⇒X∩A=Z∩A⇒XRZ.Rest donc transitive.
Rest donc bien une relation d’équivalence sur P(E).
b. E∩A=A. La classe de Eest l’ensemble des parties de Eéquivalentes à
Edonc l’ensemble des parties Ptelles que P∩A=E∩A=A, donc la classe
de Eest l’ensemble des parties de Econtenant A.
∅ ∩ A=∅. La classe de ∅est l’ensemble des parties de Eéquivalentes à ∅
donc l’ensemble des parties Ptelles que P∩A=∅ ∩ A=∅, donc la classe de ∅
est l’ensemble des parties de Edisjointes de A.
Une classe d’équivalence de Rest définie par l’intersection de ses éléments
avec A. Il y a donc autant de classes que de sous-ensembles de Aet P(E)/R =
P(A).
Relation définie par un tableau
a. Sest réflexive car la diagonale du tableau est pleine, donc tout élément est
en relation avec lui-même. Sest antisymétrique car le tableau est triangulaire
supérieur, donc si deux éléments xet ysont en relation dans la partie supé-
rieure du tableau, yne peut être en relation avec xdans la partie inférieure. S
étant supposée transitive, c’est donc une relation d’ordre (réflexive, antisymé-
trique et transitive). C’est un ordre partiel car, par exemple, eet ane sont pas
comparables.
c. a≤b≤c≤d≤e≤f≤g≤hest un ordre total qui étend S.
d. E: pas de majorant, pas de minorant, pas de minimum, pas de maximum,
pas de borne, eet asont minimaux, het dsont maximaux.
{c,f}:hest majorant et borne sup, aest minorant et borne inf, cet fsont
minimaux et maximaux, il n’y a ni maximum ni minimum.
{a,e}:f,h et gsont majorants, pas de borne sup, pas de minorant ni de
borne inf, aet esont minimaux, pas de minimum, aet esont maximaux, pas
de maximum.
4 Morphisme de groupe
Montrons que si fest un morphisme, (G,.)est commutatif. fmorphisme
⇒ ∀x,y ∈G,f((x.y)−1) = (f(x.y))−1= (f(x).f(y))−1= (x−1.y−1)−1=y.x. Or
f((x.y)−1) = x.y donc x.y =y.x donc (G,.)est commutatif
3