- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第一章练习JB
1.记C([。/])是闭区间皿切上连续函数全体构成的集合,在c(\a.b])上定义厘髙如下:
Q(/,g) = £i/3)-g(x)0,Vf,gwC(k21),
(i) c([])按q是否完备?
②(C([]).Q)的完备化空间是什么?
*: (1)不完站例如对于[聞 = [0,2]以及〃 =1,2,…,定义
fnM:
fnM:=
0xL
1 x2.
则{儿(x)} u C([0.2])在本题所定义的距离的意义下是Cauchy列,因为
jxndx + ^xmdx
1 1 r
= + 0, (mji — s).
〃 +1 m + \
另一方面,点列{刀(》)}并不能在本题所定义的距离的意义下收敛到C([0,2])中的某个元.
事实上,在几乎处处收敛的意义下,我们有
°,
°,
。⑴ Tg(X)=
xe(oa)心,2].
因此,根据Lebesgue有界收敛定理.可以得到
〃(/n,g)= [成⑴-割小放
=「疽_01弘=f,.r^v = —!—-0.
J° Jo n +1
但 g(x)2([0.2]).
(2) C([a.b])的完备化空间是li([a.b]).因为
(i)在距离Q的意义下,C([u,b])是〃(皿如的稠密亍集.事实上,任意取定一个
/⑴仁以囱。]),需要证明:对于任意的£(),存在g(x)eC[。,仞,使得
Q(/,g)=丄」/(、)-席⑴ 1公 £.
事实上,首先根据积分的绝对连续性,存在50,使得当EukLb],只要〃】Ev5,就有
因为/⑴(Lebesque)可积,故几乎处处有限,即
WA =°,
其中EN={xe[a,b]\\f(x)\N}.由此可以得到[im 〃仕Q =0 (因为{}是渐缩集列
A-?
并且的测度有限),故存在某个自然数N,使得〃疼? 5且
因此有
l/V)KN,x e\aJ
l/V)KN,
x e\aJ)]\EN.
引入一个新函数定义为
fM :=
fM :=
,⑴,
0,
xe[ad)]\EN
E.,
显然对于恒有lj(x)EN?由Lusin定理,存在连续函数g(x)eC(-8,b)和 闭集F u,,,,使得m([G0]\F)min0£/3N}且Ig⑴割,进而
^) = /U), xeF.
则g(x)限制在伍0]即为所求,因为:
P(f-g) = [fi^fM-g(x)\dx
=f l/(x)-g(x)kZr
J Lm I fW - 8(x)I 么 + J,. I fM-沁 Idx
f (I f(x)\+N)dx J|M
+jfl /⑴-项⑴1 dx+底.I /⑴一⑴1 dx
f .1 f(x)\dx + Nm([a.bl\F) J\a.bJ\F
£ £ £
V — + — + — = £.
3 3 3
(ii)(以[〈展]))是完备的空间.
设(X,Q)是距离空间,A是X的子集,对任意的xeX,记
p(x. A) = inf p(x.y)9
VG-4
则(1) p{x.A)^x的连续函数.
(2)若{。}是X中的点列,使P(%A)tO,{◎是否为Cauchy列?为什么?
证:(1)任意取定知此芒乂,对于任意的veX根据三角不等式,有
P(XX.y) p{xx,x2) + p(x2,y), p(x2.y) ) + p(x{.y).
对两端关干取下确界’可以得到
inf p{xx,y) p(xx,x2)+inf p(x2, y), inf q(?弓.y) V p(x2,%) + inf , y).
y?/4
即
(M,A) p(xXyx2) + p(x2,A),
p(x2M)P(x2,xl) + p(A:l,A).
由此可得
顷(X|, A) - q( , A) l pg ,x2).
由此容易证明f(x) =p(x,A)是X上的建续函数?实际上,p(x,A)还满足Lipschitz常数 等于1的Lipschitz条件.
(2)答:未必是Cauchy列.例如取X=R,其中的距离是Euclid距离.对■于A = {-1,1}, 对于〃 = 1,2,…,定义点列为
天=(-】)”+丄
n
对于点列LW,不难验证,
p(xw,A) = --0;
n
但显然{%}不是Cauchy列.这里的原因就在于(mA)不是点到点之间的距离,而是点到
集合的距离,当这个集合A含有不止一个点时,p(x. 4)不再具有点点之间距离的性质.
E是R”中的Lebesgue可测集合,试证庁(玲按距离
3, g) = ess sup I /(x) 一 g(x) I 是不可分空问.
证法一:记为方便起见,设E=\a.b],定义
人⑴= W)=[o, 0“
显然刀(X)有界,可测,因此必属于记
A = {f,(x)\Ae(aJ]\.
则AuLpi.K) .既然对干不同的切,与人不同的部分
原创力文档


文档评论(0)