Matriu de Gram

En àlgebra lineal, la matriu de Gram d'un conjunt de vectors $v_1,\dots ,v_n$ en un espai prehilbertià, és la matriu que defineix el producte escalar, les entrades del qual venen donades per $G_{ij}=(v_i|v_j)$. El seu nom és degut al matemàtic danès Jørgen Pedersen Gram.

Propietats

Una matriu de Gram, G, és una matriu quadrada real que compleix les següents propietats:

• És simètrica.

$g_{ij}=g_{ji}$

• És una matriu semidefinida positiva, i totes les matrius semidefinides positives són la matriu de Gram d'algun conjunt de vectors. Aquest conjunt generalment no és únic: la matriu de Gram de qualsevol base ortonormal és una matriu identitat. L'analogia en dimensió infinita d'això seria el Teorema de Mercer.
• El primer element és positiu o nul.

$g_{11}\ge 0$

• Els seus determinants principals són positius o nuls.

1. $\left|\begin{array}{cc}{g}_{11}& g_{12}\\ g_{21}& g_{22}\end{array}\right|\ge 0$
2. $\left|\begin{array}{c}G\end{array}\right|\ge 0$

Aplicacions

Una de les aplicacions més importants d'aquesta matriu és la comprovació de la independència lineal: un conjunt de vectors serà linealment independent si i només sí el determinant de Gram no és nul.

Determinant de Gram

El determinant de Gram és el determinant de la matriu de Gram:

$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|.$

Geomètricament, el determinant de Gram és el quadrat del volum d'un paral·lelepípede format pels vectors. En particular, els vectors són linealment independents si i només si el determinant de la matriu de Gram no és zero (si i només si la matriu de Gram no és singular).

Exemples

Normalment, els vectors són elements d'un espai euclidià, o funcions d'un espai L2, tals com funcions contínues en un interval tancat $[a,b]$.

Donada una funció de variable real $\{l_i(\cdot ),i=1,\dots ,n\}$ definida en un interval $[t_0,t_f]$, la matriu de Gram $G=[G_{ij}]$, es defineix com el producte escalar estàndard de funcions: $G_{ij}=\underset{t_0}{\overset{t_f}{\int }}{l}_i(\tau )l_j(\tau )d\tau$.

Donada una matriu A, la matriu $A^{\mathrm{T}}A$ és la matriu de Gram de les columnes de A, mentre que la matriu $A{A}^{\mathrm{T}}$ és la matriu de Gram de les files de A.

Per a una forma bilineal B definida en un subespai vectorial de dimensió finita, es defineix la matriu de Gram G associada a un conjunt de vectors $v_1,\dots ,v_n$, com $G_{i,j}=B(v_i,v_j)$. Aquesta matriu sería la simètrica si la forma bilineal B ho fos.

Enllaços externs

• Plantilla:Ref-publicació