• Let be a self-adjoint operator on an -dimensional inner product space and where is an orthonormal for . Then is positive definite if .

    is positive semidefinite if

    A similar definition applies for matrices.

    • In other words, A positive definite matrix is one that defines an inner product. In particular we have the Quadratic Form

    • For positive semidefinite matrices, the criteria is weakened to be

  • (Friedberg e6.4.13a) is positive definite if and only if all the eigenvalues are positive

    is positive semidefinite if and only if all the eigenvalues are nonnegative.

  • (Friedberg e6.4.13b) is positive definite if and only if is also.

    is positive semidefinite if and only if is also.

  • (Friedberg e6.4.13c) is positive definite if and only if

    For all nonzero -tuples .

  • (Friedberg e6.4.13d) is positive semidefinite if and only if is a Gramian matrix.

  • (Friedberg e6.4.16) Let and be positive definite on an inner product space .

    • is positive definite.
    • If , then is positive definite.
    • is positive definite.

Links