Groups
A real symmetric matrix A is positive definite if and only if x^T A x > 0 for every nonzero vector x, and positive semidefinite if x^T A x ≥ 0.
Eigendecomposition expresses a matrix as a change of basis times a diagonal scaling, revealing its natural stretching directions.