Esercizio 7intersezione e somma con vettori dati in una base
In questa pagina 6
In questa pagina 5
Testo (tema d'esame di febbraio 2013). Sia uno spazio vettoriale reale con base . Siano
- Trovare dimensione e base di .
- Trovare dimensione e base di .
- Trovare dimensione e base di e di .
(Nel tema originale ha anche un quarto generatore, che risulta combinazione lineare dei primi tre: lo si omette perché non cambia .)
L'idea chiave: i coefficienti rispetto alla base
Qui i vettori non sono -uple di numeri ma combinazioni di . Il fatto che siano una base, quindi indipendenti, permette di lavorare come in : una combinazione è nulla se e solo se . 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 , e si lavora in .)
1. Dimensione e base di
è generato da 3 vettori, quindi ; è solo se sono indipendenti. Si scrive una combinazione nulla e si raccolgono i :
Per l'indipendenza dei tutti i coefficienti sono nulli:
Dalla quarta ; dalla prima . La seconda diventa e la terza : identità. resta libero: dipendenti.
Con : , , cioè , ovvero
Verifica: ✓.
Si toglie . Per basta ripetere il sistema con : la prima equazione dà , la seconda . Indipendenti.
Controllo con le coordinate e la riduzione a scala. Le coordinate rispetto a sono , , . 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 →):
(lo scambio serve perché la prima riga ha al primo posto e non può fare da pivot). Due righe non nulle: ✓.
2. Dimensione e base di
Dalla prima ; allora la quarta dà ; dalla seconda (e la terza è soddisfatta). Solo la soluzione nulla: indipendenti.
Controllo con le coordinate: , , ; con la terza riga diventa e la matrice è a scala con 3 righe non nulle ✓.
3. Intersezione e somma
Come impostare l'intersezione
Un vettore sta in , quindi è combinazione della base di , e sta in , quindi è combinazione della base di :
Le incognite sono . Si esprime tutto con i :
Due combinazioni dei sono uguali se e solo se hanno gli stessi coefficienti (perché la loro differenza è nulla e i sono indipendenti):
Risoluzione
4 equazioni, 5 incognite: ci si aspettano infinite soluzioni.
- Da : .
- Da : .
- In : , quindi e .
- In , con : , quindi .
- Tornando indietro: e .
Tutto è espresso in funzione di , che resta libero: , , , .
Un parametro libero significa che le soluzioni formano uno spazio di dimensione 1, e a ogni soluzione corrisponde un vettore di (i coefficienti rispetto alla base determinano il vettore in modo unico). Quindi .
Un vettore di base
Si pone (non : darebbe il vettore nullo, che sta sempre nell'intersezione e non serve). Allora , :
Controllo con l'altra espressione (, , ):
Le due espressioni coincidono: i conti sono giusti. All'esame questo controllo costa poco e scopre subito eventuali errori.
La somma con Grassmann
Per la formula di Grassmanndim(U + W) = dim U + dim W − dim(U ∩ W).Formula di Grassmann e somma diretta →:
è un sottospazio di con la stessa dimensione di (, perché ha una base di 4 vettori), quindi coincide con Un sottospazio con la stessa dimensione dello spazio è tutto lo spazio.Dimensione →: . Una base di è quindi una base di , e il testo ne fornisce una:
Riepilogo
| Sottospazio | Dimensione | Base |
|---|---|---|
| (con ) | ||
Errori comuni
- Uguagliare i coefficienti senza giustificarlo: si può fare perché 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 quando si usano basi di e di (con generatori dipendenti il conteggio sarebbe falsato).
- Cercare una base di con altri conti quando Grassmann dice già che .
Versione ripasso
Testo. Sia uno spazio vettoriale reale con base . Siano
- Trovare dimensione e base di .
- Trovare dimensione e base di .
- Trovare dimensione e base di e di .
L'idea chiave
Poiché è 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 .
1. Dimensione e base di
Si imposta la combinazione lineare nulla dei generatori: Raccogliendo rispetto alla base , si ottiene il sistema: Il sistema ammette infinite soluzioni (), quindi i vettori sono linearmente dipendenti: .
- , base di : .
2. Dimensione e base di
Analogamente, ponendo si ottiene un sistema con la sola soluzione nulla .
- , base di : .
3. Intersezione e somma
Intersezione
Si imposta l'uguaglianza tra le combinazioni lineari delle basi: . Confrontando i coefficienti dei : Risolvendo, si trova un parametro libero (): .
- Ponendo , il vettore di base è .
- .
Somma
Per la formula di Grassmanndim(U + W) = dim U + dim W − dim(U ∩ W).Formula di Grassmann e somma diretta →: Essendo , allora .
- , base di : .
Errori comuni
- Dimenticare che l'uguaglianza dei coefficienti è valida solo grazie all'indipendenza della base .
- Utilizzare generatori non ridotti a base nel calcolo dell'intersezione, falsando il numero di parametri liberi.