Estrazione di una base

In matematica, in particolare in algebra lineare, l'estrazione di una base è un algoritmo che permette di estrarre una base di uno spazio vettoriale a partire da un insieme finito di generatori dello spazio.

Il teorema di estrazione di una base modifica

Sia $V$ uno spazio vettoriale di dimensione $n$ su un campo $K$ . Il teorema di estrazione di una base asserisce che se $\mathbf {v} _{1},\ldots ,\mathbf {v} _{k}$ sono vettori che generano $V$ , allora:^[1]

Il numero $k$ è maggiore o uguale a $n$ .
Esistono $n$ vettori $\mathbf {v} _{1},\ldots ,\mathbf {v} _{n}$ che formano una base di $V$ .

Dimostrazione e algoritmo modifica

La dimostrazione fornisce un algoritmo che consente di trovare concretamente i vettori $\mathbf {v} _{1},\ldots ,\mathbf {v} _{n}$ . L'algoritmo funziona nel modo seguente: per ogni $i=1,\ldots ,k$ , si controlla se il vettore $i$ -esimo $\mathbf {v} _{i}$ è dipendente dai precedenti. Questo accade se e solo se:

\mathbf {v} _{i}\in {\rm {Span}}(\mathbf {v} _{1},\ldots ,\mathbf {v} _{i-1})

Se un vettore è linearmente dipendente dagli altri si elimina dalla lista, altrimenti, si tiene. Per $i=1$ , non ci sono vettori precedenti e si considera quindi lo span come l'insieme formato dal solo vettore nullo: quindi il primo vettore viene tenuto solo se diverso da zero. Il risultato finale è quindi un insieme di vettori indipendenti che continuano a generare $V$ , ossia, per definizione, una base di $V$ .

Esempio modifica

Si estrae una base di $\mathbb {R} ^{3}$ dall'insieme :

{\begin{pmatrix}1\\1\\0\end{pmatrix}},{\begin{pmatrix}0\\1\\1\end{pmatrix}},{\begin{pmatrix}1\\0\\-1\end{pmatrix}},{\begin{pmatrix}0\\1\\0\end{pmatrix}}

Il primo vettore non è nullo e quindi viene tenuto. Il secondo non è multiplo del primo, e quindi viene tenuto. Il terzo è però combinazione dei primi due, infatti:

{\begin{pmatrix}1\\0\\-1\end{pmatrix}}={\begin{pmatrix}1\\1\\0\end{pmatrix}}-{\begin{pmatrix}0\\1\\1\end{pmatrix}}

Quindi il terzo vettore è eliminato. Il quarto risulta indipendente dagli altri. Si ottiene quindi la base:

{\begin{pmatrix}1\\1\\0\end{pmatrix}},{\begin{pmatrix}0\\1\\1\end{pmatrix}},{\begin{pmatrix}0\\1\\0\end{pmatrix}}

Controesempio modifica

Se al posto di spazi vettoriali si considerano moduli liberi allora il risultato non è più vero. Si prenda ad esempio lo $\mathbb {Z}$ -modulo libero $\mathbb {Z} \oplus \mathbb {Z}$ . Allora si può verificare che $(3,1),(2,0),(0,1)$ generano tutto $\mathbb {Z} \oplus \mathbb {Z}$ ma né $(3,1),(2,0)$ , né $(3,1),(0,1)$ né $(2,0),(0,1)$ sono basi sebbene linearmente indipendenti e di cardinalità uguale al rango dello $\mathbb {Z}$ -modulo (ossia 2). Si osservi che un controesempio ancora più semplice si può trovare per lo $\mathbb {Z}$ -modulo libero $\mathbb {Z}$ scegliendo ad esempio $2,3$ come sistema di generatori, da cui chiaramente non si riesce ad estrarre una base.