习题 4.33
设 为 Banach 空间, 为有界线性算子且为单射. 求证: 为有界线性算子当且仅当 为 的闭线性子空间.
解答
解答使用 DeepSeek v3.2 Speciale 生成
证明:
设 为 的值域。因 是单射,逆映射 存在且为线性算子。下面证明 有界当且仅当 是 的闭子空间。
必要性():若 有界,则存在常数 使得对任意 有 。于是对任意 ,
现证 闭。取 且 ,需证 。令 ,则 且 由于 收敛,故为 Cauchy 列,从而 是 中的 Cauchy 列。因 完备,存在 使 。由 的连续性得 。但 ,由极限唯一性知 。所以 是闭集。
充分性():若 是 的闭线性子空间,则 也是 Banach 空间(作为完备空间的闭子空间)。考虑算子 ,它是有界线性算子(因 且 ),并且是单射和满射。由开映射定理(或逆算子定理), 是开映射,故其逆 有界线性。
综上, 有界当且仅当 闭。