Positive definiteness of a Gram matrix
ID: positive-definiteness-of-a-gram-matrix
For real vectors in a Euclidean space, their Gram matrix satisfiesThus is a positive semidefinite matrix. It is a positive-definite matrix exactly when the vectors are linearly independent: the squared norm vanishes precisely when the indicated linear combination vanishes.
For complex vectors, specify the convention. With the inner product conjugate-linear in its first argument, the same definition givesIf the inner product is instead linear in its first argument, this definition of gives . The positive definiteness criterion is unchanged, but the coefficient formula must respect the convention.
New to topics? Read the docs here!