陶哲轩实分析 命题7.2.5 证明
2012-11-02 10:08
253 查看
设$\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$存在.
$$|\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$存在.
相关文章推荐
- 陶哲轩实分析 命题7.2.5 证明
- 陶哲轩实分析 命题 7.4.1 证明
- 陶哲轩实分析 命题 7.4.1 证明
- 陶哲轩实分析 命题7.4.3 (级数的重排) 证明
- 陶哲轩实分析 命题7.4.3 (级数的重排) 证明
- 陶哲轩实分析 命题 8.2.6 证明
- 陶哲轩实分析 命题 8.2.6 证明
- 陶哲轩实分析 命题 7.2.14 (极限算律) 证明
- 陶哲轩实分析 命题7.18 证明
- 陶哲轩实分析 命题 7.2.14 (极限算律) 证明
- 陶哲轩实分析 命题7.18 证明
- 陶哲轩实分析 命题7.1.11 (在有限集合上求和的基本性质) 证明
- 陶哲轩实分析 命题7.1.11 (在有限集合上求和的基本性质) 证明
- 陶哲轩实分析 命题 7.3.4 (Cauchy 准则) 证明
- 陶哲轩实分析 命题 7.3.4 (Cauchy 准则) 证明
- 一个与矩形剖分有关的命题(四):简便的数论证明
- 陶哲轩实分析命题9.4.10:指数函数的连续性
- 陶哲轩实分析命题 11.10.7
- 陶哲轩实分析命题 11.10.7
- 经典证明:质数无穷多与两个更强的命题