Forme quadratique

Infos
En mathématiques, une forme quadratique est un polynôme homogène de degré deux avec un nombre quelconque de variables. Par exemple, la distance comprise entre deux points dans un espace euclidien à trois dimensions s'obtient en calculant la racine carrée d'une forme quadratique impliquant six variables qui sont les trois coordonnées de chacun des deux points. Les formes quadratique d'une, deux et trois variables sont données par les formules suivantes :
Forme quadratique

En mathématiques, une forme quadratique est un polynôme homogène de degré deux avec un nombre quelconque de variables. Par exemple, la distance comprise entre deux points dans un espace euclidien à trois dimensions s'obtient en calculant la racine carrée d'une forme quadratique impliquant six variables qui sont les trois coordonnées de chacun des deux points. Les formes quadratique d'une, deux et trois variables sont données par les formules suivantes : :F(x) = ax^2\, :F(x, y) = ax^2 + by^2 + 2cxy\, :F(x, y, z) = ax^2 + by^2 + cz^2 + 2dxy + 2exz + 2fyz\, L'archétype de forme quadratique est la forme \, x^2 + y^2 + z^2 sur \, \R^3 qui définit la structure euclidienne. C'est pourquoi la théorie des formes quadratiques utilise la terminologie de la géométrie (orthogonalité). La géométrie est un bon guide pour aborder cette théorie, malgré quelques pièges. Les formes quadratiques interviennent dans de nombreux domaines des mathématiques
- la classification des coniques et plus généralement des quadriques projectives équivaut essentiellement à celle des formes quadratiques sur l'espace vectoriel correspondant.
- si f:\R^n\mapsto \R est une fonction \, C^2, la partie d'ordre 2 de son développement de Taylor, disons en 0, définit une forme quadratique. 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 maximum local, à un minimum local ou à un point selle.
- les formes quadratiques interviennent aussi en Mécanique du solide (ellipsoïde d'inertie) et en Statistique (analyse en composantes principales).

Formes quadratiques sur un espace vectoriel

Soit un espace vectoriel V sur un corps F. Pour l'instant, nous supposons que F possède une caractéristique différente de 2. C'est le cas, en particulier, pour les corps réels et complexes qui sont de caractéristique 0. Le cas où la caractéristique vaut 2 sera traité séparément. Une application Q : V \to F est appelée forme quadratique sur V s'il existe une forme bilinéaire symétrique B : V \times V \to F telle que : Q(u) = B(u, u)\, \forall u \in V\, B est appelée la forme bilinéaire associée. Si \, u, v sont des vecteurs de V, : Q(u + v) = Q(u) + 2B(u, v) + Q(v)\, donc nous pouvons retrouver la forme bilinéaire B à partir de Q : :B(u, v) = \frac\left(Q(u+v) - Q(u) - Q(v)\right) C'est un exemple de polarisation d'une forme algébrique. Il existe alors une correspondance bijective entre les formes quadratiques sur V et les formes bilinéaires symétriques sur V. À partir d'une forme donnée, nous pouvons définir de manière unique l'autre forme. Quelques autres propriétés des formes quadratiques :
-Q(au) = a^2 Q(u)\, \forall a \in F et u \in V
-Q obéit à la loi du parallélogramme : ::Q(u+v) + Q(u-v) = 2Q(u) + 2Q(v)\,
-Les vecteurs u et v sont orthogonaux par rapport à B ssi ::Q(u+v) = Q(u) + Q(v)\,
-Pour toute forme quadratique, il existe une base orthogonale, c'est à dire une base \, (e_i)_1\le i\le n telle que \, B(e_i, e_j)=0 pour \, i\not=j. C'est une conséquence immédiate de la réduction de Gauss.

Expression matricielle

Si V est de dimension n, et si \, (e_i)_1\le i\le n est une base de V, on associe à B la matrice symétrique B définie par \mathbf_=B(e_i, e_j) p. La forme quadratique Q est alors donnée par :Q(u) = \mathbf^T \mathbf = \sum_^B_u^i u^j où les \, u^i 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 par rapport à la base. Notons que Q(u) est un polynôme homogène de degré deux par rapport aux coordonnées de u, conformément à notre définition de départ. Soit \, (e^\prime_i)_1\le i\le n une autre base de V, et soit \, P la matrice de passage exprimant les anciennes coordonnées en en fonctions des nouvelles. De la relation \, \mathbf=P\mathbfu^\prime on tire \mathbfB^\prime=^TP\mathbfP pour la matrice de B dans la nouvelle base. On dit que B et B' sont congruentes.

Rang

Le noyau d'une forme quadratique Q ( on dit aussi radical) est par défintion le sous-espace vectoriel \mathrm(Q)=\x\in V, \forall y\in V, B(x, y)=0\ 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\mapsto B(x, y) 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 un isomorphisme. Le rang de Q est par définition dim V - dim(rad(Q)). C'est aussi le rang de la matrice de Q par rapport à une base quelconque.

Sous-espaces orthogonaux

Si W est un sous-espace vectoriel de V, l'orthogonal de V est le sous-espace W^\perp = \x\in V, \forall y\in W, B(x, y)= 0\ Cette notion généralise l'orthogonalité dans les espaces euclidiens, mais il y a quelques pièges. Par exemple sur \, F\times F, la forme quadratique \, Q(x, y)=xy est non dégénérée, mais chacun des sous-espaces F\times\0\ et \0\\times F est son propre orthogonal. Plus généralement, si Q est non dégénérée, on a bien \mathrmW+\mathrmW^\perp=\mathrmV, comme dans le cas euclidien. Mais l'intersection W\cap W^\perp n'est pas forcément réduite à zéro.

Discriminant

Soit q une forme quadratique et A sa matrice par rapport à une base de V. Si l'on effectue un changement de base de matrice Q, la matrice de q dans la nouvelle base sera \, A^\prime =^tQAQ. D'après les propriétés élémentaires des déterminants, \det A^\prime=(\det Q)^2\det A . Si q est non dégénérée, l'image du déterminant dans le groupe quotient K^\ast/(K^\ast)^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. Exemples
- Corps des complexes Si K=\mathbb, le quotient K^\ast/(K^\ast)^2 est réduit à l'élément neutre, et le discriminant est sans intérêt.
- Corps des réels Si K=\mathbb, le quotient K^\ast/(K^\ast)^2 s'identifie à \\pm 1\, vu comme sous-groupe multiplicatif de \mathbb^\ast. On peut donc parler de formes quadratiques à discriminant positif ou négatif. Par exemple, le discriminant de la forme quadratique ax^2+2bxy+cy^2 sur \mathbb^2, supposée non dégénérée, est donnée par le signe de \, ac-b^2. 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)^2-(u^\prime x+ v^\prime y)^2. On retrouve, ce qui n'est pas surprenant, la théorie de l'équation du second degré.
-Corps finis Si p est un nombre premier, et K le corps \mathbb_p à p éléments, la théorie élémentaires des résidus quadratiques assure que K^\ast/(K^\ast)^2 est encore isomorphe au groupe à deux éléments.

Le problème de classification

On dira que deux formes quadratiques Q et Q' sont équivalentes s'il existe une application linéaire inversible \, \phi telle que \, Q^\prime=Q\circ\phi. Il revient au même de dire que leur matrices dans une même base sont congruentes. Classer les formes quadratiques sur un espace vectoriel V c'est
- déterminer les classes d'équivalence de la relation précédente (qui est clairement une relation d'équivalence)
- déterminer les orbites de l'ensemble des formes quadratiques sous l'action du groupe linéaire \, Gl(V) donnée par (\phi, Q)\mapsto Q\circ\phi (ce ne sont que deux façons d'exprimer la même chose). On a les résultats suivants.
- Si V est un espace vectoriel de dimension finie sur un corps F algébriquement clos (de caractéristique \not=2) deux formes quadratiques sont équivalentes si et seulement si elles ont même rang. C'est une conséquence directe de la réduction de Gauss
- Si V est un espace vectoriel de dimension finie sur \, \R, deux formes quadratiques sont équivalentes si et seulement si elles ont même rang et même signature (loi d'inertie de Sylvester). Deux formes quadratiques équivalentes ont même rang et même discriminant, mais l'inverse est loin d'être en général vrai.

Cas de corps de caractéristique deux

La théorie des formes quadratiques de caractéristique deux possède une petite saveur 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, même si B existe, elle n'est pas unique : puisque les formes alternées sont aussi symétriques en caractéristique deux, 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 qui marche pour toute caractéristique est la suivante. Une forme quadratique d'un espace vectoriel V sur un corps F est comme une application Q : V \rightarrow F telle que
-Q(au) = a^2 Q(u)\, \forall a \in F et u \in V, et
-Q(u+v) - Q(u) - Q(v)\, est une forme bilinéaire sur V.

Généralisations

On peut généraliser la notion de forme quadratique à des modules sur un anneau commutatif. Les formes quadratiques entières sont importantes en théorie des nombres et topologie. ==
Sujets connexes
Analyse en composantes principales   Anneau commutatif   Base (algèbre linéaire)   Bijection   Caractéristique d'un anneau   Corps (mathématiques)   Dimension   Déterminant   Espace dual   Espace euclidien   Espace projectif   Espace vectoriel   Forme bilinéaire   Loi d'inertie de Sylvester   Mathématiques   Matrice   Matrice (mathématiques)   Matrice définie positive   Matrice symétrique   Module   Nombre complexe   Nombre premier   Nombre réel   Noyau   Point critique   Polynôme homogène   Racine carrée   Réduction de Gauss   Résidu quadratique   Théorie des nombres   Topologie  
#
Accident de Beaune   Amélie Mauresmo   Anisocytose   C3H6O   CA Paris   Carole Richert   Catherinettes   Chaleur massique   Championnat de Tunisie de football D2   Classement mondial des entreprises leader par secteur   Col du Bonhomme (Vosges)   De viris illustribus (Lhomond)   Dolcett   EGP  
^