关于l₁空间与l∞空间差异的技术咨询

嘿，这个问题问到点子上了——乍一看好像两个空间的元素都是实/复序列，只是范数定义不同，但实际上它们的差异远不止范数这一点，咱们从几个核心维度拆解来看：

一、元素集合根本不同（最容易被忽略的核心点） #

你之前的描述里有个小误区需要澄清：

• l₁空间的元素是绝对可和的序列：也就是满足 $\sum_{n=1}^\infty |x(n)| < \infty$ 的实/复序列。这类序列的通项必然趋向于0（级数收敛的必要条件），所以所有l₁中的序列不仅收敛，而且是收敛到0的。
• l∞空间的元素是有界序列：只要存在一个常数M，使得对所有n都有 $|x(n)| \leq M$ 就行，序列完全可以不收敛。比如交替序列 $(1,-1,1,-1,\dots)$，它有界（绝对值不超过1），属于l∞，但根本不收敛，而且显然不属于l₁（因为$\sum|x(n)|$是无穷大）。

简单说：l₁是l∞的真子集，不是所有l∞的元素都能进入l₁，两者的元素集合本来就不一样。

二、范数差异带来的拓扑性质天差地别 #

范数决定了空间的“距离”和“收敛”规则，这直接导致了两个空间的核心拓扑性质不同：

• 可分性差异：l₁是可分空间，而l∞是不可分空间。
  直白解释：l₁里能找到一个可数的“稠密子集”——比如所有只有有限个非零项、且每项都是有理数（或复有理数）的序列，你随便找一个l₁里的序列，都能用这个子集里的序列无限逼近它。但l∞做不到这一点，不管你找多少可数个序列，总能找到一个l∞里的序列和它们都“离得很远”，没法被逼近。
• 收敛性的定义完全不同：
  • 在l₁中，序列按l₁范数收敛，意味着 $\sum_{n=1}^\infty |x_k(n) - x(n)| \to 0$，这种收敛会直接推出逐点收敛（每个位置上的$x_k(n)$都趋向于$x(n)$）。
  • 在l∞中，序列按l∞范数收敛是一致收敛：$\sup_{n} |x_k(n) - x(n)| \to 0$，这比逐点收敛强得多——它要求所有位置上的序列项同时趋近于目标值，速度是“一致”的。

举个直观例子：
考虑序列 $x_k(n)$，当$n=k$时$x_k(n)=1$，其他位置都是0。这个序列在l∞里的范数始终是1，所以按l∞范数它不收敛到0；但它是逐点收敛到0的（每个位置n，当k>n时$x_k(n)=0$）。而如果是l₁里的序列，比如$x_k(n)=\frac{1}{k \cdot 2^{n}$，它的l₁范数是$\sum_{n=1}}\infty \frac{1}{k \cdot 2^n} = \frac{1}{k}$，当k趋向无穷时范数趋向0，所以按l₁范数收敛到0，同时也逐点收敛到0。

三、其他衍生差异 #

比如对偶空间的结构：l₁的对偶空间是l∞，但l∞的对偶空间比l₁大得多（包含一些“非构造性”的泛函），这也是两者拓扑性质差异带来的结果。

总结一下：两个空间的差异绝不仅限于范数，元素集合、拓扑结构、收敛规则都有本质区别，范数只是这些差异的外在表现之一。

备注：内容来源于stack exchange，提问作者Superunknown