Salta al contenuto
Note per Studenti Esercizio 7 · intersezione e somma con vettori dati in una base

Esercizio 7intersezione e somma con vettori dati in una base

Esame
In questa pagina 6
In questa pagina 5

Testo (tema d'esame di febbraio 2013). Sia VV uno spazio vettoriale reale con base {v1,v2,v3,v4}\{v_1, v_2, v_3, v_4\}. Siano U=⟨u1,u2,u3⟩,u1=2v2−v4,u2=v1+2v2−v3,u3=v1−v3+v4,U = \langle u_1, u_2, u_3 \rangle, \qquad u_1 = 2v_2 - v_4,\quad u_2 = v_1 + 2v_2 - v_3,\quad u_3 = v_1 - v_3 + v_4, W=⟨w1,w2,w3⟩,w1=v1+v4,w2=v2+2v3,w3=−v2+v3+v4.W = \langle w_1, w_2, w_3 \rangle, \qquad w_1 = v_1 + v_4,\quad w_2 = v_2 + 2v_3,\quad w_3 = -v_2 + v_3 + v_4.

  1. Trovare dimensione e base di UU.
  2. Trovare dimensione e base di WW.
  3. Trovare dimensione e base di U∩WU \cap W e di U+WU + W.

(Nel tema originale WW ha anche un quarto generatore, che risulta combinazione lineare dei primi tre: lo si omette perché non cambia WW.)


L'idea chiave: i coefficienti rispetto alla base

Qui i vettori non sono nn-uple di numeri ma combinazioni di v1,…,v4v_1, \dots, v_4. Il fatto che v1,…,v4v_1, \dots, v_4 siano una base, quindi indipendenti, permette di lavorare come in R4\mathbb{R}^4: una combinazione c1v1+c2v2+c3v3+c4v4c_1 v_1 + c_2 v_2 + c_3 v_3 + c_4 v_4 è nulla se e solo se c1=c2=c3=c4=0c_1 = c_2 = c_3 = c_4 = 0. Così ogni uguaglianza tra vettori diventa un sistema sui coefficienti.

(Equivalentemente: si identifica ogni vettore con le sue coordinateFissata una base, ogni vettore ha una e una sola lista di coordinate; la funzione vettore → coordinate è un isomorfismo con K^n, quindi ogni spazio di dimensione n si comporta come K^n (ma l'isomorfismo dipende dalla base).Coordinate rispetto a una base →, per esempio u1↔(0,2,0,−1)u_1 \leftrightarrow (0, 2, 0, -1), e si lavora in R4\mathbb{R}^4.)


1. Dimensione e base di UU

UU è generato da 3 vettori, quindi dim⁡U≤3\dim U \le 3; è 33 solo se sono indipendenti. Si scrive una combinazione nulla e si raccolgono i viv_i:

λ1(2v2−v4)+λ2(v1+2v2−v3)+λ3(v1−v3+v4)=0⃗\lambda_1 (2v_2 - v_4) + \lambda_2 (v_1 + 2v_2 - v_3) + \lambda_3 (v_1 - v_3 + v_4) = \vec 0 (λ2+λ3) v1+(2λ1+2λ2) v2+(−λ2−λ3) v3+(−λ1+λ3) v4=0⃗.(\lambda_2 + \lambda_3)\, v_1 + (2\lambda_1 + 2\lambda_2)\, v_2 + (-\lambda_2 - \lambda_3)\, v_3 + (-\lambda_1 + \lambda_3)\, v_4 = \vec 0.

Per l'indipendenza dei viv_i tutti i coefficienti sono nulli:

{λ2+λ3=02λ1+2λ2=0−λ2−λ3=0−λ1+λ3=0\begin{cases} \lambda_2 + \lambda_3 = 0 \\ 2\lambda_1 + 2\lambda_2 = 0 \\ -\lambda_2 - \lambda_3 = 0 \\ -\lambda_1 + \lambda_3 = 0 \end{cases}

Dalla quarta λ1=λ3\lambda_1 = \lambda_3; dalla prima λ2=−λ3\lambda_2 = -\lambda_3. La seconda diventa 2λ3−2λ3=02\lambda_3 - 2\lambda_3 = 0 e la terza λ3−λ3=0\lambda_3 - \lambda_3 = 0: identità. λ3\lambda_3 resta libero: dipendenti.

Con λ3=1\lambda_3 = 1: λ1=1\lambda_1 = 1, λ2=−1\lambda_2 = -1, cioè u1−u2+u3=0⃗u_1 - u_2 + u_3 = \vec 0, ovvero

u3=u2−u1.u_3 = u_2 - u_1.

Verifica: u2−u1=v1+2v2−v3−2v2+v4=v1−v3+v4=u3u_2 - u_1 = v_1 + 2v_2 - v_3 - 2v_2 + v_4 = v_1 - v_3 + v_4 = u_3 ✓.

Si toglie u3u_3. Per u1,u2u_1, u_2 basta ripetere il sistema con λ3=0\lambda_3 = 0: la prima equazione dà λ2=0\lambda_2 = 0, la seconda λ1=0\lambda_1 = 0. Indipendenti.

dim⁡U=2,base di U: u1,u2.\dim U = 2, \qquad \text{base di } U: \ u_1, u_2.

Controllo con le coordinate e la riduzione a scala. Le coordinate rispetto a v1,…,v4v_1, \dots, v_4 sono u1↔(0,2,0,−1)u_1 \leftrightarrow (0, 2, 0, -1), u2↔(1,2,−1,0)u_2 \leftrightarrow (1, 2, -1, 0), u3↔(1,0,−1,1)u_3 \leftrightarrow (1, 0, -1, 1). Poiché l'isomorfismo delle coordinateLa funzione che manda ogni vettore nelle sue coordinate è lineare e biiettiva, quindi conserva dipendenza e indipendenza lineare.Coordinate rispetto a una base → conserva le relazioni lineari, si può ridurre a scala la matrice delle coordinate (come nel passo 1 del metodoLe righe non nulle della forma a scala sono una base del sottospazio generato dalle righe.Metodo - basi, equazioni cartesiane, intersezione e somma di sottospazi →):

(020−112−1010−11)→R1↔R2(12−10020−110−11)→R3→R3−R1(12−10020−10−201)→R3→R3+R2(12−10020−10000)\begin{pmatrix} 0 & 2 & 0 & -1 \\ 1 & 2 & -1 & 0 \\ 1 & 0 & -1 & 1 \end{pmatrix} \xrightarrow{R_1 \leftrightarrow R_2} \begin{pmatrix} 1 & 2 & -1 & 0 \\ 0 & 2 & 0 & -1 \\ 1 & 0 & -1 & 1 \end{pmatrix} \xrightarrow{R_3 \to R_3 - R_1} \begin{pmatrix} 1 & 2 & -1 & 0 \\ 0 & 2 & 0 & -1 \\ 0 & -2 & 0 & 1 \end{pmatrix} \xrightarrow{R_3 \to R_3 + R_2} \begin{pmatrix} 1 & 2 & -1 & 0 \\ 0 & 2 & 0 & -1 \\ 0 & 0 & 0 & 0 \end{pmatrix}

(lo scambio serve perché la prima riga ha 00 al primo posto e non può fare da pivot). Due righe non nulle: dim⁡U=2\dim U = 2 ✓.


2. Dimensione e base di WW

λ1w1+λ2w2+λ3w3=λ1v1+(λ2−λ3) v2+(2λ2+λ3) v3+(λ1+λ3) v4=0⃗\lambda_1 w_1 + \lambda_2 w_2 + \lambda_3 w_3 = \lambda_1 v_1 + (\lambda_2 - \lambda_3)\, v_2 + (2\lambda_2 + \lambda_3)\, v_3 + (\lambda_1 + \lambda_3)\, v_4 = \vec 0

{λ1=0λ2−λ3=02λ2+λ3=0λ1+λ3=0\begin{cases} \lambda_1 = 0 \\ \lambda_2 - \lambda_3 = 0 \\ 2\lambda_2 + \lambda_3 = 0 \\ \lambda_1 + \lambda_3 = 0 \end{cases}

Dalla prima λ1=0\lambda_1 = 0; allora la quarta dà λ3=−λ1=0\lambda_3 = -\lambda_1 = 0; dalla seconda λ2=λ3=0\lambda_2 = \lambda_3 = 0 (e la terza è soddisfatta). Solo la soluzione nulla: indipendenti.

Controllo con le coordinate: w1↔(1,0,0,1)w_1 \leftrightarrow (1, 0, 0, 1), w2↔(0,1,2,0)w_2 \leftrightarrow (0, 1, 2, 0), w3↔(0,−1,1,1)w_3 \leftrightarrow (0, -1, 1, 1); con R3→R3+R2R_3 \to R_3 + R_2 la terza riga diventa (0,0,3,1)(0, 0, 3, 1) e la matrice è a scala con 3 righe non nulle ✓.

dim⁡W=3,base di W: w1,w2,w3.\dim W = 3, \qquad \text{base di } W: \ w_1, w_2, w_3.


3. Intersezione e somma

Come impostare l'intersezione

Un vettore v∈U∩Wv \in U \cap W sta in UU, quindi è combinazione della base di UU, e sta in WW, quindi è combinazione della base di WW:

v=α1u1+α2u2=β1w1+β2w2+β3w3.v = \alpha_1 u_1 + \alpha_2 u_2 = \beta_1 w_1 + \beta_2 w_2 + \beta_3 w_3.

Le incognite sono α1,α2,β1,β2,β3\alpha_1, \alpha_2, \beta_1, \beta_2, \beta_3. Si esprime tutto con i viv_i:

α1u1+α2u2=α2 v1+(2α1+2α2) v2−α2 v3−α1 v4,\alpha_1 u_1 + \alpha_2 u_2 = \alpha_2\, v_1 + (2\alpha_1 + 2\alpha_2)\, v_2 - \alpha_2\, v_3 - \alpha_1\, v_4, β1w1+β2w2+β3w3=β1 v1+(β2−β3) v2+(2β2+β3) v3+(β1+β3) v4.\beta_1 w_1 + \beta_2 w_2 + \beta_3 w_3 = \beta_1\, v_1 + (\beta_2 - \beta_3)\, v_2 + (2\beta_2 + \beta_3)\, v_3 + (\beta_1 + \beta_3)\, v_4.

Due combinazioni dei viv_i sono uguali se e solo se hanno gli stessi coefficienti (perché la loro differenza è nulla e i viv_i sono indipendenti):

{α2=β1(v1)2α1+2α2=β2−β3(v2)−α2=2β2+β3(v3)−α1=β1+β3(v4)\begin{cases} \alpha_2 = \beta_1 & (v_1) \\ 2\alpha_1 + 2\alpha_2 = \beta_2 - \beta_3 & (v_2) \\ -\alpha_2 = 2\beta_2 + \beta_3 & (v_3) \\ -\alpha_1 = \beta_1 + \beta_3 & (v_4) \end{cases}

Risoluzione

4 equazioni, 5 incognite: ci si aspettano infinite soluzioni.

  • Da (v1)(v_1): β1=α2\beta_1 = \alpha_2.
  • Da (v4)(v_4): α1=−β1−β3=−α2−β3\alpha_1 = -\beta_1 - \beta_3 = -\alpha_2 - \beta_3.
  • In (v2)(v_2): 2(−α2−β3)+2α2=−2α2−2β3+2α2=−2β32(-\alpha_2 - \beta_3) + 2\alpha_2 = -2\alpha_2 - 2\beta_3 + 2\alpha_2 = -2\beta_3, quindi −2β3=β2−β3-2\beta_3 = \beta_2 - \beta_3 e β2=−β3\beta_2 = -\beta_3.
  • In (v3)(v_3), con β2=−β3\beta_2 = -\beta_3: −α2=2(−β3)+β3=−β3-\alpha_2 = 2(-\beta_3) + \beta_3 = -\beta_3, quindi α2=β3\alpha_2 = \beta_3.
  • Tornando indietro: β1=α2=β3\beta_1 = \alpha_2 = \beta_3 e α1=−α2−β3=−2β3\alpha_1 = -\alpha_2 - \beta_3 = -2\beta_3.

Tutto è espresso in funzione di β3\beta_3, che resta libero: α1=−2β3\alpha_1 = -2\beta_3, α2=β3\alpha_2 = \beta_3, β1=β3\beta_1 = \beta_3, β2=−β3\beta_2 = -\beta_3.

Un parametro libero significa che le soluzioni formano uno spazio di dimensione 1, e a ogni soluzione corrisponde un vettore di U∩WU \cap W (i coefficienti α1,α2\alpha_1, \alpha_2 rispetto alla base u1,u2u_1, u_2 determinano il vettore in modo unico). Quindi dim⁡(U∩W)=1\dim(U \cap W) = 1.

Un vettore di base

Si pone β3=1\beta_3 = 1 (non 00: darebbe il vettore nullo, che sta sempre nell'intersezione e non serve). Allora α1=−2\alpha_1 = -2, α2=1\alpha_2 = 1:

v=−2u1+u2=−4v2+2v4+v1+2v2−v3=v1−2v2−v3+2v4.v = -2u_1 + u_2 = -4v_2 + 2v_4 + v_1 + 2v_2 - v_3 = v_1 - 2v_2 - v_3 + 2v_4.

Controllo con l'altra espressione (β1=1\beta_1 = 1, β2=−1\beta_2 = -1, β3=1\beta_3 = 1):

w1−w2+w3=(v1+v4)−(v2+2v3)+(−v2+v3+v4)=v1−2v2−v3+2v4 ✓w_1 - w_2 + w_3 = (v_1 + v_4) - (v_2 + 2v_3) + (-v_2 + v_3 + v_4) = v_1 - 2v_2 - v_3 + 2v_4 \ \checkmark

Le due espressioni coincidono: i conti sono giusti. All'esame questo controllo costa poco e scopre subito eventuali errori.

dim⁡(U∩W)=1,base di U∩W: v1−2v2−v3+2v4.\dim(U \cap W) = 1, \qquad \text{base di } U \cap W: \ v_1 - 2v_2 - v_3 + 2v_4.

La somma con Grassmann

Per la formula di Grassmanndim(U + W) = dim U + dim W − dim(U ∩ W).Formula di Grassmann e somma diretta →:

dim⁡(U+W)=dim⁡U+dim⁡W−dim⁡(U∩W)=2+3−1=4.\dim(U + W) = \dim U + \dim W - \dim(U \cap W) = 2 + 3 - 1 = 4.

U+WU + W è un sottospazio di VV con la stessa dimensione di VV (dim⁡V=4\dim V = 4, perché VV ha una base di 4 vettori), quindi coincide con VVUn sottospazio con la stessa dimensione dello spazio è tutto lo spazio.Dimensione →: U+W=VU + W = V. Una base di U+WU + W è quindi una base di VV, e il testo ne fornisce una:

dim⁡(U+W)=4,base di U+W: v1,v2,v3,v4.\dim(U + W) = 4, \qquad \text{base di } U + W: \ v_1, v_2, v_3, v_4.


Sottospazio Dimensione Base
UU 22 u1,u2u_1, u_2 (con u3=u2−u1u_3 = u_2 - u_1)
WW 33 w1,w2,w3w_1, w_2, w_3
U∩WU \cap W 11 v1−2v2−v3+2v4v_1 - 2v_2 - v_3 + 2v_4
U+WU + W 44 v1,v2,v3,v4v_1, v_2, v_3, v_4

Errori comuni

  • Uguagliare i coefficienti senza giustificarlo: si può fare perché v1,…,v4v_1, \dots, v_4 sono indipendenti; con vettori dipendenti non sarebbe lecito.
  • Contare i parametri liberi tra le incognite sbagliate: la dimensione dell'intersezione è il numero di parametri liberi del sistema in α,β\alpha, \beta quando si usano basi di UU e di WW (con generatori dipendenti il conteggio sarebbe falsato).
  • Cercare una base di U+WU + W con altri conti quando Grassmann dice già che U+W=VU + W = V.

Versione ripasso

Testo. Sia VV uno spazio vettoriale reale con base {v1,v2,v3,v4}\{v_1, v_2, v_3, v_4\}. Siano U=⟨u1,u2,u3⟩,u1=2v2−v4,u2=v1+2v2−v3,u3=v1−v3+v4,U = \langle u_1, u_2, u_3 \rangle, \qquad u_1 = 2v_2 - v_4,\quad u_2 = v_1 + 2v_2 - v_3,\quad u_3 = v_1 - v_3 + v_4, W=⟨w1,w2,w3⟩,w1=v1+v4,w2=v2+2v3,w3=−v2+v3+v4.W = \langle w_1, w_2, w_3 \rangle, \qquad w_1 = v_1 + v_4,\quad w_2 = v_2 + 2v_3,\quad w_3 = -v_2 + v_3 + v_4.

  1. Trovare dimensione e base di UU.
  2. Trovare dimensione e base di WW.
  3. Trovare dimensione e base di U∩WU \cap W e di U+WU + W.

L'idea chiave

Poiché {v1,v2,v3,v4}\{v_1, v_2, v_3, v_4\} è una base, ogni vettore è univocamente determinato dai suoi coefficienti. Si lavora identificando i vettori con le loro coordinateFissata una base, ogni vettore ha una e una sola lista di coordinate; la funzione vettore → coordinate è un isomorfismo con K^n, quindi ogni spazio di dimensione n si comporta come K^n (ma l'isomorfismo dipende dalla base).Coordinate rispetto a una base → in R4\mathbb{R}^4.

1. Dimensione e base di UU

Si imposta la combinazione lineare nulla dei generatori: λ1(2v2−v4)+λ2(v1+2v2−v3)+λ3(v1−v3+v4)=0⃗\lambda_1 (2v_2 - v_4) + \lambda_2 (v_1 + 2v_2 - v_3) + \lambda_3 (v_1 - v_3 + v_4) = \vec 0 Raccogliendo rispetto alla base {vi}\{v_i\}, si ottiene il sistema: {λ2+λ3=02λ1+2λ2=0−λ2−λ3=0−λ1+λ3=0\begin{cases} \lambda_2 + \lambda_3 = 0 \\ 2\lambda_1 + 2\lambda_2 = 0 \\ -\lambda_2 - \lambda_3 = 0 \\ -\lambda_1 + \lambda_3 = 0 \end{cases} Il sistema ammette infinite soluzioni (λ1=λ3,λ2=−λ3\lambda_1 = \lambda_3, \lambda_2 = -\lambda_3), quindi i vettori sono linearmente dipendenti: u3=u2−u1u_3 = u_2 - u_1.

  • dim⁡U=2\dim U = 2, base di UU: {u1,u2}\{u_1, u_2\}.

2. Dimensione e base di WW

Analogamente, ponendo λ1w1+λ2w2+λ3w3=0\lambda_1 w_1 + \lambda_2 w_2 + \lambda_3 w_3 = 0 si ottiene un sistema con la sola soluzione nulla (λ1=λ2=λ3=0)(\lambda_1 = \lambda_2 = \lambda_3 = 0).

  • dim⁡W=3\dim W = 3, base di WW: {w1,w2,w3}\{w_1, w_2, w_3\}.

3. Intersezione e somma

Intersezione U∩WU \cap W

Si imposta l'uguaglianza tra le combinazioni lineari delle basi: α1u1+α2u2=β1w1+β2w2+β3w3\alpha_1 u_1 + \alpha_2 u_2 = \beta_1 w_1 + \beta_2 w_2 + \beta_3 w_3. Confrontando i coefficienti dei viv_i: {α2=β12α1+2α2=β2−β3−α2=2β2+β3−α1=β1+β3\begin{cases} \alpha_2 = \beta_1 \\ 2\alpha_1 + 2\alpha_2 = \beta_2 - \beta_3 \\ -\alpha_2 = 2\beta_2 + \beta_3 \\ -\alpha_1 = \beta_1 + \beta_3 \end{cases} Risolvendo, si trova un parametro libero (β3\beta_3): α1=−2β3,α2=β3,β1=β3,β2=−β3\alpha_1 = -2\beta_3, \alpha_2 = \beta_3, \beta_1 = \beta_3, \beta_2 = -\beta_3.

  • Ponendo β3=1\beta_3 = 1, il vettore di base è −2u1+u2=v1−2v2−v3+2v4-2u_1 + u_2 = v_1 - 2v_2 - v_3 + 2v_4.
  • dim⁡(U∩W)=1\dim(U \cap W) = 1.

Somma U+WU + W

Per la formula di Grassmanndim(U + W) = dim U + dim W − dim(U ∩ W).Formula di Grassmann e somma diretta →: dim⁡(U+W)=2+3−1=4.\dim(U + W) = 2 + 3 - 1 = 4. Essendo dim⁡(U+W)=dim⁡V\dim(U + W) = \dim V, allora U+W=VU + W = V.

  • dim⁡(U+W)=4\dim(U + W) = 4, base di U+WU + W: {v1,v2,v3,v4}\{v_1, v_2, v_3, v_4\}.

Errori comuni

  • Dimenticare che l'uguaglianza dei coefficienti è valida solo grazie all'indipendenza della base {vi}\{v_i\}.
  • Utilizzare generatori non ridotti a base nel calcolo dell'intersezione, falsando il numero di parametri liberi.

Teoria collegata