forme bilinéaire et ker

[invite270c37bc]

Bonsoir,

je viens d'apprendre que le ker d'une forme bilinéaire quelconque correspond au ker d'une des deux variables (i.e. x \in ker \iff \forall y, (x,y) = 0).
Je me demande si cette définition est bien juste et non seulement spécifique aux formes bilin symétriques, et si oui comment le prouver?

Comment prouver que le ker selon la première variable est aussi le ker selon la deuxième variable? Honnêtement je n'arrive pas à voir comment le montrer.
J'aimerais néanmoins ne pas utiliser la proposition qui dit qu'on peut décomposer une forme bilinéaire en une forme symétrique plus une forme antisymétrique... à ce moment oui le théorème est éminemment juste et évident. Je cherche pourtant une autre démonstration.

Plus généralement est ce que cela est vrai pour une forme multi linéaire ?

merci pour votre aide

bonne soirée
-----

[gg0]

Heu ... tu définis ici le "noyau à gauche", qui n'a aucune raison d'être le noyau à droite. Prends par exemple la forme sur R² définie par ((x,y),(z,t))--> xt. Sans parler d'une forme bilinéaire sur ExF avec E et F différents.

On ne parle de noyau (sans précision de côté) que pour les formes bilinéaires symétrique.

Bonne réflexion !

[invite270c37bc]

mais alors pour ma preuve en passant par la décomposition en une forme symétrique et antisymétrique? elle est fausse?

[gg0]

Tu en as parlé, mais pas écrite ici, donc je ne sais pas ...

[A voir en vidéo sur Futura]