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