您好,欢迎访问三七文档
当前位置:首页 > 商业/管理/HR > 经营企划 > 《泛函分析》课后习题答案(张恭庆)
11.3.1在度量空间中求证;为了子集A是列紧的,其充分且必要条件是对0存在A的列紧的网.证明必要性显然,只证充分性.0,设N是A的列紧的2网;N0是N的有限2网,则有xA,N,x,2N,xN0,,x2x,xx,,x22.N0是A的有限网.1.3.2给定距离空间X,,设MX是紧集,求证M上连续函数必有界,亦达到它的上,下确界.证明fx0 fxnk,supxMfxfx0,xM,fxxn,1nfxnfx0 fxnkfx0.注紧集条件不可少.例0,1上考虑xnt,xnttn,fx01x2tdtftn01t2ndt12n1infn1ftn0,0 0,1.1.3.3在度量空间中求证:完全有界的集合是有界的,并且通过考虑2的子集2ekk1,ekk0,0,,1,0,来说明一个集合可以是有界但不完全有界.证设M是完全有界集,那么0,M的有限的网.特别对1,设Nx1,x2,,xn,则有Mk1nBxk,1.于是xM,设a为空间X的一个固定元.我们有x,ax,xkxk,a1max1knxk,a,即M是有界的.下面说明ekk1有界但不完全有界.首先,对k,2ek,1,其中0,0,,0,.由此可见ekk1有界.再注意到eieji0,0,,1,0,j0,0,,1,0,ji0,0,,1,0,,1,ji.ei,ejk1eikejk2122ji.由此可见,ekk1与其任意子列都不收敛,从而ekk1不是列紧的,根据Hausdorff定理,也就不完全有界.1.3.4设X,是度量空间,F1,F2是它的两个紧子3集,求证x1F1,x2F2,使得F1,F2x1,x2,其中F1,F2definfxF1,yF2x,y.证明记dF1,F2,xF1,yF2.nN,xnF1,ynF2,dxn,ynd1n设xnkx1F1,相应的ynkF2,序列ynk未必收敛,但因为F2紧,存在它们的子序列ynkj收敛,设ynkjx2F2,即有dxnkj,ynkjd1nkjjdx1,x2.1.3.5设M是Ca,b中的有界集,求证集合MFxaxftdt|fM是列紧集.证:设EFxaxftdt|fM,fM,|ft|M0ta,b|Fx|axftdtab|ft|dtM0baFE.即E一致有界.|Fx2Fx1|x1x2ftdtx1x2|ft|dtM0|x2x1|0,M0,4|x2x1||Fx2Fx1|FE.即E等度连续.1.3.5设M是Ca,b中的有界集,求证集合MFxaxftdt|fM是列紧集.证:设EFxaxftdt|fM,fM,|ft|M0ta,b|Fx|axftdtab|ft|dtM0baFE.即E一致有界.|Fx2Fx1|x1x2ftdtx1x2|ft|dtM0|x2x1|0,M0,|x2x1||Fx2Fx1|FE.即E等度连续.1.3.6求证sinntn1在C0,中不是列紧的.证:只要证sinntn1非等度连续.对01,0,取kN,使得1k,nk2k,tk4k0,,t00,|tk0|4k1k,|sinnktksinnk0|sin210.由此可见,sinntn1非等度连续.1.3.7空间S中集合A的列紧性条件.A在S中是列紧的,当且仅当,对于任何n,Cn0,使得对1,2,,n,A,的点的第n个坐标的5数集是有界的,即|n|Cnn1,2,.证必要性.因为A在S中是列紧的,任意一个无穷点列mA可以取出收敛子序列mk.因为S中的收敛与按坐标收敛等价,所以点列m中的每一个点(固定m)的坐标序列nmn1,2,也可以从其任意无穷子集中取出收敛子序列,而坐标序列构成数集,要从其任意无穷子集中取出收敛子序列显然应该要求它们有界.为了证明充分性,根据习题1.3.1,只要构造A的列紧的网,0,取定一个n充分大,使得12n,考虑形如hnn1,2,,n,0,0,的点的集合H,其中1,2,,n,n1,A.因为x,hnkn112k|k|1|k|kn112k12n.所以H是A的网.再证H是在S中列紧的.事实上,可以将H看做是元素为1,2,,n的n维空间中的子集,由假设|k|Ckk1,2,n,即每个坐标都是有界的,所以H可看做是n维空间中的有界集.从而是列紧的.1.3.8设X,是距离空间,M是X中的列紧集,若映射T:XM满足Tx,Tyx,yx,yX,xy,求证T在X上存在唯一的不动点.证记dinfx,fx|xM,6证明先证存在x0M,使得x0,fx0d.这从下确界的定义出发,n,xnM,使得dxn,fxnd1n,又因为M列紧,故存在xnkx0,将上面不等式中的n改为nk,即dxnk,fxnkd1nk,并令k .再证d0.用反证法.如果d0,则有dfx0,ffx0x0,fx0d,矛盾.1.3.9设M,是一个紧距离空间,又ECM,E中函数一致有界并满足下列:|xt1xt2|ct1,t2xE,t1,t2M,其中01,c0,求证E在CM中是列紧集.证0,取C1,当t1,t2时,|xt1xt2|Ct1,t2注.所以E是等度连续的.注Ct1,t2t1,t2Ct1,t2C111.4.1在R2中,za,b,令z1|a||b|;z2a2b2;z3max|a|,|b|;z4a4b412.(1)求证i,i1,2,3,4都是R2上范数;(2)画出R2,ii1,2,3,4各空间中的单位球面图形;(3)取O0,0,A1,0,B0,1,试在上述四种不同范数下求出OAB三边的长度.|AB|1|10||01|2.|AB|22.|AB|3max|10|,|01|1.|AB|4214.1.4.2C0,1表示0,1上连续且有界的函数xt全体.对xC0,1,令xsup0t1|xt|.求证:(1)是C0,1空间上的范数;(2)l与C0,1的一个子空间是等距同构的.解xC0,1,xx1,x12,,x1n,l2xsupn1|x1n|x.反之,1,2,,n,l,将点列1,1,12,2,,1n,n,用折线连接起来,得到一个函数xtC0,1.xsupn1|n|.xxxx.112131n()11,21,2 1,nn 注折线函数在每一个折线段上的最大值由端点值决定.ab()xa()xb()xttxtxabxbaxbxaba|xt||xa|bxba|xb|xabamax|xa|,|xb|.31.4.3在C1a,b中令x1ab|xt|2|xt|2dt12xC1a,b(1)求证1是C1a,b上的范数;(2)问C1a,b,1是否完备?考虑C10,1中的函数列:fnxx21n21x1可以验证fnx1按范数1是基本列.但是fnx|x|C10,1.fnxxx21n2,m nfmxfnx2201x21m2x21n22x21x21m21x21n22dxI1I2I121n21m22011x21m2x21n22dx2n20n.I2201x21x21m21x21n22dx201x2x21n2x21m22x21m2x21n2dx42n4011x21n2x21n2xdx011x21n2x21n2xdx01n1n101n1x21n2x21n2xdxn31n11x21n2x21n2xdx1n1dx2n221n11nn3n3I22n0n.但是fnx|x|C10,1.1.4.4在C0,1中,对每个xC0,1令x101|xt|2dt12;x2011t|xt|2dt12,求证1和2是C0,1中两个等价范数.证明显然x1x2.x22011t|xt|2dt01|xt|2dt01t|xt|2dt201|xt|2dt2x12x22x1.1.4.5设BC0,表示0,上连续且有界的函数fx全体,对于每个fBC0,及a 0,定义fa0eax|fx|2dx12.(1)求证a是BC0,上的范数.(2)若a,b 0,ab5求证a,b作为BC0,上的范数是不等价的.证明不妨假设b a 0,显然有fbfa,由此可见,为了证明不等价性,只要证不存在c 0,使得facfbfBC0,.只需证 fnBC0,,使得fna2fnb2.gnxdefeax,0xneaxn1x,nxn10,xn1fnxdefgnxfa20neaxeaxdxn,fb20ebxeaxdx0ebaxdx1bafna2fnb2nba.1.4.6设X1,X2是两个线性赋范空间,定义XX1X2 x1,x2|x1X1,x2X2称为X1与X2的Decard笛卡尔空间.规定线性运算如下:x1,x2y1,y2x1y1,x2y26,K,x1,y1X1,x2,y2X2,并赋以范数x1,x2maxx11,x22其中1和2分别是X1和X2的范数,求证:如果X1,X2是B空间,那末X也是B空间.证明设xn是X中的基本列.则xnxm0n,mx1nx1m10n,mx2nx2m20n,m因为X1是B空间,所以 x1X1使得x1nx1;又因为X2是B空间所以 x2X2使得x2nx2.xdefx1,x
本文标题:《泛函分析》课后习题答案(张恭庆)
链接地址:https://www.777doc.com/doc-1890343 .html