关于ℓ¹空间中可数稠密子集D的证明问题问询

嘿，我来帮你把这个问题拆解清楚！你提到的「怎么把可数定义用在序列集上」确实是泛函分析入门时容易卡壳的点，咱们一步步来解决：

a) 证明D是ℓ¹的可数子集 #

核心思路是：把无穷序列的集合D拆成有限长度子集的可数并，然后利用可数集的基本性质来推导。

• 首先拆分D：对于每个正整数k，定义子集
  $$D_k = {(q_1, q_2, ..., q_k, 0, 0, ...) \mid q_1, q_2, ..., q_k \in \mathbb{Q}}$$
  简单说，$D_k$就是所有前k项为有理数、k项之后全为0的序列。显然，所有终零有理序列的集合D就是这些$D_k$的并：$D = \bigcup_{k=1}^\infty D_k$。

• 分析每个$D_k$的可数性：$D_k$和$\mathbb{Q}^{k$（k个有理数集的笛卡尔积）是一一对应的——每个$D_k$里的序列，去掉后面的零，就是$\mathbb{Q}}k$里的一个k元有理数组，反过来也成立。我们知道$\mathbb{Q}$是可数集，而有限个可数集的笛卡尔积仍是可数集，所以每个$D_k$都是可数的。

• 利用可数并的性质：根据可数集的核心结论——可数个可数集的并仍是可数集，D作为所有可数子集$D_k$的并，自然是ℓ¹的可数子集。

这样就把序列集的可数性问题，转化成了我们熟悉的笛卡尔积和可数并的性质，是不是就清晰多了？

b) 证明D在ℓ¹中稠密，推出ℓ¹是可分空间 #

要证明D在ℓ¹中稠密，就是要满足：对任意$x=(x_n) \in \ell^1$，任意$\varepsilon > 0$，总能找到$d \in D$，使得$|x - d|_1 < \varepsilon$。步骤如下：

1. 利用ℓ¹的收敛性：因为$\sum_{n=1}^\infty |x_n| < \infty$（ℓ¹的定义），这个级数收敛意味着存在某个正整数N，使得余项$\sum_{n=N+1}^\infty |x_n| < \frac{\varepsilon}{2}$——收敛级数的尾巴可以任意小，这是关键！

2. 用有理数逼近前N项：对于每个$i=1,2,...,N$，实数$x_i$可以用有理数$q_i$逼近（因为$\mathbb{Q}$在$\mathbb{R}$中稠密），也就是存在$q_i \in \mathbb{Q}$，使得$|x_i - q_i| < \frac{\varepsilon}{2N}$。

3. 构造D中的元素：令$d=(q_1, q_2, ..., q_N, 0, 0, ...)$，显然d属于D（有理值且从第N+1项开始全为0）。

4. 计算范数差验证：
   $$
   |x - d|1 = \sum{n=1}^N |x_n - q_n| + \sum_{n=N+1}^\infty |x_n|
   $$
   代入我们的估计：

   • $\sum_{n=1}^N |x_n - q_n| < N \times \frac{\varepsilon}{2N} = \frac{\varepsilon}{2}$
   • $\sum_{n=N+1}^\infty |x_n| < \frac{\varepsilon}{2}$

   把两部分加起来，就得到$|x - d|_1 < \frac{\varepsilon}{2} + \frac{\varepsilon}{2} = \varepsilon$，满足稠密性的定义。

最后，可分空间的定义是「存在可数的稠密子集」，D既是可数集，又在ℓ¹中稠密，所以ℓ¹是可分空间。

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