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

习题 4.33

为 Banach 空间, 为有界线性算子且为单射. 求证: 为有界线性算子当且仅当 的闭线性子空间.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明
的值域。因 是单射,逆映射 存在且为线性算子。下面证明 有界当且仅当 的闭子空间。


必要性(:若 有界,则存在常数 使得对任意 。于是对任意

现证 闭。取 ,需证 。令 ,则 由于 收敛,故为 Cauchy 列,从而 中的 Cauchy 列。因 完备,存在 使 。由 的连续性得 。但 ,由极限唯一性知 。所以 是闭集。


充分性(:若 的闭线性子空间,则 也是 Banach 空间(作为完备空间的闭子空间)。考虑算子 ,它是有界线性算子(因 ),并且是单射和满射。由开映射定理(或逆算子定理), 是开映射,故其逆 有界线性。


综上, 有界当且仅当 闭。