Sia V uno spazio vettoriale su K di dimensione finita, dimV = 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.