Ciò premesso, dimostriamo il teorema: Teorema
{θk} è una base di *V. Dimostrazione
Il sistema di vettori *Σ={θ1},...,θ2} è univocamente determinato dalle
Nella lezione precedente abbiamo visto che in una base {ek} di uno spazio vettorialeV su un campo K, un generico elemento dello spazio duale *V è rappresentato da una matrice 1×n, essendo n=dimV. Precisamente:
Rappresentiamo un generico vettore di V attraverso una matrice n×1 (vettore colonna):