14.01.2013 Views

Dimensione di uno spazio vettoriale. Dimensione di sottospazi

Dimensione di uno spazio vettoriale. Dimensione di sottospazi

Dimensione di uno spazio vettoriale. Dimensione di sottospazi

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

LEZIONE 18 13<br />

quin<strong>di</strong> q1(x), q2(x), q3(x) ∈ L(p1(x), p2(x), p3(x), p4(x), p5(x)): abbiamo, perciò, l’inclusione<br />

L(q1(x), q2(x), q3(x)) ⊆ L(p1(x), p2(x), p3(x), p4(x), p5(x)). Viceversa<br />

p1(x) = q1(x), p2(x) = q3(x) + q1(x) − 3q2(x), p3(x) = q2(x),<br />

p4(x) = q3(x) + 2q1(x) − 2q2(x), p5(x) = −q3(x) + 3q2(x)<br />

quin<strong>di</strong> p1(x), p2(x), p3(x), p4(x), p5(x) ∈ L(q1(x), q2(x), q3(x)): in particolare abbiamo l’inclusione<br />

L(q1(x), q2(x), q3(x)) ⊇ L(p1(x), p2(x), p3(x), p4(x), p5(x)).<br />

Per esercizio il lettore completi l’insieme q1(x), q2(x), q3(x) a base <strong>di</strong> R3[x].<br />

18.4. La formula <strong>di</strong> Grassmann.<br />

Un ultimo risultato importante è il seguente, noto come formula <strong>di</strong> Grassmann.<br />

Proposizione 18.5.1. Sia V <strong>uno</strong> <strong>spazio</strong> <strong>vettoriale</strong> su k = R, C. Se U, W ⊆ V sono<br />

<strong>sottospazi</strong> vettoriali finitamente generati allora<br />

(18.5.1.1) <strong>di</strong>mk(U) + <strong>di</strong>mk(W ) = <strong>di</strong>mk(U ∩ W ) + <strong>di</strong>mk(U + W ).<br />

Dimostrazione. Se U e W sono finitamente generati tale è U + W (si veda il Corollario<br />

17.1.10). Poiché U ∩ W è sotto<strong>spazio</strong> <strong>di</strong> W che è finitamente generato, esso stesso è<br />

finitamente generato.<br />

Sia (v1, . . . , vn) una base <strong>di</strong> U ∩ W : in particolare U ∩ W = L(v1, . . . , vn). Poiché<br />

v1, . . . , vn ∈ U, W sono vettori linearmente in<strong>di</strong>pendenti, per la Proposizione 18.2.8 esistono<br />

u1, . . . , up ∈ U e w1, . . . , wq ∈ W tali che (v1, . . . , vn, u1, . . . , up) sia una base <strong>di</strong> U e<br />

(v1, . . . , vn, w1, . . . , wq) sia una base <strong>di</strong> W : in particolare u1, . . . , up, w1, . . . , wq �∈ U ∩ W =<br />

L(v1, . . . , vn).<br />

Dal Corollario 17.1.10 i vettori v1, . . . , vm, u1, . . . , up, w1, . . . , wq sono generatori <strong>di</strong> U +<br />

W . Verifichiamo che sono linearmente in<strong>di</strong>pendenti. A tale scopo si consideri la relazione<br />

<strong>di</strong> <strong>di</strong>pendenza lineare<br />

α1v1 + · · · + αnvn + β1u1 + · · · + βpup + γ1w1 + · · · + γqwq = 0V .<br />

Poiché α1v1 + · · · + αnvn + β1u1 + · · · + βpup ∈ U e −(γ1w1 + · · · + γqwq) ∈ W coincidono,<br />

essi appartengono a U ∩ W : in particolare esistono λ1, . . . , λn ∈ k tali che<br />

α1v1 + · · · + αnvn + β1u1 + · · · + βpup = −(γ1w1 + · · · + γqwq) = λ1v1 + · · · + λnvn.<br />

Dall’uguaglianza −(γ1w1 + · · · + γqwq) = λ1v1 + · · · + λnvn segue<br />

λ1v1 + · · · + λnvn + γ1w1 + · · · + γqwq = 0V :<br />

poiché (v1, . . . , vn, w1, . . . , wq) è una base <strong>di</strong> W si ha λ1 = · · · = λn = γ1 = · · · = γq = 0,<br />

perciò α1v1 +· · ·+αnvn +β1u1 +· · ·+βpup = − = 0V : d’altra parte (v1, . . . , vn, u1, . . . , up)<br />

è una base <strong>di</strong> U, dunque si ha anche α1 = · · · = αn = β1 = · · · = βp = 0.<br />

Conclu<strong>di</strong>amo che <strong>di</strong>mk(U) = n+p, <strong>di</strong>mk(W ) = n+q, <strong>di</strong>mk(U ∩W ) = n e <strong>di</strong>mk(U +W ) =<br />

n + p + q, che implica la Formula (18.5.1.1). �

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

Saved successfully!

Ooh no, something went wrong!