[PeterDLax著泛函分析习题参考解答]第3章 Hahn-Banach 定理

简介: 1. 证明 (10).   证明: \ra: 由 $p_K(x)

1. 证明 (10).

 

证明: \ra: 由 pK(x)<1\bex 0<a<1,\stxaK.\eex

既然 0K 的内点, \bex y,  \ve=\ve(y)>0,\st|t|<\ve1a\ratyK.\eex
于是由 K 的凸性, \bex|t|<\ve\rax+ty=axa+(1a)\sext1ayK.\eex
\ra: 设 xK 的内点. 若 x=0, 则 pK(x)=0. 若 x0, 则 \bex \ve=\ve(x)>0,\st|t|<\ve\rax+txK.\eex
特别地, \bexx11+\ve2=x+\ve2xK.\eex
于是 \bexpK(x)11+\ve2<1.\eex

 

2. 证明定理 4.

 

证明: (ii) 的证明与 (i) 类似, 而只证 (i). 设 K=\sedxX;p(x)<1, 则对  x,yK, 0<a<1, \beex \bea p(ax+(1-a)y)&\leq p(ax)+p((1-a)y)\\ &=ap(x)+(1-a)p(y)\\ &<a+(1-a)\\ &=a;\\ ax+(1-a)y&\in K. \eea \eeex

另外, 0K, 且对  y0, 只要 \bex|t|<min\sed1|p(y)|+1,1|p(y)|+1,\eex
就有 \beex \bea t>0&\ra p(ty)=t\cdot p(y)<\cfrac{p(y)}{|p(y)|+1}<1,\\ t<0&\ra p(ty)=-t\cdot p(-y)<\cfrac{p(-y)}{|p(-y)|+1}<1. \eea \eeex

 

3. 证明: 若条件 (17) 改为 p(Ax)p(x), 定理 7 仍成立.

 

证明: 检查定理 7 的证明即知结论成立.

 

错误指出:

 

Page 19, 定理 5 第 2 行, 数域应该去掉. 

目录
打赏
0
0
0
0
15
分享
相关文章
|
2月前
|
【C语言程序设计——函数】利用函数求解最大公约数和最小公倍数(头歌实践教学平台习题)【合集】
本文档介绍了如何编写两个子函数,分别求任意两个整数的最大公约数和最小公倍数。内容涵盖循环控制与跳转语句的使用、最大公约数的求法(包括辗转相除法和更相减损术),以及基于最大公约数求最小公倍数的方法。通过示例代码和测试说明,帮助读者理解和实现相关算法。最终提供了完整的通关代码及测试结果,确保编程任务的成功完成。
94 15
【C语言程序设计——函数】分数数列求和2(头歌实践教学平台习题)【合集】
函数首部:按照 C 语言语法,函数的定义首部表明这是一个自定义函数,函数名为fun,它接收一个整型参数n,用于指定要求阶乘的那个数,并且函数的返回值类型为float(在实际中如果阶乘结果数值较大,用float可能会有精度损失,也可以考虑使用double等更合适的数据类型,这里以float为例)。例如:// 函数体代码将放在这里函数体内部变量定义:在函数体中,首先需要定义一些变量来辅助完成阶乘的计算。比如需要定义一个变量(通常为float或double类型,这里假设用float。
47 3
【C语言程序设计——函数】分数数列求和1(头歌实践教学平台习题)【合集】
if 语句是最基础的形式,当条件为真时执行其内部的语句块;switch 语句则适用于针对一个表达式的多个固定值进行判断,根据表达式的值与各个 case 后的常量值匹配情况,执行相应 case 分支下的语句,直到遇到 break 语句跳出 switch 结构,若没有匹配值则执行 default 分支(可选)。例如,在判断一个数是否大于 10 的场景中,条件表达式为 “num> 10”,这里的 “num” 是程序中的变量,通过比较其值与 10 的大小关系来确定条件的真假。常量的值必须是唯一的,且在同一个。
32 2
【C++初阶】10 .习题①
【C++初阶】10 .习题①
88 2
(浙大版《C语言程序设计(第3版)》 习题6-5 使用函数验证哥德巴赫猜想 (20分)
(浙大版《C语言程序设计(第3版)》 习题6-5 使用函数验证哥德巴赫猜想 (20分)
第十二届蓝桥杯决赛JavaC组真题——详细答案对照(全网唯一:异或变换100%数据)-1
第十二届蓝桥杯决赛JavaC组真题——详细答案对照(全网唯一:异或变换100%数据)
207 0
第十二届蓝桥杯决赛JavaC组真题——详细答案对照(全网唯一:异或变换100%数据)-1
第十二届蓝桥杯决赛JavaC组真题——详细答案对照(全网唯一:异或变换100%数据)-2
第十二届蓝桥杯决赛JavaC组真题——详细答案对照(全网唯一:异或变换100%数据)
157 0
第十二届蓝桥杯决赛JavaC组真题——详细答案对照(全网唯一:异或变换100%数据)-2
第十二届蓝桥杯决赛JavaC组真题——详细答案对照(全网唯一:异或变换100%数据)-3
第十二届蓝桥杯决赛JavaC组真题——详细答案对照(全网唯一:异或变换100%数据)
295 0

热门文章

最新文章

AI助理

你好,我是AI助理

可以解答问题、推荐解决方案等