基于Banach空间C[0,1]，求乘法算子T的谱σ(T)

我来一步步给你拆解这个问题，结合Banach空间算子谱的定义和乘法算子的特性来分析：

1. 先确认算子T的有界性 #

首先，X=C[0,1]是Banach空间，固定的v∈X是连续函数。对于任意x∈X，有：

||T(x)|| = ||vx|| = max_{t∈[0,1]} |v(t)x(t)| ≤ max_{t∈[0,1]}|v(t)| * max_{t∈[0,1]}|x(t)| = ||v|| * ||x||

所以T是有界线性算子（T∈B(X)），这是后续分析的基础。

2. 从预解集ρ(T)的定义入手 #

根据谱的定义，λ∈σ(T)当且仅当λ∉ρ(T)，而λ∈ρ(T)意味着λI - T是可逆的有界线性算子。

先看λI - T对应的作用：对任意x∈X，

(λI - T)(x)(t) = λx(t) - v(t)x(t) = (λ - v(t))x(t)

本质上这就是一个乘法算子M_{λ - v}，其中M_f表示“乘以连续函数f”的算子。

现在分析M_{λ - v}可逆的条件：

• 单射性：如果存在t₀∈[0,1]使得v(t₀)=λ，那么取x(t)=1（常函数），(λI - T)(x)(t₀)=0，说明λI - T的核非零，不是单射，自然不可逆。
• 满射性：如果存在t₀∈[0,1]使得v(t₀)=λ，那么对于任意y∈X，若y(t₀)≠0，不存在x∈X使得(λ - v(t))x(t)=y(t)（因为t=t₀时左边为0，右边非0），所以不是满射。
• 当λ不在v的值域中时：此时对所有t∈[0,1]，λ - v(t)≠0。因为v连续，[0,1]是紧集，所以1/(λ - v(t))也是[0,1]上的连续函数，对应的乘法算子M_{1/(λ - v)}就是M_{λ - v}的逆算子，而且它的范数是max_{t∈[0,1]}|1/(λ - v(t))|，显然有界。

3. 结合已知的紧集条件验证 #

题目提到σ(T)是复平面上的紧集，而v∈C[0,1]，连续函数把紧集[0,1]映射为复平面上的紧集，也就是v([0,1])是紧集，这正好和σ(T)的紧性吻合，进一步印证了我们的结论。

4. 总结最终结论 #

综合以上分析，T的谱就是v在[0,1]上的值域，即：

σ(T) = { v(t) | t ∈ [0,1] }

另外，题目给的小提示也能辅助验证：当||T||<1时，||v||=max|v(t)|<1，说明1不在v的值域中，所以1∈ρ(T)，即I-T可逆，和提示的结论完全一致。

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