正交基上的矩阵与单位圆：线性变换是否为酉变换的判定

嘿，这个问题提得特别好——答案是命题不成立，而且确实存在满足谱为单位圆，但既不是酉变换也不是等距变换的线性变换，咱们把这个问题拆解开说清楚：

1. 先明确核心概念边界 #

首先得理清几个关键定义的区别：

• 酉变换的核心是保内积：对所有$x,y\in X$，都满足$\langle Ux, Uy\rangle = \langle x, y\rangle$；在希尔伯特空间中，这等价于$U^*U=UU*=I$（算子的双伴随等于恒等算子）。
• 谱$\sigma(U)$是单位圆，指的是所有使得$U-\lambda I$不可逆的$\lambda$构成的集合恰好是$\mathbb{T}={z\in\mathbb{C}:|z|=1}$。

2. 有限维与无限维空间的差异 #

有限维内积空间 #

如果是有限维复内积空间，谱是单位圆意味着所有特征值都落在单位圆上，但非正规算子就能打破“谱在单位圆上=酉变换”的等价性：
比如2维复空间上的矩阵：

U = \begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix}

它的谱是单点${1}$（属于单位圆），但显然不是酉变换——计算一下：$|U(0,1)|=\sqrt{1²⁺¹2}=\sqrt{2}\neq1$，连等距都算不上。

不过有限维空间里的谱只能是有限个点，没法覆盖整个单位圆，更典型的反例在无限维空间中。

无限维希尔伯特空间 #

这里能构造出谱为整个单位圆，但既非酉变换也非等距的算子：
比如在单位圆$\mathbb{T}$上的平方可积函数空间$L^2(\mathbb{T})$中，取酉算子$M_z$（乘法算子：$M_z f(z)=z\cdot f(z)$，它的谱就是完整的单位圆），再加上一个紧算子$T$——比如秩1算子：
$$Tf(w) = \frac{1}{2\pi}\int_{\mathbb{T}} f(z) dz$$
（把每个函数映射到它的常数积分值），定义$U = M_z + T$。

• 谱仍是单位圆：紧算子扰动不会改变算子的本质谱，而$M_z$的本质谱就是单位圆；当$\lambda\notin\mathbb{T}$时，$M_z-\lambda I$是有界可逆的，加上紧算子$T$后，根据Fredholm算子理论，$U-\lambda I=(M_z-\lambda I)+T$仍然可逆，因此$\sigma(U)=\mathbb{T}$。
• 不是等距变换：取常数函数$f(w)=1$，计算$|Uf|2^2=\int{\mathbb{T}} |z+1|^2 dz=\int_0^{2\pi} |e^{i\theta}+1|2 d\theta=4\pi$，而$|f|_2^2=2\pi$，显然$|Uf|\neq|f|$，不满足等距的定义。
• 自然不是酉变换：酉变换必然是等距，既然这个算子连等距都不是，肯定不是酉变换。

3. 关键结论 #

谱包含在单位圆上（或恰好是单位圆），只是酉变换的必要条件，而非充分条件——尤其是在无限维空间中，算子的谱性质和它的等距/酉性质之间有很大的空隙，非正规算子很容易打破这种等价性。你的猜想完全正确：确实存在谱为单位圆但不是等距的线性变换，自然也不是酉变换。

内容的提问来源于stack exchange，提问作者user522841