Question

对于数列{_n}，若存在常数M＞0，对任意n∈N+，恒有|_n+1﹣_n|+|_n﹣_n﹣1|+…
+|₂﹣₁|≤M，则称数列{_n}为﹣数列．
求证：（1）设S_n是数列{a_n}的前n项和，若{S_n}是﹣数列，则{a_n}也是﹣数列．
（2）若数列{a_n}，{b_n}都是﹣数列，则{a_nb_n}也是﹣数列．

Answer 1

证明：（1）∵{S_n}为﹣数列，
∴存在M＞0，使|S_n+1﹣S_n|+|S_n﹣S_n﹣1|+…+|S₂﹣S₁|≤M
∴|a_n|+|a_n﹣1|+…+|a₂|≤M，
又|a_n+1﹣a_n|+|a_n﹣a_n﹣1|+…+|a₂﹣a₁|≤|a_n|+2|a_n﹣1|+…+2|a₂|+|a₁|≤2M+|a₁|．
∴{a_n}也是﹣数列．
（2）∵数列{a_n}{b_n}都是﹣数列，
∴存在M，M'使得：|a_n+1﹣a_n|+|a_n﹣a_n﹣1|+…+|a₂﹣a₁|≤M，
对任意n∈N都成立．
考虑|a_i+1b _i+1﹣a_ib_i|=|a_i+1（b_i+1﹣b_i）+b_i（a_i+1﹣a_i）|≤|a_i+1||b_i+1﹣b_i|+|b_i||a_i+1﹣a_i|
|a_i﹣a₁|=|（a_i﹣a_i﹣1）+（a_i﹣1﹣a_i﹣2）+…+（a₂﹣a₁）|≤|a_i﹣a_i﹣1|+|a_i﹣1﹣a_i﹣2|+…+|a₂﹣a₁|
＜M
∴|a_i|＜|a₁|+M=M₁
同理，|b_i|＜|b₁|+M'=M₁'
∴
∴{a_nb_n}也是﹣数列．