.
We call unitary matrices, and denote by (unitary group) the collection made of them, to those such that
i.e., their conjugate transpose and their inverse coincide. They are the complex counterpart of orthogonal matrices.
Obviously, they satisfy , since . And it can be shown (doing simple computations) that they take the form:
Moreover, the linear transformations of such that they conserve an hermitian inner product defined on it take the form of an unitary matrix when expressed on an orthogonal basis.
If we look at those which specifically verify , we get SU(2) (special unitary group), the complex counterpart of rotations , Any matrix in takes the form
with , as can be shown by taking any generic matrix and imposing and .
Observe that any such can be decomposed as
with the Pauli matrices.
Since the matrices above, verify the same product rules as basis quaternions, it turns out that the group is isomorphic to unitary quaternions. So, there is a 2 to 1 morphism from to ). See relation SO(3) and SU(2).
What is the Lie algebra of ?
Since is a group, we can wonder by its Lie algebra, .
Considering a curve with and differentiating the expression at :
we obtain that
that is, the elements of are the anti-Hermitian matrices, defined as those which satisfy . By the way, observe that is anti-Hermitian if and only if is Hermitian matrix.
We have said that is isomorphic to unit quaternions, but we know nothing about it as a manifold or as a topological space. But if we consider the map
we have that is diffeomorphic to because
So is simply connected.
The general case
General facts
The group consist of complex matrices of rank () such that
It can be easily shown that . But since is a complex number, the manifold differs in dimension by one with respect to (unlike the case of orthogonal matrices!!).
Their Lie algebras are denoted, respectively, by and . Considering with and differentiating the expression
A'(0)+A'(0)^{\dagger}=0
♾️
\operatorname{tr} A^{\prime}(0)=0
You can't use 'macro parameter character #' in math modeSo the Lie algebra $\mathfrak{su}(n)$ **consists of anti-Hermitian traceless matrices**. ## Generalization See unitary operator.