Esercizio 5estrarre e completare una base in R3
In questa pagina 3
Testo.
- In sia con , , . Trovare la dimensione e una base di .
- In siano e . Verificare che sono linearmente indipendenti e completarli a una base di .
1. Estrarre una base da un sistema di generatori
L'idea
è generato da , quindi questi tre vettori sono già un sistema di generatori di . Per il teorema di estrazione di una baseDa ogni sistema di generatori si estrae una base togliendo, uno alla volta, vettori che sono combinazione lineare degli altri.Dimensione →:
- se sono indipendenti, sono una base e (cioè );
- se sono dipendenti, si toglie un vettore che è combinazione degli altri e si ripete il controllo.
Indipendenza di
Per la definizione di indipendenzaL'unica combinazione lineare uguale al vettore nullo deve essere quella con tutti i coefficienti nulli.Combinazioni lineari e dipendenza lineare → si cercano i coefficienti di una combinazione nulla:
Si parte dalle equazioni con due sole incognite. Dalla seconda ; dalla terza . Nella prima:
La prima equazione diventa : resta libero e le soluzioni sono . Infinite soluzioni: i vettori sono dipendenti, quindi non sono una base e .
Quale vettore togliere
Si sceglie una soluzione non nulla, la più semplice: , cioè , , . Si ottiene la relazione
È anche un controllo dei conti: ✓.
Tutti e tre i coefficienti sono diversi da zero, quindi si può ricavare qualunque dei tre vettori:
Si toglie, per esempio, : restano , che generano ancora (perché si ricostruisce da loro). Togliere o sarebbe stato altrettanto lecito: si otterrebbe un'altra base, con lo stesso numero di vettori.
Indipendenza di
La seconda dà e poi la terza : solo la soluzione nulla, indipendenti. (Era prevedibile: due vettori sono dipendenti solo se paralleli, e non è multiplo di per via dello nella seconda componente.)
Risultato
Significato geometrico. sta nel piano di e : i tre vettori sono complanari e è un piano per l'origine, non tutto .
Controllo con la riduzione a scala delle righe (passo 1 del metodoLe operazioni elementari sulle righe non cambiano il sottospazio generato e le righe non nulle di una matrice a scala sono indipendenti.Metodo - basi, equazioni cartesiane, intersezione e somma di sottospazi →, che usa l'Eliminazione di GaussCon tre operazioni elementari sulle righe (scambio, moltiplicazione per uno scalare non nullo, somma di un multiplo di un'altra riga) ogni matrice si riduce a scala senza cambiare il rango; serve a calcolare ranghi, risolvere sistemi, trovare relazioni di dipendenza e matrici che riducono a scala.Eliminazione di Gauss → vista più avanti):
Lo scambio mette in alto la riga con pivot ; poi , e infine annulla la terza riga. Due righe non nulle: ✓. (Le righe e sono un'altra base di , altrettanto valida.)
2. Completare a una base
Indipendenza di e
Dalla terza, divisa per , ; nella prima , quindi (e la seconda è soddisfatta: ). Solo la soluzione nulla: indipendenti. (Più in fretta: sono due vettori non proporzionali, perché i rapporti tra le componenti , , non sono uguali.)
Quanti vettori mancano
, quindi ogni base ha 3 vettori: ne manca unoOgni insieme di vettori indipendenti si completa a una base aggiungendo vettori che non siano combinazione di quelli già presenti.Dimensione →. Il vettore da aggiungere non deve essere combinazione di e , cioè non deve stare nel piano che generano.
La scelta pratica
Invece di studiare quel piano, si prova un vettore semplice, , e poi si verifica. La probabilità che un vettore preso "a caso" cada proprio sul piano di e è minima; se succede, si prova , poi . Gli zeri di semplificano il sistema della verifica.
Verifica di
La terza dà ; la seconda diventa , quindi ; la prima dà . Solo la soluzione nulla: sono indipendenti.
Controllo con il determinante (capitolo successivo: tre vettori di sono indipendenti se e solo se il determinanteSi sviluppa con Laplace lungo la colonna con più zeri.Proprietà del determinante, Binet e Laplace → della matrice che li ha in colonna non è zero). Sviluppando lungo la terza colonna, quella di , che ha un solo elemento non nullo al posto (segno ):
Il criterio pratico che se ne ricava: completa a una base se e solo se il minore formato dalle righe 2 e 3 di non è nullo.
Sono 3 vettori indipendenti in uno spazio di dimensione 3, quindi sono una base: non serve verificare che generano (in dimensione n bastano n vettori indipendentiSe dim V = n, n vettori linearmente indipendenti sono automaticamente anche generatori, quindi una base.Dimensione →).
Risultato
Errori comuni
- Togliere un vettore senza aver trovato la relazione: qui andava bene togliere uno qualsiasi perché tutti i coefficienti della relazione erano non nulli, ma non è sempre così.
- Aggiungere un vettore e non verificare: la scelta di è un tentativo, l'indipendenza va controllata.
- Dimenticare il risparmio: con 3 vettori in basta verificare l'indipendenza.
Versione ripasso
Testo.
- In sia con , , . Trovare la dimensione e una base di .
- In siano e . Verificare che sono linearmente indipendenti e completarli a una base di .
1. Estrarre una base da un sistema di generatori
Metodo. Per il teorema di estrazione di una baseDa ogni sistema di generatori si estrae una base togliendo, uno alla volta, vettori che sono combinazione lineare degli altri.Dimensione →: si cerca una relazione di dipendenza e si toglie un vettore con coefficiente non nullo, che è combinazione degli altri.
- Sistema : Dalla seconda e dalla terza , ; la prima diventa . Soluzioni : i vettori sono dipendenti.
- Con : , quindi . Si toglie .
- sono indipendenti (non paralleli: non è multiplo di ).
Risultato: , base ( è un piano per l'origine).
2. Completare a una base
Metodo. , quindi manca un vettore, che non deve stare nel piano generato da . Si prova un vettore canonico e si verifica.
- indipendenti: dalla terza equazione () , nella prima , quindi .
- Si aggiunge : La terza dà , la seconda , la prima : solo la soluzione nulla.
- Tre vettori indipendenti in dimensione 3 sono una base (in dimensione n bastano n vettori indipendentiSe dim V = n, n vettori linearmente indipendenti sono automaticamente anche generatori, quindi una base.Dimensione →).
Risultato: base di : , , .
Errori tipici: togliere un vettore che ha coefficiente nella relazione (non è combinazione degli altri); aggiungere un vettore senza verificare l'indipendenza.