赋范空间（泛函分析）

贡献者： addis; DTSIo; Giacomo

　　 在范数一文中，我们定义了范数和赋范空间。赋范空间很自然的是一个度量空间，度量为 $d(x,y) := \left\lVert x-y \right\rVert $，作为度量空间时完备的赋范空间称为巴拿赫空间（Banach space）。特别的，赋范空间都是拓扑向量空间。

　　 内积空间（inner product space）是非常重要的特殊的赋范空间。如果 $H$ 是内积空间，$\langle\cdot,\cdot\rangle\to\mathbb C$ 是其上的内积，则若命 $\|x\|=\sqrt{\langle x,x\rangle }$，$H$ 便成为一个赋范空间。

1. 赋范空间中的极限

　　 既然赋范空间属于度量空间，那么我们可以延用度量空间中序列极限的定义，距离函数为 $d(x, y) = \left\lVert x - y \right\rVert $。

　　 在赋范空间中，极限

2. 函数的范数

　　 欧氏空间上的函数可以定义多种范数。对于函数 $f$，最常见的范数有极大范数 $$ \|f\|_{L^\infty}:=\sup_{x\in\mathbb{R}^N}|f(x)|~, $$ 还有 $L^p$ 范数（这里 $p\geq1$）： $$ \|f\|_{L^p}:=\left(\int_{\mathbb{R}^N}|f(x)|^pdx\right)^{1/p}~. $$ 特别地，量子力学中经常要考虑的范数是 $L^2$ 范数，它是由内积 $$ \langle f,g\rangle=\int_{\mathbb{R}^N}f(x)\bar g(x)dx~ $$ 诱导的。这些定义都可以推广到一般的拓扑空间或测度空间上。

3. 赋范空间上的线性算子

　　 两个赋范线性空间 $(X,\|\cdot\|_X),(Y,\|\cdot\|_Y)$ 之间的线性算子 $T$ 若满足 $$ \|Tx\|_Y\leq C\|x\|_X~, $$ 则称为是有界的（bounded）; 使得上面不等式成立的 $C$ 的下确界称作算子 $T$ 的算子范数（operator norm），常记为 $\|T\|_{X\to Y}$，不至于混淆时也可简略记为 $\|T\|$。赋范线性空间之间的有界线性算子与赋范线性空间之间的连续线性算子是同一个数学对象。由线性性质， $$ \|T\|_{X\to Y}=\sup_{\|x\|_X\leq 1}\|Tx\|_Y~. $$ 从 $X$ 到 $Y$ 的有界线性算子的集合常记为 $\mathfrak{B}(X,Y)$。若赋予算子范数，则它也是一个赋范线性空间。

　　 如果存在一有界线性算子 $T:X\to Y$，使得 $T$ 是双射，且其逆映射也是有界的，则称赋范线性空间 $X,Y$ 是同构的（isomorphic），算子 $T$ 称为两者之间的同构映射（isomorphism）。此时 $T$ 既是线性空间范畴下的可逆算子，也是两个度量空间之间的同胚。因此，任何拓扑性质，例如完备性，可分性等等，在同构映射下都不变。

　　 如果有 $\|Tx\|_Y=\|x\|_X$，则称 $T$ 是赋范线性空间之间的等距（isometry）。如果既是同构映射也是等距映射，则称为等距同构（isometric isomorphism），此时两赋范线性空间则称为等距同构的。注意，对于无穷维线性空间来说，一个空间到自己的单线性映射不一定是满的，这与有限维线性空间截然不同。例如在平方可和序列空间 $l^2$ 中，平移映射 $$ (x_1,x_2,x_3,...)\to(0,x_1,x_2,x_3,...)~ $$ 是单的，而且甚至是等距映射，但它不是满的。

4. 赋范空间上的结构

　　 给定两个赋范线性空间 $(X,\|\cdot\|_X),(Y,\|\cdot\|_Y)$ 之后，其直积 $X\times Y$ 上可定义一些相互等价的范数而使之成为赋范线性空间，例如 $$ \|(x,y)\|_{1}=\|x\|_X+\|y\|_Y~,\qquad \|(x,y)\|_{\infty }=\max(\|x\|_X,\|y\|_Y)~. $$ 更一般地，可定义 $$ \|(x,y)\|_{p}=\left(\|x\|_X^p+\|y\|_Y^p\right)^{1/p}~,\,(1\leq p\leq\infty)~. $$ 它们上述两个范数都等价。

　　 如果 $X$ 是赋范线性空间，则其子空间也是赋范线性空间。如果 $M\subset X$ 是的闭子空间，则商空间 $X/M$ 上可定义范数为 $$ \|x+M\|:=\inf \limits _{m\in M}\|x+m\|~. $$ 此时 $X/M$ 也成为赋范线性空间。赋范线性空间之间的有界线性算子 $T:X\to Y$ 可以被分解为 $$ T=T_{1}\circ \pi ,\ \ \ T:X\ {\overset {\pi }{\longrightarrow }}\ X/\operatorname {Ker} (T)\ {\overset {T_{1}}{\longrightarrow }}\ Y~, $$ 其中 $\pi:x\to x+\text{Ker}(T)$ 是商投影，$T_1:x+\text{Ker}(T)\to T(x)$ 是商映射，它是到像空间 $\text{Ran}(T)$ 的一一映射，但逆映射却不一定有界。关于有界算子的像空间的性质，详见巴拿赫定理。

　　 对于赋范线性空间 $X$ 的真闭子空间 $M$，成立里斯引理（Riesz's lemma）：任给 $\alpha\in(0,1)$，都存在 $x$ 使得 $\|x\|=1$，且 $\text{dist}(x,M)\geq\alpha$。详见 “里斯引理”。