习题 5.11
设 为非零复 Banach 空间, . 若存在 , 使得 , 则称 为幂零算子. 若 为幂零算子, 求 .
解答
解答使用 DeepSeek v3.2 Speciale 生成
解 由于 是幂零算子,存在正整数 使得 。
方法一(谱半径)
对任意 有 ,从而谱半径
谱 中任意数的模不大于 ,故 。
若 可逆,则由 可得 ,递推可得 ,进而 ,与 矛盾,所以 。因此
方法二(直接构造逆)
当 时,因为 ,Neumann 级数截断为有限和:
容易验证它是有界算子且确实为 的逆,故 。因此 。
综上,幂零算子 的谱为 。