幺正算符
在泛函分析中,幺正算符(英语:unitary operator,或称酉算符)是定义在希尔伯特空间上的有界线性算符U : H → H,满足如下规律:
其中 U∗ 是 U的厄米转置, 而 I : H → H是恒等算符。 幺正算符具有如下性质:
这两个条件还可以用两个较弱的但是等价的定义表示出来:
U保持内积不变可以推出U是个有界线性算符;而U是稠集保证了U的逆U−1的存在。而U−1 = U∗是很明显的。
所以,幺正算符是希尔伯特空间的自同构,即幺正算符保持空间结构的不变,比如说空间的线性叠加性和内积以及拓扑性质的不变。在群论中,一个给定希尔伯特空间H上的所有幺正算符组成了该空间的希尔伯特群,表示为Hilb(H)。
较弱的条件U∗U = I说明算符U是等距算符。另一个条件U U∗ = I说明算符是伴同等距算符[1]。
单位元 是单位算符的一般化形式。在单位元*-代数中, 其中的单元U 被叫做 单位元, 当满足如下条件:
其中 I 是单位算符。[2]
范例
- 恒等函数就是一个平凡的幺正算符。
- 在一个R2上旋转是一个最简单但又很重要的幺正算符。旋转并不改变一个矢量的长度或者两个矢量的夹角。这个算符还可以推广到R3中。
- 在一个复数的矢量空间C里,乘以一个绝对值是1的数,也就是,一个数形式为 ei θ ,其中θ ∈ R,就是一个幺正算符。θ表示一个相位,相乘就是指乘以一个相位。注意到,θ的值是以2π 为模,但并不影响我们相乘的结果,所以这些在C空间内独立的幺正算符是有周期性的。作为一个集合,这个周期对应的群,我们称作U(1)。
- 在整数索引的序列空间 上的双边变换算符是单一的。一般而言,在一个希尔伯特空间中任何一个通过围绕标准正交基变换作用的算符都是单一的。在有限维的情况下,这样的算符就是排列矩阵。单边变换是一个等距算子(isometry),他的共轭是一个半同等距算子(coisometry)。
- 傅里叶算符是一个幺正算符,也就是,一个执行傅里叶变换(有适当的归一化)的算符。这是由帕塞瓦定理推得。
- 幺正算符在幺正表示中应用。
线性叠加性
幺正算符的叠加性并不是第一的性质, 也就是说并不是强加上去的性质, 而是可以从内积的线性叠加性和恒正行推导出来的性质:
可以得到近似后
- .
单位谱性
任意幺正算符U的谱在一个单位圆上。换言之,对幺正算符谱上的任意复数λ都有|λ| = 1。
参见
- 幺正变换
- 反幺正算符
脚注
- ^ Halmos 1982,Sect. 127, page 69
- ^ Doran, Robert S.; Victor A. Belfi. Characterizations of C*-Algebras: The Gelfand-Naimark Theorems. New York: Marcel Dekker. 1986. ISBN 0824775694.
参考文献
- Halmos, Paul. A Hilbert space problem book. Graduate Texts in Mathematics 19 2nd. Springer Verlag. 1982. ISBN 978-0387906850.
- Lang, Serge. Differential manifolds. Reading, Mass.–London–Don Mills, Ont.: Addison-Wesley Publishing Co., Inc. 1972. ISBN 978-0387961132.