维基百科,自由的百科全书
在泛函分析中,幺正算符(英語:unitary operator,或称酉算符)是定义在希尔伯特空间上的有界线性算符U : H → H,满足如下规律:
![{\displaystyle U^{*}U=UU^{*}=I}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a1e055a3423ce85bc835ce29ffb25a47ab4cbb90)
其中 U∗ 是 U的厄米转置, 而 I : H → H是恒等算符。 幺正算符具有如下性质:
- U 保持了希尔伯特空间上内积〈 , 〉的不变性, 即对于希尔伯特空间上的任意矢量 x和y ,都有:
![{\displaystyle \langle Ux,Uy\rangle =\langle x,y\rangle .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f7db6db8d4b3e406af7e7efe10d640f2d6348733)
- U 是满射的。
这两个条件还可以用两个较弱的但是等价的定义表示出来:
- U 保证了内积的不变
- U 是一个稠集.
U保持内积不变可以推出U是个有界线性算符;而U是稠集保证了U的逆U−1的存在。而U−1 = U∗是很明显的。
所以,幺正算符是希尔伯特空间的自同构,即幺正算符保持空间结构的不变,比如说空间的线性叠加性和内积以及拓扑性质的不变。在群论中,一个给定希尔伯特空间H上的所有幺正算符组成了该空间的希尔伯特群,表示为Hilb(H)。
较弱的条件U∗U = I说明算符U是等距算符。另一个条件U U∗ = I说明算符是伴同等距算符[1]。
单位元 是单位算符的一般化形式。在单位元*-代数中, 其中的单元U 被叫做 单位元, 当满足如下条件:
![{\displaystyle U^{*}U=UU^{*}=I}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a1e055a3423ce85bc835ce29ffb25a47ab4cbb90)
其中 I 是单位算符。[2]
- 在一个R2上旋转是一个最简单但又很重要的幺正算符。旋转并不改变一个矢量的长度或者两个矢量的夹角。这个算符还可以推广到R3中。
- 在一个复数的矢量空间C里,乘以一个绝对值是1的数,也就是,一个数形式为 ei θ ,其中θ ∈ R,就是一个幺正算符。θ表示一个相位,相乘就是指乘以一个相位。注意到,θ的值是以2π 为模,但并不影响我们相乘的结果,所以这些在C空间内独立的幺正算符是有周期性的。作为一个集合,这个周期对应的群,我们称作U(1)。
- 一般地说,酉矩阵是在有限维的希尔伯特空间下的幺正算符,所以,幺正算符的概念包括了酉矩阵的概念。正交矩阵就是酉矩阵的一个特例,当酉矩阵中元素都为实数。他们是在Rn上的幺正算符。
- 在整数索引的序列空间
上的双边变换算符是单一的。一般而言,在一个希尔伯特空间中任何一个通过围绕标准正交基变换作用的算符都是单一的。在有限维的情况下,这样的算符就是排列矩阵。单边变换是一个等距算子(isometry),他的共轭是一个半同等距算子(coisometry)。
幺正算符的叠加性并不是第一的性质,也就是说并不是强加上去的性质,而是可以从内积的线性叠加性和恒正行推导出来的性质:
![{\displaystyle \langle \lambda \cdot Ux-U(\lambda \cdot x),\lambda \cdot Ux-U(\lambda \cdot x)\rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/35886c86a26749b8995eb947422ad7f2b28d211f)
![{\displaystyle =\|\lambda \cdot Ux\|^{2}+\|U(\lambda \cdot x)\|^{2}-\langle U(\lambda \cdot x),\lambda \cdot Ux\rangle -\langle \lambda \cdot Ux,U(\lambda \cdot x)\rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/b0a05019e7234e694b3c2546f282aec23dad025c)
![{\displaystyle =|\lambda |^{2}\cdot \|Ux\|^{2}+\|U(\lambda \cdot x)\|^{2}-{\overline {\lambda }}\cdot \langle U(\lambda \cdot x),Ux\rangle -\lambda \cdot \langle Ux,U(\lambda \cdot x)\rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/60bad18cec3ee9fc64550150d622f94bdfebd660)
![{\displaystyle =|\lambda |^{2}\cdot \|x\|^{2}+\|\lambda \cdot x\|^{2}-{\overline {\lambda }}\cdot \langle \lambda \cdot x,x\rangle -\lambda \cdot \langle x,\lambda \cdot x\rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/935d73d67d56a7da2abbd7d1b35af8f61390ae9f)
![{\displaystyle =0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6dc9e66de468806365c20e32e83456cc526ce29e)
可以得到近似后
.
任意幺正算符U的谱在一个单位圆上。换言之,对幺正算符谱上的任意复数λ都有|λ| = 1。