Distinct eigenvalues have linearly independent eigenvectors

Eigendecomposition of a Matrix

Existence of Eigenvalues on Complex Spaces

Positive Definite = Positive Eigenvalues

Positive Semidefinite has dim Eigenvectors

Trace and Determinant with Eigenvalues