Revision as of 16:50, 6 March 2007 edit62.13.172.67 (talk) →External links: link it← Previous edit | Revision as of 20:40, 24 June 2007 edit undoVanish2 (talk | contribs)6,596 edits added para on general formsNext edit → | ||
Line 23: | Line 23: | ||
All ]s of a Gramian matrix are real and non-negative and the matrix is thus also ]. | All ]s of a Gramian matrix are real and non-negative and the matrix is thus also ]. | ||
For a general bilinear form ''B'' on a ] ] over any ] we can define a Gram matrix ''G'' attached to a basis <math>x_1,\dots, x_n</math> by | |||
:<math>G_{i,j} = B(x_i,x_j) \, </math>. | |||
The matrix will be symmetric if the bilinear form ''B'' is. | |||
Under change of basis represented by an invertible matrix ''P'', the Gram matrix will change by a ] to <math>P^\top G P</math>. | |||
==See also== | ==See also== |
Revision as of 20:40, 24 June 2007
In systems theory and linear algebra, the Gramian matrix of a set of functions is a real-valued symmetric matrix , where .
The Gramian matrix can be used to test for linear independence of functions. Namely, the functions are linearly independent if and only if is nonsingular. Its determinant is known as the Gram determinant or Gramian.
It is named for Jørgen Pedersen Gram.
In fact this is a special case of a quantitative measure of linear independence of vectors, available in any Hilbert space. According to that definition, for E a real prehilbert space, if
are n vectors of E, the associated Gram matrix is the symmetric matrix
- .
The Gram determinant is the determinant of this matrix,
All eigenvalues of a Gramian matrix are real and non-negative and the matrix is thus also positive semidefinite.
For a general bilinear form B on a finite-dimensional vector space over any field we can define a Gram matrix G attached to a basis by
- .
The matrix will be symmetric if the bilinear form B is. Under change of basis represented by an invertible matrix P, the Gram matrix will change by a matrix congruence to .