陶哲轩实分析 7.3 节习题试解
7.3.1 用命题 7.3.1 证明推论 7.3.2
设 ∑∞n=man 和 ∑∞n=mbn 是两个实数的形式级数,并且对于一切 n≥m 有 |an|≤bn ,如果 ∑∞n=mbn 是收敛的,那么 ∑∞n=man 绝对收敛,并且
因为
∑∞n=mbn
收敛,所以存在一个
M
满足对于一切的
$$
\sum_{n=m}^{N} b_n \leq M
$$
所以
所以
∑∞n=man
绝对收敛。
所以
设
Sa(N)=∑Nn=m|an|
,
Sb(N)=∑Nn=mbn
。
数学归纳法可证对任意的
N≥m
都有
所以
所以
所以
7.3.2 证明引理 7.3.3
设
x
是实数,如果
(1)如果
|x|≥1
,那么
|xn|≥1
所以
(xn)∞n=0
发散,所以级数
∑∞n=0xn
是发散的。
(2)如果
|x|<1
,设
SN=∑Nn=0|x|n
,那么有
所以此级数绝对收敛。
设级数的部分和
TN=∑Nn=0xn
,那么有
所以有
7.3.3 设
∑∞n=0an
是绝对收敛的级数,使得
∑∞n=0|an|=0
。证明对于每个自然数
n
有 an=0
数学归纳法
先证明
a0=0
所以
所以
假设当
0≤n≤m
时有
an=0
那么当
n=m+1
时,有
所以
因为
所以
所以对每个自然数 n 都有