par Anonyme » 30 Avr 2005, 18:19
Pierre Capdevila :
> Pourquoi dis-tu que l'espace des formes n-linéaires
> alternées est de dimension 1 ?
C'est un résultat du cours sur les déterminants.
Lorsqu'on cherche des formes n-linéaires alternées f, on a :
en notant (e_1,..,e_n) est une base de E,
. la loi externe sur E,
f(u_1,...,u_n) = f(somme{a_i1 . e_i}, ... ,somme{a_in . e_i})
(somme de i=1 à n)
= somme(g \in S_n) a_g(1)1*...*ag(n)n
* f(e_g(1),..,e_g(n))
où S_n est le groupe des permutations de {1,...,n}
= somme(e(g)*a_g(1)1*...*ag(n)n)
* f(e_1,...,e_n)
(parce que f est alternée)
où e est la signature de g.
Enfin si on prend la forme linéaire f_0 telle que
f_0(e_1,...,e_n) = 1
alors on vérifiera que f_0 définie ainsi est n-linéaire alternée :
f_0(u_1,...,u_n) = somme(e(g)*a_g(1)1*...*ag(n)n)
et que f_0 est base des formes n-linéaires alternées f qui
s'écrivent f=k*f_0 ou k est un scalaire égal à f(e_1,...,e_n).
Ensuite on définit f_0 comme le déterminant dans la base B.
Mais là je pense que le contre-exemple était mal choisi, le fait de
rajouter alternée fais qu'on ne s'intéresse qu'à une toute petite
partie de l'espace.
--
Michel [overdose@alussinan.org]