Unitary Lie algebra (source code)

= Unitary Lie algebra
{title2=$\mathfrak u(N)$}

= Lie algebra of the unitary group
{c}
{synonym}

The real <Lie algebra> of the <unitary group> is $\mathfrak u(N)=\{X:X^\dagger=-X\}$, of real dimension $N^2$. Differentiating unitarity gives necessity; exponentiating any <skew-Hermitian matrix> gives a curve in the group, proving sufficiency.