Forme bilinéaire non dégénérée
Un article de Wikipédia, l'encyclopédie libre.
[modifier] Définitions
Soit E un espace vectoriel sur un corps K. Soit f une forme bilinéaire sur E.
- On appelle espace singulier de f (on dit aussi noyau) le sous-espace vectoriel de E suivant :
- Lorsque f est symétrique, cette définition est suffisante. Sinon, on est amené à définir comme espace singulier à droite (noyau à droite) l'espace suivant :
- On dit que f est non dégénérée si et seulement si .
[modifier] Propriétés
- Pour un vecteur x de E, notons f(x,.) la fonction partielle de f qui à y associe f(x,y). C'est une forme linéaire. De plus, l'application de E dans E * (Espace dual de E) qui à x associe f(x,.) est linéaire.
Par construction
.
- En dimension finie si et seulement si .
- Lorsque E est un espace vectoriel réel, toute forme bilinéaire symétrique non dégénérée positive sur E est strictement positive (c'est un produit scalaire).
C'est une conséquence de l'inégalité de Cauchy-Schwarz pour les formes bilinéaires positives.
[modifier] Références
- J.M. Arnaudiès et H. Fraysse Cours de mathématiques 4 : Algèbre bilinéaire et géométrie 1990 Dunod