[PeterDLax著泛函分析习题参考解答]第3章 Hahn-Banach 定理
1. 证明 $(10'$).
证明: $\ra$: 由 $p_K(x)<1$ 知 $$\bex \exists\ 0<a<1,\st \cfrac{x}{a}\in K. \eex$$ 既然 $0$ 是 $K$ 的内点, $$\bex \forall\ y,\ \exists\ \ve=\ve(y)>0,\st |t|<\cfrac{\ve}{1-a}\ra ty\in K. \eex$$ 于是由 $K$ 的凸性, $$\bex |t|<\ve\ra x+ty =a\cdot \cfrac{x}{a} +(1-a)\cdot\sex{\cfrac{t}{1-a}y}\in K. \eex$$ $\ra$: 设 $x$ 为 $K$ 的内点. 若 $x=0$, 则 $p_K(x)=0$. 若 $x\neq 0$, 则 $$\bex \exists\ \ve=\ve(x)>0,\st |t|<\ve\ra x+tx\in K. \eex$$ 特别地, $$\bex \cfrac{x}{\cfrac{1}{1+\cfrac{\ve}{2}}}=x+\cfrac{\ve}{2}x\in K. \eex$$ 于是 $$\bex p_K(x)\leq \cfrac{1}{1+\cfrac{\ve}{2}}<1. \eex$$
2. 证明定理 4.
证明: (ii) 的证明与 (i) 类似, 而只证 (i). 设 $K=\sed{x\in X; p(x)<1}$, 则对 $\forall\ x,y\in K$, $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$$ 另外, $0\in K$, 且对 $\forall\ y\neq 0$, 只要 $$\bex |t|<\min\sed{\cfrac{1}{|p(y)|+1},\cfrac{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({\bf A} x)\leq p(x)$, 定理 7 仍成立.
证明: 检查定理 7 的证明即知结论成立.
错误指出:
Page 19, 定理 5 第 2 行, 数域应该去掉.
[PeterDLax著泛函分析习题参考解答]第3章 Hahn-Banach 定理的更多相关文章
- [PeterDLax著泛函分析习题参考解答]第2章 线性映射
1. 验证两个线性映射的复合仍是线性映射而且满足分配律: $$\bex {\bf M}({\bf N}+{\bf K})={\bf M}{\bf N}+{\bf M}{\bf K},\quad ({\ ...
- [PeterDLax著泛函分析习题参考解答]第1章 线性空间
1. 证明定理 1. 2. 验证上述结论. 3. 证明定理 3. 4. 证明定理 4. 证明: 由 $$\bex x=\sum_{k=1}^{n-1}a_k\cdot \sum_{j=1}^{n-1} ...
- [PeterDLax著泛函分析习题参考解答]第6章 Hilbert 空间
1. 证明满足 (6) 的范数可以由一个内积诱导出来. 这个结论属于 von Neumann. 证明: 以实线性空间为例, 取内积 $$\bex \sex{x,y}=\cfrac{1}{4}[\sen ...
- [PeterDLax著泛函分析习题参考解答]第5章 赋范线性空间
1. (a) 证明 (6) 定义了范数. (b) 证明它们在 (5) 式意义下是等价的. 证明: $$\bex |(z,u)|'\leq |(z,u)|\leq 2|(z,u)|',\quad |(z ...
- [PeterDLax著泛函分析习题参考解答]第7章 Hilbert 空间结果的应用
1. 对测度是 $\sigma$ 有限的情形证明 Radon-Nikodym 定理. 证明: 设 $\mu,\nu$ 均为 $\sigma$ 有限的非负测度, 则存在分割 $$\bex X=\cup_ ...
- [PeterDLax著泛函分析习题参考解答]第4章 Hahn-Bananch 定理的应用
1. 证明: 若在 4.1 节中取 $S=\sed{\mbox{正整数}}$, $Y$ 是收敛数列构成的空间, $\ell$ 由 (14) 式定义, 则由 (4) 给出的 $p$ 和由 (11) 定义 ...
- [物理学与PDEs]第1章习题参考解答
[物理学与PDEs]第1章习题1 无限长直线的电场强度与电势 [物理学与PDEs]第1章习题2 均匀带电球面的电场强度与电势 [物理学与PDEs]第1章习题3 常场强下电势的定解问题 [物理学与PDE ...
- [物理学与PDEs]第2章习题参考解答
[物理学与PDEs]第2章习题1 无旋时的 Euler 方程 [物理学与PDEs]第2章习题2 质量力有势时的能量方程 [物理学与PDEs]第2章习题3 Laplace 方程的 Neumann 问题 ...
- [物理学与PDEs]第3章习题参考解答
[物理学与PDEs]第3章习题1 只有一个非零分量的磁场 [物理学与PDEs]第3章习题2 仅受重力作用的定常不可压流理想流体沿沿流线的一个守恒量 [物理学与PDEs]第3章习题3电磁场的矢势在 Lo ...
随机推荐
- 安装完oracle重新启动后报ORA-12514: TNS: 监听程序当前无法识别连接描述符中请求的服务(重启前正常)
安装完oracle重新启动后报ORA-12514: TNS: 监听程序当前无法识别连接描述符中请求的服务(重启前正常) 刚安装完后用plSql登录正常. 在dos命令行下 输入 sqlplus 用户 ...
- Entity Framework 的事务 DbTransaction
事务代码实现如下: public static void Transaction() { myitEntities entity = null; DbTransaction tran = null; ...
- zlib1.2.8 编译小记
官网下载:http://www.zlib.net/ 用vs命令行工具运行zlib-1.2.8\contrib\masmx86\bld_ml32.bat 用vs2012打开zlib-1.2.8\cont ...
- demo_07选择器练习
<!DOCTYPE html> <html> <head> <meta charset="utf-8" /> <title&g ...
- JS分段上传文件(File)并使用MD5.js加密文件段用来后台校验
HTML <form method="POST" name="form1" action="/mupload/upload/" enc ...
- CSS3 skew倾斜、rotate旋转动画
css3出现之前,我们实现一个对象的一组连续动画需要通过JavaScript或Jquery编写,脚本代码较为复杂: 若需要实现倾斜.旋转之类的动画难度将更高(我还没试过用JavaScript或Jque ...
- 固定滚动外层div的css
background-color: #2a3138; position: fixed; bottom: 0; left: 0; width: 100%; height: 57px; overflow: ...
- ubuntu下的软件安装
1.软件安装 最近开始将个人电脑由windows换成linux,第一步就是会装一些个人软件,以前玩linux都是用yum或者apt-get来进行安装. 下面介绍一下如何从官网下载文件并且安装的方法. ...
- 【python】求水仙数
for i in range(100, 1000): sum = 0 temp = i while temp: sum = sum + (temp%10) ** 3 temp //= 10 # 注意使 ...
- 国内物联网平台初探(八):移动云OneNET
国内物联网平台初探(八)——移动云OneNET 平台架构 数据模型 使用场景示意图 服务 IOT Paas 基础服务 为IoT开发者提供智能设备自助开发工具.后台技术支持服务,为您提供物联网专网.短彩 ...