Adjoint matrix
Adjoint matrix of :
Normal matrix
 is a normal matrix:
Projection
Projection from  to :
Symmetric, alternating matrix
 is a symmetric matrix:
is an alternating matrix:
is an alternating matrix:
Hermitian matrix
 is a Hermitian matrix :
Unitary matrix
 is a unitary matrix:
Corollary
 is a unitary matrix
Corollary
Corollary
Unitary matrices are normal matrices
Corollary
 is a unitary matrix
Corollary
set of all the unitary matrices are group
Corollary
Corollary
Corollary
Corollary
以下同値
Corollary
以下同値
Corollary
Column vectors of unitary matrix are orthonormal basis