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 7<br />

segue che B ′ = (E1,1, E2,2, E1,2) è base <strong>di</strong> Sim2(R).<br />

Vedremo più avanti che <strong>di</strong>mk(Simn(k)) = <strong>di</strong>mk(T Sn(k)) = n(n + 1)/2. Si noti che<br />

Simn(k) �= T Sn(k) pur avendo essi la stessa <strong>di</strong>mensione, ovvero non è vero che due<br />

<strong>sottospazi</strong> della stessa <strong>di</strong>mensione coincidono.<br />

18.3. Rango <strong>di</strong> matrici.<br />

Abbiamo già visto che verificare che certi vettori v1, . . . , vm ∈ V sono linearmente<br />

in<strong>di</strong>pendenti è particolaramente facile se compaiono molti zeri fra le loro componenti (si<br />

veda l’Esempio 18.1.8). Questa osservazione è del tutto generale e si basa sulla seguente<br />

Proposizione 18.3.1. Sia k = R, C e sia data A = (ai,j) 1≤i≤m<br />

1≤j≤n<br />

∈ k m,n . Posto vi =<br />

(ai,1, . . . , ai,n) ∈ k n e wj = (a1,j, . . . , am,j) ∈ k m , i = 1, . . . , m, j = 1, . . . , n, risulta<br />

rk(A) = <strong>di</strong>mk(L(v1, . . . , vm)) = <strong>di</strong>mk(L(w1, . . . , wn)) = rk( t A).<br />

Dimostrazione. Ricor<strong>di</strong>amo che abbiamo definito il rango <strong>di</strong> una matrice A = (ai,j) 1≤i≤m<br />

1≤j≤n<br />

km,n come il numero <strong>di</strong> righe non nulle <strong>di</strong> una matrice A ′ = (a ′ i,j ) 1≤i≤m<br />

1≤j≤n<br />

∈<br />

∈ k m,n ridotta<br />

per righe ed equivalente per righe ad A.<br />

Per <strong>di</strong>mostrare la prima parte della tesi è sufficiente osservare che ogni tipo <strong>di</strong> operazione<br />

elementare <strong>di</strong> riga, pur cambiando le righe <strong>di</strong> A, non muta il sotto<strong>spazio</strong> che esse generano.<br />

Poiché esse coinvolgono al massimo due righe per volta, possiamo ridurci a stu<strong>di</strong>are il caso<br />

m = 2. È chiaro che L(v1, v2, . . . ) = L(v2, v1, . . . ), cioè lo scambio <strong>di</strong> righe (operazione<br />

elementare E3) non muta la <strong>di</strong>mensione.<br />

Dovrebbe essere chiaro che v = α1v1 + α2v2 + . . . se e solo se per ogni λ ∈ k \ { 0 } si ha<br />

v = α1λ −1 (λv1)+α2v2+. . . . Quin<strong>di</strong> L(v1, v2, . . . ) = L(λv1, v2, . . . ), cioè la moltiplicazione<br />

<strong>di</strong> una riga per <strong>uno</strong> scalare non nullo (operazione elementare E2) non muta la <strong>di</strong>mensione.<br />

Infine v = α1v1 + α2v2 + . . . se e solo se per ogni λ ∈ k si ha v = α1(v1 + λv2) + (α2 −<br />

λα1)v2 + . . . . Quin<strong>di</strong> L(v1, v2, . . . ) = L(v1 + λv2, v2, . . . ), cioè sommare ad una riga un<br />

multiplo <strong>di</strong> un’altra (operazione elementare E1) non muta la <strong>di</strong>mensione.<br />

Posto v ′ i = (a′ i,1 , . . . , a′ i,n ) ∈ kn , i = 1, . . . , m, conclu<strong>di</strong>amo che<br />

<strong>di</strong>mk(L(v1, . . . , vm)) = <strong>di</strong>mk(L(v ′ 1, . . . , v ′ m)) = rk(A ′ ) = rk(A).<br />

Poiché le righe <strong>di</strong> tA coincidono con le colonne <strong>di</strong> A, quanto visto sopra <strong>di</strong>mostra anche<br />

<strong>di</strong>mk(L(w1, . . . , wn)) = rk( tA). Sia r = rk(A) Allora è possibile estrarre dall’insieme v1, . . . , vm un sottoinsieme <strong>di</strong><br />

r vettori linearmente in<strong>di</strong>pendenti che generano L(v1, . . . , vm): per fissare le idee siano<br />

v1, . . . , vr. Allora abbiamo delle relazioni della forma<br />

⎧<br />

vi = vi i = 1, . . . , r<br />

⎪⎨ vr+1 = αr+1,1v1 + αr+1,2v2 + αr+1,3v3 + · · · + αr+1,rvr<br />

.<br />

⎪⎩<br />

.<br />

vm = αm,1v1 + αm,2v2 + αm,3v3 + · · · + αm,rvr.

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

Saved successfully!

Ooh no, something went wrong!