Let be a symmetric real matrix. is positive definite if for any nonzero vector , . If the inequality holds weakly, we say that is positive semidefinite.
The following statements are equivalent:
for every nonzero .
All eigenvalues? of are positive.
for some nonsingular? matrix .
has an LU decomposition? where all pivots are positive.
The leading principal minors of are positive.
All principal minors of are positive.