[指南]第一章度量空间-黎永锦

上传人:小** 文档编号:39268765 上传时间:2021-11-10 格式:DOC 页数:35 大小:426.50KB
收藏 版权申诉 举报 下载
[指南]第一章度量空间-黎永锦_第1页
第1页 / 共35页
[指南]第一章度量空间-黎永锦_第2页
第2页 / 共35页
[指南]第一章度量空间-黎永锦_第3页
第3页 / 共35页
资源描述:

《[指南]第一章度量空间-黎永锦》由会员分享,可在线阅读,更多相关《[指南]第一章度量空间-黎永锦(35页珍藏版)》请在装配图网上搜索。

1、指南第一章度量空间-黎永锦第1章度量空间在1900年巴黎数学家大会上我曾毫不犹豫 地把十九世纪称为函数论的世纪.V. Vol terra (伏尔泰拉)(1860-1940,意大利数学家)泛函分析这一名称是由法国数学家P. Levy引进的.在十九世纪后期,许多数学家已经认识到数学中许多领域处理的是作用在函数上的变换或者算子,推动创立泛函分析的根本思想是这些算子或变换可以看作某类函数上算子的抽象形式,把这类函数全体看成空间,而每个函数就是空间的点,算子或变换就把点变成点,将函数变成实数或复数的算子就称为泛函.泛函的抽象理论是由V. Volterra(1860-1940)在关于变分法的P. Levy

2、 (1886-1971)工作中最先研究的,但在建立函数空间和泛函的抽象理论中,第一个卓越的成果 是由法国数学家M. Frechet 1906年在他的博士论文中得到的.1. 1度量空间M. Frechet是法国数学家,他1906年获得博士学位.M. Frechet的博士论文 开创了 一般拓扑学,G. Cantor, C. Jordan, G. Peano, E. Borel和其他数学家发 展了有限维空间的点集理论.V. Volterra, G. ascoli和J. Hadamard等开始把 实值函数作为空间的点来考虑.M. Frechet的博士论文统一了这两种思想,并建立了一个公理结构. 他给出

3、收敛序列的极限的一组公理,然后定义了闭集、内点和完备集等基本概念,还 引入了相对列紧性和列紧性,并得到了列紧集的基本性质,在他的博士论文中,M. Frechet第一次给出了度量空间的公理.d:X, X,R定义1.1.1若是一个非空集合,是满足下列条件的实值函数,X对于任意,有x, y, X(1) 当且仅当;x,yd(x,y),0(2) d(x, y), d(y, x):(3) . d(x, y), d(x, z), d(y, z)X则称d为上的度量,称为度量空间.(X,d)明显地,由可知,故由(2)可知,d (x, y), d (y, x), d (x, x) d (x, y), 0d因此是一

4、个非负函数.EXX若是一个度量空间,是的非空子集,则明显地也是度量空间,称(E, d)为的度量子空间.(E,d)(X,d)R例1.1.1若是实数集,定义,则容易看出是度量空间.d(x,y), |x,y|(R,d)X例1. 1.2对于任意一个非空集,只需定义,0,当 x , y 时,d(x, y)二,1 当 x , y 时.,dX则是一个度量空间,称为上的平凡度量或离散度量.(X, d)度量不是唯一的,在一个非空集合上,可以定义儿种完全不同的度量.nRx, (x), y, (y)例1. 1. 3对于,可以定义儿种不同的度量,对于,有iin21/2; d(x, y), (x, y), ii, nl

5、n;d(x, y), !x, y 11, iin, 1d(x, y), max x, y | 2iinnnn容易验证,和都是度量空间,一般称为欧儿里得(R, d) (R, d) (R, d) (R, d) 12 空间.以下的例子是在M. Frechet 1906年提岀的例1. 1. 4如果用记所有实数列形 成的集合,对于任意,定义x, (x),y, (y)sii,|x, y|iid(x, y), , i! (b x, y|) il, iixd容易知道满足度量定义中的和(2),由函数,(x)二在(0,)是,1, xla, b|, |a|, |b|单调增加的可知对于,有a, b; . a |, b

6、 a b,,1,a, b 1, a , bl, a, :b i 1, a , ;ba b , ,1, al, ba, x, z, b, z, y 令,则可得到,所以 d(x, y), d(x, z), d(y, z) (s, d) iiii 是一个度量空间.常见的序列空间还有如下儿个空间.(x), (y), 11, (x) |sup|x|, , ,例 1.1. 5,对于任意的,定义,iiii, i,ld(x, y), sup x, y I lx,().即为所有有界数列所形成的空间,如,ii, ii,但.y, (b (, 1), lz, (i), 1,c, (x) limx, 0例 1. 1.

7、6 ,对于任意的,定义(x), (y), ciiOiiOi,lc.即为所有收敛于0的数列所成的空间,如,d(x, y), sup x, y x, ()0iii2ib (, 1) i,但.y, (), cz, (1, (, 1), c0i03,例 1. 1. 7 ,对于任意的,定义 1, (x) | |x|, , , d(x, y) (x), (y), lliiiil, li,1.即为所有绝对收敛数列所成的空间,如,但,x,y|lx, (), liil, liil,31.z, (),lli3R度量就是中距离的推广,在给定的集合上定义了度量,就可以讨论点列的收 敛性.d(x,x), 0定义1.1.

8、2设是度量空间,,若,则称序x,X(X, d)limn0n,n dx列按度量收敛于,记为limx, x,或,此时称为x x, x (n,) x OnOnOnnn, x收敛点列,称为的极限.xOn在数学分析中,大家都知道,若数列x是收敛的,则其极限是唯一的.类似地,在 n度量空间也有下面的结论.x x定理1. 1. 1在度量空间中,若是收敛点列,则的极限一定唯(X, d)nn 一.x, y, Xx, ylimx, xlimx, y证明用反证法,假设有,使得,,但,则由nn, nnd (x, y), Od (x, y), Od (x, y), d (x, x), d (x, y),可知.又由于,因

9、此 nn x,yxd(x, y), 0,但这与假设矛盾,所以由反证法原理可知的极限唯一.n 另外,容易看出,在度量空间中,若是收敛点列,则的任意子x x (X, d)nn 列也是收敛点列,并且极限是一样的.d(x, y)d(x, y), d(x, y)定理 1. 1. 2 若,则.即是 x, xy, ynnOOnOnO和的二元连续函数.xy证明由于d (x, y), d (x, x), d (x, y) nnnOOn,d (x, x), d (x, y), d (y, y) nOOOOn因此d(x, y), d(x, y), d(x, x), d (y, y) nnOOnOnO同样地,有d (

10、x, y), d (x, y), d (x, x), d (y, y) OOnnnOnO因而d(x, y), d(x, y) |, d(x, x), d(y, y) nnOOnOnOd (x, y), d (x, y)所以,.nnOO如果考虑如下的问题呢,问题1.1.1若X是线性空间,为度量空间,加法是否连续呢,(X,d)不一定,下面的例子是 D. D. Rothmann A nearly discrete metric. Amer. Math.Monthly 81 (1974), 1018-1019.作出的.例 1. 1.8 设,对于任意,定义R, (,,,) x, y, R0,当 x ,

11、y 时,,d(x, y)二,max|x|, |y|,当 x , y 时.,则容易验证是一度量空间.(R,d)lyx, 1 其实,只要取,则 x, ly, 1, nnOOnlld(x, x), d(l, 1), 0, Od(y, y), d(, 0), 0,. nOnOnnld(x, y, x, y)d(x, y, x, y), d(l, 1), 1 但,因此不收敛于 0.所以,虽 nnOOnnOOnx, yy, yx, x 然,但是不收敛于.x, yOOnOnOnn231/23在空间解析儿何中,称是R中一个以(x, x, x) ( x,x ), r, il230i, 1为球心,为半径的球.同样

12、地,球的概念可以推广到一般的度量空间.xrOr.1.3若为度量空间,为大于0的实数,则称定义1 (X, d),x, Xid(x, x), rx是以为球心,为半径的开球,记为.而U(x, r)U(x, r)r0000,x, X| d(x, x), rx称是以为球心,为半径的闭球.B(x, r)r000抽象的度量空间与现实的世界有着较大的区别,下面的问题是很有意思的.问题1.1.2在度量空间中,一个半径较小的开球能否真包含一个半径较大的开球,度量空间的开球与真实世界的球有着本质的区别,一个半径为6的开球,可能会 真包含在一个半径为4的开球内.22 例 1. 1.9 设为实数,在上定义度量 X, (

13、x,x) |x,xX|x|, |x|,16121212221/2,则以二(0, 0)为球心4为半径的小球真包含以xd(x, y), (lx,y , ix,y|)01122y二(3, 0)为球心6为半径的大球.0进一步,还可以考虑下面的问题.问题1.1.3对于任意,是否都可找到一个度量空间,存在两球,使得小r, r, 021球真包含大球呢,U(x, r)U(x, r)0102利用开球还可以刻画点列的收敛性,类似于数学分析中的数列收敛与开区间的x, On, N联系,序列依度量收敛于当且仅当对于任意,存在,使得xNnOx时,都包含在开球中.U(x, )n0O,ldX例.1. 10若为非空集合的平凡度

14、量,则对任意及,x, X0n, NxU(x,)只包含一个点,因此如果序列收敛于,则必有,使得时,一定,xNnOOx, x 有.n0r,OX定义1.1.4设M是度量空间的子集,若存在xX,使得M包含在,OU(x,)开球,中,则称M是的有界集.(X, d)0r, Ox, M明显地,M是有界集当且仅当存在x及,使得对任意,有0.d(x, x), rOxx定理1.1.3若为度量空间的收敛序列,则是有界的.nnN, In, Nlimx, x证明设,则对于,存在,使得时,有.d (x, x), InOnOn,nr, max 1, d (x, x), d (x, x), 1 令,则对任意的,有,故 d(x,

15、 x), rOlOn, lOn ,所以是有界的.x x, U(x, r)nnO有界集是一个与度量有关的概念,因为对于任意一个度量空间,都可以引(X, d) 入另一度量,使任意子集都是有界集.M, X,d(x, y)事实上,只需令,则容易看出对任意,都是(,)M, XX, (x, y), Ml, d(x,y)的有界集,并且有当且仅当.d(x, x), 0, (x, x), Onn例 1. 1. 11 设 s 为全体实数列,对于任意,d(x, y)x, (x),y, (y),sii, x, y|iid=, 试证明(s, d)中序列按度量收敛当且仅当序列按坐标收敛,i!(l, |x,y|)iiil,

16、(n) (0), x, x ii 证明 若,则 d(x, x) =0, x, sd(x, x), Onn, nO (n) (0) i ! (1, |x,x|)il,ii故对每一个固定的i,有0(n) (0) x, x iiOO , d(x, x)n0(n) (0) i ! (1, j x, x I) OiiOO因而i !d(x, x) (n) (n) OnO Ix, xI, iiOOl, i !d(x, x) OnO(n) (n) limx, xxx所以,即按坐标收敛于.iinOOO, nx反过来,若按坐标收敛于,则对于任意,由于级数收xOn, i!il,1,敛,因此存在正整数m,使得.,i!

17、4im,n() (0)对于每个i N时,有.令N二max N,.,x, x, ii lii4N ,则当 n N 时,有 m-1,(n) (0)m, lm, 1 x, x ii4 , (n) (0), i ! (1, x, x|) i, li, liii! (1, )4,3,4因此(n) (0) (n) (O)ml, Ix, x| |x, x iiiid(x, x), , nO, (n) (0) (n) (0) i ! (1,;x, x|)i!(l,x, x ;) ilim, iiii 3 9 y y . 44limd(x, x), 0. d所以即依度量收敛到.xxnOnO, n1. 2度量拓扑

18、在数学分析,对实数集R,已经有了开区间,闭区间,开集和闭集等概念,将这些概念推广到一般的度量空间,就可以建立起度量空间的拓扑结构.(X, d)X定义1.2.1设x,G是度量空间,是的子集,称为的内点,若存(X, d)GGO在的某 个开球,使得.若G的每一个点都是的内点,则称GU(x, r)U(x, r), GOO为开集.GX另外,规定空集是开集,明显地一定是开集,定理1.2.1对于任意,开球是度量空间(X, d)的开集.x, X, r, 0U(x, r)00证明只需证明对于任意的,是的内点.xx,U(x,r)U(x,r)00r*, r, d(x, x)d(x, x), r 对于,有,令,则且

19、r , Ox, U(x, r)000d(x, y),r时,有,因而 y, U(x, r)d(x, y), d(x, x), d(x, y), d(x, x), r , r 000所以,即是的内点,由是任意的可知是xxU(x, r ), U(x, r)U(x, r)U(x, r)000开 集.下面关于开集的基本性质就是一般拓扑学的公理基础.定理1.2.2设是度量空间,则(X,d)(1) 任意个开集的并集是开集;(2) 有限个开集的交集是开集.x, :G证明(1)设为的一族开集,则对任意,有某个下标,G, (X,d)O,U(x, r),GU(x, r), G使,由于是开集,因而有开球,因此,故x,

20、 GG, :,000, 为的内点,由是任意的可知是开集.xxGG:,nG, Gi, 1, 2, ,n (2)设为开集,对于任意,对,有 x, G, x, Glnii:, li Gr, minr i, 1,2, ,n由于rU (x, r), G是开集,因此有使得,令,则iiiii nnnU(x, r), GU(x, r), G,因而,所以,x为的内点,从而 为开集.GGii: :iii, li, 1, lidXX例1. 2. 1设是非空集合,为上的平凡度量,则对任意,开球x, XOU(x, 1), x d(x, x), 1, xX,因而是开集,所以,的任意子集x0000 都是开集.G, x:x问

21、题1.2.1任意多个开集的交集是否一定为开集,任意多个开集的交集不一定是开集.lld(x, y), x, y|G,(,)例1. 2. 2在实数空间中,,对于任意自然数,nRnnn,11是的开集,但不是开集.G, :(,), 0Rn:nnln,C定义1.2.2度量空间的子集称为闭集,若的余集F,X是开集.(X,d)FFF 由上面的定理,容易看出下面定理成立.是度量空间,则 定理1.2.3设(X, d)X(l)和是闭集;,(2) 任意闭集的交集是闭集;(3) 有限个闭集的并集是闭集.与闭集有着密切联系的概念是极限点.x,XF定义1.2.3设是中的集合,,若包含的任意开集都含有不同x(X,d)FF于

22、的的点,则称为的极限点.xxFFR明显地,为的极限点时,不一定属于.例如在实数空间中,0是F = xx10,F| n = 1, 2,,n,的极限点,但.nF容易看出,有儿种方法可以检查一个点x是否为的极限点.x,X定理1.2.4设(X,d)为度量空间,则下列条件等价:F, X0(1) 为的极限点;FxO(2) 包含的任何一个开集都含有异于的无穷多个点;FxxOOx, x, xlimx, x. (3)在中存在序列,且 FnnOnO, n定义1.2.4设是度量空间,,称的极限点全体为的导集,记FF(X,d)F,XF, F:F为F.称为F的闭包.例1. 2. 3在实数空间中,若,贝9,且.F,FF,

23、 1,2: 3, 4F 1, 2RFX定理1.2.5设是度量空间,为的子集,则下列条件等价:(X, d)F (1)是闭集;F,,F(2);(3) F, F.CFF,FF证明(1) (2)若是闭集,则是开集如果,则如果,F,x,Fx,F,则对任意,必有.,F,CCCx, FF:F, x, FF不然,假设,则有,由于是开集,且,但这与,x, F矛盾.F,F:F,FF,F(2) (3)若,则.,CF,F:F,FF,F,F(3) 若,则.如果,则是闭集;,F, XCCx, FF, F, Fx, F,如果,则对任意,由可知,因而存在开球,CCCFFU(x, r) :F, x,故,即是的内点,因此是开集,

24、所以F是闭U(x, r), F 集.x,X定理1.2.6设是度量空间,则下列条件等价:(X,d)F,Xx,F(l);(2)的每个开球都包含有的点;xFlimx, x. (3)有序列,使得x, Fnn, nx,F,F:Fx,F证明(1)(2)对,若,则明显地对每个开球,U(x, r)x,x, F包含有的点.若,则对于的每个开球,必含有的U(x, r)U(x, r)U(x, r)xFF异 于的点,所以一定含有的点.U(x, r)xFllxU(x, )dxx(,), (2) (3)对于任意正整数,中含有的点,因而,所n, Fnnnnlimx, x.以,n, nx, Flimx, x. x, F (3

25、) (1)设存在,使得如果,则明显地有,nn, nx, xx, Fx, Flimx, x. x, F.如果,则由可知,因而由可知nnn, nx, Fx, F,所以,.容易证明,的闭包就是包含的最小闭集,因此需要考虑下面的问题.FF问题1.2.2在度量空间U(x, r)中,开球的闭包是否一定是闭球(X, d)0B(x, r), 0xU(x, r)B(x, r)在度量空间中,都以为球心,为半径的开球和闭球(X, d)rOOO虽 然半径一样,但开球的闭包不一定是闭球.例1.2.4在R,(,)上,定义平凡度量,0,当 x , y 时,d(x, y)二,1 当 x , y 时.,U(0, l)U(0,

26、1), 0则对于开球,由于是闭集,因此它的闭包仍是0,不是闭球 B(0, 1),(,)定义1.2.5设是度量空间,,称的内点全体为的内部,记(X, d) GGG, X0为G.容易证明,对于的内部和闭包,有下面的定理成立.GG,X定理1.2.7设F,X为度量空间,则(X,d)OG,G (1)是开集当且仅当;G0 (2) G, G,G;00G,F(3)当时,一定有 G,F, G, F.利用闭包这一概念,还可以引进一些与闭包有关的概念.X定义1.2.6设为度量空间的子集,若F,X,则称在中稠密.(X, d)FFF定义1.2.7设为度量空间的子集,若不包含任何内点,则称称在(X, d)FFX中 是疏朗

27、的.例1.2.5全体有理数Q在实数空间中是稠密的,而全体自然数R,(,)在中是疏朗的.ZRd在度量空间中,利用度量,可以定义开集,闭集,闭包,内部等概念,也可(X, d)dx以利用开集来刻画序列依度量收敛于.xOnF. Hausdorff (1868-1942)发现对于一个给定的点集,可以不必引进度量,也能 用某种方式来确定某些子集为开集,然后利用开集就可以建立闭集,闭包和序列收敛 等概念,F. Hausdorff利用这些概念建立了拓扑空间的完整理论.定义1.2.8设是一个非空集合,是的一族子集,若满足下面的三个公XX,理,则 称(X,)是拓扑空间,,(1) , ; X,(2) 中任意个集合的

28、并集属于;,(3) 中任意有限个集合的交集属于,此时称中每一个集合为开集,则称为拓扑.,(X,)明显地,若是度量空间,为度量空间中的全体开集,则为拓扑(X, d),d空间,称为度量产生的拓扑,(X, )XX例1. 2. 6设是一个非空集合,为的子集的全体,则是一个拓扑,dX空间,此时称为的离散拓扑.此时,对于任意,都是开集.若为上的平凡xx, X,dX度量,则度量产生的拓扑就是的离散拓扑.(X, )X, x, y, zX, x, x, y, x, z例 1. 2. 7 设,=,则为一拓扑空,UU(X,)z间.但在中,对含有点和含有点的任意开集和,都有yyzU:U,. , yz lx, y, X

29、r, d(x, y)明显地,在度量空间中,对于任意,只需取,则(X, d) 4U (x, r) : U(y, r),具有这种性质的拓扑空间称为Haus dor ff空间.,(X,)X定义1. 2. 9拓扑空间称为Hausdorff空间,若对于中的任意,x, yUU:U, x, yy, UUx, U,存在两个开集和,使得,,且,.yxyyxx另外,度量空间还具有下面例题中的性质,而具有这种性质的拓扑空间(X, d) 为正规空间.例题1. 2. 1设,是度量空间中的两个闭集,且,试证明FFF:F, (X, d),1212存在 开集,,使得,,且.UUF, UF,UU:U, 21122121cc证明

30、:由于,因此.由是闭的可知是开集,故对于任意F:F,FF,F,F122122ex, F,存在,使.r, OU (x, r), Flx2xrx 令,则是开集,且.UF, U, (,)UUxllll:2, xFlrycr, 0 类似地,对于任意,存在,使得,令,则 U(y, r), Fy, F, (, )UUyyl22y:2, xF2 是开集,且.UF, U222rryx: :U(y,)如果存在,则由可知一定有 z,U:U, : (, )Ux, 122, yF2, xF21rryx (,) z, Ux (,) z, Uyx, F, y, F,使且.1222因此rryxd(x, y), d(x, z

31、), d(y, z), , maxr, r xy22cy, F但这是不可能的,因为若d(x, y), r,则与矛盾;若d(x, y) 0,只须取=,则当 d(x, x)时,有 d(Tx, Tx) = d(3x+y, 3x + y) =000006,3d(x, x),因而T在x点连续,而x是c的任意点,所以T在上连续.X0000x,容易看出,若是到(Y,)的算子,则在点连续当且仅当对于任意(X, d)TTO xx limTx, Tx.收敛于的序列,有0nn0, n 另外,还可以利用开集来刻画的连续性.T定理1.3. 1设和(Y,)是度量空间,则在上连续当且仅当中每X, (X, d) YT个开集的

32、逆象在中是开集.X,1,1证明若是的开集,则不妨设,对任意,有GY, X, T (G)T (G), OTx, G,,由于是开 集,因此存在,因为是连续的,所以存在0, GTU(Tx,),GOO,1, lx, U(x,)Tx,U(Tx, ,)U(x,),T(U(Tx,), T(G)使得时,有,因而,0000,1, 1, 1故是的内点,所以,山是的任意点,可知是开集.xxT(G)T(G)T(G)00,lx,X反之,若对于中的每个开集G,都是X的开集,则对于任意Y T(G)O11, 0X 和任意,T (U (Tx,)为的开集,因此存在,即对,U (x,), T (U (Tx, ,)000 ,0d (

33、Tx, Tx),d (x, x),于任意,存在0,使得时,有,所以在点连续,xTOOO X因而在上连续.T在实数空间中,a, b上的连续函数一定有界并达到它的上下界.但在度量R 空间中,有界闭集上的连续函数不一定能达到它的上、下界,因此需要引入列紧 性这一概念,列紧性是M. Frechet在1904年发表在Comptes Rendus的论文引进 的.下面的列紧性与紧性在实数中可山Heine-Borel-Lebesgue定理和RBo 1 zano-We i er strass 定理来表现.Heine-Borel-Lebesgue定理指的是闭区间a, b为一族开区间所覆盖时,它 一定为这一族中的有

34、限个开区间所覆盖,而Bolzano-Weierstrass定理指的是有限 区间中每个点列必有子列收敛于区间中的一点.XX定义1.3.2设(X,d)为度量空间,为的子集,若的任何序列都有在FF中收敛的子序列,并且是闭的,则称为列紧集.F定义1.3.3设 为度量空间,的子集称为紧的,若的每个开覆盖X(X, d)FF都有 有限的子覆盖,即如果是的一族(可列或不可列)开集,且,XG,FG, :,1n则一定存在有限个开集,使得.GGG, :G,F,n21i, li在度量空间中,的子集的列紧性与紧性是一致的.X(X, d)定理1.3.2设是度量空间,则是列紧的当且仅当是紧(X, d)F, XFF的.山紧集

35、的定义容易得到下列的简单性质.定理1.3.3设是度量空间,则(X,d)(1) 只有有限个点的子集是紧集;(2) 紧集是有界闭集;(3) 紧集的任意闭子集是紧的;(4) 任意一族紧集的交集是紧集.X, 1, 2, 3, n,但度量空间的有界闭集不一定是紧的,如在中,定义平凡F, 2,4, 6, 2k,量d(x,y),则为的有界集,且是闭的,但不是紧集.FX 度量空间的紧集上的连续函数具有许多闭区间上连续函数所具有的性(X, d) 质.XX,Y定理1.3.4设和(Y,)为度量空间,为的紧集,为到的连(X, d)FTT(F)续算子,则是紧集.y, TxT (F)证明设y为的任意序列,则有x, F,使

36、得.由于是紧Fnnnnx, Flimx, xxx的.因此存在,使得,且.因为在点连续,所以TOnOOnkk, k limy, limTx, y,故为紧集,T(F)T(F)nnOkk, kkf定理1.3.5若为度量空间,为的紧集,为到实数的连续函XX(X, d)FRf数,则一定有界,并且在上达到上、下确界.Xf(F)f(F)证明由上面的定理可知,为实数的紧集,因此有界,故存在M 0,RIf(x) |,Mf(F)f(F)使得对任意x,有.由于为实数的紧集,因而包含上确界Rf (x), yf (x), yyyx, x, F 和下确界,所以存在,使得,.12121122由上面定理可知,若为度量空间,为

37、紧集,则上每个实值连续函数(X, d)FF 都是有界的,但下面的问题乂如何呢,XI. 3.1设问题 为度量空间,若上的每个实值连续函数都是有界的,则(X, d)X是否一定是紧的呢,XX E. Hewitt在1948年肯定地回答了上述问题,他证明了是紧的当且仅当上 的每个实值连续函数都是有界的.Emile Borel在1895年首先给出并证明了现在的Heine - Borel定理,PierreCousin (1895), Lebesgue (1898)和 Schoenflies (1900)推广和完善了该定 理.nR定理1.3.6 (Heine - Borel theorem)空间中的子集是紧的

38、当且仅当是有FF 界闭集.证明当是紧集时,明显地是有界闭集.FFnRx,Fd(x,0),反过来,若是的有界闭集,则存在M 0,使得对于任意,有Fnn()k21/221/2.故对于中的任意序列,有,因(|x|),Md(0, x), (|x|),MxFikik, 1, lii(k) (k) (k)k而对于每个固定的,有 对任意成立,曲及为有界数x, Ri x x |, Miii(k)列可知它一定有收敛子序列.对于,在中一定有收敛的子序列Ri, 1 x 1(k) (k)mm;同样,对于,在中一定有收敛的子丿了列,不妨仍记为i, 2Rx x 12(k) (k) (k) (k)mmmmn,依照同样的方法

39、,可以找到个子序列,即,.,x x x xnl22n都收敛.II R中度量的定义容易知道的子序列一定收敛,所以,是紧集.x xFkkm紧集上的连续算子还具有一些关于不动点的性质.下面先看看不动点的定义和 一个非常简单的例子.X, F定义1. 3. 4设为度量空间,为到的映射,若,使(X, d)F, XTFFOTx, x得,则 称为的不动点.xTOOO先看看下面很有意思的例子.例1.3.2若f是到的连续函数,则f在一定有不动点,使得x0,ll 0,11 0,110.f(x), x00实际上,如果f(O),Of(l), If或,则明显地,在一定有不动点.假如0, 1f (0), Of,lg(x),

40、 f (x), xg (0), 0和都不成立,那么对于,有,并且g,0,有连 续函数的中值定理可知,存在,使得,x, (0, l)g(x),f(x),x, 00000f所以,在一定有不动点.0,1容易知道,是上的闭凸集,将上面的结果推广到上的紧凸集,就得0, 1 0, 1RnR到了 Brouwer不动点定理,L. E. J. Brouwer在1912年证明了欧儿里得空 间的不动点定理.nn定理1.3.7 (Brouwer不动点定理)设为欧儿里得空间,为的紧凸集,若RRFTx, xx, F为到的连续映射,则存在,使得.TFFOOOx, y, X设为线性空间,则是凸集指的是对于任意的,及任意XF,

41、 XF,x, (1, )y, F,有,(0, 1)凸集非凸集1922年,G. D. Birkhoff和0. Kellogg证明在中不动点定理成立.J.Schauder 12在1930年还把上述不动点定义推广到赋范空间,即赋范空间中的任一紧凸集具 有不动点性质,而Tychonoff进一步证明局部凸空间的任一紧凸集也具有不动点性 质.l. 4完备性与不动点定理在数学分析讨论实数数列的极限时,大家都知道数列是Cauchy列肖且仅xn当 为收敛数列,Cauchy列这一概念亦可推广到度量空间.xn,0X定义1.4.1设(X,d)是度量空间,x为的序列,若对任意,存在正nm,n, Nd (x, x), N

42、整数x,使得时,有,则称为Cauchy列.mnn明显地,若为度量空间的收敛列,则一定是Cauchy列,但反之x (X, d) xnn不 然.d(x, y), |x,y|例1. 4. 1设为全体有理数,则(Q, d)为度量空间,且Qlinn, Cauchy列,但,在度量空间(Q, d)中不是收敛列.(1) (l)nn定义1.4.2若度量空间的每一个Cauchy列都收敛于X中的点,则称(X,d) 为完备的度量空间.(X,d)完备的度量空间具有很好的性质,M. Frechet在他的博士论文中就已经仔细地 区别完备与非完备的度量空间了.例1. 4. 2所有实数收敛数列全体c在度量下是一个完备d(x,

43、y), sup x, y ii的 度量空间.nR例1. 4. 3欧几里得空间是完备的度量空间,事实上,如果x是Cauchy列,k 则对于每个固定的,由in(l) (m) (1) (m) 21/2 |x, x|, (|x, x|), d(x, x), iiiilm, il(k) (k) limx, x. xx, (x)可知是中的 Cauchy 列,因而存在,使得令,xRiiiii, knlimx, xR则,所以,是完备的度量空间.k, kc,l,l (1, P,)常见的序列空间都是完备的度量空间.Olp在数学分析中,大家都知道闭区间套定理:如果闭区间列满足如下条a, bnn件:n,1, 2, 3

44、, (1) , ; a, b, a, bn, In, Inn(2) lim a, b |, Onnn,则存在唯一的,使得.lima, limb, a, bj (n, 1, 2, 3, )nnnnn, n, 在完备的度量空间,有类似的结论.B, x|d(x,x),r定理1.4. 1设是完备的度量空间,(X, d)nnn,并且.则必有唯一的.limr, OB, B, B, B, x, :B12nn, Innin, n,r, n, N, Olimr, 0证明由于,因此对于任意的,存在,使得时,有.Nnnk, xd(x, x), r,对于,山,可知,因而是 Cauchy 列因为 m, n, NB, B

45、nmnnmn X是完备的度量空间,所以有,使limx, x. x, Xn, n,d(x, x), rd(x, x), rnx, :B ill,可知对任意成立,因此.nnn, pnnnln,d(y, x), ry, :Blimx, y 假设,则由可知,所以,即,:Bx, ynnnlnn, nn, 1, n该定理的儿何意义是很明显的,如果有一列闭球,像洋葱一样,闭球内还有闭球, 并且半径越来越小趋于0,则一定有一点,在所有的球里面.X例题1.4.1设(X,d)是一个度量空间,若对中任意一列闭球B, x d(x, x), r) limr, OB, B, B, B,这里,出时,一定有 nnnnl2nn

46、, lk,,唯一的,试证明是完备的度量空间.x, :B(X, d)nln,lx证明 设是的Cauchy列,则对,存在,使得时,有X, Nn, Nnkkkkk, 12n, n, n,.不妨把取为.nd (x, x), 12kknnkkk, 1ly, B 令,贝!|当时,有 B, x d(x, x), k, lknkk2111 d(y, x), d(y, x), d(x, x), , , nnnnk, lk, lkkk, lk, lk222 因而.B, Bkk, 111,由 limr, 0 可知存在唯一的,从而 d(x, x),因此 x, :Bklkkk, kkk, 22x limx, xlimx

47、, x,山是Cauchy列可知,所以度量空间是完备的.(X, d) nkn, knlimr,0思考题1.4. 1在上面定理中,若去掉条件,定理是否成立,nk,x, y, X实际上,设为所有的正整数全体,对任意,定义X1, 1,当 x, y 时,x, y, (x, y),0,当 x, y 时.,X,则是上的一个度量,容易验证是完备的度量空间.对任意正整数,取n(X,)IB, B, B, B,就有,但 B, x d(n, x), 1, , n, 1, n, 2, ,12nn, ln2n,为空集.:Bnn, 1思考题1.4.2在上面定理中,若去掉度量空间完备的条件,定理是否成立,一个度量空间如果不是

48、完备的,则用起来比较困难,好在F. Haus dor ff早就证 明一个度量空间能够,并且只能够按一种方式扩展成一个完备的度量空间.x, f(x)把某些方程写成的形式,把求解问题转化为求算子的不动点,然后利用逐 次逼近法来求不动点,是一种很早就使用的方法,牛顿求代数方程的根时用的切线法 就是这种方法,后来Picard用逐次逼近来求解常微分方程,S. Banach在1922年用 度量空间及压缩算子描述这个方法,这就是Banach不动点定理.定义1.4.5设是度量空间,是X到X的算子,若存在实数0, ,(X,d)T,x, yx, y, XI),使得对一切,,都有d(Tx, Ty), d(x, y)

49、则称为压缩算子.T例1. 4. 4设f为实数上的可微函数,且在上有,则f (x) , 1RR,f (y) I, If (,) I |x, y|, d(x, y), f 为到的压缩算子,d(f (x), f (y), f (x)RR xf(x), 1如就是到的压缩算子.RR3ff反过来,若为实数上的可微函数,为到的压缩算子,则一定有RRRx,R|f (x)|,l对所有的.实际上,由于fxxfx, XXX (,),()丨丨(,),fx () I, lim, lim, 1 , x, 0, x, Oxx,x,R|f (x) I, 1因此,对所有的都成立.明显地,若是度量空间的压缩算子,则一定是连续的事

50、实上,若(X, d)TTx, xd(Tx, Tx), d(x, x), 0,贝!1,因而是连续的.TnOnOnO压缩算子最重要的性质是它在完备度量空间的Banach不动点定理.定理1.4.2设度量空间是完备的,是压缩算子,则有唯一的不动点,(X, d)TTx即存在唯一的,使得.Tx,x证明在上取一固定的点,令XxO2nx, Tx, x, Tx, Txx, Tx, Tx, , 1010210nnn,l则对正整数及,有p,ld(x, x), d(x, x), d(x, x) n, pnn, pn, p, In, p, In,d(x, x), d(x, x), d(x, x) n, pn, p, I

51、n, p, In, p, 2n, p, 2n,d(x, x), d(x, x),,八 d(x, x) n, pm p, In, p, In, p, 2n, In1121n, pm p, n, p, n, p, n, n , d(Tx, Tx), d(Tx, Tx),,八 d(Tx, Tx) 00000012231m p, n, p, n, p, n,nn, , d(Tx, Tx), , d(Tx, Tx),,八,d(Tx, Tx) 00000012n, p, n, p, n , d(Tx, x), d(Tx, x), d(Tx, x)000000n, d(x, x) . 10, 1由可知为Ca

52、uchy列,因为是完备的,所以存在,使0, 1 (X, d) xx, Xnx, Txlimx, xx, Tx.由,可知,因此x为的不动点.Tn, Inn, nx, yyd(x, y), d(Tx, Ty), d(x, y)假设是的另一个不动点,并且,则T,d(x, y)x,矛盾,所以是唯一的不动点.T22容易看出,若是压缩算子,则也是压缩算子.但是压缩算子时,不一定TTTT是 压缩算子.n例1. 4. 5不是压缩算子时,可能存在,使得是压缩算子.Tn, NTtTx(t),x(u)dux,C0, 1设是从空间到内的映射,对于,C0, lC0, lT,0.这里的度量为.0, t, 1CO, ld(

53、x, y), max x(t), y(t) | 明显地,有ttd (Tx, Ty), max x (u) du, y (u) du , d (x, y) , 00令,这里A和B为常数,则x(t),A,y(t),Bttd (Tx, Ty), max Adu, Bdu! , 000, t, 1,A, B , d(x, y)因此,不存在,使得,0, 1)d(Tx, Ty), d(x, y)从而不是压缩算子.T对任意,有x, y, C0, 1Jtu22d (Tx, Ty), max x (v), y (v) dvdu | , 00, t, 01tl, max ud (x, y)du|, d(x, y)

54、 . , 00, lt22T所以,是压缩算子.XXA推论1.4.1设(X,d)是完备度量空间,为到的算子,若存在某个正nAn,l整数,使得是压缩算子,则有唯一的不动点.Annnx, y 证明 若 d (Ax, Ay), d (x, y),对任意的,成立,则令,x, y, XT, ATx, x由上面定理可知存在唯一的,使得.x, XTnn, lTx, x, AxTAx, Ax, Ax 假如,则山,及,可知 x, Axd (x, Ax), d (Tx, TAx), d (x, Ax), d (x, Ax),yyxx, Ax矛盾,从而,即为的不动点,并且旳是的另一个不动点时,AAx,yx定是的不动点

55、,因而,所以只有唯一的不动点.ATnxxAn, 1另外,明显地,若是的不动点,则对于任意正整数,也是的不A00动点.x, 2, 2, 2, x例题1.4.2试求方程的根.X, 0, , ,),d(x,y), |x,y|解令,则是完备的度量空间,定义(X, d)T:X, X, Tx, 2, x,容易验证ld(Tx, Ty), d(x, y) 2x, 2xTx, x因而,存在不动点,使得,并且.000033x,2T:X,X,Tx,2, 2, 2, x明显地,也是的不动点,0x,2, 2, 2, xx, 2所以,方程有根.0思考题1.4.3在不动点定理中,若条件“度量空间(X,d)完备”去掉,则定理

56、成 立否,d(Tx, Ty),思考题1.4.5在不动点定理中,若条件“存在01使得,d (x, y) d (Tx, Ty), d (x, y)对任意都成立”换为对任意都成立”,则x, yx, y定 理成立否,容易找到例子,上面两个问题的答案都是否定的.x, Tx上面在证明不动点定理时,采用进行逐次迭代的方法,这是一种在n, In近似计算中很常用并且很有效的方法,利用逐次迭代法,就可以很容易地估计与 xn不动点的误差,只须在xn,. d(x, x) d(x, x), lOnpn, 1P,中令则可得到误差估计式n, d(x, x) d(x, x). lOn, 1根据S. Banach不动点定理,不

57、但可以知道不动点的存在性和唯一性,而且可以 容易x, Tx地构造出迭代程序,由n, Inn, d(x, x) d(x, x). lOn, 1可以逼近不动点到任意精确的程度,因此在S. Banach提出不动点定理半个多 世纪以来,压缩算子和不动点定理得到了深入的研究,许多有关不动点的结果已经成 功地应用于Banach空间中非线性Volterra积分方程,非线性积分方程和非线性泛 函微分方程解的存在性与唯一性的研究.S. Banach不动点定理有着非常广泛的应用,但压缩算子的假设却太强了.从S. Banach不动点定理的证明不难看出下面关于Picard迭代的结果.x,X例题1.4.3设度量空间(X

58、,d)是完备的,是连续算子,,TOX, Tx,满足,则序列收敛到的某个不动点x,并且xd(x, x),Tn, Inn, nnl,no,d (x, x), d(x, x)nii, 1, in,m,n, N, 0, n, m证明 对于任意的,有m, 1d(x, x), d(x, x), nmii, li, n因而为 Cauchy 列,因此对,有.limx, xx, Txxnnn,令,有m,.d(x, x), 1 imd (x, x), d(x, x) nnmii, 1, n, in,不动点定理在代数方程、微分方程、积分方程等的求解问题上有着非常重要和 广泛的应用.6x, 12x, 11,00, 1

59、例题1.4.4试用不动点定理证明方程在上有实根.616x, 12x, 11,0证明令,则方程有解等价于f (x), (11, x) 12f:0,1, 0, lx, 0, lf(x),x 有不动点,使得.d(x,y), |x,y|X, 0, 1明显地,取,时,是完备的度量空间.(X, d)x, y, X由于对任意,有1166 d(f(x),f(y), |f(x),f(y) |, | (11, x), (11, y) 1121213333, I (y, x) (y, x) I 1213322, I (y, x) (y, xy, x) (x, y) I 1213322 , I (1, 1) (1, 1, 1, 1) (x, y) 1121 , d(x, y)2因此为压缩算子,因而111 S. Banach不动点定理可知存

展开阅读全文
温馨提示:
1: 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
2: 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
3.本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
5. 装配图网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
关于我们 - 网站声明 - 网站地图 - 资源地图 - 友情链接 - 网站客服 - 联系我们

copyright@ 2023-2025  zhuangpeitu.com 装配图网版权所有   联系电话:18123376007

备案号:ICP2024067431-1 川公网安备51140202000466号


本站为文档C2C交易模式,即用户上传的文档直接被用户下载,本站只是中间服务平台,本站所有文档下载所得的收益归上传人(含作者)所有。装配图网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。若文档所含内容侵犯了您的版权或隐私,请立即通知装配图网,我们立即给予删除!