Gram-Schmidt matrix of two bases lemma
Basis change matrix unitarity lemma
Matrix unitary triangularization definition
Linear operator unitary triangularization definition
Choice of basis for linear operator unitary triangularization lemma
Normal triangular matrix is diagonal lemma
Linear operator unitary triangularizability criterion theorem
Matrix unitary diagonalization definition
Unitary linear operator diagonalization definition
Choice of basis for linear operator diagonalization lemma
Linear operator unitary diagonalizability criterion theorem
Matrix unitary diagonalizability criterion theorem
Real-value matrix orthogonal diagonalization definition
Real-value matrix orthogonal diagonalizability criterion theorem
Real-value matrix orthogonal diagonalizability alternative criterion definition
Unitary diagonalization algorithm definition
Orthogonal diagonalization algorithm definition