On rappelle la définition suivante:
Définition
Une forme quadratique sur un
-espace vectoriel est dite positive (resp. négative) lorsque pour tout on a
(resp.
).
Théorème [Inégalité de Schwartz]Soit une forme quadratique positive sur un
-espace vectoriel , et soit sa forme polaire. Alors pour tout et tout dans
Soit une forme quadratique définie positive sur un
-espace vectoriel , et soit sa forme polaire. Alors pour tout et tout dans
et
est une famille liée.
Démonstration:Il suffit de considérer le discriminant du polynôme en (ce polynôme est toujours positif puisque la forme quadratique est positive).
L'égalité implique que
.
On remarque que l'inégalité de Schwartz implique qu'une forme bilinéaire symétrique positive est continue.
Corollaire [Noyau et cône isotrope d'une forme quadratique positive]Si est positive alors .
Si est positive alors est définie si et seulement si elle est non-dégénérée.
Proposition
Une forme quadratique sur un
-espace vectoriel qui est définie est nécéssairement soit positive soit négative.
Démonstration:On suppose qu'il existe et avec et . Alors l'application
qui à dans associe
est continue (il suffit de développer pour le voir), donc par le théorème des valeurs intermédiaires elle s'annule en un certain . Nécéssairement
(puisque est définie), donc et sont linéairement dépendants ( et ). Donc et sont de même signe, d'où contradiction.
Une autre formulation des inégalités de Schwartz est donnée dans le corollaire ci-dessous:
Corollaire [Inégalités de Minkowski]Soit une forme quadratique positive sur un
-espace vectoriel . Alors pour tout et tout dans
Soit une forme quadratique définie positive sur un
-espace vectoriel , alors pour tout et tout dans
est une famille positivement liée.
Démonstration:Par l'inégalité de Schwartz
et donc
Même principe.
PropositionUne forme quadratique est positive si et seulement si est négative
Une forme quadratique sur un
-espace vectoriel est convexe si et seulement si elle est positive
Une forme quadratique sur un
-espace vectoriel est concave si et seulement si elle est négative
On suppose maintenant que l'on travaille sur un
-espace vectoriel de dimension finie .
est une forme quadratique.
Proposition [Propriété fondamentale des formes quadratiques définies positives]
Si est une forme quadratique définie positive sur un
-espace vectoriel de dimension finie, alors il existe une base de orthonormale pour .
Démonstration:Il suffit de considérer le corollaire .
Proposition [Quelques propriétés sur l'orthogonalité sur un
-espace vectoriel de dimension finie]Pour sous-espace vectoriel de , on a
Soit sous-espace vectoriel de , avec définie, alors
.
Démonstration:Soit
une base de , complétée en
une base de .
Soit l'application de dans définie par
. Cette application est linéaire; on peut donc écrire
Or
et
donc
car est définie sur . L'inégalité précédente donne
, d'où le résultat.
Définition [Signature d'une forme quadratique sur un
-espace vectoriel de dimension finie]
On appelle signature d'une forme quadratique le couple avec la dimension maximale d'un sous-espace vectoriel de sur lequel est définie positive et la dimension maximale d'un sous-espace vectoriel de sur lequel est définie négative.
Le théorème suivant, très important, permet de cerner l'intérêt de la notion.
Théorème [Théorème d'inertie de Sylvester]
Pour toute base -orthogonale , l'ensemble des tels que a même cardinal,
l'ensemble des tels que a même cardinal, l'ensemble des tels que a même cardinal.
Le sous-espace vectoriel engendré par l'ensemble des tels que est un sous-espace vectoriel de dimension maximale tel que soit définie positive.
Le sous-espace vectoriel engendré par l'ensemble des tels que est un sous-espace vectoriel de dimension maximale tel que soit définie négative.
L'ensemble des tels que est égal à la dimension de moins le rang de .
Démonstration:Il suffit de consulter la preuve du corollaire .
CorollaireToute matrice symétrique est congruente à une matrice diagonale dont les termes diagonaux sont
.
Deux formes quadratiques ont la même signature si et seulement si on passe de l'un à l'autre en composant par un automorphisme.
Proposition
Une matrice de type est antisymétrique si et seulement si pour tout vecteur de
on a .
Démonstration:La forme polaire de la forme quadratique associée à est
. Elle est nulle si et seulement si est antisymétrique (voir proposition ).
Le cas d'un espace euclidien
Pour plus d'informations sur les espaces euclidiens on consultera la partie . Un espace euclidien étant réel et de dimension finie, ce qui vient d'être dit est encore valable.
On va noter l'espace des formes quadratiques. Les notations usuelles seront utilisées:
est une base de
la matrice (symétrique) associée à pour la base des
la forme polaire de (symétrique, de matrice dans la base des )
désigne le vecteur colonne des coordonnées de dans la base des
désigne le vecteur colonne des coordonnées de dans la base des
Théorème
L'application de dans l'ensemble des applications de dans
définie par
induit un isomorphisme de (ensemble des endomorphismes symétriques de ) sur (ensemble des formes quadratiques sur ).
Démonstration:
appartient à pour tout dans se voit en considérant la forme bilinéaire
.
pour tout antisymétrique (si vous n'en êtes pas convaincu, revoyez la partie ).
Avec la dimension de , on sait alors que l'image de est de dimension
, donc a bien pour image ; étant un supplémentaire du noyau de , induit bien un isomorphisme de sur .
CorollaireToute forme quadratique s'écrit
pour un certain endomorphisme symétrique (on peut d'ailleurs aussi écrire
, puisque est symétrique).
Dans la même base, , et ont même matrice.
Définition (défini comme précédemment) est appelé endomorphisme symétrique associé à la forme quadratique .
Ceci nous permet de donner quelques résultats, conséquences immédiates de résultats connus sur les endomorphismes symétriques:
ThéorèmeSoit une forme quadratique sur euclidien; alors il existe une base orthonormale de dans laquelle la matrice de l'endomorphisme associée à est diagonale; c'est à dire que cette base est orthogonale pour aussi.
Si on a deux formes quadratiques sur un
-espace vectoriel de dimension finie dont l'une (au moins) est définie, alors il existe une base orthogonale pour les deux formes quadratiques (il suffit de considérer l'espace euclidien engendré par la forme définie (ou sa négation si elle est négative) pour conclure).
Une forme quadratique sur euclidien est positive si et seulement si toutes les valeurs propres de l'endomorphisme symétrique associé sont positives
Une forme quadratique sur euclidien est définie si et seulement si toutes les valeurs propres de l'endomorphisme symétrique associé sont non nulles et de même signe
Une forme quadratique sur euclidien est négative si et seulement si toutes les valeurs propres de l'endomorphisme symétrique associé sont négatives