You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
48 <strong>Elemente</strong> <strong>de</strong> algebră liniară<br />
ale lui V ⊕ W ¸si avem<br />
ceea ce justifică notat¸ia V ⊕ W .<br />
2.8 Spat¸ii factor<br />
{ (x, 0) | x ∈ V } ∩ { (0, y) | y ∈ W } = {(0, 0)}<br />
{ (x, 0) | x ∈ V } + { (0, y) | y ∈ W } = V ⊕ W<br />
Definit¸ia 2.33 Prin relat¸ie <strong>de</strong> echivalent¸ă pe o mult¸ime M se înt¸elege o submult¸ime<br />
R ⊆ M × M cu proprietăt¸ile:<br />
1) (x, x) ∈ R, ∀x ∈ M (reflexivitate)<br />
2)<br />
3)<br />
(x, y) ∈ R =⇒ (y, x) ∈ R<br />
(x, y) ∈ R<br />
=⇒ (x, z) ∈ R<br />
(y, z) ∈ R<br />
(simetrie)<br />
(tranzitivitate)<br />
In loc <strong>de</strong> (x, y) ∈ R se preferă să se scrie x R y sau x ∼ y.<br />
Definit¸ia 2.34 Prin partit¸ie a unei mult¸imi M se înt¸elege o familie {Mi}i∈I <strong>de</strong><br />
submult¸imi ale lui M cu proprietăt¸ile:<br />
1) Mi = ∅, ∀i ∈ I<br />
2) Mi ∩ Mj = ∅, ∀i, j ∈ I cu i = j<br />
3) <br />
i∈I Mi = M.<br />
Propozit¸ia 2.35 a) Dacă ∼ este o relat¸ie <strong>de</strong> echivalent¸ă pe M atunci mult¸imile<br />
distincte <strong>de</strong> forma<br />
ˆx = { y | y ∼ x } (clasa <strong>de</strong> echivalenta a lui x)<br />
formează o partit¸ie a lui M (se notează cu M/∼ ¸si este numită mult¸imea factor<br />
corespunzătoare relat¸iei ∼).<br />
b) Invers, dacă {Mi}i∈I este o partit¸ie a lui M atunci relat¸ia ∼ <strong>de</strong>finită prin<br />
x ∼ y daca exista i ∈ I astfel incat x, y ∈ Mi<br />
este o relat¸ie <strong>de</strong> echivalent¸ă pe M.