求非闭子空间使Banach空间商空间非Banach空间的实例

我来给你提供一个完全符合要求的直观例子，结合定理和细节解释：

1. 定义Banach空间 ( X ) 和非闭子空间 ( Y ) #

• Banach空间 ( X )：取 ( l^1 )，即所有满足绝对收敛条件 ( \sum_{n=1}^\infty |x_n| < \infty ) 的实（或复）数列 ( (x_n) ) 构成的空间，其范数为 ( |x|1 = \sum{n=1}^\infty |x_n| )。( l^1 ) 是标准的Banach空间，其完备性可通过柯西数列的收敛性直接验证。
• 非闭子空间 ( Y )：取 ( Y ) 为有限支撑数列空间，即所有只有有限个非零项的数列的集合：
  [
  Y = { (x_n) \in l^1 \mid \exists N \in \mathbb{N}, \forall n > N, x_n = 0 }
  ]

2. 证明 ( Y ) 是非闭子空间 #

考虑序列 ( {y_k}_{k=1}^\infty \subset Y )，其中 ( y_k = (1, \frac{1}{2}, \frac{1}{4}, ..., \frac{1}{2^{k-1}}, 0, 0, ...) )（前k项为等比数列，后续全为0）。
在 ( l^1 ) 的范数下，( y_k ) 收敛到数列 ( y = (1, \frac{1}{2}, \frac{1}{4}, ..., \frac{1}{2^{n-1}}, ...) )，因为：
[
|y - y_k|1 = \sum{n=k}^\infty \frac{1}{2^{n-1}} = \frac{1}{2^{k-2}} \to 0 \quad (k \to \infty)
]
但 ( y ) 有无限个非零项，显然不属于 ( Y )。根据闭子空间的定义（必须包含所有收敛序列的极限），( Y ) 不是 ( l^1 ) 的闭子空间。

3. 证明商空间 ( l^1/Y ) 不是Banach空间 #

我们可以通过反证法结合泛函分析的核心定理来证明：

定理：若 ( X ) 是Banach空间，( M ) 是 ( X ) 的子空间，则商空间 ( X/M ) 是Banach空间当且仅当 ( M ) 是 ( X ) 的闭子空间。

假设 ( l^1/Y ) 是Banach空间，根据上述定理，( Y ) 必须是 ( l^1 ) 的闭子空间，但我们已经证明 ( Y ) 是非闭的，矛盾。因此 ( l^1/Y ) 不可能是Banach空间。

如果要直观理解它的不完备性，可以这样想：存在一些等价类序列，在商空间中找不到收敛的极限。比如我们尝试构造一个“逼近调和数列”的等价类序列，但调和数列本身不属于 ( l^1 )，导致这个序列无法收敛到商空间中的任何元素，这就直接说明了商空间的不完备性。

内容的提问来源于stack exchange，提问作者EternalBlood