Bonsoir :
J'ai une petite question à vous poser concernant le produit exterieur dans les espaces des- formes alternées et algèbres exterieurs.
J'ai l'énoncé suivant sans démonstration, et j'aimerai que quel'qu'un m'aide à le démontrer, ou bien si vous connaissez quelques lien internet qui parle de tout celà :
Soit :un espace vectoriel de diemnsion :
.
On note :avec :
: l'espace des formes alternées.
Alors : il existe une unique application bilinéaire :
telle que :
:
:
est associative .
Merci infiniment !
-----