概念

范数与完备性

范数定义长度，完备性保证极限封闭，L^p、C(X) 是典型巴拿赫空间，绝对收敛级数必收敛刻画完备性。

阅读路径

参考可汗学院 Get ready 机制：先修概念 → 当前概念 → 进阶概念，✓ 表示已读。

已是本主题的起点

范数与完备性泛函分析

01定义

范数给向量定义长度，完备性保证柯西列不出逃。巴拿赫空间 = 完备赋范空间：

L^p

、

C(X)

、序列空间

\ell^p

是旗舰例子。「绝对收敛级数必收敛」是完备性的等价判据。

完备空间：柯西序列的极限不会掉出空间

正定、齐次、三角不等式；范数诱导度量与拓扑，开集、连续、紧性全部继承——线性结构与拓扑结构兼容。

「 $\sum\|x_n\|<\infty\Rightarrow\sum x_n$ 收敛」等价于完备； $C[0,1]$ 配上确界范数完备，配 $L^1$ 范数则不完备（极限跳出连续函数）。

$\ell^p, L^p, C(X), W^{k,p}$ ：不同范数产生不同完备空间——「同一函数群、不同几何」是泛函分析的主旋律。

\|x\|\geq 0,\ \|\alpha x\|=|\alpha|\|x\|,\ \|x+y\|\leq\|x\|+\|y\|

弗雷歇 1906 年引入抽象度量空间；巴拿赫 1922 年博士论文与 1932 年专著《线性算子理论》确立学科范式；华沙学派与利沃夫学派共同奠基。

数值分析的收敛框架、信号的小波与稀疏表示、机器学习 RKHS 理论、控制论的稳定性空间——无穷维问题的通用住所。

p-范数单位球与柯西序列收敛p=1 菱形 · p=2 圆 · p→∞ 正方形；点列为收敛的柯西序列

p 范数指数2.00