Algebra lineare · Sottospazio generato

Sottospazio generato

Lo spazio generato da vettori è l’insieme di tutte le loro combinazioni lineari. Nello spazio, due vettori non collineari generano un piano passante per l’origine. Un terzo aggiunge una dimensione solo se sporge dal piano, anche di pochissimo; se vi appartiene, non aggiunge nulla e i tre sono linearmente dipendenti.

Lo spazio generato in questa visualizzazione

Lo spazio generato da vettori è l’insieme di tutte le loro combinazioni lineari con coefficienti reali qualsiasi. Contiene sempre l’origine O e, in tre dimensioni, è solo O, una retta o un piano passante per O, oppure tutto lo spazio.

Lo spazio generato da tre vettori
span⁡(v⃗,w⃗,u⃗)={ c1v⃗+c2w⃗+c3u⃗  :  c1,c2,c3∈R }\operatorname{span}(\vec v, \vec w, \vec u) = \{\, c_1\vec v + c_2\vec w + c_3\vec u \;:\; c_1, c_2, c_3 \in \mathbb R \,\}

Nella vista iniziale, il disco di vetro passante per O è WW, lo spazio generato da v⃗\vec v e w⃗\vec w. Gli incroci della griglia incisa sono le combinazioni con coefficienti interi c1v⃗+c2w⃗c_1\vec v + c_2\vec w; il bordo sfuma perché il piano continua all’infinito. I dischi più tenui sono gli strati W+ku⃗W + k\vec u per interi kk, e il disco blu è il piano W+su⃗W + s\vec u passante per l’obiettivo T. Una catena di frecce blu sottili va da O a T: c1v⃗c_1\vec v, poi c2w⃗c_2\vec w, poi su⃗s\vec u. Il segmento rosso che scende dalla punta di u⃗\vec u a WW ha lunghezza ∣h∣|h|, dove hh è l’altezza con segno di u⃗\vec u rispetto al piano.

Perché un terzo vettore può aggiungere un’intera dimensione? Ogni combinazione di v⃗\vec v, w⃗\vec w e u⃗\vec u è un punto di WW spostato di un multiplo ss di u⃗\vec u. Lo spazio generato è quindi l’unione dei piani W+su⃗W + s\vec u per tutti i reali ss. Se u⃗\vec u è fuori da WW, i piani corrispondenti a ss e s+1s + 1 distano ∣h∣|h|. Quando ss percorre i numeri reali, i piani attraversano tutto lo spazio.

Abbassa ora u⃗\vec u finché è appena fuori dal piano. Con i valori iniziali v⃗=(2,1,0)\vec v = (2, 1, 0) e w⃗=(0,1,2)\vec w = (0, 1, 2), u⃗=(1,1,1.01)\vec u = (1, 1, 1.01) dista circa 0.004 da WW, ma lo spazio generato resta tutto lo spazio. Raggiungere (0,0,1)(0, 0, 1) richiede s=100s = 100: (0,0,1)=−50v⃗−50w⃗+100u⃗(0, 0, 1) = -50\vec v - 50\vec w + 100\vec u. Per un obiettivo fisso fuori da WW, più piccolo è ∣h∣|h|, più grande deve essere ∣s∣|s|, ma una soluzione esiste sempre. Solo quando hh è esattamente 0 ogni piano W+su⃗W + s\vec u coincide con WW, e lo spazio generato da v⃗\vec v, w⃗\vec w e u⃗\vec u torna a essere WW.

I vettori sono linearmente dipendenti se una loro combinazione con coefficienti non tutti nulli è il vettore nullo. Quando i vettori sono non nulli, la pagina lo mostra come un percorso chiuso: i loro multipli, disposti punta contro coda, tornano a O. Equivalentemente, uno è combinazione degli altri. Nessuna coppia tra v⃗\vec v, w⃗\vec w e u⃗=(1,1,1)\vec u = (1, 1, 1) è parallela, ma i tre sono dipendenti perché u⃗\vec u appartiene a WW:

Un terzo vettore in W chiude un percorso
12v⃗+12w⃗−u⃗=0⃗,u⃗=12v⃗+12w⃗\tfrac12\vec v + \tfrac12\vec w - \vec u = \vec 0, \qquad \vec u = \tfrac12\vec v + \tfrac12\vec w

Un percorso chiuso significa anche che un punto ha molte ricette. Aggiungendo un multiplo non nullo del percorso a una ricetta di T cambiano i coefficienti, ma non il punto.

La dimensione dello spazio generato è il massimo numero di vettori indipendenti che si possono scegliere tra quelli dati.

Da osservare

  • In prospettiva una punta può sembrare a contatto con un piano senza esserlo. Il segmento rosso e la lettura dell’altezza lo chiariscono; Di taglio mostra WW come una sola retta.

Controlli

  • Il cursore rosso sotto Terzo vettore u sposta u⃗\vec u perpendicolarmente fuori dal piano o di nuovo nel piano, con uno scatto in 0. Le rotelle p e q muovono u⃗\vec u nel suo strato.

Concetti correlati