贡献者: JierPeter; 叶月2_; addis
“算子” 一词是 “线性算子” 的简称,在本文中指代 “线性变换” 或者 “线性映射”。
本文讨论的是酉空间上的情况,但多数结论可以应用到内积空间或者更一般的配备了非退化双线性形式的空间中。
显然,厄米算子和酉算子都是正规算子。厄米算子的性质非常好,而一般的算子总可以分解为厄米算子的组合,这就为研究算子带来了便利:
证明:
对于任意的 $A$,定义
显然 $ \boldsymbol{\mathbf{H}} _1+ \mathrm{i} \boldsymbol{\mathbf{H}} _2=A$,因此存在性得证。
反过来,假设 $A = \boldsymbol{\mathbf{H}} _1 + \mathrm{i} \boldsymbol{\mathbf{H}} _2$,则 $A^\dagger = \boldsymbol{\mathbf{H}} _1 - \mathrm{i} \boldsymbol{\mathbf{H}} _2$,从而 $ \boldsymbol{\mathbf{H}} _1$ 和 $ \boldsymbol{\mathbf{H}} _2$ 能由 $A$唯一决定。
证毕。
正规算子的定义依赖于酉空间的内积,因为伴随变换的定义依赖于内积或者一个非退化双线性形式。因此,讨论正规算子的同时可以讨论向量的正交性,而正规算子实际上就是 “可以被正交对角化的线性变换”。我们接下来就一步步推导出这一点。
证明:
有限维酉空间上任何算子都至少有一个本征向量,这是代数学基本定理保证的。
取 $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\}$,则显然有
又因为按构造可知 $W$ 是 $B$ 的不变子空间,故 $W$ 上必有 $B$ 的本征向量 $ \boldsymbol{\mathbf{u}} $,此即为所求。
证毕。
由引理 2 显然可知如下推论:
证明: 用数学归纳法证明如下。
设该定理对于 $m\leq k-1$ 成立,$ \boldsymbol{\mathbf{x}} $ 是其共同本征向量,并构造子空间 $W= \operatorname {Span}\{ \boldsymbol{\mathbf{x}} ,A_{k} \boldsymbol{\mathbf{x}} ,A_{k}^2x\cdots\}$。由于 $A_m$ 与 $A_k$ 交换,所以 $W$ 上的任意向量都是 $A_m$ 的本征向量。且由于 $W$ 是 $A_k$ 的不变子空间,则其上至少有一个 $A_k$ 的本征向量,证毕。
利用引理 2 ,还可以得到正规算子的对角化:
证明:
据引理 2 ,可以取 $A$ 和 $A^\dagger$ 的一个模长为 $1$ 的公共本征向量 $ \boldsymbol{\mathbf{e}} _1$,将其拓展为一组标准正交基,则在这组基下 $A$ 和 $A^\dagger$ 的矩阵的第一列第一行不为零,第一列其它行都为零。又因为标准正交基下 $A$ 和 $A^\dagger$ 的矩阵互为 “转置后取共轭”,因此可知两个矩阵的第一行第一列不为零,第一行其它列都为零。
这意味着,可以通过以酉矩阵为过渡矩阵的相似变换,将 $A$ 和 $A^\dagger$ 的矩阵同时化为第一行和第一列已经对角化的情况,于是接下来可以看除了第一行和第一列的部分,同样利用不改变第一行和第一列的酉矩阵将第二行和第二列同时对角化。以此类推,最终能用一系列酉相似变换将 $A$ 和 $A^\dagger$ 的矩阵同时对角化,即得证。
证毕。
定理 1 反过来也成立:
证明:
由于标准正交基下 $A^\dagger$ 的矩阵就是 $A$ 的矩阵做转置和取共轭后的结果,因此 $A^\dagger$ 的矩阵也是对角矩阵。显然,对角矩阵的乘法总是可交换的,因此 $AA^\dagger = A^\dagger A$。
证毕。
综上,我们即得到正规算子的等价定义:
推论 1 大大简化了对正规算子的讨论,比如分析正规算子的本征值分布。
证明: 取标准正交基,将 $H$ 表示为对角矩阵,则 $H=H^\dagger$ 意味着该矩阵的对角元都等于自身的复共轭,从而对角元都是实数。
取标准正交基,将 $U$ 表示为对角矩阵,则 $UU^\dagger = E$ 意味着该矩阵的对角元乘以自身的复共轭等于 $1$,从而对角元都是模为 $1$ 的复数。 证毕。