Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
2.2. COORDONATE. SCHIMBĂRI DE COORDONATE 25<br />
T 2.1.5 (Grassmann). Dacă U, W sunt subspa¸tii finit dimensionale ale<br />
lui KV , atunci U + W ¸si U ∩ W sunt, de asemenea, subspa¸tii finit dimensionale ale<br />
lui KV . Mai mult, avem rela¸tia<br />
¸si<br />
dimK(U + W ) = dimK U + dimK W − dimK(U ∩ W ).<br />
D¸T. Fie {e1, e2, ..., ep} bază în U ∩ W. Atunci există vectorii<br />
astfel încât<br />
bază în U ¸si<br />
bază în W . Evident, avem<br />
up+1, up+2, ..., up+q ∈ U<br />
wp+1, wp+2, ..., wp+r ∈ W<br />
{e1, e2, ..., ep, up+1, up+2, ..., up+q}<br />
{e1, e2, ..., ep, wp+1, wp+2, ..., wp+r}<br />
{e1, e2, ..., ep, up+1, up+2, ..., up+q, wp+1, wp+2, ..., wp+r}<br />
bază în U + W. Rezultă ceea ce trebuia demonstrat. <br />
C 2.1.1. Dacă U, W sunt subspa¸tii finit dimensionale ale lui KV<br />
aflate în sumă directă, atunci U ⊕W este, de asemenea, subspa¸tiu finit dimensional<br />
al lui KV . Mai mult, avem rela¸tia<br />
dimK(U ⊕ W ) = dimK U + dimK W.<br />
D¸T. Folosim Teorema Grassmann ¸si ¸tinem cont că U ∩W = {0V }.<br />
<br />
E 2.1.18. Fie U = {a + bX | a, b ∈ R} ¸si W = {αX 2 | α ∈ R} două<br />
subspa¸tii ale lui RR2[X]. Atunci avem<br />
R2[X] = U ⊕ W.<br />
Pentru a demonstra acest lucru, fie f ∈ U ∩ W . Deducem că ∃ a, b, α ∈ R astfel<br />
încât<br />
f = a + bX = αX 2 ⇔ a + bX − αX 2 = 0 ⇔ a = b = α = 0.<br />
În concluzie, U ∩ W = {0}, adică subspa¸tiile U ¸si W se află în sumă directă:<br />
Mai mult, avem<br />
U ⊕ W ≤R R2[X].<br />
dimR(U ⊕ W ) = dimR U + dimR W = 2 + 1 = 3 = dimR R2[X].<br />
2.2. Coordonate. Schimbări de coordonate<br />
Fie V un K-spa¸tiu vectorial, dimK V = n. Fie B = {e1, e2, ..., en} bază în KV.<br />
Deoarece B este bază, rezultă că<br />
∀ v ∈ V, ∃! x1, x2, ..., xn ∈ K astfel încât v = x1e1 + x2e2 + ... + xnen.<br />
D¸T 2.2.1. Matricea (x1, x2, ..., xn) ∈ M1,n(K) se nume¸ste n-uplul de<br />
coordonate al vectorului v în baza B a spa¸tiului vectorial KV.