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.31

为 Banach 空间, 为赋范空间, 为线性子空间, 为闭算子, 假设 为一一映射且 , 求证: 的闭线性子空间.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:显然 的线性子空间。只需证明它是闭的。

。由于 是单射,存在唯一的 使得 。因 是有界线性算子,故存在常数 使得 于是对任意 由于 收敛,它是 Cauchy 列,从而 也是 中的 Cauchy 列。 是 Banach 空间,故存在 使得

考虑序对 的图像)。由 是闭算子, 中闭。而 ,因此 。这意味着 ,所以

这就证明了 是闭集。∎