04.06.2013 Views

Elemente de algebra liniara.pdf

Elemente de algebra liniara.pdf

Elemente de algebra liniara.pdf

SHOW MORE
SHOW LESS

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.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!