Lp可分性

数值逼近与构造标准正交系都要求空间有"可数的骨架"：$L^p$（$1\le p<\infty$）在通常的测度空间上存在可数稠密子集，因此每个函数都能被一列"有理系数、简单结构"的函数逼近。这使 $L^p$ 上的连续对象可以化为可列个数据来刻画。需先掌握Lp空间的定义、简单函数与Lp完备性。

定理

设 $(X,\mathcal A,\mu)$ 为 σ-有限测度空间，且 $\mathcal A$ 由可数族生成（例如 $\mathbb R^n$ 配 Lebesgue 测度、区间上的 Lebesgue 测度）。则对 $1\le p<\infty$，$L^p(\mu)$ 是可分的：存在可数稠密子集。

证明思路

1. 简单函数稠密：对任意 $f\in L^p$ 与 $\varepsilon>0$，存在简单函数 $\sum_k a_k\mathbf{1}_{E_k}$（$E_k$ 有限测度）在 $L^p$ 范数下 $\varepsilon$-逼近 $f$（非负函数用阶梯逼近，再分解正负部）。
2. 可数化：取生成子集族上集合的有限并全体（按 $\mu$ 差集为零识别），配合有理系数 $a_k$，得到的简单函数族是可数的。
3. 由 σ-有限性，每个有限测度集合可被上述可数族中的集合逼近，故该可数族仍在 $L^p$ 中稠密。

$p=\infty$ 的失败

$L^\infty$ 不可分：区间 $(0,t)$（$0<t<1$）的特征函数族 $\{\mathbf{1}_{(0,t)}\}$ 两两距离 $\|\mathbf{1}_{(0,t)}-\mathbf{1}_{(0,s)}\|_\infty=1$，不可数且互相分离，不可能有可数稠密子集。可分性是 $p<\infty$ 独有的良好性质。

推论与应用

• $L^2$ 可分 ⟹ 存在可数正交基，与可分希尔伯特空间衔接。
• 可分性使"稠密子集上验证、全空间结论"成为标准论证：不动点、算子有界性、紧性判据都先在有理简单函数上检验。
• 遍历论与随机分析中，$L^p$ 的可分性保证沿稠密子集构造极限对象。

后续

可分性连同Lp完备性给出 $L^p$ 作为 Banach 空间的完整画像；配合Lp对偶空间（$1<p<\infty$ 自反）与Lp嵌入关系，即可在应用中自如地切换工作空间。