Definition: Real Symmetric Matrix
A real symmetric matrix is a symmetric matrix over the real numbers.
Definition: Definiteness of a Real Symmetric Matrices
- positive-definite if for every ;
- positive semi-definite if for every ;
- negative-definite if for every ;
- negative semi-definite if for every ;
- indefinite if there are such that and .
Theorem: Definiteness Criteria
A real symmetric matrix whose eigenvalues are all real is:
positive definite if and only if all of its eigenvalues are positive;
positive semi-definite if and only if all of its eigenvalues are non-negative;
negative definite if and only if all of its eigenvalues are negative;
negative semi-definite if and only if all of its eigenvalues are non-positive;
indefinite if and only if it has both positive and negative eigenvalues.
PROOF
TODO