贡献者： 零穹
如词条 “埃尔米特矢量空间（酉空间）” 所说，酉群是埃尔米特矢量空间中所有标准正交基底之间的转换矩阵构成的群。现在来一步步的引入它。
1. 酉矩阵
设 $\{ \hat e_i\},\{ \hat e'_i\}$ 是埃尔米特矢量空间 $V$ 的两个标准正交基底，从 $\{ \hat e_i\}$ 到 $\{\hat e'_i\}$ 的转换矩阵为 $ \boldsymbol{\mathbf{A}} =(a_{ij})$，即
\begin{equation}
\hat e'_j=\sum_{i}a_{ij} \hat e_i~.
\end{equation}
于是，基矢量间的纯量积满足（
定义 1 ）
\begin{equation}
( \hat e'_j| \hat e'_k)=\sum_{i,s}\overline{a_{ij}}a_{sk}(\hat e_i|\hat e_s)=\sum_{i}\overline{a_{ij}}a_{ik}~,
\end{equation}
即
\begin{equation}
\boldsymbol{\mathbf{A}} ^\dagger \boldsymbol{\mathbf{A}} = \boldsymbol{\mathbf{E}} = \boldsymbol{\mathbf{A}} \boldsymbol{\mathbf{A}} ^\dagger~.
\end{equation}
其中，$ \boldsymbol{\mathbf{A}} ^\dagger:=( \boldsymbol{\mathbf{A}} ^T)^*$，*表取共轭复数。
定义 1 酉矩阵
称矩阵 $ \boldsymbol{\mathbf{A}} $ 为酉矩阵，若
\begin{equation}
\boldsymbol{\mathbf{A}} ^\dagger \boldsymbol{\mathbf{A}} = \boldsymbol{\mathbf{E}} ~.
\end{equation}
这就是说，在埃米尔特矢量空间里，两个标准正交基之间的转换矩阵为酉矩阵。反过来，若 $ \boldsymbol{\mathbf{A}} $ 为酉矩阵，则根据式 1 ，由标准正交基底 $\{\hat e_i\}$ 得到的矢量组 $\{\hat e'_i\}$ 仍是标准正交基底。下面定理成立
定理 1
在埃米尔特矢量空间中，由一个标准正交基底到另一个标准正交基底的转换矩阵是酉矩阵，而且，所有酉矩阵都可以是这种转换矩阵。
2. 酉群
例 1 所有的酉矩阵构成一个群
试证明：所有 $n$ 阶酉矩阵构成一个群。
证明：
- 封闭性：设 $ \boldsymbol{\mathbf{A}} , \boldsymbol{\mathbf{B}} $ 是酉矩阵，则
\begin{equation}
( \boldsymbol{\mathbf{AB}} )^\dagger( \boldsymbol{\mathbf{AB}} )= \boldsymbol{\mathbf{B}} ^\dagger \boldsymbol{\mathbf{A}} ^\dagger \boldsymbol{\mathbf{AB}} = \boldsymbol{\mathbf{E}} ~.
\end{equation}
- 结合性：由矩阵满足结合律，故酉矩阵满足结合律；
- 逆元：由于酉矩阵 $ \boldsymbol{\mathbf{A}} $ 的逆就是 $ \boldsymbol{\mathbf{A}} ^\dagger$，而 $( \boldsymbol{\mathbf{A}} ^\dagger)^\dagger= \boldsymbol{\mathbf{A}} $，所以式 3 表明 $ \boldsymbol{\mathbf{A}} ^\dagger$ 也是酉矩阵，所以 $A^{-1}$ 即酉矩阵；
- 单位元： $ \boldsymbol{\mathbf{E}} ^\dagger \boldsymbol{\mathbf{E}} = \boldsymbol{\mathbf{E}} $
由群的定义（定义 1 ），所有的酉矩阵构成一个群。
证毕！
定义 2 酉群
所有 $n$ 酉矩阵构成的集合称为酉群，记作 $U(n)$。
定理 2
所有 $n$ 阶实的正交矩阵构成的正交群 $O(n)$ 是酉群 $U(n)$ 的一个子群。
证明：由正交矩阵的定义，若 $A$ 是正交矩阵，则 $ \boldsymbol{\mathbf{A}} ^T= \boldsymbol{\mathbf{A}} $，又正交矩阵的矩阵元是实数，故 $ \boldsymbol{\mathbf{A}} ^*= \boldsymbol{\mathbf{A}} $。所以
\begin{equation}
\boldsymbol{\mathbf{A}} ^\dagger \boldsymbol{\mathbf{A}} =( \boldsymbol{\mathbf{A}} ^T)^* \boldsymbol{\mathbf{A}} = \boldsymbol{\mathbf{A}} ^T \boldsymbol{\mathbf{A}} = \boldsymbol{\mathbf{E}} ~.
\end{equation}
这就是说，正交矩阵本身也是个酉矩阵，故 $O(n)\subset U(n)$。
定理 3 $SU(n)$
所有行列式为 1 的 $n$ 阶酉矩阵构成一个特殊的酉群 $SU(n)$。
证明：
- 封闭性：设 $ \boldsymbol{\mathbf{A}} , \boldsymbol{\mathbf{B}} \in SU(n)$，则
\begin{equation}
\det{( \boldsymbol{\mathbf{AB}} )}=\det{ \boldsymbol{\mathbf{A}} }\det{ \boldsymbol{\mathbf{B}} }=1~.
\end{equation}
- 结合性、逆元存在性显然，单位元即 $ \boldsymbol{\mathbf{E}} $
故 $SU(n)$ 是一个群。
证毕！