习题 5.10
设 为多项式. 证明下述命题相互等价:
(1) 任取 , 存在唯一的 满足 ;
(2) 任给 .
解答
解答使用 DeepSeek v3.2 Speciale 生成
证明: 以下设 为 Banach 空间,, 为一多项式.
首先指出,条件 (1) 等价于 可逆.事实上,若 (1) 成立,则 为双射,由逆算子定理知 ,故 可逆;反之,若 可逆,则对任意 存在唯一 满足方程.因此以下只需证
为证此,先建立一个引理.
引理:设 且 .若 可逆,则 和 均可逆.
引理的证明:令 ,则 .由 知 有右逆 ;由 知 有左逆 .现证 也可逆.因 ,故 是单射:若 ,则 推出 .又 ,由 单射得 ,即 .于是 也是 的左逆,从而 可逆.既然 可逆且 可逆,则 可逆(注意 与 交换).引理证毕.
利用引理可立即得到:若 两两交换且乘积 可逆,则每个 可逆(对 归纳即得).
现在证明谱映射定理:
设 ,将多项式 分解为
其中 为 的根(重根按重数列出).于是
由于诸因子 彼此交换,根据上述推广的引理, 可逆当且仅当每个 可逆.因此
而 满足 ,故 .反之,若 且 ,则 必为某个 ,从而 不可逆,得 .这就证明了 .
现在完成等价性证明:
- 若 可逆,则 .由谱映射定理 ,即对任意 有 ,此即 (2).
- 若对任意 有 ,则 ,故 可逆,从而 (1) 成立.
综上,命题 (1) 与 (2) 等价.