7. Déterminants
• Déterminant de n vecteurs
Soit E un espace vectoriel de dimension n sur K, et B = (e1, e2, ..., en) une base de E. La base de An(E) canoniquement associée à B est réduite à la forme n-linéaire alternée e*1 ∧ e*2 ∧ ... ∧ e*n ; celle-ci est la seule forme n-linéaire alternée sur E prenant la valeur 1 sur (e1, e2, ..., en). On l'appelle déterminant dans la base B, et on la note detB. Pour tout élément f de An(E) et pour toute suite (x1, x2, ..., xn) de vecteurs de E :

Les propriétés des formes n-linéaires alternées s'appliquent à detB. De plus, le critère d'indépendance linéaire de n vecteurs s'énonce ici : pour que (x1, x2, ..., xn) soit libre, il faut et il suffit que detB(x1, x2, ..., xn) ≠ 0.
[…]… pour nos abonnés, l'article se prolonge sur 19 pages…



