[<] Groupe symétrique [>] Déterminant d'un endomorphisme
Soient et deux sous-espaces vectoriels supplémentaires d’un -espace vectoriel .
Soient une forme linéaire sur , la projection vectorielle sur parallèlement à et sa projection complémentaire.
Montrer que l’application définie par
est une forme bilinéaire alternée sur .
Solution
.
. Il suffit d’étudier la linéarité en la 1ère variable.
or , et sont linéaires donc
puis en développant et en réorganisant: .
est donc une forme bilinéaire antisymétrique donc alternée.
Soient un endomorphisme d’un espace vectoriel de dimension et une base de . Montrer que pour tout ,
[<] Groupe symétrique [>] Déterminant d'un endomorphisme
Édité le 29-08-2023
Bootstrap 3 - LaTeXML - Powered by MathJax