Les-Mathematiques.net - Cours de mathématiques supérieures

A lire

Deug/Prépa

Licence

Agrégation
A télécharger

Télécharger

46 personne(s) sur le site en ce moment

E. Cartan

Les maths pour l'agreg

A lire

Articles

Math/Infos

Récréation
A télécharger

Télécharger

Théorème de Cantor-Bernstein

Théo. Sylow

Théo. Ascoli

Théo. Baire

Loi forte grd nbre

Nains magiques

Formes quadratiques réelles

suivant: Formes quadratiques complexes monter: Algèbre bilinéaire précédent: Formes quadratiques Index

Sous-sections

$\boxcircle$ Le cas général
$\boxcircle$ Le cas de la dimension finie - expression matricielle
$\boxcircle$ Le cas d'un espace euclidien
- $\diamond$ Formulaire
- $\diamond$ Résultats divers

Formes quadratiques réelles

Pour toute la durée de cette section, on se place dans le cadre de un $\mathbb{R}$ -espace vectoriel .

On rappelle la définition suivante: Définition Une forme quadratique sur un $\mathbb{R}$ -espace vectoriel est dite positive (resp. négative) lorsque pour tout on a $q(x,x) \geq 0$ (resp. $q(x,x) \leq 0$ ).

Théorème [Inégalité de Schwartz] $\bullet\$ Soit une forme quadratique positive sur un $\mathbb{R}$ -espace vectoriel , et soit $\phi$ sa forme polaire. Alors pour tout et tout dans

$\displaystyle \phi(x,y)^2 \leq q(x).q(y)$

$\bullet\$ Soit

une forme quadratique définie positive

sur un $\mathbb{R}$ -espace vectoriel

, et soit $\phi$ sa forme polaire. Alors pour tout

et tout

dans

$\displaystyle \phi(x,y)^2 \leq q(x).q(y)$

$\displaystyle \phi(x,y)^2=q(x).q(y) \Longrightarrow (x,y)$ est une famille liée.

Démonstration: $\bullet\$ Il suffit de considérer le discriminant du polynôme en (ce polynôme est toujours positif puisque la forme quadratique est positive).
$\bullet\$ L'égalité implique que $q(y-\frac{\phi(x,y)}{q(x)}.x)=0$ . $\sqcap$ $\sqcup$

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] $\bullet\$ Si est positive alors .
$\bullet\$ 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 $\mathbb{R}$ -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 ( $t \neq 0$ et $t \neq 1$ ). Donc et sont de même signe, d'où contradiction. $\sqcap$ $\sqcup$

Une autre formulation des inégalités de Schwartz est donnée dans le corollaire ci-dessous:

Corollaire [Inégalités de Minkowski] $\bullet\$ Soit une forme quadratique positive sur un $\mathbb{R}$ -espace vectoriel . Alors pour tout et tout dans

$\displaystyle \sqrt{q(x+y)} \leq \sqrt{q(x)}+\sqrt{q(y)}$

$\bullet\$ Soit

une forme quadratique définie positive sur un $\mathbb{R}$ -espace vectoriel

, alors pour tout

et tout

dans

$\displaystyle \sqrt{q(x+y)} = \sqrt{q(x)}+\sqrt{q(y)} \Longrightarrow (x,y)$ est une famille positivement liée.

Démonstration: $\bullet\$ Par l'inégalité de Schwartz

$\displaystyle \phi(x,y)^2 \leq q(x).q(y)$

et donc

$\displaystyle \to \frac{q(x+y)-q(x)-q(y)}2 \leq \sqrt{q(x).q(y)}$

$\displaystyle \to q(x+y) \leq q(x)+q(y)+2.\sqrt{q(x).q(y)}$

$\displaystyle \to \sqrt{q(x+y)} \leq \sqrt{q(x)}+\sqrt{q(y)}$

$\bullet\$ Même principe. $\sqcap$ $\sqcup$

Proposition $\bullet\$ Une forme quadratique est positive si et seulement si est négative
$\bullet\$ Une forme quadratique sur un $\mathbb{R}$ -espace vectoriel est convexe si et seulement si elle est positive
$\bullet\$ Une forme quadratique sur un $\mathbb{R}$ -espace vectoriel est concave si et seulement si elle est négative

$\boxcircle$ Le cas de la dimension finie - expression matricielle

On suppose maintenant que l'on travaille sur un $\mathbb{R}$ -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 $\mathbb{R}$ -espace vectoriel de dimension finie, alors il existe une base de orthonormale pour .

Démonstration: Il suffit de considérer le corollaire . $\sqcap$ $\sqcup$

Proposition [Quelques propriétés sur l'orthogonalité sur un $\mathbb{R}$ -espace vectoriel de dimension finie] $\bullet\$ Pour sous-espace vectoriel de , on a $dim\ F + dim\ F^\bot \geq n$
$\bullet\$ Soit sous-espace vectoriel de , avec $q_{\vert F}$ définie, alors $E=F\oplus F^\bot$ .

Démonstration: $\bullet\$ Soit $(f_i)_{i\in [1,f]}$ une base de , complétée en $(f_i)_{i\in E}$ une base de .
Soit l'application de dans définie par $p(x)=\sum_{i\in[1,f]} \phi(x,f_i).f_i$ . Cette application est linéaire; on peut donc écrire

$\displaystyle dim\ E = rg(p) + dim\ Ker\ p$

$\displaystyle rg(p) \leq dim\ F$

$\displaystyle dim\ Ker\ p=dim\ F^\bot$

donc

$\displaystyle dim\ E \leq dim\ F + dim\ Ker\ p$

$\bullet\$ $F \cap F^\bot = \emptyset$ car

est définie sur

. L'inégalité précédente donne $dim\ F + dim\ F^\bot \geq n$ , d'où le résultat. $\sqcap$ $\sqcup$

Définition [Signature d'une forme quadratique sur un $\mathbb{R}$ -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 $q_{\vert F}$ 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 $q_{\vert F}$ 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 . $\sqcap$ $\sqcup$

Corollaire $\bullet\$ Toute matrice symétrique est congruente à une matrice diagonale dont les termes diagonaux sont .
$\bullet\$ 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 $\mathbb{K}^n$ on a .

Démonstration: La forme polaire de la forme quadratique associée à est $(X,Y) \mapsto ^tX.(\frac12(M+^tM)).Y$ . Elle est nulle si et seulement si est antisymétrique (voir proposition ). $\sqcap$ $\sqcup$

$\boxcircle$ 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:

$\bullet\$ est une base de

$\bullet\$ $q \in Q(E)$

$\bullet\$ la matrice (symétrique) associée à pour la base des

$\bullet\$ $\phi$ la forme polaire de (symétrique, de matrice dans la base des )

$\bullet\$ désigne le vecteur colonne des coordonnées de dans la base des

$\diamond$ Formulaire

$\displaystyle q(x_1.e_1,x_2.e_2,...,x_n.e_n)=\sum_{(i,j)\in[1,n]^2} M_{i,j} x_i.x_j$

$\displaystyle \phi((x_1.e_1,x_2.e_2,...,x_n.e_n),(y_1.e_1,y_2.e_2,...,y_n.e_n))=\sum_{(i,j)\in [1,n]^2} M_{i,j} x_i.y_j$

$\displaystyle M_{i,j}=\phi(e_i,e_j)$

$\displaystyle q(e_i)=M_{i,i}$

$\displaystyle q(x)=^tX.M.X$

$\displaystyle \phi(x,y)=^tX.M.X$

et avec

une autre base,

$\displaystyle Mat_{(f_i)}(\phi) = Mat_{(f_i)}(q) = ^tP_{(e_i),(f_i)}.M.P_{(e_i),(f_i)}$

$\diamond$ Résultats divers

Théorème L'application de dans l'ensemble des applications de dans $\mathbb{R}$ définie par $F(f)=(y\mapsto <f(y)\vert y>$ induit un isomorphisme de (ensemble des endomorphismes symétriques de ) sur (ensemble des formes quadratiques sur ).

Démonstration:

$\bullet\$ appartient à pour tout dans se voit en considérant la forme bilinéaire $\phi= (x,y) \mapsto \frac12 (<f(x)\vert y>+<x\vert f(y)>)$ .

$\bullet\$ $<f(x)\vert x>=0$ pour tout $\iff$ antisymétrique (si vous n'en êtes pas convaincu, revoyez la partie ).

$\bullet\$ Avec la dimension de , on sait alors que l'image de est de dimension $n^2-\frac12 n.(n-1)=\frac12 n.(n+1)=dim\ Q(E)$ , donc a bien pour image ; étant un supplémentaire du noyau de , induit bien un isomorphisme de sur . $\sqcap$ $\sqcup$

Corollaire $\bullet\$ Toute forme quadratique s'écrit $x\mapsto <f(x)\vert x>$ pour un certain endomorphisme symétrique (on peut d'ailleurs aussi écrire $x\mapsto <x\vert f(x)>$ , puisque est symétrique).

$\bullet\$ Dans la même base, , $\phi$ 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ème $\bullet\$ Soit 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.

$\bullet\$ Si on a deux formes quadratiques sur un $\mathbb{R}$ -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).

$\bullet\$ Une forme quadratique sur euclidien est positive si et seulement si toutes les valeurs propres de l'endomorphisme symétrique associé sont positives
$\bullet\$ 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
$\bullet\$ 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