Dualité/Propriétés
Commençons par une remarque triviale :
Soient une famille de vecteurs de E et une famille de formes linéaires sur E, telles que
- ,
où désigne le symbole de Kronecker.
Alors, les deux familles et sont libres.
Pour toute famille libre de vecteurs de E et toute famille de scalaires, il existe au moins une forme linéaire sur E telle que
- .
Si de plus engendre E, cette forme est unique.
Soit V un supplémentaire du sous-espace de E engendré par les . Il existe une unique forme linéaire sur E nulle sur V et telle que .
Pour toute base de E, il existe une unique famille de formes linéaires sur E telle que
- .
Si E est de dimension finie, cette famille est une base de , appelée la base duale de .
- L'existence et l'unicité de résultent du lemme.
- Sa liberté est immédiate, d'après la remarque préliminaire.
- Si E est de dimension finie, engendre car toute forme linéaire est alors égale à .
Concrètement, les formes linéaires sont les applications coordonnées relativement à la base : associe à un vecteur de sa -ème coordonnée dans la base .
Pour tout espace vectoriel E de dimension finie, l'espace vectoriel E* a même dimension que E.