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 定理的更多相关文章

  1. [PeterDLax著泛函分析习题参考解答]第2章 线性映射

    1. 验证两个线性映射的复合仍是线性映射而且满足分配律: $$\bex {\bf M}({\bf N}+{\bf K})={\bf M}{\bf N}+{\bf M}{\bf K},\quad ({\ ...

  2. [PeterDLax著泛函分析习题参考解答]第1章 线性空间

    1. 证明定理 1. 2. 验证上述结论. 3. 证明定理 3. 4. 证明定理 4. 证明: 由 $$\bex x=\sum_{k=1}^{n-1}a_k\cdot \sum_{j=1}^{n-1} ...

  3. [PeterDLax著泛函分析习题参考解答]第6章 Hilbert 空间

    1. 证明满足 (6) 的范数可以由一个内积诱导出来. 这个结论属于 von Neumann. 证明: 以实线性空间为例, 取内积 $$\bex \sex{x,y}=\cfrac{1}{4}[\sen ...

  4. [PeterDLax著泛函分析习题参考解答]第5章 赋范线性空间

    1. (a) 证明 (6) 定义了范数. (b) 证明它们在 (5) 式意义下是等价的. 证明: $$\bex |(z,u)|'\leq |(z,u)|\leq 2|(z,u)|',\quad |(z ...

  5. [PeterDLax著泛函分析习题参考解答]第7章 Hilbert 空间结果的应用

    1. 对测度是 $\sigma$ 有限的情形证明 Radon-Nikodym 定理. 证明: 设 $\mu,\nu$ 均为 $\sigma$ 有限的非负测度, 则存在分割 $$\bex X=\cup_ ...

  6. [PeterDLax著泛函分析习题参考解答]第4章 Hahn-Bananch 定理的应用

    1. 证明: 若在 4.1 节中取 $S=\sed{\mbox{正整数}}$, $Y$ 是收敛数列构成的空间, $\ell$ 由 (14) 式定义, 则由 (4) 给出的 $p$ 和由 (11) 定义 ...

  7. [物理学与PDEs]第1章习题参考解答

    [物理学与PDEs]第1章习题1 无限长直线的电场强度与电势 [物理学与PDEs]第1章习题2 均匀带电球面的电场强度与电势 [物理学与PDEs]第1章习题3 常场强下电势的定解问题 [物理学与PDE ...

  8. [物理学与PDEs]第2章习题参考解答

    [物理学与PDEs]第2章习题1 无旋时的 Euler 方程 [物理学与PDEs]第2章习题2 质量力有势时的能量方程 [物理学与PDEs]第2章习题3 Laplace 方程的 Neumann 问题 ...

  9. [物理学与PDEs]第3章习题参考解答

    [物理学与PDEs]第3章习题1 只有一个非零分量的磁场 [物理学与PDEs]第3章习题2 仅受重力作用的定常不可压流理想流体沿沿流线的一个守恒量 [物理学与PDEs]第3章习题3电磁场的矢势在 Lo ...

随机推荐

  1. Mac OS X 配置环境变量

    /etc/profile:/etc/bashrc 是针对系统所有用户的全局变量,只有root用户才能修改这两个文件,对一般用户来说是他们是只读的.一般用户要想修改它们,可以在命令前加sudo,意思是以 ...

  2. C# 中使用win32函数 GetScrollInfo返回false 返回引用全是零的问题

    最近做一个项目要获得ScrollBar的位置,因为.net找不到此类功能,只好用MFC中的函数了,GetScrollPos只返回listview顶部的位置,此时我找到了GetScrollInfo,觉得 ...

  3. weblogic 12c 配置jvm的内存大小

    每个weblogic server 都是运行在一个java虚拟机上 ,对weblogic的内存设置也就是对java虚拟机的内存设置. MEM_ARGS=-Xms512m -Xmx1024m -XX:M ...

  4. nginx详细配置文件 (转)

    Nginx的代码是由一个核心和一系列的模块组成, 核心主要用于提供Web Server的基本功能,以及Web和Mail反向代理的功能:还用于启用网络协议,创建必要的运行时环境以及确保不同的模块之间平滑 ...

  5. z-index使用以及失效的处理方法

    1.一般z-index的使用是在有两个重叠的标签,在一定的情况下控制其中一个在另一个的上方出现. 2.z-index值越大就越是在上层.z-index:9999:z-index元素的position属 ...

  6. css3怎么隐藏dom:4种方法

    1.display:none; 2.position:absolute; left:-99999px; 3.visibility:hidden; 4.opacity:0;

  7. float right 换行bug

    Bug产生原因:块里面有换行的元素. CSS: .left{float: left;width: 100px;background: #fff000;} .right{float: right;wid ...

  8. git之环境配置(window+git+github)

    本地安装git 下载最新版的git:https://msysgit.googlecode.com/files/Git-1.9.0-preview20140217.exe 安装步骤:http://jin ...

  9. web开发工具IDE

    1.NetBeans 2.Zend Studio 3.JetBrains WebStorm 4.JetBrains PhpStorm 5.Koala 6.Ionic Lab 7.sublime 8.N ...

  10. 【WPF】布局控件总结

    <Canvas>:画布,默认不会自动裁减超出内容,即溢出的内容会显示在Canvas外面,这是因为默认 ClipToBounds="False":可设置ClipToBou ...