陶哲轩实分析 推论 7.3.2 (比较判别法) 证明
2012-11-02 16:14
225 查看
设$\sum_{n=m}^{\infty}a_n$和$\sum_{n=m}^{\infty}b_n$是两个实数的收敛级数.并设对于一切$n\geq m$,$|a_n|\leq b_n$.如果$\sum_{n=m}^{\infty}b_n$收敛,那么$\sum_{n=m}^{\infty}a_n$绝对收敛.
证明:$\sum_{n=m}^{\infty}b_n$收敛,说明对于任意给定的正实数$\varepsilon$,都存在相应的整数$N$,对于一切$p\geq q\geq N$,都有$\sum_{n=q}^p|b_n|\leq\varepsilon$.则$\sum_{n=q}^p|a_n|\leq \varepsilon$.说明$\sum_{n=m}^{\infty}a_n$绝对收敛.$\Box$
由于$\sum_{n=m}^{\infty}a_n$绝对收敛,所以它也是条件收敛.
并且$$|\sum_{n=m}^{\infty}a_n|\leq\sum_{n=m}^{\infty}|a_n|\leq\sum_{n=m}^{\infty}b_n$$
证明:对于任意整数$N$,都有
$$|\sum_{n=m}^{N}a_n|\leq\sum_{n=m}^{N}|a_n|$$
所以$$\lim_{N\to\infty}|\sum_{n=m}^{N}a_n|\leq\lim_{N\to\infty}\sum_{n=m}^{N}|a_n|$$
即$$|\sum_{n=m}^{\infty}a_n|\leq \sum_{n=m}^{\infty}|a_n|$$
同样易证
$$\sum_{n=m}^{\infty}|a_n|\leq\sum_{n=m}^{\infty}b_n$$
证明:$\sum_{n=m}^{\infty}b_n$收敛,说明对于任意给定的正实数$\varepsilon$,都存在相应的整数$N$,对于一切$p\geq q\geq N$,都有$\sum_{n=q}^p|b_n|\leq\varepsilon$.则$\sum_{n=q}^p|a_n|\leq \varepsilon$.说明$\sum_{n=m}^{\infty}a_n$绝对收敛.$\Box$
由于$\sum_{n=m}^{\infty}a_n$绝对收敛,所以它也是条件收敛.
并且$$|\sum_{n=m}^{\infty}a_n|\leq\sum_{n=m}^{\infty}|a_n|\leq\sum_{n=m}^{\infty}b_n$$
证明:对于任意整数$N$,都有
$$|\sum_{n=m}^{N}a_n|\leq\sum_{n=m}^{N}|a_n|$$
所以$$\lim_{N\to\infty}|\sum_{n=m}^{N}a_n|\leq\lim_{N\to\infty}\sum_{n=m}^{N}|a_n|$$
即$$|\sum_{n=m}^{\infty}a_n|\leq \sum_{n=m}^{\infty}|a_n|$$
同样易证
$$\sum_{n=m}^{\infty}|a_n|\leq\sum_{n=m}^{\infty}b_n$$
相关文章推荐
- 陶哲轩实分析 推论 7.3.2 (比较判别法) 证明
- 陶哲轩实分析 推论 7.5.3 (比例判别法) 证明
- 陶哲轩实分析 推论 7.5.3 (比例判别法) 证明
- 陶哲轩实分析 引理 7.1.13 证明
- 陶哲轩实分析 命题7.4.3 (级数的重排) 证明
- 陶哲轩实分析 定理 8.2.2 (无限和的富比尼定理) 证明
- 高等代数 北大版 Page 17 推论 证明
- 陶哲轩实分析 命题7.4.3 (级数的重排) 证明
- 陶哲轩实分析 引理 8.2.3 证明
- 陶哲轩实分析 引理 8.2.3 证明
- 陶哲轩实分析 命题 8.2.6 证明
- 陶哲轩实分析 推论 12.5.6 注: 完备且有界的度量空间不一定是紧致度量空间
- 伽利略变换的极限式证明及推论
- 陶哲轩实分析 命题 8.2.6 证明
- 陶哲轩实分析 推论 12.5.6 注: 完备且有界的度量空间不一定是紧致度量空间
- Rolle中值定理的两个数学推论证明
- 陶哲轩实分析 引理7.1.4 证明
- 陶哲轩实分析 命题7.2.5 证明
- 陶哲轩实分析 定理7.5.1 (方根判别法) 证明
- 陶哲轩实分析 引理7.1.4 证明