绝对收敛级数重排定理的证明

级数的部分和组成了一个部分和数列，如果这个数列在n->∞ 时有极限，那么我们说级数有极限(收敛converges)反正级数发散(diverges)

级数是数列2维的存在！

首先，绝对收敛级数收敛（或者时说一个级数绝对收敛，那么这个级数收敛)

证明过程

目标，证明



注意下面60题参考答案(a)部分中，选取的ε，在两个等式中是一样的，M是绝对收敛时的极限，L是不带绝对值符号的极限（正常部分和序列的极限)

我们在N1,N2中选择大的那个max{N1,N2}以保证两个等式成立，注意此时ε是任意大于0的实数.

另外还要注意到级数的项数列{an}与级数项取绝对值后组成的数列{|an|}，其项数是一样的，（同样两个级数的部分和数列{Sn}也是一样多的项 ）

部分(b)的理解:

{|bn|}里面的元素一定都在{|an|}中--重排的定义， 如果选择某个ε>0 根据数列极限定义（部分和数列）有|SUM_1_k |an|-M|<[b]ε --（1式）其中k>=N1,[/b]

那么采用{|bn|}的元素想加，一定也能得到|SUM_1_k|bn|-M|<[b]ε --（2式) 其中k>=N2>=N1 , 注意一个收敛级数SUM|an| 当 指标增大(即部分后项标增大时），[/b]

或者说加上更多的项时其与M是越来越近的(因为部分和数列是非解有上限的，单调增)，所以满足1式的[b]ε一定也满足2式。[/b]





关于(SUM_1_k bn - SN2)的值 其中k>=N3 ：

应该是有限数列{xn}，该数列有N3-N2+1 个项，里面元素是不属于{a1-aN2}的{an}中的元素的某个重排相加

这个值是小于{|aN1|+...|an|} 但是 与 (SUM_1_∞ bn - SN2) 之间无法比较大小，所以 书上可能是错误了（上图）