酉群

贡献者：零穹

预备知识　埃尔米特矢量空间（酉空间）

　　如文章 “埃尔米特矢量空间（酉空间）” 所说，酉群是埃尔米特矢量空间中所有标准正交基底之间的转换矩阵构成的群。现在来一步步的引入它。

1. 酉矩阵

　　设 ${{\hat{e}}_{i}}, {{\hat{e}}_{i}^{'}}$ 是埃尔米特矢量空间 $V$ 的两个标准正交基底，从 ${{\hat{e}}_{i}}$ 到 ${{\hat{e}}_{i}^{'}}$ 的转换矩阵为 $A = (a_{i j})$ ，即

\begin{matrix} (1) & {\hat{e}}_{j}^{'} = \sum_{i} a_{i j} {\hat{e}}_{i} . \end{matrix}

于是，基矢量间的纯量积满足（定义 1 ）

\begin{matrix} (2) & ({\hat{e}}_{j}^{'} | {\hat{e}}_{k}^{'}) = \sum_{i, s} \overset{―}{a_{i j}} a_{s k} ({\hat{e}}_{i} | {\hat{e}}_{s}) = \sum_{i} \overset{―}{a_{i j}} a_{i k}, \end{matrix}

即

\begin{matrix} (3) & A^{†} A = E = A A^{†} . \end{matrix}

其中，

A^{†} := (A^{T})^{*}

，*表取共轭复数。

定义 1　酉矩阵

　　称矩阵 $A$ 为酉矩阵，若

\begin{matrix} (4) & A^{†} A = E . \end{matrix}

　　这就是说，在埃米尔特矢量空间里，两个标准正交基之间的转换矩阵为酉矩阵。反过来，若 $A$ 为酉矩阵，则根据式 1 ，由标准正交基底 ${{\hat{e}}_{i}}$ 得到的矢量组 ${{\hat{e}}_{i}^{'}}$ 仍是标准正交基底。下面定理成立

定理 1　

　　在埃米尔特矢量空间中，由一个标准正交基底到另一个标准正交基底的转换矩阵是酉矩阵，而且，所有酉矩阵都可以是这种转换矩阵。

2. 酉群

例 1　所有的酉矩阵构成一个群

　　试证明：所有 $n$ 阶酉矩阵构成一个群。

　　 证明：

封闭性：设 $A, B$ 是酉矩阵，则
$\begin{matrix} (5) & (AB)^{†} (AB) = B^{†} A^{†} AB = E . \end{matrix}$
结合性：由矩阵满足结合律，故酉矩阵满足结合律；
逆元：由于酉矩阵 $A$ 的逆就是 $A^{†}$ ，而 $(A^{†})^{†} = A$ ，所以式 3 表明 $A^{†}$ 也是酉矩阵，所以 $A^{- 1}$ 即酉矩阵；
单位元： $E^{†} E = E$

　　由群的定义（定义 1 ），所有的酉矩阵构成一个群。

　　 证毕！

定义 2　酉群

　　所有 $n$ 酉矩阵构成的集合称为酉群，记作 $U (n)$ 。

定理 2　

　　所有 $n$ 阶实的正交矩阵构成的正交群 $O (n)$ 是酉群 $U (n)$ 的一个子群。

　　 证明：由正交矩阵的定义，若 $A$ 是正交矩阵，则 $A^{T} = A$ ，又正交矩阵的矩阵元是实数，故 $A^{*} = A$ 。所以

\begin{matrix} (6) & A^{†} A = (A^{T})^{*} A = A^{T} A = E . \end{matrix}

这就是说，正交矩阵本身也是个酉矩阵，故

O (n) \subset U (n)

。

定理 3　 $S U (n)$

　　所有行列式为 1 的 $n$ 阶酉矩阵构成一个特殊的酉群 $S U (n)$ 。

　　 证明：

封闭性：设 $A, B \in S U (n)$ ，则
$\begin{matrix} (7) & det (AB) = det A det B = 1 . \end{matrix}$
结合性、逆元存在性显然，单位元即 $E$

　　故 $S U (n)$ 是一个群。

　　 证毕！

致读者：小时百科一直以来坚持所有内容免费无广告，这导致我们处于严重的亏损状态。长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。因此，我们请求广大读者热心打赏 ，使网站得以健康发展。如果看到这条信息的每位读者能慷慨打赏 20 元，我们一周就能脱离亏损，并在接下来的一年里向所有读者继续免费提供优质内容。但遗憾的是只有不到 1% 的读者愿意捐款，他们的付出帮助了 99% 的读者免费获取知识，我们在此表示感谢。

酉群

1. 酉矩阵

定义 1 酉矩阵

定理 1

2. 酉群

例 1 所有的酉矩阵构成一个群

定义 2 酉群

定理 2

定理 3 SU(n)

定义 1　酉矩阵

定理 1　

例 1　所有的酉矩阵构成一个群

定义 2　酉群

定理 2　

定理 3　 $S U (n)$