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. C++ socket开发1

    服务端 setlocale(LC_ALL,"Chinese-simplified"); WORD wVersionRequested; WSADATA wsaData; int e ...

  2. [python] 字符串与列表、字典的转换

    1.字符串->字典:eval(str) 2.字符串->列表:list(str)

  3. iOS开发——常用字符串string相关方法和处理

    (持续更新中……) 1,四舍五入 2,剔除字符 3,拼接字符 4,字符个数和长度 5,字符串的比较 6,字符串的范围 7,字符串转Number类型

  4. Linux下的visudo命令

    新建了一个test账号,su 后使用visudo命令,发现不可用,退出putty,直接用root登录,可以用了,小白了,visudo只能用root执行,简单写下visudo命令吧 visudo后得到的 ...

  5. linux ptheard 生产者消费者

    ;     {           {          printf(         pthread_mutex_lock(&mutex);            != g_iBufSiz ...

  6. 深入了解overflow

    1.如果overflow-x与overflow-y值不同   其中一个赋值为visiable,另一个赋值scroll/auto/hidden,那么visiable会重置为auto 2.overflow ...

  7. em,pt和px之间的换算

    任意浏览器的默认字体高度16px(16像素).所有未经调整的浏览器都符合: 1em=16px.那么12px=0.75em,10px=0.625em.为了简化font-size的换算,需要在css中的b ...

  8. php对象的高级特性

    对象比较,当同一个类的两个实例的所有属性都相等时,可以使用比较运算符==进行判断,当需要判断两个变量是否为同一个对象的引用时,可以使用全等运算符===进行判断. class Car { } $a =  ...

  9. C#黑白棋制作~

    前些天自己复习一下C#语言 做了个黑白棋,望大家看一下,可能有些bug嘿嘿 链接如下 http://files.cnblogs.com/files/flyingjun/%E9%BB%91%E7%99% ...

  10. 2、.net NVelocity中原生javascript ajax封装使用

    在页面上,我们经常会遇到局部刷新的例子,这个时候,就需要用到ajax, 因为很多代码都是公用的,所以我们想到了,将代码封装,简化了使用,减少了冗余 javascript ajax代码如下: var x ...