Definition:
A real symmetric m*m matrix K satisfying
for all (m-dimisionational vector a) is called a positive semi-definite matrix.
Theorems:
(1) A real symmetric matrix is diagonalizable.
(2) A real symmetric matrix is positive semi-definite if and only if all its eigenvalues are non-negative.