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!
New to topics? Read the docs here!