dual d'un K-espace vectoriel E
Ensemble ℒ(E ; K) des formes linéaires définies de E dans K. (On le note E*.)
Si E est de dimension finie n, et si est de base E, alors E* est aussi de dimension finie n. Une base de E* est où ai* est défini par
, avec .