Développement #994

Titre : Théorème de réduction de Gauss et loi d'inertie de Sylvester

Contenu : Théorème de réduction de Gauss\rSoient $E$ un $\mathbb{R}$-e.v. de dimension finie $n$ et $q$ une forme quadratique sur $E$ dont l'on note $r$ le rang. Alors il existe $(\lambda_1,\dots,\lambda_r) \in \mathbb{R}^r$ tous non-nul et il existe $(\varphi_1,\dots,\varphi_r) \in E^*$ formes linéaires linéairement indépendantes dans $E^*$ tels que \r$$\r\forall x \in E, q(x) = \lambda_1 \varphi_1^2 (x) + \dots + \lambda_r \varphi_r^2 (x)\r$$\r\rLoi d'inertie de Sylvester\rSoient $E$ un $\mathbb{R}$-e.v. de dimension finie $n$ et $q$ une forme quadratique sur $E$ dont l'on note $r$ le rang. Alors il existe $p \in \lbrace 1,\dots,r \rbrace$, $(\lambda_1,\dots,\lambda_r) \in ]0,+\infty[^r$ et $(\varphi_1,\dots,\varphi_r) \in E^*$ formes linéaires linéairement indépendantes dans $E^*$ tels que \r$$\r\forall x \in E, q(x) = \lambda_1 \varphi_1^2 (x) + \dots + \lambda_p \varphi_p^2 (x) - \lambda_{p+1} \varphi_{p+1}^2 (x) - \dots - \lambda_r \varphi_r^2 (x)\r$$\rLe couple $(p,r-p)$ est appelé signature de $q$ et ne dépend pas du choix de la base.

Créé le : 23/07/2026 12:42

Mis à jour : 23/07/2026 12:42