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

  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著泛函分析习题参考解答]第3章 Hahn-Banach 定理

    1. 证明 $(10'$). 证明: $\ra$: 由 $p_K(x)<1$ 知 $$\bex \exists\ 0<a<1,\st \cfrac{x}{a}\in K. \eex$ ...

  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. iOS开发——扫描二维码——工具类

    (代码已测试好,空闲时间更新……)

  2. IOS 本地通知

    操作流程 1.接收通知 2.注册发送通知 用途:提示时间,闹钟 //接收本地通知(在Appdelegate里面实现) - (void)application:(UIApplication *)appl ...

  3. Codevs 1064 虫食算 2004年NOIP全国联赛提高组

    1064 虫食算 2004年NOIP全国联赛提高组 时间限制: 2 s 空间限制: 128000 KB 题目等级 : 钻石 Diamond 题目描述 Description 所谓虫食算,就是原先的算式 ...

  4. python 在调用时计算默认值

    大家都知道python的默认值是在函数定义时计算出来的, 也就是说默认值只会计算一次, 之后函数调用时, 如果参数没有给出,同一个值会赋值给变量, 这会导致, 如果我们想要一个list默认值, 新手通 ...

  5. 【ADO.NET】3、从TXT中导入数据到数据库

    数据库字段与类型id int,Name nvarchar(20),Age int TXT文本内容为 小高-20张三-18李四-19 private void btnInput_Click(object ...

  6. 虚拟机环境Centos如何上网

    虚拟机环境Centos如何上网----------by ruffianfish.痞子鱼 因为我是用的虚拟机的环境,所以一切操作角度从虚拟机出发. 虚拟机环境的优点: 适合新手学习linux 永远不要怕 ...

  7. nginx 显示discuz页面

    我也不知道我题目表述的对不对.我也是刚学习. 安装nginx 显示discuz的界面.我看了好几次视频,也没发现哪的问题.就是一直出现502的错误代码 我又重新查了几次.觉得需要注意一下几点: 1,关 ...

  8. 配置apache+trac环境

    按照trac官网上的配置始终通不过.仔细看了,原来我们使用的apache版本是2.4的,在2.4中有些directive已经变了. 例如:原来的 Allow from all 现在变成了 Requir ...

  9. spring拦截器

    一:拦截器配置 <!-- 拦截器 --> <mvc:interceptors> <mvc:interceptor> <mvc:mapping path=&qu ...

  10. jquery ajax post, get, javascript ajax post, get 处理

    ajax 创建 XMLHttp 对象IE7 以上的版本都支持 XMLHttpRequestIE7 以下的用 ActiveXObject async:true,  // 当false 时,当执行完这个才 ...