Sia V uno spazio vettoriale su K di dimensione finita,
dim V = n.
Sia e = {
e1, e2, ..., en}
una base di V.
Siano h
1, ..., h
n Î
V* i funzionali lineari definiti da
| h i(ej) = d ij | 1£ i £ n , |
dove
d
ij = 
è il simbolo di Kronecker.
Allora { h 1, ..., h n} è una base di V*, che si definisce base duale .
