Formula di Grassmann e somma diretta
In questa pagina 4
In questa pagina 4
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. 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 e sono sottospazi di uno spazio vettoriale (finitamente generato),
Esempio. Due piani distinti per l'origine in : e , quindi : si intersecano in una retta.
L'idea: contare senza ripetere
Con gli insiemi finiti (unione e intersezione di Operazioni tra insiemiUnione, intersezione, differenza, complementare e prodotto cartesiano, con le leggi di De Morgan e il legame con la logica.Operazioni tra insiemi →, = numero di elementi) vale . Per esempio con e : . Contando gli elementi di e poi quelli di , 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 sia dentro quella di .
Dimostrazione
Si costruiscono basi "compatibili" dei quattro sottospazi, partendo dal più piccolo.
- Base di . Sia una base di , quindi .
- Base di . I stanno in 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 : . Quindi .
- Base di . Allo stesso modo si completa a una base di : . Quindi .
- Candidata base di : ( vettori).
Generano . Ogni vettore di è (descrizione della sommaL'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 →); è combinazione di (base di ), di (base di ), quindi è combinazione di tutti (i coefficienti dei si sommano).
Sono indipendenti. Si sa che i con gli sono indipendenti e che i con i lo sono; non si sa ancora se lo sono tutti insieme. Si scrive una combinazione nulla:
Si portano i a destra:
Il vettore a sinistra sta in (combinazione di vettori di , che è chiuso per combinazioni), quello a destra in (stesso motivo), ma sono lo stesso vettore: quindi sta in , e si scrive come combinazione della base di , diciamo . Portando tutto da una parte: È una combinazione nulla di , che sono indipendenti (base di ): tutti i coefficienti sono nulli, in particolare . Ripartendo dalla combinazione iniziale, restano una combinazione nulla di e , che sono indipendenti (base di ): quindi anche e .
Conto finale. e
Esempi
- In , due piani distinti per l'origine: , e contiene propriamente un piano, quindi . Il perché: e i due sono diversi (c'è un vettore di fuori da ), quindi (se fosse , per 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 → sarebbe ); e . Grassmann dà , cioè : due piani distinti per l'origine si tagliano in una retta.
- In , una retta non contenuta in un piano : ha dimensione , e non è tutta (perché ), quindi ha dimensione : e .
- In , due piani () possono avere : per esempio (vettori ) e (vettori ) hanno in comune solo . Allora e . In questo è impossibile: sarebbe .
- In , due rette distinte per l'origine: (una retta che ne contiene un'altra per l'origine coincide con lei) e , quindi (il disegno è in 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 →).
Come si usa negli esercizi
La formula lega quattro numeri: se se ne conoscono tre si ricava il quarto. Di solito e si trovano subito; poi si calcola una tra intersezione e somma, e l'altra dimensione viene dalla formula. Se , allora e come base si può prendere quella di (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
Definizione (somma diretta). Se , la somma si dice diretta e si scrive .
Esempio. In , : la somma è diretta e .
In questo caso Grassmann diventa .
Teorema (scrittura unica nella somma diretta). Se la somma è diretta, ogni si scrive in modo unico come con , .
Dimostrazione. Siano due scritture. Sommando a entrambi i membri si ha
È lo stesso vettore, quindi sta in : e , cioè , ∎.
( perché è chiuso per combinazioni, per lo stesso motivo.)
(Se la somma non è diretta la scrittura non è unica: se sta in , allora sono due scritture diverse, con e perché sta in entrambi.)
Esempio. In , : ogni si scrive in modo unico come . In , un piano per l'origine e una retta per l'origine non contenuta nel piano danno in somma diretta.
Trovare con (domanda frequente agli esami): serve e ; equivalentemente, una base di unita a una base di deve dare una base di . In pratica si completaTutte 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 → una base di a una base di , e i vettori aggiunti sono una base di . Esempio nell'Esercizio 9 · base, coordinate e somma diretta in R4.
Il complementare non è unico. In sia (la retta ). Ogni altra retta per l'origine va bene, perché e due rette distinte per l'origine si incontrano solo in . Con il vettore si scrive con (seconda componente) e (prima): , cioè . Con : e ; sommando, , quindi , e . La componente in cambia con il complementare scelto: in un caso, nell'altro.
Grafico interattivo: R² = W ⊕ U′ con W = ⟨(1, 2)⟩ e due complementari diversi: con U′₁ (asse x) v = (3, 3) = (3/2, 3) + (3/2, 0), con U′₂: x + y = 0 v = (2, 4) + (1, −1)
Riassunto
| Situazione | Formula |
|---|---|
| sempre | |
| (somma diretta) | |
| sempre | e |
Errori comuni
- Dimenticare il termine : solo se la somma è diretta.
- Scrivere per dire "somma diretta": la condizione è .
- Usare Grassmann con dimensioni non verificate: se i generatori di non sono indipendenti, non è il loro numero.
Versione ripasso
La formula
Teorema (formula di Grassmann). Se e sono sottospazi di uno spazio vettoriale :
Idea: La base dell'intersezione viene contata due volte sommando le basi di e ; sottrarla corregge il conteggio.
Dimostrazione. Si costruisce una base partendo da (dimensione ), completandolaTutte 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 → a base di (aggiungendo vettori) e a base di (aggiungendo vettori). L'unione dei vettori così ottenuti () è base di : genera perché è combinazione di tutti; indipendente perché in una combinazione nulla, portando i a destra, si ottiene un vettore di , che si scrive con i soli , e le basi di e di forzano tutti i coefficienti a zero. Il conto delle dimensioni segue direttamente: e .
Esempi. In due piani distinti per l'origine: e , quindi si tagliano in una retta. Una retta non contenuta in un piano: . In due piani possono avere (in è impossibile).
Uso negli esercizi: la formula lega quattro numeri, se ne conoscono tre si ricava il quarto; di solito si calcola una tra somma e intersezione. Se allora e come base si prende quella di (Esercizio 7 · intersezione e somma con vettori dati in una base, 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 , la somma è diretta () e .
Teorema. Se la somma è diretta, ogni ha una scrittura unica con .
Dimostrazione. Se , allora . Poiché il vettore appartiene sia a che a , deve essere (poiché l'intersezione è ), quindi e .
Se la somma non è diretta la scrittura non è unica: con in , . Esempio: .
Trovare con : serve e , cioè una base di unita a una di è una base di (Esercizio 9 · base, coordinate e somma diretta in R4). Domande teoriche sulle dimensioni: Esercizio 11 · domande teoriche su dimensione, somma e intersezione.
Riassunto
| Situazione | Formula |
|---|---|
| Sempre | |
| Sempre |
Errori comuni
- Dimenticare il termine .
- Scrivere : la condizione per la somma diretta è .
- Usare Grassmann senza che i generatori siano base (es. se non sono indipendenti).
Esercizi su questo argomento
- Esercizio 7 · intersezione e somma con vettori dati in una base
- Esercizio 8 · base, equazioni cartesiane, intersezione e somma in R4
- Esercizio 9 · base, coordinate e somma diretta in R4
- Esercizio 10 · sottospazio con un parametro, intersezione e somma
- Esercizio 11 · domande teoriche su dimensione, somma e intersezione
- Esercizio 25 · intersezione tra nucleo e immagine (appello 14/6/2022)
- Esercizio 26 · nucleo, immagine e matrice di una restrizione (appello 3/2/2026)
- Esercizio 80 · U⊥ da un'equazione, Gram-Schmidt e vettore di minima distanza
- Esercizio 83 · U da un sistema, U⊥, proiezioni su U e U⊥
- Esercizio 108 · un sottospazio affine di A4 (appello 1/2/2022)