Intersezione, somma e sottospazio generato
In questa pagina 5
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 insiemiUnione, intersezione, differenza, complementare e prodotto cartesiano, con le leggi di De Morgan e il legame con la logica.Operazioni tra insiemi →, intersezione e unione, producono ancora sottospazi.
Intersezione
Definizione (intersezione di sottospazi). .
Esempio. In , (asse e asse ).
Teorema (l'intersezione di sottospazi è un sottospazio). Se e sono sottospazi di , anche è un sottospazio di .
Esempio. In l'intersezione dei piani e è l'asse , che è un sottospazio: i vettori che soddisfano entrambe le equazioni sono quelli della forma .
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: il connettivo "o" di Logica e quantificatoriProposizioni, connettivi, predicati e quantificatori (per ogni, esiste), con le regole per negarli.Logica e quantificatori →, vero anche quando valgono entrambe le condizioni).
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 (servirebbe la seconda componente ) né in (servirebbe la prima ): l'unione dei due assi non è chiusa per la somma.
Grafico interattivo: L'unione dei due assi non è un sottospazio: (3, 0) sta sull'asse x, (0, 2) sull'asse y, ma la somma (3, 2) non sta su nessuno dei due
(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.
Definizione (somma di sottospazi). La somma di e , indicata con , è il più piccolo sottospazio di che contiene .
Esempio. In la somma delle rette e è il piano .
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 (descrizione della somma). , cioè la somma contiene esattamente tutte le somme di un vettore di con un vettore di (da qui il nome e il simbolo).
Esempio. Con e : .
In due rette distinte per l'origine hanno per somma tutto il piano. Con (la retta ) e (la retta ), un vettore qualsiasi si scrive se Sommando le due equazioni , sottraendo la prima dalla seconda : , . C'è una soluzione per ogni , quindi . Per esempio : , , cioè .
Grafico interattivo: U + W = R² per le rette U: y = x e W: y = −x; il vettore (1, 3) è la somma di u = (2, 2) ∈ U e w = (−1, 1) ∈ W
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).
Definizione (sottospazio generato). Il sottospazio generato da , indicato con (in alcuni testi , "lineare generato"), è il più piccolo sottospazio di che contiene .
Esempio. è la retta per l'origine di direzione . I suoi punti sono : la seconda coordinata è il doppio della prima, quindi è la retta , cioè .
Grafico interattivo: ⟨(1, 2)⟩ è la retta 2x − y = 0: contiene tutti i multipli λ·(1, 2), qui per λ = −1, 1/2, 1 e 2
Teorema (il sottospazio generato è l'insieme delle combinazioni lineari). è l'insieme di tutte le combinazioni lineari (finite) di vettori di :
Esempio. è il piano di .
La dimostrazione ha gli stessi tre passi di quella della somma. Sia l'insieme di tutte le combinazioni lineari di vettori di .
(a) contiene : ogni è la combinazione (proprietà 7 di Spazi vettorialiUno spazio vettoriale su un campo K è un insieme con una somma di vettori e un prodotto per scalari che rispettano 7 proprietà. Esempi fondamentali: K^n (somma componente per componente), le funzioni da R in R, i polinomi.Spazi vettoriali →).
(b) sta in ogni sottospazio : è chiuso per prodotto per scalari e per somma, quindi contiene e poi la loro somma (aggiungendo un addendo alla volta).
(c) è un sottospazio: la somma di due combinazioni è una combinazione dei vettori , che stanno tutti in ; il multiplo (distributiva e proprietà 5) è ancora una combinazione ∎.
Se si scrive .
Legame con la somma: se e , allora : per generare la somma basta mettere insieme i generatori. Infatti un elemento di è con e , quindi è combinazione di tutti i generatori; viceversa una combinazione di tutti i generatori si spezza nella parte con gli (che sta in ) più la parte con i (che sta in ). È 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 . In breve: da la prima componente dà , la terza , cioè ; la seconda deve allora valere . Per esempio non sta nel piano ().
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.
Versione ripasso
Intersezione
.
Teorema. è sempre un sottospazio di .
Dimostrazione. Se , allora e per le proprietà di chiusura; lo stesso vale per il prodotto . Nota: sempre, quindi l'intersezione non è mai l'insieme vuoto.
Unione
.
Teorema. In generale non è un sottospazio (non è chiuso per la somma). Controesempio: In , siano asse e asse . e , ma .
Somma di sottospazi
La somma è il più piccolo sottospazio che contiene . .
Teorema. è un sottospazio di . Esempio: due rette distinte per l'origine in hanno per somma il piano che le contiene. Dimostrazione: (a) e stanno in ; (b) se è un sottospazio che contiene e , contiene ogni , quindi (è il più piccolo); (c) resta della forma "elemento di + elemento di ", analogamente per il prodotto per uno scalare.
| 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
è il più piccolo sottospazio che contiene l'insieme . È l'insieme di tutte le combinazioni lineariUna combinazione lineare è una somma di vettori moltiplicati per scalari. I vettori sono linearmente indipendenti se l'unica combinazione che dà il vettore nullo è quella con tutti i coefficienti nulli; altrimenti sono dipendenti, e allora uno di essi è combinazione lineare degli altri.Combinazioni lineari e dipendenza lineare → finite di vettori di :
Legame con la somma: Se e , allora .
Casi notevoli
- (): retta per l'origine.
- : piano se linearmente indipendenti, retta se sono paralleli. Per esempio è un piano di (vi appartiene solo se , Esercizio 4 · generatori di R2 e di R3). Per generare la somma si mettono insieme i generatori (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 →).
Errori tipici
- Confondere la somma con l'unione .
- Pensare che l'intersezione di sottospazi possa essere vuota (contiene sempre ).
- Cercare la somma intersecando equazioni cartesiane: le equazioni definiscono l'intersezione, i generatori definiscono la somma.