习题 28

为 Banach 空间, 的闭线性子空间,假设任取 ,存在唯一的 使得 。求证:存在 使得

解答

,则

定义

为 Banach 空间, 为闭线性子空间,有 也为 Banach 空间, 为 Banach 空间。

的唯一性与存在性, 为双射。

由开映射定理,。则有

从而