For Hermitian matrix , the following statements are equivalent, and any one can serve as the definition of the positive definiteness of [Mey00, Sec. 7.6; Woe16, Sec. 7.4]:
, for all . Note is called a quadratic form.
In Dirac notation, , for all . Note .
The eigenvalues of are all positive.
can be put in the form or , where is a nonsingular matrix.
Similarly, the following statements are equivalent, and any one can serve as the definition of the positive semidefiniteness of :