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 ai* est défini par

, avec .