Voila je bloque sur 1 exo :
Montrez que :
1)"A inter B" = "A union B" <=> A=B
2)(A inter B) * C = (A * C) inter (B * C)
3)(A union B) * C = (A * C) union (B * C)
merci beaucoup,
Bonjour thibaut,
1) Dans le sens <-- c'est trivial
Pour l'autre implication : on a toujours AB
A
B.
Le fait nouveau qui va nous permettre de conclure est donc l'autre implication :
soit x un élément de A alors il appartient à AB donc par l'égalité à A
B et donc à B donc A
B.
Ce raisonnement pouvant être mené avec x élément de B on en déduit l'autre implication ce qui nous permet de conclure que A=B.
2) Soit (x;y)(A
B)
C alors :
xA et x
B et y
C
et donc (xA et y
C) et (x
B et y
C)
d'où (x,y)(A
C)
(B
C)
donc on vient de montrer que (AB)
C
(A
C)
(B
C)
toute les implications ci-dessus sont en fait des équivalence (pas de soucis pour les remonter dans l'autre sens) l'autre inclusion est vrai ce qui nous assure l'égalité de ces deux ensembles.
Pour le 3) on doit procéder de la même manière.
Salut
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :