Forme quadratique - Définition

Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs est disponible ici.

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\,

Forme quadratique 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. Notons que pour tout vecteur u,v \in 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{1}{2}\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.

Si V est de dimension n, nous pouvons écrire la forme bilinéaire B comme une matrice symétrique B relative à une certaine base \{e_i\}\, pour V. Les composantes de B sont données par B_{ij} = B(e_i,e_j)\,. La forme quadratique Q est donnée par

Q(u) = \mathbf{u}^T \mathbf{Bu} = \sum_{i,j=1}^{n}B_{ij}u^i u^j

u^i\, sont les composantes de u dans cette base. Notons que Q(u) est un polynôme homogène de degré deux en coordonnées de u, conformément à notre définition de départ.

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)\,

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.

Articles de mathématiques en rapport avec l'algèbre bilinéaire
Espace euclidien | Forme bilinéaire | Forme quadratique | Forme sesquilinéaire | Orthogonalité | Base orthonormale | Projection orthogonale | Inégalité de Cauchy-Schwarz | Inégalité de Minkowski | Matrice définie positive | Matrice semi-définie positive | Décomposition QR | Déterminant de Gram | Hermitien | Espace de Hilbert | Base de Hilbert | Théorème spectral | Théorème de Stampacchia | Théorème de Riesz | Théorème de Lax-Milgram | Théorème de représentation de Riesz
Page générée en 0.036 seconde(s) - site hébergé chez Contabo
Ce site fait l'objet d'une déclaration à la CNIL sous le numéro de dossier 1037632
A propos - Informations légales | Partenaire: HD-Numérique
Version anglaise | Version allemande | Version espagnole | Version portugaise