Loading AI tools
polynôme homogène de degré deux avec un nombre quelconque de variables De Wikipédia, l'encyclopédie libre
En mathématiques, une forme quadratique est un polynôme homogène de degré 2 avec un nombre quelconque de variables. Les formes quadratiques d'une, deux et trois variables sont données respectivement par les formules suivantes (a,b,c,d,e,f désignant des coefficients) :
L'archétype de forme quadratique est la forme x2 + y2 + z2 sur ℝ3, qui définit la structure euclidienne et dont la racine carrée permet de calculer la norme d'un vecteur. Un autre exemple très classique est la forme x2 + y2 + z2 – t2 sur ℝ4, qui permet de définir l'espace de Minkowski utilisé en relativité restreinte. C'est pourquoi la théorie des formes quadratiques utilise le vocabulaire de la géométrie (orthogonalité). La géométrie est un bon guide pour aborder cette théorie, malgré quelques pièges, liés notamment aux questions de signes ou plus généralement au choix du corps dans lequel varient les coefficients.
Les formes quadratiques interviennent dans de nombreux domaines des mathématiques : différents résultats de classification des coniques et plus généralement des quadriques, recherche de minimum ou maximum local d'une fonction de plusieurs variables à partir d'un développement limité, introduction de la courbure des surfaces, analyse en composantes principales en statistiques. Les formes quadratiques entières interviennent en théorie des nombres et en topologie algébrique.
On trouve également des formes quadratiques dans plusieurs domaines de la physique : pour définir l'ellipsoïde d'inertie en mécanique du solide, en relativité restreinte ou générale…
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
La forme B est alors unique : on la retrouve par une identité de polarisation, conséquence de la bilinéarité
où est symétrique. 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 (e1, … , en) est une base d'un espace vectoriel de dimension n, en notant (v1, … , vn) les coordonnées de v ∈ V dans cette base, les applications v ↦ v12 et v ↦ 2v1v2 sont des formes quadratiques. Les formes bilinéaires associées sont respectivement (v, w) ↦ v1w1 et (v, w) ↦ v1w2 + v2w1.
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.
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 est une base de V, on associe à B la matrice symétrique B définie par La valeur de la forme quadratique Q est alors donnée par où les uj 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éveloppement de Taylor en 0 de Q montre que
Plus généralement, si W est un sous-espace vectoriel de V, l'orthogonal de W est le sous-espace
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.
Théorème — Pour toute forme quadratique sur un espace de dimension finie, il existe une base formée de vecteurs deux à deux orthogonaux.
Il existe deux démonstrations classiques de ce résultat. La première consiste en une démonstration 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 démonstration est terminé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.
Plus généralement, si Q est non dégénérée, on a bien dim(W) + dim(W⊥) = dim(V), comme dans le cas euclidien. Mais l'intersection W ∩ W⊥ n'est pas nécessairement réduite à zéro.
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 (ei)i est une base orthogonale de V, rad(Q) est le sous-espace vectoriel engendré par les ei tels que Q(ei) = 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 K2n, soit Q la forme quadratique donnée par
Le sous-espace 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 ℂ2n donnée par
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, Si Q est non dégénérée, l'image du déterminant dans le groupe quotient K*/(K*)2 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.
On dira que deux formes quadratiques Q et Q' sont équivalentes (certains auteurs disent isométriques) s'il existe une application linéaire inversible ϕ telle que . Cela revient à dire que l'expression de Q' dans une base (ei)1 ≤ i ≤ n est identique (en tant que polynôme par rapport aux coordonnées) à celle de Q dans la base (ϕ(ei))1 ≤ i ≤ n. Cela équivaut aussi à dire que leurs matrices dans une même base sont congruentes.
Classer les formes quadratiques sur un espace vectoriel V, c'est :
(ce sont deux façons d'exprimer la même chose).
Sur Kn (où K est un corps de caractéristique différente de 2) :
On en déduit les résultats suivants :
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
On définit alors une forme quadratique Q* sur V* en posant
Si A est la matrice de Q dans une base de V, la matrice de Q* dans la base duale de V* est A−1.
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.
La théorie des formes quadratiques sur un anneau quelconque est légèrement différente, essentiellement parce que la division par 2 n'est pas possible. Il n'est plus vrai non plus que chaque forme quadratique est de la forme Q(u) = B(u,u) pour une forme bilinéaire symétrique B. En outre, en caractéristique 2, même lorsque B existe, elle n'est pas unique : puisque les formes alternées sont aussi symétriques en caractéristique 2, on peut ajouter toute forme alternée à B et obtenir la même forme quadratique.
Une définition plus générale d'une forme quadratique sur un anneau commutatif R quelconque est la suivante[3],[4].
Une forme quadratique sur un R-module V est une application Q : V → R telle que :
Les formes quadratiques entières (c'est-à-dire à coefficients entiers) les plus étudiées ont d'abord été les formes quadratiques binaires, classifiées par Lagrange puis Gauss, pour la résolution d'équations diophantiennes comme le théorème des deux carrés de Fermat.
Les formes entières jouent aussi un rôle primordial en théorie de l'intersection.
Les formes quadratiques réelles (pour lesquelles ) sont les plus utilisées en physique et possèdent des propriétés supplémentaires permettant notamment de plus facilement les classer. On suppose dans la suite de cette partie que est un espace vectoriel réel de dimension .
La signature d'une forme quadratique réelle sur est la signature de la forme bilinéaire symétrique associée à , ou encore la signature de la matrice symétrique réelle B associée à . On peut la définir de deux façons, soit avec la notion de dimension maximale des sous-espaces négatifs et positifs (comme ici), soit de manière équivalente avec les valeurs propres :
Définition. La signature de B est le couple , où (respectivement ) est le nombre de valeurs propres (comptées avec leur multiplicité) strictement positives (respectivement négatives) de B.
Autrement dit, pour une famille de valeurs propres de B, est le cardinal de , et le cardinal de .
Cette définition est clairement invariante par changement de base de B et la loi d'inertie de Sylvester et le théorème spectral donnent l'équivalence avec l'autre définition. On peut noter que le rang de B est alors égal à . La signature de est bien définie car elle est indépendante du choix de la base utilisée pour obtenir la matrice B associée à (et donc à ) selon cette même loi d'inertie de Sylvester.
On trouve plusieurs versions différentes de l'écriture de cette signature dans la littérature scientifique. On peut par exemple souvent voir apparaitre le choix de noter la multiplicité de ce qui donne le triplet , mais c'est en principe inutile car on sait déjà avec le théorème du rang que . On trouve aussi la notation avec un nombre de et un nombre de utilisée par les physiciens, qui précisent également en général l'orientation de l'écoulement du temps (qui peut être inversé à condition de rester consistant avec ce choix de convention).
Exemples.
Le lien entre une métrique pseudo-riemannienne et la matrice représentant le tenseur métrique associé fait qu'on appelle parfois signature de la métrique considérée la signature de la matrice associée à cette même métrique. Par exemple, la signature de la métrique de Minkowski est ou .
Pour calculer la signature, plusieurs algorithmes existent :
Si f : ℝn → ℝ est une fonction de classe C2, la partie d'ordre 2 de son développement de Taylor, disons en 0, définit une forme quadratique dont la représentation matricielle est, à un facteur 1/2 près, la matrice hessienne de f en 0. Si 0 est un point critique, cette forme, dans le cas où elle est non dégénérée, permet de décider si on a affaire à un point de maximum local, à un point de minimum local ou à un point selle.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.