Forme quadratique

Les exemples les plus simples de formes quadratiques sont donnés avec un certain nombre de variables et de coefficients, en commençant par les formes quadratiques binaires. La définition générale s'écrit dans un module sur un anneau commutatif. On se limite dans un premier temps au cas d'un espace vectoriel V sur un corps commutatif K de caractéristique différente de 2 (ce qui permet la division par 2, comme pour ℝ ou ℂ). On peut alors formuler une définition dérivée de celle des formes bilinéaires :

Une forme quadratique sur V est une application Q : V → K telle qu'il existe une forme bilinéaire symétrique B : V × V → K telle que

${\displaystyle \forall u\in V,Q(u)=B(u,u).}$

La forme B est alors unique : on la retrouve par une identité de polarisation, conséquence de la bilinéarité

${\displaystyle B(u,v)={\frac {1}{2}}\left(Q(u+v)-Q(u)-Q(v)\right)}$

Elle est appelée la forme bilinéaire associée à Q, ou encore la forme polaire de Q. Ainsi, Q et B se déterminent mutuellement.

On peut donner des exemples simples : lorsqu'on dispose d'un produit scalaire, l'application qui à un vecteur associe le carré de sa norme est une forme quadratique. Ou encore, si (e₁, … , e_n) est une base d'un espace vectoriel de dimension n, en notant (v₁, … , v_n) les coordonnées de v ∈ V dans cette base, les applications v ↦ v₁² et v ↦ 2v₁v₂ sont des formes quadratiques. Les formes bilinéaires associées sont respectivement (v, w) ↦ v₁w₁ et (v, w) ↦ v₁w₂ + v₂w₁.

Deux vecteurs x et y sont dits orthogonaux par rapport à Q si B(x, y) = 0, ce qui a bien un sens vu la correspondance entre Q et B.

• Pour tout scalaire a et tout vecteur e, Q(ae) = a²Q(e).
• Deux vecteurs u et v sont orthogonaux par rapport à B si et seulement si Q(u + v) = Q(u) + Q(v).
• Plus généralement, pour tous vecteurs e₁, … , e_n deux à deux orthogonaux par rapport à B et pour tous scalaires a₁, … , a_n, ${\displaystyle Q\left(\sum _{i=1}^{n}a_{i}e_{i}\right)=\sum _{i=1}^{n}a_{i}^{2}Q(e_{i})}$.
• Q obéit à la règle du parallélogramme : Q(u + v) + Q(u – v) = 2Q(u) + 2Q(v).
• La somme de deux formes quadratiques, et plus généralement les combinaisons linéaires de formes quadratiques sont des formes quadratiques.

L'expression "quadratique" provient de "carré" et témoigne de l'apparition de coefficients au carré dans ces formules. Cela ne veut pas dire pour autant que Q(x) est un réel positif, ce n'est pas toujours le cas.

Si V est de dimension n, et si ${\displaystyle e=(e_{i})_{1\leq i\leq n}}$ est une base de V, on associe à B la matrice symétrique B définie par ${\displaystyle \mathbf {B} _{ij}=B(e_{i},e_{j}).}$ La valeur de la forme quadratique Q est alors donnée par ${\displaystyle Q(u)=\mathbf {^{T}u} \mathbf {Bu} =\sum _{i,j=1}^{n}B_{ij}u_{i}u_{j}}$ où les u_j sont les coordonnées de u dans cette base, et u la matrice colonne formée par ces coordonnées. On dit que B est la matrice de Q dans la base e.

L'expression de Q(u) est un polynôme homogène de degré 2 par rapport aux coordonnées de u, comme indiqué en introduction. Cependant les coefficients du polynôme dépendent du choix de base, alors que la définition formelle a l'avantage d'être totalement dégagée d'un tel choix. Précisément, si e'=(e'_i)_{1 ≤ i ≤ n} est une autre base de V, et soit P la matrice de passage de e à e'. De la relation u = Pu' on tire B' = ^TPBP pour la matrice de B dans la nouvelle base. On dit que B et B' sont congruentes.

Inversement, le polynôme Q étant donné, le dévelopement de Taylor en 0 de Q montre que

${\displaystyle B_{i,j}={1 \over 2}{\partial ^{2}Q \over \partial x_{i}\partial x_{j}}.}$

Plus généralement, si W est un sous-espace vectoriel de V, l'orthogonal de W est le sous-espace

${\displaystyle W^{\perp }=\{x\in V\mid \forall y\in W\quad B(x,y)=0\}}$.

Ces notions généralisent l'orthogonalité dans les espaces euclidiens, mais il y a quelques pièges. Par exemple sur K × K, pour la forme quadratique Q(x, y) = xy, chacun des sous-espaces K × {0} et {0} × K est son propre orthogonal.

Il existe deux démonstrations classiques de ce résultat. La première consiste en une preuve par récurrence[1] sur la dimension de l'espace. Pour établir l'hérédité on considère un vecteur v tel que Q(v) ≠ 0 (s'il en existe, sinon la forme quadratique est nulle et la preuve est achevée) et on applique l'hypothèse de récurrence dans l'hyperplan noyau de la forme linéaire non nulle x ↦ B(x,v). La deuxième méthode est un algorithme explicite en composantes, la réduction de Gauss, qui fait apparaître Q comme combinaison linéaire de carrés de formes linéaires. Il suffit alors d'introduire une base duale.

Le noyau d'une forme quadratique Q (on dit aussi radical) est par définition l'orthogonal de l'espace V tout entier. Cet espace est le noyau de l'application linéaire de V dans l'espace dual V* qui associe à x la forme linéaire y ↦ B(x, y). Si (e_i)_i est une base orthogonale de V, rad(Q) est le sous-espace vectoriel engendré par les e_i tels que Q(e_i) = 0.

Une forme quadratique est dite non dégénérée si rad(Q) = 0, autrement dit si l'application linéaire ci-dessus est injective.

Si F est un sous-espace supplémentaire de rad{(Q)}, la restriction de Q à F est non dégénérée, et Q donne par passage au quotient une forme quadratique non dégénérée sur l'espace quotient V/rad(Q).

Si Q est non dégénérée, dim(W) + dim(W^⊥) = dim(V), mais V n'est pas toujours la somme directe de W et de son orthogonal, comme la situation euclidienne pourrait le faire croire.

Le rang de Q est par définition le rang de l'application de V dans V* définie ci-dessus. D'après le théorème du rang, on a donc : rg(Q) + dim(rad(Q)) = dim(V). Si V est de dimension finie, rg(Q) est aussi le rang de la matrice de Q dans n'importe quelle base.

Un vecteur v non nul est dit isotrope si Q(v) = 0.

Un sous-espace vectoriel W de V est dit totalement isotrope si la restriction de Q à W est la forme nulle.

Exemple. Sur K²ⁿ, soit Q la forme quadratique donnée par

${\displaystyle Q(v)=\sum _{i=1}^{n}v_{i}v_{i+n}}$

Le sous-espace ${\displaystyle \{v\in V\mid v_{i}=0\ \mathrm {si} \ 1\leq i\leq n\}}$ est totalement isotrope. Tous les sous-espaces totalement isotropes maximaux ont même dimension[2]. Cette dimension s'appelle l'indice d'isotropie.

Exemples. Il est nul pour le carré de la norme euclidienne, et vaut n dans l'exemple précédent, ainsi que pour la forme quadratique sur ℂ²ⁿ donnée par

${\displaystyle \sum _{i=1}^{2n}z_{i}^{2}.}$

Plus généralement, l'indice d'isotropie d'une forme quadratique non dégénérée sur un espace vectoriel complexe est égal à ⌊dimV/2⌋ (partie entière).

Soit Q une forme quadratique et B sa matrice dans une base de V.

Si l'on effectue un changement de base de matrice P (cf. § « Expression matricielle » ci-dessus), la matrice de Q dans la nouvelle base sera B' = ^TPBP.

D'après les propriétés élémentaires des déterminants, ${\displaystyle \det {\rm {B}}^{\prime }=(\det P)^{2}\det {\rm {B}}.}$ Si Q est non dégénérée, l'image du déterminant dans le groupe quotient K*/(K*)² ne dépend pas de la base ; c'est cet élément que l'on appelle le discriminant de la forme quadratique.

Si Q est dégénérée, on convient que le discriminant est nul.

Exemples

• Corps quadratiquement clos

Si K est quadratiquement clos (en particulier s'il est algébriquement clos, comme le corps des complexes), le quotient K*/(K*)² est le groupe trivial et le discriminant est sans intérêt.

• Corps des réels

Le quotient ℝ*/(ℝ*)² s'identifie à {± 1}, vu comme sous-groupe multiplicatif de ℝ*. On peut donc parler de formes quadratiques à discriminant positif ou négatif. Par exemple, le discriminant de la forme quadratique ax² + 2bxy + cy² sur ℝ², supposée non dégénérée, est donnée par le signe de ac – b². S'il est positif, la forme est définie positive ou définie négative ; s'il est négatif, la réduction de Gauss sera de la forme (ux + vy)² – (u'x + v'y)². On retrouve, ce qui n'est pas surprenant, la théorie de l'équation du second degré.

• Corps finis

Si K est un corps fini de caractéristique différente de 2, le groupe K* est cyclique d'ordre pair et K*/(K*)² est encore d'ordre 2.

• Corps des rationnels

La décomposition d'un entier en facteurs premiers permet de voir que ℚ*/(ℚ*)² est infini.

Si Q est de rang maximum sur l'espace vectoriel V, la forme bilinéaire associée B définit un isomorphisme entre V et son dual V* : à v ∈ V on associe la forme linéaire ϕ_B(v) définie par

${\displaystyle \forall w\in V,\phi _{B}(v)(w)=B(v,w).}$

On définit alors une forme quadratique Q* sur V* en posant

${\displaystyle \forall \xi \in V^{\ast },Q^{\ast }(\xi )=Q\left(\phi _{B}^{-1}(\xi )\right).}$

Si A est la matrice de Q dans une base de V, la matrice de Q* dans la base duale de V* est A⁻¹.

Application aux quadriques Si l'on considère Q(v) = 0 comme l'équation d'une quadrique projective de l'espace projectif P(V), la forme Q* donne l'équation tangentielle de la quadrique considérée.

• Marcel Berger, Géométrie [détail des éditions]
• Jean-Pierre Serre, Cours d'arithmétique, 1970 [détail des éditions], chap. IV
• (en) Burton W. Jones (en), The Arithmetic Theory of Quadratic Forms, MAA, coll. « The Carus Mathematical Monographs » (n^o 10), 1950 (lire en ligne)

• Portail de l’algèbre