[PeterDLax著泛函分析习题参考解答]第4章 Hahn-Bananch 定理的应用
1. 证明: 若在 4.1 节中取 $S=\sed{\mbox{正整数}}$, $Y$ 是收敛数列构成的空间, $\ell$ 由 (14) 式定义, 则由 (4) 给出的 $p$ 和由 (11) 定义的 $p$ 相等.
证明: $$\bex p(x)=\inf_{x\leq y\in Y}l(y)=\inf_{a_n\leq b_n,\sed{b_n}\in Y}\vlm{n}b_n. \eex$$ 由 $a_n\leq b_n$ 知 $$\bex \vls{n}a_n\leq \vlm{n}b_n, \eex$$ 而 $$\bex \vls{n}a_n\leq p(x). \eex$$ 另一方面, 对 $\forall\ \ve>0$, $\forall\ k$, 取 $$\bex y=(a_1,\cdots,a_k,\sup_{n\geq k}a_n+\ve,\cdots,\sup_{n\geq k}a_n+\ve,\cdots), \eex$$则 $x\leq y$, $$\bex p(x)\leq l(y)=\sup_{n\geq k}a_n+\ve. \eex$$ 对 $k$ 取下确界即有 $$\bex p(x)\leq \vls{n}a_n+\ve. \eex$$ 再由 $\ve>0$ 的任意性, $$\bex p(x)\leq \vls{n}a_n. \eex$$
2. 证明: 我们可以选择一个 Banach 极限, 使得对任意的 Cesaro 可加和的有界数列 $\sed{c_1,c_2,\cdots}$, 均有 $$\bex \LIM_{n\to\infty}c_n=c, \eex$$ 即其部分和的算术平均收敛到 $c$.
证明: 设 $Z$ 是所有 Cesaro 可加和的有界实数列构成的线性空间, 对 $$\bex z=(c_1,c_2,\cdots)\in Z, \eex$$ 定义线性泛函 $$\bex l(z)=\vlm{n}\cfrac{c_1+\cdots+c_n}{n}, \eex$$ 则 $Y\subset Z$ ($Y$ 是所有收敛数列构成的线性空间) 且 $$\bee\label{4_2_eq} y\in Y\ra l(y)=\vlm{n}b_n\quad\sex{y=(b_1,b_2,\cdots)}. \eee$$ 在 $$\beex \bea \cfrac{c_1+\cdots+c_n}{n} &=\cfrac{c_1+\cdots+c_{k-1}}{n} +\cfrac{c_k+\cdots+c_n}{n}\\ &\leq \cfrac{c_1+\cdots+c_{k-1}}{n} +\cfrac{n-k+1}{n}\sup_{n\geq k}c_n \eea \eeex$$ 中令 $n\to\infty$ 即有 $$\bex l(z)\leq \sup_{n\geq k}c_n\quad\sex{z=(c_1,c_2,\cdots)}. \eex$$ 由 $k$ 的任意性, $$\bex l(z)\leq \inf_{k\geq 1}\sup_{n\geq k}c_n=\vls{n}c_n. \eex$$ 这说明在 $B$ (所有有界实数列构成的线性空间) 的线性子空间 $Z$ 上, 线性泛函 $l$ 被 $\dps{p(z)=\vls{n}c_n}$ 所控制. 据第 3 章定理 7, $l$ 可受控延拓至整个 $B$. 注意到 \eqref{4_2_eq}, 我们知 $$\bex l(x)=\LIM_{n\to\infty}a_n\quad\sex{x=(a_1,a_2,\cdots)\in B}. \eex$$
3. 证明: 存在 $t\to\infty$ 的一个广义极限, 使得对定义在 $\sed{t\in\bbR;\ t\geq 0}$ 上的所有有界函数 $x(t)$, 该广义极限满足定理 3 中的性质 (i) 到 (iv).
证明: 设 $X$ 为定义在 $t\geq 0$ 上的所有有界函数 $x(t)$ 的全体, $$\bex Y=\sed{y\in X;\ \vlm{t}y(t)\mbox{ 存在}}. \eex$$ 定义 $$\bex l(y)=\vlm{t}y(t),\quad y\in Y. \eex$$ 则由定理 1, $l$ 可延拓至 $X$. 定义 $$\bex \LIM_{t\to\infty}x(t)=l(x),\quad x\in X, \eex$$ 则此即为所求之广义极限 (定理中的 $\dps{p(x)=\vls{t}x(t)}$).
错误指出:
Page 28, (20) 应为 $c_{P+\rho}={\bf A}_{-\rho}c_P$. 事实上, $$\beex \bea c_{P+\rho}(\tt)=1&\lra \tt\in P+\rho\\ &\lra \tt-\rho\in P\\ &\lra 1=c_P(\tt-\rho)={\bf A}_{-\rho}c_P(\tt). \eea \eeex$$
Page 28, 注记, 三维球面应改为三维空间中的球面.
[PeterDLax著泛函分析习题参考解答]第4章 Hahn-Bananch 定理的应用的更多相关文章
- [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著泛函分析习题参考解答]第3章 Hahn-Banach 定理
1. 证明 $(10'$). 证明: $\ra$: 由 $p_K(x)<1$ 知 $$\bex \exists\ 0<a<1,\st \cfrac{x}{a}\in K. \eex$ ...
- [物理学与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 ...
随机推荐
- Druid 简单介绍
官方网址:http://code.alibabatech.com/wiki/display/Druid/Home 1.什么是Druid Druid首先是一个数据库连接池.Druid是目前最好的数据库连 ...
- scrapy shell 中文网站输出报错.记录.
UnicodeDecodeError: 'gbk' codec can't decode bytes in position 381-382: illegal multibyte sequence 上 ...
- Oracle的安装
本人所使用的数据库平台为Oracle 11g 1.下载Oracle Oracle官网即可下载Oracle平台.不过网上资源丰富,大家也可在百度云网盘找到合适的版本. 附上本人网盘里存储的各个Oracl ...
- Moving Tables
Moving Tables Time Limit : 2000/1000ms (Java/Other) Memory Limit : 65536/32768K (Java/Other) Total ...
- C++ 引用(&)
#include <iostream> void sort(int &a, int &b){ if (a>=b) { return; } if (a<b) { ...
- PHP & Javascript 如何对字符串中包含html标签进行编码 整理
为什么要对字符串编码? 某些字符串中包含html标签,不编码,页面输出就乱了. PHP下怎么对字符串编码? htmlentities vs htmlspecialchars htmlentities ...
- redis php 实例
redis php 实例一 redis的操作很多的,以前看到一个比较全的博客,但是现在找不到了.查个东西搜半天,下面整理一下php处理redis的例子,个人觉得常用一些例子.下面的例子都是基于php- ...
- 『奇葩问题集锦』function * (next){ 执行报错 SyntaxError: Unexpected token *
这是因为 app.use(function * (){ 语句中有一个 * ,这种方式被称为generator functions ,一般写作function *(){...} 的形式,在此类func ...
- nginx服务器的日志太多:定期执行脚本删除
#!/bin/bash -type f -name *.log | xargs rm -f 脚本名字autodellog.sh 设置定时器(每天凌晨一点执行) [root@localhost ~]# ...
- shutdown computer in ad and ou
1. powershell Shutdown-computer –computername (gc c:\temp\serverlist.txt) –force –throttlelimit 10 h ...