设$\displaystyle\sum_{n=m}^{\infty}a_n$是实数的形式级数.则$\displaystyle\sum_{n=m}^{\infty}a_n$收敛当且仅当对于每个实数$\varepsilon>0$,都存在整数$N\geq m$使得
$$|\sum_{n=p}^qa_n|\leq \varepsilon,\forall p,q\geq N.$$

证明:

$\Rightarrow:$设$S_k=\sum_{n=m}^ka_n$.根据定义,$\sum_{n=m}^{\infty}a_n$收敛意味着$\lim_{k\to\infty}S_k=l$.其中$l$是一个实数.即对于任意给定的正实数$\frac{\varepsilon}{2}$,都存在相应的整数$N$,$\forall p,q>N$,有$$|S_p-l|\leq\frac{\varepsilon}{2}$$

$$|S_q-l|\leq\frac{\varepsilon}{2}$$
所以$|S_q-S_p|=|(S_q-l)-(S_p-l)|\leq |S_q-l|+|S_p-l|\leq 2\frac{\varepsilon}{2}=\varepsilon$.即
$$|\sum_{n=p}^qa_n|\leq \varepsilon$$
$\Leftarrow:$对于任意给定正实数$\varepsilon$,都存在$N\geq m$,使得
$$|\sum_{n=p}^qa_n|\leq\varepsilon,\forall p,q\geq N$$
则存在$N\geq m$,使得
$$\forall p,q\geq N,|S_p-S_q|\leq\varepsilon$$
根据柯西的收敛判别法,可知$\lim_{k\to\infty}S_k$存在.

转载于:https://www.cnblogs.com/yeluqing/archive/2012/11/02/3828210.html

陶哲轩实分析 命题7.2.5 证明相关推荐

  1. 陶哲轩实分析 命题 8.2.6 证明

    设$X$是任意的集合(可以是不可数的),并设$f:X\to \mathbb{R}$和$g:X\to\mathbb{R}$是函数.使得$\sum_{x\in X}f(x)$和$\sum_{x\in X} ...

  2. 陶哲轩实分析命题10.1.7

    设$X$是$\mathbf{R}$的子集合,$x_0$是$X$的极限点,设$f:X\to\mathbf{R}$是函数,并设$L$是实数,则下述命题在逻辑上等价: (a):$f$在$x_0$处在$X$上 ...

  3. 陶哲轩实分析命题 11.10.7

    设 $[a,b]$ 是闭区间,并设 \begin{align*}   \phi:[a,b]\to [\phi(a),\phi(b)] \end{align*} 是可微的单调增函数,而且 $\phi'$ ...

  4. 陶哲轩实分析命题6.4.12

    设$(a_n)_{n=m}^{\infty}$是实数列,设$L^{+}$是此序列的上极限,$L^{-}$是此序列的下极限(于是$L^{+}$和$L^{-}$都是广义实数). (a)对于每个$x> ...

  5. 陶哲轩实分析 命题 7.3.4 (Cauchy 准则) 证明

    设$(a_n)_{n=1}^{\infty}$是一个非负实数的不增序列,那么级数$\sum_{n=1}^{\infty}a_n$收敛当且仅当级数 $$\sum_{k=0}^{\infty}2^ka_{ ...

  6. 陶哲轩实分析 命题7.2.9 绝对收敛判别法

    设$\displaystyle\sum_{n=m}^{\infty}a_n$是实数的形式级数,如果这个级数是绝对收敛的,那么它是条件收敛的. 证明:该级数绝对收敛,说明对于任意给定的正实数$\vare ...

  7. 陶哲轩实分析 定理 8.2.2 (无限和的富比尼定理) 证明

    设$f:\mathbb{N}\times\mathbb{N}\to\mathbb{R}$是函数.使得$$\sum_{(n,m)\in\mathbb{N}\times\mathbb{N}}f(n,m)$ ...

  8. 《陶哲轩实分析》部分勘误

    我在读<陶哲轩实分析>,作者是陶哲轩,译者王昆扬.2008年11月第一版,第一次印刷.我在此添加一部分中译本印刷错误,若网友发现了另外的错误,请在评论里补充,由我代为添加.若有不当之处,敬 ...

  9. 陶哲轩实分析 2.3节 习题试解

    陶哲轩实分析 2.3节 习题试解 最近从网上下载到了陶哲轩写的实分析,确实是本好书.不过所有的习题都没有给出答案.我试着自己做一遍习题,整理了一份习题解答.放到这里,希望对大家有用. 2.3.1 证明 ...

最新文章

  1. [开发工具]借助dillinger.io,在博客园写markdown
  2. Spark Streaming事务
  3. java 是否继续操作?代码
  4. hotmail在outlook2007中的设置
  5. 操作系统饥饿现象_操作系统常见面试题
  6. 如何快速清除 Ubuntu 的系统缓存
  7. 求一个容器的最值的索引_初中几何最值——瓜豆原理模型分析
  8. 微信 公众号 网页授权登录(静默授权)
  9. 高端android手机,7月Android中高端手机性能榜出炉:华为高端落榜,中端没进前三!...
  10. ssm基于微信平台的牙科就诊信息管理系统的设计与实现 毕业设计源码211157
  11. php工程师外派,招聘兼职Php工程师|Php工程师外包-猿急送
  12. PYTHON实战:从百度资讯爬取信息作为正文,巨潮资讯网爬取有关PDF作为附件,自动发送邮件(Mysql做存储)
  13. c语言学习周报(2020.11.21-11.28)
  14. Zabbx6.0(学习笔记)
  15. ARCGIS中如何把线图层和面图层叠加呢?
  16. 直播系统代码,自行更改导航栏样式
  17. SQL Server附加数据库错误5123,另一个进程正在调用
  18. NF5280M4 安装 Win2016 的方法
  19. Android Studio编译JNI时指定CPU种类
  20. 「11」Python实战篇:利用KNN进行电影分类

热门文章

  1. 去除List集合中的重复元素,并保持原有数据的初始顺序
  2. qtablewidget设置html,Qt 设置QTableWidget,QListWidget,QTreeWidget鼠标右键
  3. Teamcenter 入门开发系列问答(4)
  4. html5实现视频播放器 弹幕效果,基于HTML5的有弹幕功能的视频播放器
  5. 自己动手写Docker系列 -- 5.5实现容器停止
  6. Windows10 Kafka Docker 集群搭建
  7. python把dict转成json_Python dict(或对象)与json之间的互相转化
  8. springboot mvc html,完美起航-SpringBoot整合MVC
  9. 部署weblogic 12c时遇到的问题
  10. js ---- 对象去重