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

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

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 行, 数域应该去掉. 

目录
相关文章
|
11月前
|
Serverless C++
C++ 用自定义函数验证高等数学的定积分例题
C++ 用自定义函数验证高等数学的定积分例题
90 0
|
11月前
|
机器学习/深度学习
数论整理之欧拉函数
数论整理之欧拉函数
习题2.1 简单计算器 (20 分)
习题2.1 简单计算器 (20 分)
232 0
|
C语言
浙大版《C语言程序设计(第3版)》题目集 - 习题5-7 使用函数求余弦函数的近似值(15 分)
浙大版《C语言程序设计(第3版)》题目集 - 习题5-7 使用函数求余弦函数的近似值(15 分)
187 0
|
C语言
浙大版《C语言程序设计(第3版)》题目集 - 习题9-3 平面向量加法(15 分)
浙大版《C语言程序设计(第3版)》题目集 - 习题9-3 平面向量加法(15 分)
106 0
Stolz定理 【补充知识】Stolz(斯托尔茨)定理(详解➕例题)
Stolz定理 【补充知识】Stolz(斯托尔茨)定理(详解➕例题)
450 0
Stolz定理 【补充知识】Stolz(斯托尔茨)定理(详解➕例题)
|
机器学习/深度学习 Java Go
数学编程:经典数学编程案例之斐波那契:斐波那契数列的简介、代码实现、exe程序应用(斐波纳契时钟设计)之详细攻略
数学编程:经典数学编程案例之斐波那契:斐波那契数列的简介、代码实现、exe程序应用(斐波纳契时钟设计)之详细攻略
数学编程:经典数学编程案例之斐波那契:斐波那契数列的简介、代码实现、exe程序应用(斐波纳契时钟设计)之详细攻略
|
Perl
[PeterDLax著泛函分析习题参考解答]第4章 Hahn-Bananch 定理的应用
  1. 证明: 若在 4.1 节中取 $S=\sed{\mbox{正整数}}$, $Y$ 是收敛数列构成的空间, $\ell$ 由 (14) 式定义, 则由 (4) 给出的 $p$ 和由 (11) 定义的 $p$ 相等.
633 0