Unitary Lie algebra

ID: unitary-lie-algebra

The real Lie algebra of the unitary group is , of real dimension . Differentiating unitarity gives necessity; exponentiating any skew-Hermitian matrix gives a curve in the group, proving sufficiency.

New to topics? Read the docs here!