$$\newcommand{\mtn}{\mathbb{N}}\newcommand{\mtns}{\mathbb{N}^*}\newcommand{\mtz}{\mathbb{Z}}\newcommand{\mtr}{\mathbb{R}}\newcommand{\mtk}{\mathbb{K}}\newcommand{\mtq}{\mathbb{Q}}\newcommand{\mtc}{\mathbb{C}}\newcommand{\mch}{\mathcal{H}}\newcommand{\mcp}{\mathcal{P}}\newcommand{\mcb}{\mathcal{B}}\newcommand{\mcl}{\mathcal{L}} \newcommand{\mcm}{\mathcal{M}}\newcommand{\mcc}{\mathcal{C}} \newcommand{\mcmn}{\mathcal{M}}\newcommand{\mcmnr}{\mathcal{M}_n(\mtr)} \newcommand{\mcmnk}{\mathcal{M}_n(\mtk)}\newcommand{\mcsn}{\mathcal{S}_n} \newcommand{\mcs}{\mathcal{S}}\newcommand{\mcd}{\mathcal{D}} \newcommand{\mcsns}{\mathcal{S}_n^{++}}\newcommand{\glnk}{GL_n(\mtk)} \newcommand{\mnr}{\mathcal{M}_n(\mtr)}\DeclareMathOperator{\ch}{ch} \DeclareMathOperator{\sh}{sh}\DeclareMathOperator{\th}{th} \DeclareMathOperator{\vect}{vect}\DeclareMathOperator{\card}{card} \DeclareMathOperator{\comat}{comat}\DeclareMathOperator{\imv}{Im} \DeclareMathOperator{\rang}{rg}\DeclareMathOperator{\Fr}{Fr} \DeclareMathOperator{\diam}{diam}\DeclareMathOperator{\supp}{supp} \newcommand{\veps}{\varepsilon}\newcommand{\mcu}{\mathcal{U}} \newcommand{\mcun}{\mcu_n}\newcommand{\dis}{\displaystyle} \newcommand{\croouv}{[\![}\newcommand{\crofer}{]\!]} \newcommand{\rab}{\mathcal{R}(a,b)}\newcommand{\pss}[2]{\langle #1,#2\rangle} $$
Bibm@th

Déterminant de Gram

Soit $E$ un espace vectoriel euclidien, et $(\overrightarrow{u_1},\dots,\overrightarrow{u_r})$ une famille de $r$ vecteurs de $E$. On appelle matrice de Gram de cette famille la matrice formée par tous les produits scalaires : $$\big(\langle u_i,u_j\rangle)_{1\leq i,j\leq r}.$$ Son déterminant, noté $\textrm{Gram}(\overrightarrow{u_1},\dots,\overrightarrow{u_r})$, est appelé le déterminant de Gram de $(\overrightarrow{u_1},\dots,\overrightarrow{u_r}).$

La matrice de Gram est toujours symétrique positive et la réciproque est fermée : toute matrice symétrique positive peut être interprétée comme une matrice de Gram. En outre, le déterminant est non nul si, et seulement si, la famille est libre, si, et seulement si, la matrice est définie. Surtout, les déterminants de Gram permettent de calculer des distances :

Théorème : Soit $V$ un sous-espace de $E$, muni d'une base $(\overrightarrow{e_1},\dots,\overrightarrow{e_r})$ (pas forcément orthonormale), et $\overrightarrow v$ dans $E$. Alors la distance $d$ de $\overrightarrow v$ à $V$ est donnée par : $$d^2=\frac{\textrm{Gram}(\overrightarrow{e_1},\dots,\overrightarrow{e_r},\overrightarrow v)}{\textrm{Gram}(\overrightarrow{e_1},\dots,\overrightarrow{e_r})}.$$

Ces propriétés s'étendent aux espaces préhilbertiens réels ou complexes.

Consulter aussi...
Recherche alphabétique
Recherche thématique