陶哲轩实分析 7.4 节 习题试解
7.4.1 设 ∑∞n=0an 是绝对收敛的实数级数。并设 f:N→N 是严格增函数。证明: ∑∞m=0af(m) 也是绝对收敛的级数。
数学归纳法证明: f(m)≥m
当
m=0
时,有
f(0)≥0
假设对于
m=n
有
f(n)≥n
那么当
m=n+1
时,有
f(n+1)>f(n)>n
所以
f(n+1)≥n+1
所以,我们证明了 f(m)≥m 。
因为
∑∞n=0an
是绝对收敛的实数级数。所以对于任意的
ε>0
都存在
N>0
当
p,q>N
有
∑n=pqan<ε
因为
f(p)≥p>N
,
f(q)≥q>N
所以有
∑n=f(p)f(q)an<ε
所以 ∑∞m=0af(m) 也是绝对收敛的级数。