Sia V uno spazio vettoriale su K di dimensione finita, dim V = n.

Sia e = { e₁, e₂, ..., e_n} una base di V. Siano h ₁, ..., h _n Î V* i funzionali lineari definiti da

dove

d _ij =

è il simbolo di Kronecker.

Allora { h ₁, ..., h _n} è una base di V*, che si definisce base duale.

Teorema

Osservazioni