Positive definiteness
ID: positive-definiteness
The strict positivity of a quadratic form on every nonzero vector. A real symmetric matrix has positive definiteness exactly when its associated quadratic form does, making it a positive-definite matrix. A Hermitian form is positive definite when its value on is real and strictly positive for every nonzero vector.
Think of a positive-definite quadratic form as an energy cost for a displacement: every direction costs something, and zero cost identifies the origin. For example, the real symmetric matrixis a positive-definite matrix because the two squares can vanish together only at . The mixed term couples the coordinates, but cannot overwhelm their positive contributions: and . The graph is a bowl, and its positive level sets are ellipses with axes along the eigenvectors, rather than along the original coordinates.
Positive quadratic energy bowl and elliptical level curves
. Details. The real and complex settings require different symmetry assumptions. For a real symmetric matrix use with ; for a complex Hermitian matrix use with , where is the conjugate transpose. The latter expression is real, so strict positivity is meaningful. A complex quadratic form such as has no such positivity: it vanishes at and takes negative real values at . A Hermitian form uses complex conjugation, which changes this example to .
For a real matrix without a symmetry hypothesis, its quadratic form depends only on its symmetric part of a matrix:Positive eigenvalues of alone do not establish positive definiteness of this quadratic form. For example, has both eigenvalues equal to , yet . The relevant test is positivity of the symmetric part of a matrix, not the spectrum of an arbitrary matrix.[ref]
Positive definiteness is a mathematical property that pertains to certain types of matrices, functions, and quadratic forms. It is particularly relevant in the fields of linear algebra, optimization, and statistics.
New to topics? Read the docs here!
