Theorem

  1. Let
  2. With as an ordered Orthonormal Basis of
  3. With
  4. The matrix representation with basis is the Conjugate Transpose of the matrix representation of using the same basis

Proof

  1. Let
  2. Let
  3. and
  4. But,