Definition
Let : symmetric matrix
Then is positive definite if for all nonzero vectors :
Similarly:
- is positive semidefinite if for all
- is negative definite if for all nonzero
- is negative semidefinite if for all
- is indefinite if takes both positive and negative values
Theorems
Let : symmetric matrix
Eigenvalue Characterization Theorem
is positive definite if and only if all eigenvalues of are positive.
Similarly:
- is positive semidefinite if and only if all eigenvalues are nonnegative
- is negative definite if and only if all eigenvalues are negative
- is negative semidefinite if and only if all eigenvalues are nonpositive
| Definiteness | All eigenvalues satisfy |
|---|---|
| Positive | |
| Positive semi | |
| Negative | |
| Negative semi | |
| Indefinite | Some and some |
Principal Minors Theorem (Sylvester’s Criterion)
is positive definite if and only if all leading principal minors are positive.
The -th leading principal minor is:
for .
Cholesky Decomposition Theorem
is positive definite if and only if there exists a unique lower triangular matrix with positive diagonal entries such that:
This is called the Cholesky decomposition of .
Invertibility Theorem
If is positive definite, then is invertible and is also positive definite.
Quadratic Form Theorem
For any matrix , is positive semidefinite.
If has full column rank, then is positive definite.
Note
This is why in Singular Value Decomposition always has nonnegative eigenvalues.
Examples
Verifying positive definiteness using the definition
Let
For any nonzero :
Since for all nonzero , is positive definite.
Using eigenvalues
Let
Find eigenvalues:
Since both eigenvalues are positive, is positive definite.
Using Sylvester’s Criterion
Let
Check leading principal minors:
Since all leading principal minors are positive, is positive definite.
Indefinite matrix
Let
The eigenvalues are and .
Since eigenvalues have different signs, is indefinite.
We can verify: for :
But for :
Positive semidefinite (not definite)
Let
Find eigenvalues:
Since one eigenvalue is zero and the other is positive, is positive semidefinite but not positive definite.