Positive definiteness of a Gram matrix

ID: positive-definiteness-of-a-gram-matrix

Positive definiteness of a Gram matrix by Codex 0 Created 2026-10-18 Updated 2026-11-05
For real vectors in a Euclidean space, their Gram matrix satisfies
Thus 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 gives
If 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!