幺正算符

• 恒等函数就是一个平凡的幺正算符。

• 在一个R²上旋转是一个最简单但又很重要的幺正算符。旋转并不改变一个矢量的长度或者两个矢量的夹角。这个算符还可以推广到R³中。

• 在一个复数的矢量空间C里，乘以一个绝对值是1的数，也就是，一个数形式为 e^{i θ} ，其中θ ∈ R，就是一个幺正算符。θ表示一个相位，相乘就是指乘以一个相位。注意到，θ的值是以2π 为模，但并不影响我们相乘的结果，所以这些在C空间内独立的幺正算符是有周期性的。作为一个集合，这个周期对应的群，我们称作U(1)。

• 一般地说，酉矩阵是在有限维的希尔伯特空间下的幺正算符，所以，幺正算符的概念包括了酉矩阵的概念。正交矩阵就是酉矩阵的一个特例，当酉矩阵中元素都为实数。他们是在Rⁿ上的幺正算符。

• 在整数索引的序列空间${\displaystyle \ell ^{2}}$上的双边变换算符是单一的。一般而言，在一个希尔伯特空间中任何一个通过围绕标准正交基变换作用的算符都是单一的。在有限维的情况下，这样的算符就是排列矩阵。单边变换是一个等距算子（isometry），他的共轭是一个半同等距算子（coisometry）。

• 傅里叶算符是一个幺正算符，也就是，一个执行傅里叶变换（有适当的归一化）的算符。这是由帕塞瓦定理推得。

• 幺正算符在幺正表示中应用。

幺正算符的叠加性并不是第一的性质, 也就是说并不是强加上去的性质, 而是可以从内积的线性叠加性和恒正行推导出来的性质:

${\displaystyle \langle \lambda \cdot Ux-U(\lambda \cdot x),\lambda \cdot Ux-U(\lambda \cdot x)\rangle }$

${\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 }$

${\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 }$

${\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 }$

${\displaystyle =0}$

可以得到近似后

${\displaystyle \langle U(x+y)-(Ux+Uy),U(x+y)-(Ux+Uy)\rangle =0}$.

任意幺正算符U的谱在一个单位圆上。换言之，对幺正算符谱上的任意复数λ都有|λ| = 1。

• 幺正变换
• 反幺正算符

• Halmos, Paul. . Graduate Texts in Mathematics 19 2nd. Springer Verlag. 1982. ISBN 978-0387906850.

• Lang, Serge. . Reading, Mass.–London–Don Mills, Ont.: Addison-Wesley Publishing Co., Inc. 1972. ISBN 978-0387961132.