- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
泛函分析 第六章习题答案
第六章习题第一部分01-17
设M是线性赋范空间X的闭子空间,若对任意的f ( X *,f(M) = 0蕴涵
f( X ) = 0,则M = X.
[证明] 若不然M是X的真闭子空间,由Hann-Banach定理,
存在f (X *,使f(M) = 0,并且|| f || = 1,这与题目的假设相矛盾.
设X是线性赋范空间,M是X的子集,x0 (X,且x0 ( (.证明x0(cl(span M)的充分必要条件为:对任意的f ( X *,f(M) = 0蕴涵f(x0) = 0.
[证明] (必要性) 对任意的f ( X *,由f(M) = 0及f是线性的,
可推出f(span M) = 0;而f又是连续的,所以又可进一步得到f(cl(span M)) = 0;
所以对x0 ( cl(span M),有f(x0) = 0.
(充分性)若x0 ( cl(span M),由Hann-Banach定理,存在f ( X *,使得
f(cl(span M)) = 0,但f(x0) = || x0 || ( 0,这与题目的假设相矛盾.
设X是线性赋范空间,x1, x2, ..., xn是X中n个线性无关的元素,a1, a2, ..., an是n个数,M 0.证明:存在满足条件:f(xk) = ak,k = 1, 2, ..., n,且|| f || ( M的有界线性泛函f的充要条件为:
对于任意的n个数c1, c2, ..., cn都有.
[证明] (() 对于任意的n个数c1, c2, ..., cn,令.
由于| f (x)| ( M || x ||,以及f(xk) = ak,k = 1, 2, ..., n,
得到.
(() 考虑X的线性子空间S = Span{ x1, x2, ..., xn },
对于任意的n个数c1, c2, ..., cn,在S上定义.
则g是S上的有界线性泛函,满足条件g(xk) = ak,k = 1, 2, ..., n,且|| g || ( M.
由Hann-Banach定理,存在X上的有界线性泛函f使f |S = g,且|| f || = || g ||.
事实上,此f即为满足条件的泛函.
[第4题到第9题只需要直接验证,它们应该是“集合论”而非“泛函分析”中的题目.此处略去]
设X是Banach空间.证明X自反的充要条件为X *自反.
[证明] 必要性:设X自反,即X上的典则映射J : X ( X **,满足J (X) = X **.
为证明X *自反,我们要证明X *上的典则映射J* : X * ( X ***为满射.
(x ***(X ***,令x * = x *** ? J.容易看出x * : X ( (是上的线性泛函.
由于| x *(x) | = | x *** (J (x)) | ( || x *** || · || J || · || x ||,所以x *( X *.
注意到J (X) = X **,故(x **(X **,存在x(X使得J (x) = x **.
则(J* x *) x ** = x **( x *) = x * ( x) = (x *** ? J ) ( x) = x *** ( J ( x)) = x *** (x **),
所以J* x * = x ***,即J*为满射,故X *自反.
充分性:设X *自反,即X *上的典则映射J* : X * ( X ***满足J* (X *) = X ***.
假若X不自反,即J (X) ( X **.
则由于X是Banach空间,且X上的典则映射J : X ( X **是保范的线性单射,
容易看出J (X)是X **的真闭子空间.
由Hann-Banach定理,存在x ***(X ***,使得x ***( J (X)) = 0,|| x *** || = 1.
由于J* (X *) = X ***,存在x *( X *,使得J* x * = x ***.
显然对(x(X有x * ( x) = (J (x)) x * = x ***(J (x)) = 0,
所以x * = (,这与|| x * || = || J* x * || = || x *** || = 1相矛盾.
设X为线性赋范空间,X *可分.证明X可分.
[证明] 由于X *可分,不妨设X *\{( }中子集F = { f1, f2, ...}在X *中稠密,
令gi = fi /|| fi ||,用S *表示X *中的单位球面.
对(f ( S *,(( 0,存在某fi(F,使得|| fi ( f || min {( /4, 1/2}.
则| (|| fi || ( 1) | = | (|| fi || ( || f ||) | ( || fi ( f |
文档评论(0)