Ok tu as effectué la méthode de Gauss et tu aboutis (je vérifie pas les calculs) à
=(x+y-2z)^{2}+(y-z)^{2}-3z^{2})
Notons au passage que la signature est (2,1)
Maintenant il faut trouver la base:
Pour l'instant on a l'expression de 3 formes linéaires:
&=&x&+&y&-&2z \\<br /> L_{2}(x,y,z)&=&&&y&-&z \\<br /> L_{3}(x,y,z)&=&&&&&z <br />\end{array})
Il faut chercher la base antédual de

.
Pour ce faire, on remarque que si (e1,e2,e3) désigne la base canonique de E
alors
on a

On veut donc trouver l'antéduale de (L1,L2,L3)
Pour l'instant on le shema suivant:
& \stackrel{Q}{\rightarrow}& ( \ldots,\ldots,\ldots)\\ (e_{1}^{\ast},e_{2}^{\ast},e_{3}^{\ast})&\stackrel{P}{\rightarrow}&(L_{1},L_{2},L_{3}) \end{array})
ou Q et P désigne la matrice de passage.
Ce que l'on cherche c'est Q en faite.
Si on a Q , on aura la base antéduale de (L1,L2,L3) exprimé dans la base canonique.
Or un théorème ou propriété je sais plus dit que
^{-1})
Donc pour trouver la base antéduale , on inverse le systeme et on prend la transposé.
Dans ton exemple:



Et maintenant on tanspose donc on obtient comme antédual finalement (je note les vecteurs en ligne)
)
(1L1 premiere ligne, 0 deuxieme , 0 troisieme)
)
(-1L2 premiere ligne, 1 L2 deuxieme, 0 troisieme)
)
La base recherché est la base
)
(on vérifie qu'elle marche bien)
En espérant avoir été clair