You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Spat¸ii vectoriale 49<br />
Demonstrat¸ie. a) Reunind toate clasele <strong>de</strong> echivalent¸ă obt¸inem mult¸imea M ¸si ˆx = ∅<br />
<strong>de</strong>oarece x ∈ ˆx. In plus,<br />
x ∈ ˆy ∩ ˆz =⇒<br />
<br />
x ∼ y<br />
x ∼ z<br />
=⇒ y ∼ z =⇒ ˆy = ˆz.<br />
b) Evi<strong>de</strong>nt, relat¸ia ∼ este reflexivă ¸si simetrică. Dacă x ∼ y ¸si y ∼ z atunci există<br />
i, j ∈ I astfel încât x, y ∈ Mi ¸si y, z ∈ Mj. Mult¸imile partit¸iei fiind disjuncte rezultă<br />
că Mi = Mj ¸si prin urmare x ∼ z.<br />
Propozit¸ia 2.36 Dacă V este un spat¸iu vectorial peste corpul K ¸si W ⊆ V este un<br />
subspat¸iu vectorial atunci relat¸ia<br />
x ∼ y daca x − y ∈ W<br />
este o relat¸ie <strong>de</strong> echivalent¸ă pe V . Pe mult¸imea factor V/∼ formată din toate clasele<br />
<strong>de</strong> echivalent¸ă<br />
relat¸iile<br />
ˆx = x + W = { x + y | y ∈ W }<br />
ˆx + ˆy = xy, αˆx = αx<br />
<strong>de</strong>finesc o structură <strong>de</strong> spat¸iu vectorial (numit spat¸iu factor ¸si notat cu V/W ).<br />
Demonstrat¸ie. Avem<br />
x − x = 0 ∈ W =⇒ x ∼ x<br />
x ∼ y =⇒ x − y ∈ W =⇒ y − x ∈ W =⇒ y ∼ x<br />
<br />
x ∼ y<br />
=⇒<br />
y ∼ z<br />
x − y ∈ W<br />
y − z ∈ W<br />
<br />
=⇒ x − z = (x − y) + (y − z) ∈ W =⇒ x ∼ z.<br />
Deoarece W + W = { x + y | x, y ∈ W } = W ¸si αW = { αx | x ∈ W } = W avem<br />
(x + W ) + (y + W ) = x + y + W, α(x + W ) = αx + W<br />
ceea ce arata că operat¸iile cu clase <strong>de</strong> echivalent¸a sunt bine <strong>de</strong>finite (nu <strong>de</strong>pind <strong>de</strong><br />
reprezentantul ales). Elementul neutru este ˆ0 = 0 + W = W iar opusul lui ˆx este<br />
−ˆx = −x = −x + W.