Intersezione, somma e sottospazio generato
In questa pagina 5
Lezioni 4–5 (videolezioni n. 4 e 5). Prerequisito: Sottospazi vettorialiUn sottospazio vettoriale è un sottoinsieme che è spazio vettoriale con le stesse operazioni: basta che sia chiuso per somma e per prodotto per scalari. Deve contenere il vettore nullo. In R^2 i sottospazi sono {0}, le rette per l'origine e tutto R^2.Sottospazi vettoriali →. Seguito: Generatori e basiDei vettori generano V se ogni vettore di V è loro combinazione lineare; una base è un insieme di generatori linearmente indipendenti, e allora ogni vettore si scrive in modo unico come combinazione dei vettori di base. Lemma dello scambio: i vettori indipendenti non sono mai più dei generatori.Generatori e basi →, Formula di Grassmann e somma direttaFormula di Grassmann: dim(U + W) = dim U + dim W − dim(U ∩ W), come contare gli elementi di un'unione senza contare due volte quelli comuni. Se U ∩ W = {0} la somma è diretta, U ⊕ W, e ogni vettore si scrive in modo unico come u + w.Formula di Grassmann e somma diretta →.
Dati due sottospazi e di uno spazio vettoriale , ci si chiede se le operazioni tra insiemi, intersezione e unione, producono ancora sottospazi.
Intersezione
.
Teorema. Se e sono sottospazi di , anche è un sottospazio di .
Dimostrazione. Somma. Siano . Allora , e siccome è un sottospazio ; allo stesso modo dà . Quindi sta in entrambi, cioè in .
Prodotto. Se e : perché è sottospazio, perché è sottospazio, quindi ∎.
L'intersezione non è mai vuota. Tra insiemi qualsiasi l'intersezione può essere , tra sottospazi no: sta in ogni sottospazio, quindi . Il caso "più piccolo" possibile è (si scrive anche ), che non è l'insieme vuoto: contiene un elemento, il vettore nullo.
Unione: in generale non è un sottospazio
("oppure" inclusivo).
Provando a ripetere la dimostrazione ci si blocca: se e , la somma non ha motivo di stare né in né in . Un controesempio chiude la questione: in siano
Sono sottospazi, e , stanno nell'unione. Ma non ha nessuna componente nulla, quindi non sta né in né in : l'unione dei due assi non è chiusa per la somma.
(In casi particolari l'unione è un sottospazio: se allora .)
Somma di sottospazi
Visto che l'unione non va bene, la si sostituisce con il più piccolo sottospazio che la contiene.
La somma di e , indicata con , è il più piccolo sottospazio di che contiene .
Esempio geometrico. In siano e due rette distinte per l'origine. L'unione (le due rette) non è un sottospazio. Il più piccolo sottospazio che le contiene è il piano che contiene entrambe: è quel piano. In effetti la somma di un vettore di e uno di , fatta con la regola del parallelogramma, sta in quel piano.
Teorema. , cioè la somma contiene esattamente tutte le somme di un vettore di con un vettore di (da qui il nome e il simbolo).
Dimostrazione. Sia . Bisogna dimostrare tre cose.
(a) contiene e . Ogni si scrive con (ogni sottospazio contiene il vettore nullo), quindi . Allo stesso modo .
(b) è contenuto in ogni sottospazio che contiene e . Per dimostrare che è il più piccolo, si prende un qualunque sottospazio e si fa vedere che . Se e , allora , e siccome è chiuso per la somma . Quindi ogni elemento di sta in .
(c) è un sottospazio. Siano e in . Riordinando (associativa e commutativa)
perché e sono chiusi per la somma. E per : con , , quindi ∎.
| Operazione | È un sottospazio? | Contiene |
|---|---|---|
| sempre | i vettori comuni (almeno ) | |
| in generale no | solo i vettori di e quelli di | |
| sempre | tutte le somme |
Sottospazio generato da un insieme di vettori
La stessa idea vale partendo da un insieme qualsiasi di vettori (che di solito non è un sottospazio).
Il sottospazio generato da , indicato con (in alcuni testi , "lineare generato"), è il più piccolo sottospazio di che contiene .
Teorema. è l'insieme di tutte le combinazioni lineari (finite) di vettori di :
La dimostrazione è identica a quella della somma: le combinazioni lineari contengono (ogni ), stanno in ogni sottospazio che contiene (che è chiuso per combinazioni lineari) e formano un sottospazio (somma di combinazioni e multiplo di una combinazione sono ancora combinazioni). Se si scrive .
Legame con la somma: se e , allora : per generare la somma basta mettere insieme i generatori. È il modo pratico di calcolare una somma (vedi 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 →).
Com'è fatto e
- Un vettore : le combinazioni lineari di un solo vettore sono i suoi multipli . Si ottiene la retta per l'origine nella direzione di . Se , .
- Due vettori non nulli: se sono paralleli ( multiplo di ) ogni combinazione è ancora parallela a loro e è una retta; se non sono paralleli è il piano per l'origine che li contiene.
Esempio. In , è un piano, quindi non è tutto : due vettori non bastano a generare lo spazio. Il conto è nell'Esercizio 4 · generatori di R2 e di R3, dove si trova che è combinazione dei due vettori solo se .
Errori comuni
- Scrivere : la somma è molto più grande dell'unione (due rette contro un piano).
- Dire che due sottospazi hanno intersezione vuota: al minimo l'intersezione è .
- Calcolare la somma intersecando le equazioni: le equazioni messe a sistema danno l'intersezione; per la somma si uniscono i generatori.