具有谱间隙的酉算子到恒等算子的同伦显式构造及酉性证明问询

嘿，这个问题问到点子上了！咱们一步步把这个同伦构造的细节和酉性证明说清楚，保证你能看明白～

先明确前提：谱间隙的意义 #

假设 ( U ) 是Hilbert空间上的酉算子，它的谱 ( \sigma(U) ) 是单位圆 ( S^1 ) 的闭子集，而且存在一段开弧 ( G \subset S^1 )（这就是所谓的谱间隙），使得 ( \sigma(U) \cap G = \emptyset )。换句话说，所有谱点（包括特征值和连续谱点）都落在 ( S^1 ) 去掉这段开弧后的闭弧上——这段闭弧是连通的，完全避开了间隙，这是我们能构造同伦的核心前提。

显式构造同伦的步骤 #

1. 谱的参数化 #

先给单位圆做个参数化：把 ( S^1 ) 上的点写成 ( z = e^{i\theta} )，其中 ( \theta \in \mathbb{R} )。假设我们的谱间隙 ( G ) 是从 ( e^{i\alpha} ) 到 ( e^{i\beta} ) 的开弧（逆时针方向，且 ( \beta - \alpha < 2\pi )），那么 ( \sigma(U) ) 就完全包含在闭弧 ( C = S^1 \setminus G ) 里，对应 ( \theta \in [\beta, \alpha + 2\pi] )。

2. 构造连续函数族 ( f_t: C \to S^1 ) #

对每个 ( t \in [0,1] )，我们定义：

f_t(e^{i\theta}) = e^{i[(1-t)\theta + t \cdot 0]}

这个函数族有三个关键性质：

• 当 ( t=0 ) 时，( f_0(z) = z )，完全对应 ( U ) 的谱点；
• 当 ( t=1 ) 时，( f_1(z) = e^{i0} = 1 )，所有谱点都被“拖”到了单位圆上的1点；
• 对任意 ( t )，( f_t ) 是连续的：因为 ( \theta ) 的线性组合是连续的，指数映射也是连续的，而且整个过程中 ( f_t(z) ) 的路径始终在闭弧 ( C ) 里，不会穿过谱间隙 ( G )（因为 ( (1-t)\theta \geq (1-t)\beta > \alpha )，始终避开间隙对应的角度区间）。

3. 利用泛函演算得到算子同伦 #

接下来用到酉算子的连续泛函演算：对于酉算子 ( U )，任何连续函数 ( f: \sigma(U) \to S^1 )，都可以定义对应的算子 ( f(U) )，而且这个算子也是酉的。

我们把刚才的函数族代入泛函演算，得到算子族 ( U_t = f_t(U) )：

• ( U_0 = f_0(U) = U )，就是原算子；
• ( U_1 = f_1(U) = 1 \cdot I = I )（恒等算子）；
• 映射 ( t \mapsto U_t ) 是连续的：因为 ( f_t ) 关于 ( t ) 在紧集 ( C ) 上一致连续，而泛函演算会保持这种连续性，所以 ( U_t ) 是从 ( U ) 到 ( I ) 的连续路径，也就是同伦。

证明 ( U_t ) 的酉性 #

这一步很直接：对于任意 ( z \in \sigma(U) )，( f_t(z) ) 是单位圆上的点，所以 ( \overline{f_t(z)} = f_t(z)^{-1} )（共轭等于逆）。根据泛函演算的性质：

• ( U_t^* = \overline{f_t}(U) )（伴随算子对应函数的共轭）；
• 而 ( \overline{f_t}(U) = f_t(U)^{-1} )，因为 ( \overline{f_t(z)} = f_t(z)^{-1} )。

所以 ( U_t^* = U_t^{-1} )，满足酉算子的定义，每个 ( U_t ) 都是酉算子。

关键：谱间隙的作用 #

如果没有谱间隙，( \sigma(U) ) 就是整个单位圆，那我们没法连续地把所有谱点都拖到1——因为单位圆本身是不可缩的拓扑空间。但有了谱间隙之后，( \sigma(U) ) 所在的闭弧是可缩的（同伦于实数区间，而区间是可缩到单点的），所以才能构造出这样的连续函数族，进而得到算子同伦。

备注：内容来源于stack exchange，提问作者BrakkoFTW