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
DefinitenessAll eigenvalues satisfy
Positive
Positive semi
Negative
Negative semi
IndefiniteSome 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.