Keyboard shortcuts

Press or to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

习题 5.2

. 求一个有界线性算子 , 使得 .

解答

解答使用 DeepSeek v3.2 Speciale 生成

为定义在 上的复值连续函数空间,赋予上确界范数
定义算子 如下:

其中

1. 线性性: 对任意

线性。

2. 有界性: 对任意

因此 有界,且

3. 谱的计算: 的谱。
对任意 ,算子 为乘法算子:


  • 则对任意 (当 为实数且不在 时, 恒不为零;当 有非零虚部时,其模恒为正)。
    此时 上的连续函数,因而有界。定义乘法算子

    容易验证 的有界逆算子,故 (预解集)。


  • 的连续性及 ,存在 使得
    对任意 ,有 ,因此 的值域包含于子空间

    由于存在函数 满足 (例如 ), 不在该值域中,故 不是满射,从而不可逆(不存在有界逆)。因此

综上所述,