# Gram determinant

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

A determinant of the form where are elements of a (pre-)Hilbert space and are their scalar products. A Gram determinant is equal to the square of the -dimensional volume of the parallelotope constructed on .

A Gram determinant is the determinant of a non-negative Hermitian form which determines its basic properties:

1) A Gram determinant is non-negative, i.e. . The equality is valid if and only if the vectors are linearly dependent. This property can be regarded as a generalization of the Cauchy inequality: or In particular, a Gram determinant is equal to zero if any of its principal minors (which is also a Gram determinant) is zero.

2) , equality holding if and only if the subspaces and are orthogonal or if one of the determinants , is equal to zero. The geometrical meaning of this inequality is that the volume of the parallelotope is not larger than the product of the volumes of complementary faces. In particular, 3) , where is the distance from the element to the subspace , i.e. the best quadratic approximation (cf. Best approximation) to the element by polynomials of the type .

If are -dimensional vectors, , then Gram determinants were introduced by J.P. Gram  and, independently, by K.A. Andreev  in the context of problems of expansion of functions into orthogonal series and the best quadratic approximation to functions.

The Gram determinant is used in many problems of linear algebra and function theory: studies of linear dependence of systems of vectors or functions, orthogonalization of systems of functions, construction of projections, and also in studies on the properties of systems of functions. See also Gram matrix.

The Gram determinant is a special case of determinants of the type which are Hermitian and bilinear with respect to vectors and . If all are of class , then the following formula is valid:  How to Cite This Entry:
Gram determinant. L.P. Kuptsov (originator), Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Gram_determinant&oldid=18442
This text originally appeared in Encyclopedia of Mathematics - ISBN 1402006098