title: Loi d'inertie de Sylvester
text: # Loi d'inertie de Sylvester
  
  En mathématiques, et plus particulièrement en algèbre linéaire, la loi d'inertie de Sylvester, formulée dans le cas réel par James Joseph Sylvester en 1852, est un théorème de classification des formes quadratiques sur un $\mathbb {K}$-espace vectoriel V où $\mathbb {K}$ désigne un corps ordonné. À l'aide d'un changement de variables approprié, tout polynôme homogène de degré 2 à coefficients réels et à n variables peut s'écrire sous la forme d'une somme de carrés, précédés de signes + ou – (cette écriture s'appelle la réduction de Gauss) ; la loi d'inertie dit que le nombre de signes + et le nombre de signes – ne dépendent pas du changement de variable utilisé.
  
  ## Énoncé
  
  Définitions. L'indice d'inertie (ou plus brièvement l'indice) d'une forme quadratique Q sur un $\mathbb {K}$-espace vectoriel V de dimension finie n est la dimension maximale des sous-espaces F de V tels que $Q(v)<0$ pour tout $v\in F\setminus \{0\}$ (où $<$ désigne la relation d'ordre stricte naturelle sur $\mathbb {K}$).
  
  Soit q l'indice de la forme quadratique Q, et soit p la dimension maximale des sous-espaces G de V tels que $Q(v)>0$ pour tout $v\in G\setminus \{0\}$, autrement dit tels que la restriction de Q à G soit définie positive.
  
  Le couple (p, q) s'appelle la signature de Q.
  
  L'indice d'une forme définie positive est nul ; sa signature est (n, 0). L'indice d'une forme définie négative (c'est-à-dire telle que –Q soit définie positive) est égal à n ; sa signature est (0, n).
  
  Loi d'inertie de Sylvester — Soit Q une forme quadratique sur un $\mathbb {K}$-espace vectoriel V (où $\mathbb {K}$ est un corps ordonné) de signature (p, q). Pour toute base $(e_{i})$ orthogonale pour Q on a
  
  $p=\mathrm {card} (\{i\mid Q(e_{i})>0\}){\text{ et }}q=\mathrm {card} (\{i\mid Q(e_{i})<0\})$
  
  Le rang de Q est égal à p + q ; Si de plus, $\mathbb {K}$ est quadratiquement clos, alors deux formes quadratiques sur V sont équivalentes si et seulement si elles ont même signature.
  
  Soient $e=(e_{1},\ldots ,e_{n})$ et $e'=(e'_{1},\ldots ,e'_{n})$ deux bases orthogonales. Désignons provisoirement par r et r' (resp. s et s' ) le nombre de vecteurs de chaque base pour lesquels Q est strictement positive (resp. strictement négative). On va d'abord montrer que r = r' et s = s'.
  
  On note $I=\{{i\mid Q(e_{i})>0\}}$ et $J=\{{j\mid Q(e'_{j})\leqslant 0\}}$.
  
  Alors la famille constituée des vecteurs $(e_{i})_{i\in I}$ et $(e'_{j})_{j\in J}$ est libre. En effet, si $\sum _{i\in I}x_{i}.e_{i}+\sum _{j\in J}y_{j}.e'_{j}=0_{V}$, le vecteur $z=\sum _{i\in I}x_{i}e_{i}=-\sum _{j\in J}y_{j}e'_{j}$ vérifie $Q(z)=\sum _{i\in I}x_{i}^{2}Q(e_{i})=\sum _{j\in J}y_{j}^{2}Q(e'_{j})$. La définition de I et J implique la nullité de tous $x_{i},i\in I$ par antisymétrie. Alors $\sum _{j\in J}y_{j}.e'_{j}=0_{V}$, d'où cette fois la nullité des $y_{j},j\in J$. L'indépendance obtenue implique $\mathrm {card} I+\mathrm {card} J\leqslant n$, soit $r+(n-r')\leqslant n$ et donc $r\leqslant r'$. Par symétrie des rôles de $e$ et $e'$, $r'\leqslant r$ et donc par antisymétrie r = r'. Le même argument montre que s = s'.
  
  Soit maintenant F un sous-espace de dimension maximale q sur lequel Q est définie négative, et $F^{\perp }$ son sous-espace orthogonal. Comme tout vecteur v de $F\cap F^{\perp }$ vérifie $Q(v)=0$, on a $F\cap F^{\perp }=0$. Comme d'autre part $\dim F+\dim F^{\perp }\geq n$,
  
  $V=F\bigoplus F^{\perp }\quad {\text{(somme directe)}}$
  
  On peut donc trouver une base orthogonale $(e_{1},\ldots ,e_{n})$ dont les q premiers vecteurs forment une base de F et les n – q suivant une base de l'orthogonal de F. Mais $Q(e_{i})\geq 0$ pour i > q : sinon, sur l'espace $F\bigoplus \mathbb {K} e_{i}$, la forme Q serait encore définie négative, contrairement à l'hypothèse de dimension maximale pour F. D'après la première partie de la preuve, q = s ; de même, p = r.
  
  $-\sum _{i=1}^{q}c_{i}x_{i}^{2}+\sum _{i=q+1}^{q+p}c_{i}x_{i}^{2}$
  
  où les $x_{i}$ sont les coordonnées par rapport à cette base, les $c_{i}\in \mathbb {K}$ sont strictement positifs. Si $\mathbb {K}$ est quadratiquement clos, dans la base orthogonale obtenue en remplaçant $e_{i}\,(1\leq i\leq p+q)$ par ${\frac {1}{\sqrt {c_{i}}}}e_{i}$, Q s'écrit
  
  $-\sum _{i=1}^{q}x_{i}^{2}+\sum _{i=q+1}^{q+p}x_{i}^{2}$
  
  ce qui montre que deux formes de même signature sont équivalentes. (La condition est nécessaire : si $Q^{\prime }=Q\circ \phi$, où $\phi :V\rightarrow V$ est linéaire inversible, l'image par $\phi$ d'une base orthogonale pour Q' est orthogonale pour Q.)
  
  ## Commentaires généraux
  
  * Une retombée de la preuve est le fait que pour $\mathbb {K}$ de caractéristique différente de $2$, la réduction de Gauss, quelle que soit la façon dont on s'y prend, donne le même nombre de « carrés positifs » et de « carrés négatifs ».
  
  ## Commentaires sur le cas réel
  
  On considère maintenant le cas particulier important $\mathbb {K} =\mathbb {R}$.
  
  * En multipliant les vecteurs d'une base orthogonale par des constantes convenables, on peut supposer se ramener au cas où les $e_{i}$ tels que $Q(e_{i})\not =0$ vérifient $Q(e_{i})=\pm 1$. Par rapport à une telle base, Q s'écrit$-\sum _{i=1}^{q}x_{i}^{2}+\sum _{i=q+1}^{q+p}x_{i}^{2}.$
  * En termes de matrices, on a un énoncé équivalent : si A est la matrice de Q dans une base, il existe une matrice inversible P telle que$P^{T}AP={\begin{pmatrix}-I_{q}&0&0\\0&I_{p}&0\\0&0&0\\\end{pmatrix}}.$Autrement dit, la matrice de la forme est congruente à une matrice diagonale n'ayant que des 0, 1 et –1 sur la diagonale ; la classe de congruence est caractérisée par les entiers p et q.
  * On peut dire aussi que deux formes quadratiques réelles sont équivalentes si elles ont même rang et même indice d'inertie.
  * On a une décomposition orthogonale$V=F\oplus G\oplus \operatorname {rad} (Q)$où
     * Q est définie négative sur F (qui est de dimension q) et définie positive sur G (qui est de dimension p).
     * Cette décomposition n'est pas unique. Elle est déterminée par le choix de F (ou celui de G).
  * Ce théorème montre que l'indice d'isotropie total de Q est égal à inf(p, q) + n – r. Deux formes quadratiques réelles de même rang et de même indice d'isotropie total sont équivalentes au signe près.
  * Compte tenu des contraintes évidentes de dimension $(0\leq q\leq r\leq n)$, il y a $(n+1)(n+2)/2$ classes d'équivalence de formes quadratiques sur un espace vectoriel réel de dimension n.
  
  ## Exemples
  
  * La forme quadratique$Q(x,y,z,t)=c^{2}t^{2}-x^{2}-y^{2}-z^{2},$associée à un espace de Minkowski en relativité restreinte, a pour rang 4 et pour signature (1, 3).
  * Puisque $4(xy+yz+zt+xt)=(x+y+z+t)^{2}-(x+z-y-t)^{2},$la forme Q(x, y, z, t) = 4(xy + yz + zt + xt) est de rang 2 et a pour signature (1, 1) et pour indice 1.
  
  ## Remarques diverses
  
  ### Relation avec les valeurs propres
  
  On peut déterminer directement la signature de la forme Q à l'aide des valeurs propres de la matrice de cette forme, M. En effet, M est diagonalisable (d'après le théorème spectral), et ce dans une base qui vérifie les conditions du théorème précédent ; on en déduit que le rang de M, et donc de Q, est le nombre de ses valeurs propres non nulles (comptées avec leur multiplicité), et que q est le nombre des valeurs propres de M strictement négatives.
  
  ### À propos de la terminologie
  
  Concernant l'indice et la signature, plusieurs terminologies coexistent dans la communauté scientifique. Cela est rappelé en note pour l'indice. Certains auteurs appellent signature l'entier relatif p-q (différence des dimensions entre les sous-espaces "positifs" et "négatifs" maximaux).
  
  ## Applications
  
  ### Calcul différentiel
  
  Soit f une fonction $C^2$ sur $ℝ^n,$ dont la différentielle s'annule en 0. Supposons que la forme quadratique définie par la matrice hessienne soit non dégénérée d'indice e. Alors il existe un sous-espace vectoriel V de dimension e tel que la restriction de f à V admette un maximum local strict en 0. De plus, e est la dimension maximale d'un sous-espace ayant cette propriété.
  
  Il existe de même un supplémentaire W de V tel que la restriction de f à W admette un minimum local strict en 0.
  
  Grosso modo, l'indice mesure ici la non-minimalité en un point critique.
  
  Ces propriétés subsistent sur les variétés différentielles. Elles sont à la base de la théorie de Morse.
  
  ### Géométrie
  
  Soit Q une forme quadratique sur $ℝ^3.$ La surface d'équation Q(x, y, z) = 1 est homéomorphe (et même difféomorphe) à :
  
  * la sphère $S^2$ si Q est définie positive.
  * $S^1$ × ℝ si Q est de signature (2, 1) (hyperboloïde à une nappe).
  * $S^0$ × $ℝ^2$ = {–1, 1} × $ℝ^2$ si Q est de signature (1, 2) (hyperboloïde à deux nappes).
  
  Le mot nappe désigne ce qu'on appelle aujourd'hui composante connexe.
  
  Plus généralement, si Q est une forme quadratique sur $ℝ^n$ de signature (p, q), l'hypersurface d'équation Q(x) = 1 est homéomorphe (et même difféomorphe) à $S^{p–1}$ × $ℝ^{n–p}.$
  
  Exemple. Sur l'espace vectoriel des matrices réelles (2,2), le déterminant est une forme quadratique de signature (2,2). Par conséquent, le groupe spécial linéaire SL(2, ℝ) est homéomorphe à $S^1$ × $ℝ^2$
  
  