On appelle dual de E l'ensemble des formes linéaires de E à valeurs dans K .
On le note en général E∗ .
E∗ est lui-même un espace vectoriel, de même dimension que E si E est de dimension finie.
Certaines bases de E∗ jouent un rôle particulier.
En mathématiques, l'espace dual d'un espace vectoriel E est l'espace des formes linéaires sur E.
La structure d'un espace et celle de son dual sont très liées.
Si F = K on dit que f est une forme linéaire.
Si F = E, f est appelée un endomorphisme.
Pour montrer que f est une application linéaire, il suffit de vérifier que f(u + λv) = f(u) + λf(v) pour tous u, v ∈ E,λ ∈ K.