Déterminant de Gram

En géométrie euclidienne ou hilbertienne, le déterminant de Gram permet de calculer des volumes et de tester l'indépendance linéaire d'une famille de vecteurs. Il associe des calculs de produits scalaires et d'un déterminant. Son nom est un hommage au mathématicien danois Jørgen Pedersen Gram (1850-1916).

L'article déterminant montre comment définir le volume orienté d'un parallélotope formé par Modèle:Mvar vecteurs dans un espace de dimension Modèle:Mvar, sans nécessité de munir cet espace d'un produit scalaire. Les déterminants de Gram demandent de définir un tel produit scalaire, permettent le calcul des volumes des parallélotopes de toutes dimensions, mais sans notion d'orientation.

Plus généralement, il est possible de calculer des déterminants de Gram sur un espace quadratique. En dimension finie, le discriminant d'une forme bilinéaire symétrique est un cas particulier de déterminant de Gram.

Définition

Soit Modèle:Mvar, un espace préhilbertien réel. Si Modèle:Math sont Modèle:Mvar vecteurs de Modèle:Mvar, la matrice de Gram associée est la matrice symétrique de terme général Modèle:Math (le produit scalaire des vecteurs Modèle:Math et Modèle:Math). Le déterminant de Gram est le déterminant de cette matrice, soit

$G(x_1,\dots ,x_n)=\left|\begin{array}{cccc}(x_1|x_1)& (x_1|x_2)& \dots & (x_1|x_n)\\ (x_2|x_1)& (x_2|x_2)& \dots & (x_2|x_n)\\ ⋮& ⋮& & ⋮\\ (x_n|x_1)& (x_n|x_2)& \dots & (x_n|x_n)\end{array}\right|.$

Matrice de Gram

Les vecteurs colonnes de la matrice de Gram admettent les mêmes relations de dépendance linéaire (dans l'espace ${ℝ}^n$ des n-uplets de réels) que les vecteurs Modèle:Math dans Modèle:Mvar : si on note Modèle:Math la famille des vecteurs colonnes de la matrice de Gram, on a pour toute famille de réels Modèle:Math

$\sum _{i=1}^n{a}_i{x}_i=0_E$ si et seulement si $\sum _{i=1}^n{a}_i{C}_i=0_{{ℝ}^{𝕟}}$.

Il s'ensuit que la famille de vecteurs Modèle:Math et sa matrice de Gram ont le même rang.

Une matrice de Gram peut être vue comme la représentation du tenseur métrique dans une base choisie. Le tenseur métrique est usuellement noté avec la lettre g minuscule, cet usage trouve son origine dans le nom de la matrice de Gram notée G.

Déterminant de Gram

Propriétés

Écriture à l'aide d'une matrice représentative

Soit $ℬ$, une base orthonormale de l'espace engendré par la famille Modèle:Math, et Modèle:Mvar, la matrice représentative de Modèle:Math dans $ℬ$. Autrement dit, Modèle:Mvar est la matrice de taille Modèle:Math dont la Modèle:Mvar-ème colonne contient les coordonnées du vecteur Modèle:Mvar dans $ℬ$, Modèle:Math étant la dimension de $ℬ$.

La matrice de Gram de Modèle:Math est alors Modèle:Mvar. Elle est donc positive. Vu son rang Modèle:Supra, elle est donc définie positive (c'est-à-dire positive et de déterminant non nul) si et seulement si les Modèle:Mvar sont linéairement indépendants.

Effet d'opérations élémentaires

• la multiplication d'un des vecteurs par le réel Modèle:Mvar provoque une multiplication du déterminant de Gram par Modèle:Math
• le déterminant de Gram est invariant par permutation des Modèle:Mvar
• l'ajout à un vecteur d'une combinaison linéaire des autres vecteurs laisse invariant le déterminant de Gram

Propriétés

• Si Modèle:Math pour tout Modèle:Math, alors $G(x_1,\dots ,x_n)=||x_1|{|}^{2}G(x_2,\dots ,x_n)$.
• Un déterminant de Gram est toujours positif ou nul (puisque c'est le déterminant d'une matrice positive).
• Le déterminant de Gram d'une famille de vecteurs est nul si et seulement si cette famille est liée (comme cela a été déjà dit plus haut).

Application à la distance d'un vecteur à un sous-espace vectoriel

Soit Modèle:Mvar, un sous-espace vectoriel de dimension finie Modèle:Mvar de Modèle:Mvar muni d'une base Modèle:Math, et Modèle:Math. Soit Modèle:Math le projeté orthogonal de Modèle:Mvar sur Modèle:Mvar. Alors,

$G(x,x_1,\dots ,x_n)=\Vert x-p(x){\Vert }^{2}G(x_1,\dots ,x_n)=d(x,F{)}^{2}G(x_1,\dots ,x_n)$.

Application au calcul des composantes d'un vecteur dans une base quelconque

Soit Modèle:Mvar, un sous-espace vectoriel de dimension finie Modèle:Mvar de Modèle:Mvar muni d'une base Modèle:Math, et Modèle:Math.

On pose $x=\sum _{i=1}^n{p}_i{x}_i$ . Alors pour tout Modèle:Math on a la relation

$p_j^{2}G(x_1,\dots ,x_n)=G(x_1,\dots ,x_{j-1},x,x_{j+1},\dots ,x_n)$

Il ne reste plus qu'à trouver le signe de chaque Modèle:Mvar pour déterminer les coordonnées de Modèle:Mvar dans Modèle:Math.

Interprétation géométrique

Calcul des volumes de parallélotopes

Le calcul de la distance à un sous-espace permet de montrer par récurrence que le déterminant de Gram d'une famille de Modèle:Mvar vecteurs est égal au carré du volume euclidien du parallélotope correspondant.

Pour Modèle:Math, c'est bien le cas, car Modèle:Math.

En supposant la propriété vraie pour toute famille de Modèle:Mvar vecteurs, on l'établit pour Modèle:Math : la distance au carré de Modèle:Math à Modèle:Mvar, l'espace engendré par les Modèle:Mvar premiers vecteurs, est le carré de la hauteur du parallélotope, et Modèle:Math est le carré du volume de la base par hypothèse de récurrence.

Le volume s'obtient donc en prenant la racine carrée du déterminant de Gram, sans qu'il soit possible de lui donner un signe (pour plus de détails sur cette dernière question, consulter l'article orientation).