泛函分析 02.05 赋范空间-赋范空间的进一步性质

$\color{blue}{\S 2.5 赋范空间的进一步性质}$

$内容:$
$(1) 赋范空间中的级数;$
$(2) 赋范空间中的商空间;$

$\color{blue}{2.5.1 赋范空间中的级数}$

$在赋范空间(X, \Vert \cdot \Vert)中定义无穷级数$
$\qquad \sum \limits_{k=1}^{\infty} x_k = x_1 + x_2 + \cdots, \quad (2.5.1)$
$其中 x_k \in X.$
$若级数的前n项和序列 S_n = x_1 + x_2 + \cdots + x_n 收敛,$
$即存在 x \in X, 使得$
$\qquad S_n \to x (\Vert S_n - x \Vert \to 0) (n \to \infty),$
$则称 x 是级数的和, 记为 x = \sum \limits_{k=1}^{\infty} x_k.$

$定理2.5.1 设(X, \Vert \cdot \Vert) 是赋范空间.$
$(1) 如果X完备, 且级数$
$\qquad \sum \limits_{k=1}^{\infty} \Vert x_k \Vert = \Vert x_1 \Vert + \Vert x_2 \Vert + \cdots (2.5.2)$
$收敛(正项级数收敛),$
$则级数(2.5.1)收敛(\sum \limits_{k=1}^{\infty} x_k = x_1 + x_2 + \cdots)且$
$\qquad \Vert \sum \limits_{k=1}^{\infty} x_k \Vert \leq \sum \limits_{k=1}^{\infty} \Vert x_k \Vert \quad (2.5.3)$
$(2) 反之, 在赋范空间X中, 若任何的\sum \limits_{k=1}^{\infty} \Vert x_k \Vert < \infty,$
$可以推出 \sum \limits_{k=1}^{\infty} x_k 收敛, 则X是 Banach 空间.$
$证明分析:(1) 这一结论类似于“绝对收敛推出收敛”.$
$要证明 \sum \limits_{k=1}^{\infty} x_k 收敛, 即证明前 n 项和序列 \lbrace S_n \rbrace 收敛,$
$因 X 完备, 只需证明 \lbrace S_n \rbrace 是 Cauchy 列.$
$对任意自然数 p, 考虑$
$\Vert S_n - S_{n+p} \Vert = \Vert \sum \limits_{k=n+1}^{n+p} x_k \Vert \leq \Vert x_{n+1} \Vert + \cdots + \Vert x_{n+p} \Vert$
$由级数 \sum \limits_{k=1}^{\infty} \Vert x_k \Vert 收敛, 知 \lbrace S_n \rbrace 是一个 Cauchy 列.$
$由于 X 完备, 所以级数 \sum \limits_{k=1}^{\infty} x_k 收敛.$
$由于 \Vert \sum \limits_{k=1}^n x_k \Vert \leq \sum \limits_{k=1}^n \Vert x_k \Vert, 由范数的连续性, 有$
$\qquad \Vert \sum \limits_{k=1}^{\infty} x_k \Vert = \Vert \lim \limits_{n \to \infty} \sum \limits_{k=1}^n x_k \Vert = \lim \limits_{n \to \infty} \Vert \sum \limits_{k=1}^n x_k \Vert$
$\qquad \leq \lim \limits_{n \to \infty} \sum \limits_{k=1}^n \Vert x_k \Vert = \sum \limits_{k=1}^{\infty} \Vert x_k \Vert$
$(2)反之, 要证明X完备,$
$只需证明 X 中的任意的 Cauchy 列 \lbrace x_n \rbrace 都收敛.$
$我们只要找到 \lbrace x_n \rbrace 的一个子列 \lbrace x_{n_k} \rbrace, 使得$
$x_{n_k} \to x (k \to \infty), 则有 x_n \to x(n \to \infty)$
$设\lbrace x_n \rbrace 是 Cauchy 列, 于是对于 \varepsilon = \dfrac{1}{2^k} > 0, 存在 N,$
$当n, m \geq N 时,$
$\qquad \Vert x_n - x_m \Vert < \varepsilon = \dfrac{1}{2^k}$
$因此, 我们可以找出 \lbrace x_n \rbrace 子列 \lbrace x_{n_k} \rbrace, 使得$
$\qquad \Vert x_{n_{k+1}} - x_{n_k} \Vert < \dfrac{1}{2^k}$
$因此,$
$\qquad \sum \limits_{k=1}^{\infty} \Vert x_{n_{k+1}} - x_{n_k} \Vert < \sum \limits_{k=1}^{\infty} \dfrac{1}{2^k} < \infty$
$于是由条件, 级数$
$x_{n_1} + \sum \limits_{k=1}^{\infty} (x_{n_{k+1}} - x_{n_k})$
$= x_{n_1} + (x_{n_2} - x_{n_1}) + \cdots + (x_{n_k} - x_{n_{k-1}}) + \cdots$
$收敛.$
$即前k项的和S_k = x_{n_k} 收敛.$
$设x_{n_k} \to x (k \to \infty)$
$由于 \lbrace x_n \rbrace 是 Cauchy 列, 所以对于 \forall \varepsilon > 0, \exists N, 当$
$n, m \geq N 时,$
$\qquad \Vert x_n - x_m \Vert < \varepsilon$
$因此, 对于充分大的k,$
$\qquad \Vert x_n - x_{n_k} \Vert < \varepsilon$
$令 k \to \infty, 由范数连续, 我们有:$
$\Vert x_n - x \Vert \to 0, (n \to \infty), 所以X是完备的.$

$\color{blue}{2.5.2 赋范空间的商空间}$

$通过等价关系构造新空间 -- 商空间.$

$定义2.5.2 设M是X的线性子空间. \forall x_1, x_2 \in X, 如果$
$x_1 - x_2 \in M, 则称 x_1 和 x_2 关于M等价, 记为x_1 \sim x_2.$
$注: 等级关系具有下述性质:$
$(i) 自反性.$
$因x - x = 0 \in M, 所以 x \sim x.$
$(ii) 对称性.$
$因 x \sim y, x - y \in M, 又 M 是子空间, 则$
$\qquad y - x = -(x - y) \in M,$
$所以 y \sim x.$
$(iii) 传递性.$
$x \sim y, y \sim z 可推出 x \sim z. 事实上,$
$\qquad x - z = x - y + y - z \in M.$

$例2.5.3 在L^p(E)中, 设$
$\qquad M = \lbrace E 上几乎处处为零的可测函数 \rbrace.$
$M 是子空间.$
$对于 x_1, x_2 \in L^p, 如果 x_1 - x_2 \in M, 则称x_1 和 x_2 关于M 等价.$
$这里等价的含义为: x_1 和 x_2 在几乎处处意义下相等.$

$定义2.5.4 商空间: X/M (关于M的商空间)$
$设M是X的子空间, x_1 - x_2 \in M, 称 x_1 和 x_2 等价.$
$对于 x \in M, 我们把与 x 等价的全体元素记为 \widetilde x (即以$
$x 为代表的等价类), 则$
$\qquad \widetilde X = \lbrace X 中元素的等价类全体 \rbrace = \lbrace \widetilde x | x \in X \rbrace.$
$在\widetilde X 中定义$
$\qquad \widetilde x + \widetilde y = \widetilde{x + y},$
$\qquad \alpha \widetilde x = \widetilde{\alpha x},$
$这样的定义不依赖于代表元的选取.$
$则\widetilde X 是一个线性空间.$
$\widetilde X 称为是 X 关于 M 的商空间, 记为 \widetilde X = X / M.$

$定义2.5.5 设X 是赋范空间, M 是 X 的闭子空间. 在$
$商空间 \widetilde X = X /M 中可以定义范数$
$\qquad \Vert \widetilde x \Vert = \inf \limits_{y \in \widetilde x} \lbrace \Vert y \Vert \rbrace \quad (2.5.4)$
$可以验证 \Vert \widetilde x \Vert 满足范数的正定、齐次和三角不等式, \widetilde X$
$是赋范空间.$
$称之为赋范空间X关于闭子空间M的赋范商空间.$

$商空间是一个很抽象的概念, 我们从下面这一最简单的例子,$
$来体会商空间的正真含义.$

$例2.5.6 复数平面\mathbb{C, R} 是 \mathbb{C} 的一个闭子空间.$
$将 x \sim y 定义为 x - y \in \mathbb{R}.$
$考虑商空间$
$\qquad \mathbb{C/R} = \lbrace \widetilde x | x \in \mathbb{C} \rbrace.$
$对于 y \in \widetilde x, 即 y - x \in \mathbb{R}. 也就是说 y 和 x 的虚部相同,$Im x = Im y.
$在商空间 \mathbb{C/R} 上定义范数:$
$\qquad \Vert \widetilde x \Vert = \inf \limits_{y \in \widetilde x} \Vert y \Vert = |Im x|$
$(\mathbb{C/R}, \Vert \widetilde x \Vert) 为赋范商空间,$
$\widetilde x 的范数就是 x 虚部的绝对值. \widetilde x 的“代表元”就是纯$
$虚数(0, xi), 于是$
$\qquad \mathbb{C/R} = \lbrace 全体纯虚数\rbrace,$
$且$
$\qquad \widetilde 0 = \lbrace 全体实数 \rbrace$

$例2.5.7 X = \lbrace E 上所有p次可积的函数 \rbrace, 则$
$\qquad L^p(E) = X/M \quad (2.5.5)$
$其中M是E上全体几乎处处为零的可测函数.$
$\widetilde 0 = \lbrace E 上全体几乎处处为零的可测函数 \rbrace.$
$两个元素的相等就是两个函数几乎处处相等.$
$注: 商空间“可以看作是”X中把子空间M所具有的$
$性质忽略不计(把M看作0元素), “得到”的空间.$

$定理2.5.8 设X是Banach空间, M是X的闭子空间,$
$则赋范空间X关于M的商空间X/M是 Banach 空间.$
$分析: 只要证明商空间中的任一 Cauchy 列收敛, 为此只$
$需找到它的一个子列收敛即可.$
$证明：设\lbrace \widetilde x_n \rbrace 是X/M 中的 Cauchy 序列.$
$取 \varepsilon_k = \dfrac{1}{2^k}, 则\exists n_k, 使得当 n \geq n_k 时,$
$\qquad \Vert \widetilde x_n - \widetilde x_{n_k} \Vert < \dfrac{1}{2^k}$
$不妨设 n_k 单调增加, 为方便起见, 记 \widetilde u_k = \widetilde{x_{n_k}}, 则\lbrace \widetilde u_k \rbrace$
$是\lbrace \widetilde x_n \rbrace 的子序列并且 \Vert \widetilde u_{k+1} - \widetilde u_k \Vert < \dfrac{1}{2^k}$
$从而由X/M中范数定义2.5.5(\Vert \widetilde x \Vert = \inf \limits_{y \in \widetilde x} \Vert y \Vert),$
$存在 z_k \in M, u_k \in \widetilde u_k, u_{k+1} \in \widetilde u_{k+1}, 使得$
$\qquad \Vert u_{k+1} - u_k + z_k \Vert < \dfrac{1}{2^k}$
$记v_k = u_{k+1} - u_k + z_k, 则\sum \limits_{k=1}^{\infty} \Vert v_k \Vert < \infty$
$由 X 完备以及定理2.5.1 知存在v \in X, 使得$
$\qquad \lim \limits_{n \to \infty} \sum \limits_{k=1}^n v_k = v$
$令 \widetilde u = \widetilde v + \widetilde u_1, 下面证明 \widetilde x_n \to \widetilde u(n \to \infty)$
$实际上, 由于z_j \in M, 我们有$
$\forall k \geq 1, \sum \limits_{j=1}^k z_j \in M, \widetilde{\sum \limits_{j=1}^k z_j} = \widetilde 0,$
$注意到: v_k = u_{k+1} - u_k + z_k, \widetilde u = \widetilde v + \widetilde{u_1}以及范数定$
$义(\Vert \widetilde x \Vert = \inf \limits_{y \in \widetilde x} \Vert y \Vert),$
$\Vert \widetilde u_{k+1} - \widetilde u \Vert = \Vert \widetilde u_{k+1} - \widetilde v - \widetilde u_1 + \widetilde{\sum \limits_{j=1}^k z_j} \Vert$
$\leq \Vert u_{k+1} - v - u_1 + \sum \limits_{j=1}^k z_j \Vert = \Vert \sum \limits_{j=1}^k v_j - v \Vert \to 0$
$于是 \widetilde u_k \to \widetilde u, (k \to \infty), 即\widetilde x_{n_k} \to \widetilde u, (k \to \infty),$
$\lbrace \widetilde x_n \rbrace 为 Cauchy 序列, 其中有子列 \lbrace \widetilde x_{n_k} \rbrace 收敛, 故$
$\lbrace x_n \rbrace 收敛.$
$并且 \widetilde x_n \to \widetilde u, (n \to \infty), 从而X/M完备.$