正规算子

                     

贡献者: JierPeter; addis

预备知识 伴随映射

   “算子” 一词是 “线性算子” 的简称,在本文中指代 “线性变换” 或者 “线性映射”。

   本文讨论的是酉空间上的情况,但多数结论可以应用到内积空间或者更一般的配备了非退化双线性形式的空间中。

1. 概念

定义 1 正规算子

   给定酉空间 $U$ 上的线性变换 $A$,令 $A^\dagger$ 是其伴随变换。若 $AA^\dagger = A^\dagger A$,则称 $A$ 是 $U$ 上的正规算子(normal operator)

   如果 $A=A^\dagger$,则称 $A$ 是一个厄米算子(hermitian operator)。如果 $AA^\dagger = E$,其中 $E$ 是单位方阵,则称 $A$ 是一个酉算子(unitary operator)

   显然,厄米算子和酉算子都是正规算子。厄米算子的性质非常好,而一般的算子总可以分解为厄米算子的组合,这就为研究算子带来了便利:

引理 1 

   任取酉空间 $U$ 上的线性变换 $A$,则存在 $U$ 上唯一的厄米算子 $H_1$ 和 $H_2$,使得

\begin{equation} A = H_1 + \mathrm{i} H_2~. \end{equation}

   证明

   对于任意的 $A$,定义

\begin{equation} \begin{cases} H_1 =\frac{1}{2} \left(A+A^\dagger \right) , \\ H_2 =\frac{1}{2 \mathrm{i} } \left(A-A^\dagger \right) ~. \end{cases} \end{equation}

   显然 $H_1+ \mathrm{i} H_2=A$,因此存在性得证。

   反过来,假设 $A = H_1 + \mathrm{i} H_2$,则 $A^\dagger = H_1 - \mathrm{i} H_2$,从而 $H_1$ 和 $H_2$ 能由 $A$唯一决定。

   证毕

   正规算子的定义依赖于酉空间的内积,因为伴随变换的定义依赖于内积或者一个非退化双线性形式。因此,讨论正规算子的同时可以讨论向量的正交性,而正规算子实际上就是 “可以被正交对角化的线性变换”。我们接下来就一步步推导出这一点。

2. 正规算子的对角化

引理 2 算子交换则有公共本征向量

   给定 $n$ 维酉空间 $U$ 上的线性变换 $A$ 和 $B$,若 $AB=BA$,则存在 $ \boldsymbol{\mathbf{u}} \in U$,它是 $A$ 和 $B$ 的公共本征向量。

  

未完成:可能需要引用 “复矩阵都可以上三角化” 的定理。

   证明

   有限维酉空间上任何算子都至少有一个本征向量,这是代数学基本定理保证的。

   取 $A$ 的本征向量 $ \boldsymbol{\mathbf{x}} $,使得 $A \boldsymbol{\mathbf{x}} =\lambda \boldsymbol{\mathbf{x}} $。

   构造子空间 $W= \operatorname {Span}\{ \boldsymbol{\mathbf{x}} , B \boldsymbol{\mathbf{x}} , B^2 \boldsymbol{\mathbf{x}} , \cdots, B^{n-1} \boldsymbol{\mathbf{x}} \}$,则显然有

\begin{equation} AB^k \boldsymbol{\mathbf{x}} = B^kA \boldsymbol{\mathbf{x}} = \lambda B^k \boldsymbol{\mathbf{x}} ~ \end{equation}
对任意正整数 $k$ 都成立,故 $W$ 中的向量都是 $A$ 的本征向量,本征值都是 $\lambda$。

   又因为按构造可知 $W$ 是 $B$ 的不变子空间,故 $W$ 上必有 $B$ 的本征向量 $ \boldsymbol{\mathbf{u}} $,此即为所求。

   证毕

   由引理 2 显然可知如下推论:

推论 1 算子交换则有公共本征向量

  

   给定 $n$ 维酉空间 $U$ 上的有限多个线性变换 $A_1, A_2, \cdots, A_k$,则存在它们的公共本征向量。

   利用引理 2 ,还可以得到正规算子的对角化:

定理 1 正规算子必能正交对角化

   给定 $n$ 维酉空间 $U$ 上的线性变换 $A$,若 $AA^\dagger = A^\dagger A$,则存在一组标准正交基 $\{ \boldsymbol{\mathbf{e}} _i\}_{i=1}^n$,使得 $A$ 的矩阵是对角矩阵。

   证明

   据引理 2 ,可以取 $A$ 和 $A^\dagger$ 的一个模长为 $1$ 的公共本征向量 $ \boldsymbol{\mathbf{e}} _1$,将其拓展为一组标准正交基,则在这组基下 $A$ 和 $A^\dagger$ 的矩阵的第一列第一行不为零,第一列其它行都为零。又因为标准正交基下 $A$ 和 $A^\dagger$ 的矩阵互为 “转置后取共轭”,因此可知两个矩阵的第一行第一列不为零,第一行其它列都为零。

   这意味着,可以通过以酉矩阵为过渡矩阵的相似变换,将 $A$ 和 $A^\dagger$ 的矩阵同时化为第一行和第一列已经对角化的情况,于是接下来可以看除了第一行和第一列的部分,同样利用不改变第一行和第一列的酉矩阵将第二行和第二列同时对角化。以此类推,最终能用一系列酉相似变换将 $A$ 和 $A^\dagger$ 的矩阵同时对角化,即得证。

   证毕

   定理 1 反过来也成立:

定理 2 能正交对角化的就是正规算子

   给定 $n$ 维酉空间 $U$ 上的线性变换 $A$,若在某组标准正交基下 $A$ 是对角矩阵,则 $A$ 是正规算子。

   证明

   由于标准正交基下 $A^\dagger$ 的矩阵就是 $A$ 的矩阵做转置和取共轭后的结果,因此 $A^\dagger$ 的矩阵也是对角矩阵。显然,对角矩阵的乘法总是可交换的,因此 $AA^\dagger = A^\dagger A$。

   证毕

   综上,我们即得到正规算子的等价定义:

推论 2 

   有限维酉空间上的线性变换是正规算子,当且仅当其在某组标准正交基下是对角矩阵。

3. 正规算子的谱

   推论 1 大大简化了对正规算子的讨论,比如分析正规算子的本征值分布。

定理 3 

   有限维酉空间上,厄米变换 $H$ 的本征值都是实数,酉变换 $U$ 的本征值都是模为 $1$ 的复数。

   证明: 取标准正交基,将 $H$ 表示为对角矩阵,则 $H=H^\dagger$ 意味着该矩阵的对角元都等于自身的复共轭,从而对角元都是实数。

   取标准正交基,将 $U$ 表示为对角矩阵,则 $UU^\dagger = E$ 意味着该矩阵的对角元乘以自身的复共轭等于 $1$,从而对角元都是模为 $1$ 的复数。 证毕


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

                     

友情链接: 超理论坛 | ©小时科技 保留一切权利