Formula di Grassmann e somma diretta

Lezione 7 (videolezione n. 7), applicata nella lezione 8. Prerequisiti: Intersezione, somma e sottospazio generatoL'intersezione di due sottospazi è un sottospazio, l'unione in generale no. Al suo posto si usa la somma U + W = {u + w}, il più piccolo sottospazio che contiene entrambi. Il sottospazio generato da un insieme S è l'insieme di tutte le combinazioni lineari di vettori di S.Intersezione, somma e sottospazio generato →, DimensioneTutte le basi di uno spazio vettoriale hanno lo stesso numero di vettori, la dimensione (dim K^n = n). Da ogni sistema di generatori si estrae una base, ogni insieme di vettori indipendenti si completa a una base, e in dimensione n bastano n vettori indipendenti (o n generatori) per avere una base.Dimensione →. Esercizi svolti: Esercizio 7 · intersezione e somma con vettori dati in una base, Esercizio 9 · base, coordinate e somma diretta in R4, Esercizio 11 · domande teoriche su dimensione, somma e intersezione (lezione 27). Seguito: Metodo - basi, equazioni cartesiane, intersezione e somma di sottospaziProcedura da esame per i sottospazi di K^n: base da generatori (riduzione a scala delle righe), base da equazioni (incognite libere), equazioni cartesiane da una base (eliminare i parametri), intersezione (mettere a sistema), somma (unire i generatori) e Grassmann come controllo.Metodo - basi, equazioni cartesiane, intersezione e somma di sottospazi →.

La formula

Teorema (formula di Grassmann). Se $U$ e $W$ sono sottospazi di uno spazio vettoriale $V$ (finitamente generato),

$$\dim(U + W) = \dim U + \dim W - \dim(U \cap W).$$

L'idea: contare senza ripetere

Con gli insiemi finiti vale $|A \cup B| = |A| + |B| - |A \cap B|$: contando gli elementi di $A$ e poi quelli di $B$, gli elementi comuni vengono contati due volte, quindi se ne toglie una copia. Per i sottospazi si contano i vettori di base invece degli elementi: la base dell'intersezione viene contata sia dentro la base di $U$ sia dentro quella di $W$.

Dimostrazione

Si costruiscono basi "compatibili" dei quattro sottospazi, partendo dal più piccolo.

1. Base di $U \cap W$. Sia $v_1, \dots, v_r$ una base di $U \cap W$, quindi $\dim(U \cap W) = r$.
2. Base di $U$. I $v_i$ stanno in $U$ e sono indipendenti, quindi si possono completareOgni insieme di vettori linearmente indipendenti si completa a una base aggiungendo opportuni vettori.Dimensione → a una base di $U$: $v_1, \dots, v_r, u_1, \dots, u_s$. Quindi $\dim U = r + s$.
3. Base di $W$. Allo stesso modo si completa a una base di $W$: $v_1, \dots, v_r, w_1, \dots, w_t$. Quindi $\dim W = r + t$.
4. Candidata base di $U + W$: $v_1, \dots, v_r, u_1, \dots, u_s, w_1, \dots, w_t$ ($r + s + t$ vettori).

Generano $U + W$. Ogni vettore di $U + W$ è $u + w$; $u$ è combinazione di $v_i, u_j$ (base di $U$), $w$ di $v_i, w_k$ (base di $W$), quindi $u + w$ è combinazione di tutti.

Sono indipendenti. Si sa che i $v$ con gli $u$ sono indipendenti e che i $v$ con i $w$ lo sono; non si sa ancora se lo sono tutti insieme. Si scrive una combinazione nulla:

$$\lambda_1 v_1 + \dots + \lambda_r v_r + \alpha_1 u_1 + \dots + \alpha_s u_s + \beta_1 w_1 + \dots + \beta_t w_t = \vec 0.$$

Si portano i $w$ a destra:

$$\underbrace{\lambda_1 v_1 + \dots + \lambda_r v_r + \alpha_1 u_1 + \dots + \alpha_s u_s}_{\in\, U} = \underbrace{-\beta_1 w_1 - \dots - \beta_t w_t}_{\in\, W}.$$

Il vettore a sinistra sta in $U$, quello a destra in $W$, ma sono lo stesso vettore: quindi sta in $U \cap W$, e si scrive come combinazione dei soli $v_1, \dots, v_r$, diciamo $-\beta_1 w_1 - \dots - \beta_t w_t = \gamma_1 v_1 + \dots + \gamma_r v_r$. Portando tutto da una parte si ha una combinazione nulla di $v_1, \dots, v_r, w_1, \dots, w_t$, che sono indipendenti (base di $W$): tutti i coefficienti sono nulli, in particolare $\beta_1 = \dots = \beta_t = 0$. Ripartendo dalla combinazione iniziale, restano solo $v$ e $u$, che sono indipendenti (base di $U$): quindi anche $\lambda_i = 0$ e $\alpha_j = 0$.

Conto finale. $\dim(U + W) = r + s + t$ e

$$\dim U + \dim W - \dim(U \cap W) = (r + s) + (r + t) - r = r + s + t \ \checkmark \quad ∎$$

Esempi

• In $\mathbb{R}^3$, due piani distinti per l'origine: $\dim U = \dim W = 2$, e $U + W$ contiene propriamente un piano, quindi $U + W = \mathbb{R}^3$. Grassmann dà $3 = 2 + 2 - \dim(U \cap W)$, cioè $\dim(U \cap W) = 1$: due piani distinti per l'origine si tagliano in una retta.
• In $\mathbb{R}^3$, una retta $U$ non contenuta in un piano $W$: $U \cap W = \{\vec 0\}$ e $\dim(U + W) = 1 + 2 - 0 = 3$.
• In $\mathbb{R}^4$, due piani ($\dim 2$) possono avere $U \cap W = \{\vec 0\}$: allora $U + W = \mathbb{R}^4$. In $\mathbb{R}^3$ questo è impossibile.

Come si usa negli esercizi

La formula lega quattro numeri: se se ne conoscono tre si ricava il quarto. Di solito $\dim U$ e $\dim W$ si trovano subito; poi si calcola una tra intersezione e somma, e l'altra dimensione viene dalla formula. Se $\dim(U + W) = \dim V$, allora $U + W = V$ e come base si può prendere quella di $V$ (per esempio la canonica), senza altri conti. Procedura completa: Metodo - basi, equazioni cartesiane, intersezione e somma di sottospaziProcedura da esame per i sottospazi di K^n: base da generatori (riduzione a scala delle righe), base da equazioni (incognite libere), equazioni cartesiane da una base (eliminare i parametri), intersezione (mettere a sistema), somma (unire i generatori) e Grassmann come controllo.Metodo - basi, equazioni cartesiane, intersezione e somma di sottospazi →.

Somma diretta

Se $U \cap W = \{\vec 0\}$, la somma $U + W$ si dice diretta e si scrive $U \oplus W$.

In questo caso Grassmann diventa $\dim(U \oplus W) = \dim U + \dim W$.

Teorema. Se la somma è diretta, ogni $v \in U \oplus W$ si scrive in modo unico come $v = u + w$ con $u \in U$, $w \in W$.

Dimostrazione. Siano $u_1 + w_1 = u_2 + w_2$ due scritture. Allora

$$\underbrace{u_1 - u_2}_{\in\, U} = \underbrace{w_2 - w_1}_{\in\, W}.$$

È lo stesso vettore, quindi sta in $U \cap W = \{\vec 0\}$: $u_1 - u_2 = \vec 0$ e $w_2 - w_1 = \vec 0$, cioè $u_1 = u_2$, $w_1 = w_2$ ∎.

(Se la somma non è diretta la scrittura non è unica: se $z \ne \vec 0$ sta in $U \cap W$, allora $u + w = (u + z) + (w - z)$ sono due scritture diverse.)

Esempio. In $\mathbb{R}^2$, $\mathbb{R}^2 = \langle e_1 \rangle \oplus \langle e_2 \rangle$: ogni $(a, b)$ si scrive in modo unico come $(a, 0) + (0, b)$. In $\mathbb{R}^3$, un piano per l'origine e una retta per l'origine non contenuta nel piano danno $\mathbb{R}^3$ in somma diretta.

Trovare $U'$ con $U' \oplus W = V$ (domanda frequente agli esami): serve $\dim U' = \dim V - \dim W$ e $U' \cap W = \{\vec 0\}$; equivalentemente, una base di $U'$ unita a una base di $W$ deve dare una base di $V$. Esempio nell'Esercizio 9 · base, coordinate e somma diretta in R4.

Riassunto

Errori comuni

• Dimenticare il termine $-\dim(U \cap W)$: $\dim(U + W) = \dim U + \dim W$ solo se la somma è diretta.
• Scrivere $U \cap W = \emptyset$ per dire "somma diretta": la condizione è $U \cap W = \{\vec 0\}$.
• Usare Grassmann con dimensioni non verificate: se i generatori di $U$ non sono indipendenti, $\dim U$ non è il loro numero.