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. Git 个人/团队项目的创建(一步一图)

    好吧,不能从简书上直接拷贝过来,所以这里如果有想了解的就直接去我的简书吧. 简书地址

  2. spring mvc 笔记

    springmvc 课堂笔记 1.Springmvc是什么 Spring Web MVC是一种基于Java的实现了Web MVC设计模式的请求驱动类型的轻量级Web框架,即使用了MVC架构模式的思想, ...

  3. requirejs源码

    require.js /** vim: et:ts=4:sw=4:sts=4 * @license RequireJS 2.1.11 Copyright (c) 2010-2014, The Dojo ...

  4. c++primer复习(六)—面向对象编程

    1 C++中,通过基类的引用(或指针)调用虚函数时,发生动态绑定,两个条件(基类引用或指针.虚函数)缺一不可 虚函数的默认实参将发生静态绑定 2 继承层次的根类一般都需要定义虚析构函数 3 任意非st ...

  5. 几个常用方法有效优化ASP.NET的性能

    一. 数据库访问性能优化 1),数据库的连接和关闭 访问数据库资源需要创建连接.打开连接和关闭连接几个操作.这些过程需要多次与数据库交换信息以通过身份验证,比较耗费服务器资源.ASP.NET中提供了连 ...

  6. CSS3鼠标移入移出图片生成随机动画

    今天分享使用html+css3+少量jquery实现鼠标移入移出图片生成随机动画,我们先看最终效果图(截图为静态效果,做出来可是动态的哟) 左右旋转 上下移动 缩放 由于时间关系我就不一步步解析各段代 ...

  7. [转]maven插件的开发

    原文链接: http://clojure.iteye.com/blog/1124188 另一篇文章 http://blog.csdn.net/csfreebird/article/details/77 ...

  8. PHP实现多web服务器共享SESSION数据-session数据写入mysql数据库

    http://www.php100.com/html/webkaifa/PHP/PHPyingyong/2010/0822/5276.html http://hi.baidu.com/lei_com/ ...

  9. php提取背景图片

    preg_match_all('/background\s*-\s*+image\s*:\s*url\s*\("*([^"]*)"*\)/i', $content,$ma ...

  10. C#——System.Diagnostics.Process.Start的妙用

    我们经常会遇到在Winform或是WPF中点击链接或按钮打开某个指定的网址, 或者是需要打开电脑中某个指定的硬盘分区及文件夹, 甚至是"控制面板"相关的东西, 那么如何做呢? 答案 ...