Positive Definite Matrices
Problem
Show that A = [[2,1],[1,3]] is positive definite. Verify by computing eigenvalues, checking the quadratic form, and visualizing the ellipsoidal level curves.
Explanation
Definition
A symmetric (or Hermitian) matrix is positive definite (PD) if
Positive semidefinite (PSD): the inequality is , with possible equality when .
Equivalent conditions — pick whichever is easiest
For a symmetric , all of the following are equivalent:
- is positive definite.
- All eigenvalues are strictly positive: .
- All leading principal minors are positive (Sylvester's criterion): of top-left submatrices for every .
- Cholesky exists: with lower triangular and positive diagonal entries.
- for some invertible .
Step-by-step — verify is PD
is symmetric ✓ (necessary precondition).
Check 1 — Principal minors (Sylvester).
- ✓
- ✓
All positive → is PD.
Check 2 — Eigenvalues.
Characteristic polynomial: .
Both → is PD. ✓ (Consistent with Sylvester.)
Check 3 — Quadratic form.
.
Complete the square:
Sum of squares with positive coefficients — strictly positive for any ✓
Geometric picture
The level sets of for PD matrices are ellipsoids centered at the origin. Their axes align with 's eigenvectors; the semi-axis lengths are .
For our : two axes at the eigenvector directions, lengths proportional to . Since (shorter axis) and (longer axis).
PSD (but not PD) produces degenerate "ellipsoids" — cylinders or half-spaces.
Non-PD indefinite matrices produce hyperboloids or saddle-like surfaces.
Why PD matters
- Minimization. A quadratic has a unique minimum iff is PD.
- Covariance. Any valid covariance matrix is PSD; PD when no linear dependency among variables.
- Kernel methods, Gaussian processes. Require PSD kernel matrices.
- Physics. Stable equilibria have PD Hessians.
- Cholesky factorization is the fastest solver for with PD — half the cost of LU.
Cholesky decomposition
For :
Verify: ✓
Exists uniquely (with positive diagonal) iff is PD.
Common mistakes
- Forgetting symmetry. PD requires . A non-symmetric may satisfy for all , but we still call it "positive" only when symmetric.
- Checking only one eigenvalue. All must be positive.
- Mixing leading minors with arbitrary minors. Sylvester's criterion uses the specific top-left submatrices.
Try it in the visualization
Level curves of are drawn for several values. Sliders change 's entries; you see ellipses morph continuously and turn into hyperbolas the instant PD is lost. Eigenvalue signs display live.
Interactive Visualization
Parameters
Got your own math or physics problem?
Turn any problem into an interactive visualization like this one — powered by AI, generated in seconds. Free to try, no credit card required.