泛函分析讲义

第三章赋范空间3.1. 范数的概念“线性空间”强调元素之间的运算关系 ，“度量空间”则强调元素之间的距离关系，两者的共性在于：只研究元素之间的关系，不研究元素本身的属性。为了求解算子方程， 需要深入地了解函数空间的结构与性质，为此， 我们不仅希望了解函数之间的运算关系和距离关系，还希望了解函数本身的属性。 那么， 究竟需要了解函数的什么属性呢？3.1.1. 向量的长度为了回答上述问题， 我们需要从最简单的函数空间欧氏空间中寻找灵感。回想一下，三维欧氏空间中的元素被称为“向量” ，向量最重要的两大属性是：长度和方向，向量的许多重要性质都是由其长度和方向所决定的。这一章的任务就是将欧氏空间中向量的长度推广为（以函数空间为原型的） 一般线性空间中元素的 广义长度 ，下一章的任务就是将欧氏空间中向量的方向推广为（以函数空间为原型的） 一般线性空间中元素的 广义方向 。可以想象： 其元素具有广义长度和广义方向的线性空间必将像欧氏空间那样，呈现出丰富多彩的性质， 并且这些性质必将有助于求解算子方程。精品资料图 3.1.1.三维欧氏空间中向量的大小和方向矩阵论知识告诉我们： 可以为欧氏空间中的向量赋予各种各样的长度，并且可以根据问题需要来选择最合适的向量长度。实际上， 可以在数域 f 上的 n 维欧式空间f n 上定义向量 x( x1 , x2 , xn ) 的如下三种长度（称为“范数”）：22-范数（也称为欧氏范数） ： xn2xk；k 111-范数：xnxk ；k 1-范数： xmax xk 。1 k n图 3.1.2.三种向量范数对应的“单位圆”图 3.1.3.“单位圆”集合的艺术形式下一节将谈到：就分析性质而言，这三种向量范数没有任何区别。我们注意到：通常将2 或3 中两个向量之间的距离定义为两者的差向量的长度。由此可知：如果有了长度的概念， 就可以诱导出距离； 反之则不然。因此， 长度是比距离更本质的概念。3.1.2. 范数的定义我们希望将向量范数的概念推广到（以函数空间为原型的） 无限维线性空间的场合。定义 3.1.1.设 x 是数域 f 上的线性空间，是定义在 x 上、取值为实数的函数。如果下列条件满足：（1） ）正定性：对于任意xx ，都有 x0 ，并且等号成立当且仅当x0 ；（2） ）正齐性：对于任意xx ，f ，都有xx ；（3） ）三角不等式：xyxy ；则称是 x 上的 范数 （ norm ）。称赋予了范数的线性空间为赋范线性空间（ normed linear space），或者简称为 赋范空间 （ normed space ）。图 3.1.1.三角不等式示意图3.1.3. 常用的范数下面列出常用的赋范空间。例 3.1.1 ：设 x 是数域 f 上的紧度量空间， 用 cf (x ) 表示定义在 x 上、在 f 中取值的全体连续映射的集合。可以在cf (x )上定义如下范数：对于fcf ( x ) ，fsupf ( x) : xx。例 3.1.2 ：对于 1p，可以在lp (x ) 上定义如下范数：对于flp ( x ) ，fpxf (x)p1/ pdx。例 3.1.3 ：可以在 l(x )上定义如下范数：对于fl( x ) ，fesssupf (x) : xx。k k1p注释： 函数的 1- 范数、2-范数、-范数分别是向量的1-范数、 2-范数、-范数的自然推广。（为什么？）p例 3.1.4 ：对于 1p，可以在 l上定义如下范数：对于x x l，px pxkk 11/ p。例 3.1.5 ：可以在 l上定义如下范数：对于x xk k 1l，xsupxk : k。上述五种范数是泛函分析中最重要的范数，我们将其称为标准范数 。例 3.1.6 ：设 x ,是赋范线性空间， y 是 x 的线性子空间，y 是范数在y 上的限制，则y 是y 上的范数。上述例子表明：可以从较大的赋范线性空间出发，“从大到小”地构造许许多多较小的赋范线性空间。例 3.1.7 ： 设x ,1和 y,2是同一个数域上的赋范线性空间，则在笛卡尔积xy 上可以定义如下范数：对于任意( x, y)xy ，(x, y)x 1y 2 ，则是 xy 上的范数。上述例子表明：可以从较小的赋范线性空间出发，“从小到大”地构造无穷无尽的赋范线性空间。范数就像灵魂一样重要： 有范数的元素就有了精气神；反之， 没有范数的元素就像是孤魂野鬼，完全没有实在感。3.2. 范数的基本性质赋范线性空间具有许多独特的性质， 这些性质在研究其分析性质时特别有用。3.2.1. 范数诱导度量一方面，赋范空间是线性空间。另一方面，下列定理告诉我们：赋范空间还 是度量空间。 因此， 赋范空间是线性空间与度量空间的合体，是为求解算子方程而生的。定理3.2.1.设x ,是赋范空间，定义映射d : xx如下：对于任意x, yx ，d(x, y)xy，则( x, d) 是度量空间。以下称该度量为范数诱导度量 ，称相应的度量空间为 诱导度量空间 。下面列出常用的范数诱导度量。n12n例 3.2.1 ：可以用 n 维向量空间f n 上的 2-范数诱导f n 上的如下度量：对于任12意 x( x , x, x), y( y , y, y )f n ，d(x, y)fg 2n2xkykk 11/2。例 3.2.2 ：可以用例 3.1.1 中定义的范数诱导cf ( x ) 上的如下度量：对于任意f , gcf ( x ) ，d( f, g)fgsupf ( x)g( x) : xx。例 3.2.3 ：对于 1p，可以用lp (x ) 上的范数诱导lp ( x ) 上的如下度量：p对于任意f , glp ( x ) ，d( f , g)fg pxf ( x)pg( x)dx1/ pp。p例 3.2.4 ： 对于 1p，可以用l上的范数p 诱导 l上的如下度量：对于nnx x , y y l p ，d(x, y)xy ppxkykk 11/ p。上述度量都是第二章最后一节介绍的标准度量，由此可见： 范数与度量是紧密联系在一起的。3.2.2. 极限运算律赋范空间满足下列极限运算交换律。定理 3.2.2 ：设x ,是数域 f 上的赋范空间，则下列性质成立：2（1） ） 极限运算 - 代数运算交换律： 设 xn和 yn是 x 中的收敛序列，,f ，则lim(xnyn )lim xnlimyn 。nnn（2） ） 极限运算 -范数运算交换律： 设 xn 是 x 中的收敛序列，则limxnlim xn。nn赋范空间的上述性质使极限运算变得十分便捷。3.2.3. 范数的等价性我们知道， 在同一个线性空间上可以赋予各种不同的范数。于是，就自然产生了如下问题：赋范空间的分析性质是否会随着范数的改变而改变？为了回答上述问题， 我们希望将某个线性空间上的所有可能的范数划分为若干类，使得（ a）来自同一类中的两个范数对应的赋范空间的分析性质完全相同，（ b）来自不同类中的两个范数对应的赋范空间的分析性质不完全相同。为了实现这个目的，数学家给出了如下定义。定义 3.2.1.设1 和2 是线性空间 x 上的两个范数。如果存在正数m 和m ，使得所有 xx 均满足m x 1x 2mx 1 ，则称1 与2 等价。这个等价关系是标准的等价关系，即是同时满足自反性、对称性和传递性。 按照这个等价关系， 就可以将同一个线性空间上的所有范数分为若干等价类。下列定理表明：属于同一等价类的两个范数对应的赋范空间的确具有完全相同的分析性质。定理 3.2.3.设1 和2 是线性空间 x 上的两个等价范数。 d1 和d 2 分别表示由1d1d2和2 诱导的度量。（1） ） 设 xk是 x 中的序列，则 xkxxkx 。（2） ） 设 xk是关于d 1 的 cauchy 列 xk 是关于d2 的 cauchy 列。（3） ）( x ,d1 ) 完备( x , d 2 ) 完备。3.2.4. 扩张子空间为了求得线性算子方程的通解，我们希望从它的一组解出发， 通过代数运算和极限运算产生它的全部解。为此，现引入如下定义。定义 3.2.2.设 x 是赋范空间， s 是 x 的非空子集， 则s 的扩张集 sps 定义为由 s的全体有限线性组合组成的集合的闭包，即是spsxx : xkj x j , kj 1, x js,jf。由此可见， sps 是由 s 中元素通过代数运算和极限运算能够产生的最大集合。扩张集有下列重要性质。定理 3.2.4.sps 是 x 的包含 s 的、最小的闭线性子空间。3.2.5. riesz引理riesz引理是由匈牙利数学家riesz （1880-1956 ）发现的，对揭示无限维赋范线性空间与有限维线性空间的本质区别具有重要作用。riesz 引理：设 x 是赋范空间， y 是 x 的闭线性真子空间， 01 。则存在 xx ，使得（ 1） x1 ，（2）对于所有的 yy ，都有 xy。图 3.1.3.匈牙利数学家riesz3.3. 有限维赋范空间有限维线性空间是最简单的线性空间。实际上，根据定理2.1.2 ，有限维线性空间的代数结构已经完全清楚了。这一节的目的是研究有限维赋范空间的分析 结构。可以将有限维线性空间视为度量空间，理由如下：设x 是 n 维线性空间，e1 ,e2 , en是 x 的基，则可以定义x 上的如下范数：对于x 中任意元素nxk ek ，令k 1n1/22xk。k 1这样定义的范数值将会随着基的改变而改变。然而，我们有如下惊人的结论： 定理 3.3.1.同一个有限维线性空间上的所有范数均等价。综合定理 3.2.3 和 3.3.1 可知：有限维赋范线性空间的分析性质是完全确定的，不依赖于范数的选择。 因此在处理实际问题时， 可以根据需要选择合适的范数。对于有限维线性空间，我们还有如下进一步的结论：定理 3.3.2.有限维赋范空间是完备的，即是说其诱导度量空间是完备的。综上所述，数域 f 上的 n 维线性空间与f n 不仅具有相同的代数结构，而且具有相同的分析性质。 实际上，矩阵论的一部分内容， 就是研究f n 的分析性质。最后，我们还有定理 3.3.3.赋范空间的有限维子空间是闭集。综上所述， 有限维赋范空间的代数结构和分析结构都是十分简单的，是完全被人类所掌握。3.4. 无限维赋范空间3.4.1. 无限维的烦恼众所周知，“无限”比“有限”要复杂得多。因此自然可以想象：无限维赋范空间将失去有限维赋范空间的许多优美性质。实际上，我们有与定理3.3.1至定理3.3.3 完全对立的下列结论。定理 3.4.1.同一个无限维线性空间上的某些范数不等价。定理 3.4.2.无限维赋范空间不一定是完备的。定理 3.4.3.赋范空间的无限维子空间不一定是闭集。甚至对于无限维赋范空间x 而言，形如xx : x1 、 xx :x1 之类的集合都不再是闭集， 这极大地妨碍了极限运算的实施。看来， 最一般的无限维赋范空间已经超出了人类的认知能力。3.4.2. banach空间由于泛函分析的主要目的是求解算子方程，因此研究重点是完备的赋范空间。为了纪念波兰数学家banach 在泛函分析领域的卓越贡献， 后人就将这类空间称为 banach 空间。定义 3.4.1.完备的赋范空间称为banach 空间。图 3.4.1.泛函分析之父，波兰数学家banach下面的实例充分表明：常用的赋范空间都具有完备性，都是banach空间。例 3.4.1.有限维赋范空间是banach 空间。例 3.4.2.设 x 是紧度量空间，则cf (x) 是 banach 空间。例 3.4.3.设1p，则lp (x ) 是