u 1 + u 2 + ⋯ + u n + ⋯ ( 5 ) u_{1}+u_{2}+\cdots+u_{n}+\cdots \quad\quad(5) u1+u2+⋯+un+⋯(5)
我们把正整数列 { 1 , 2 , ⋯ , n , ⋯ } \{1,2, \cdots, n, \cdots\} { 1,2,⋯,n,⋯} 到它自身的一一映射 f : n → k ( n ) f: n \rightarrow k(n) f:n→k(n) 称为正整数列的重排, 相应地对于数列 { u n } \left\{u_{n}\right\} { un} 按映射 F : u n → u k ( n ) F: u_{n} \rightarrow u_{k(n)} F:un→uk(n)所得到的数列 { u k ( n ) } \left\{u_{k(n)}\right\} { uk(n)} 称为原数列的重排. 相应于此,我们也称级数 ∑ n = 1 ∞ u k ( n ) \sum_{n=1}^{\infty} u_{k(n)} ∑n=1∞uk(n) 是级数 (5) 的重排.
为叙述上的方便, 记 v n = u k ( n ) v_{n}=u_{k(n)} vn=uk(n),即把级数 ∑ n = 1 ∞ u k ( n ) \sum_{n=1}^{\infty} u_{k(n)} ∑n=1∞uk(n) 写作
v 1 + v 2 + ⋯ + v n + ⋯ . ( 7 ) v_{1}+v_{2}+\cdots+v_{n}+\cdots .\quad\quad(7) v1+v2+⋯+vn+⋯.(7)
定理12.13
设级数 (5) 绝对收敛, 且其和等于 S S S, 则任意重排后所得到的级数(7)也绝对收敛,且有相同的和数.
证
先假设级数 (5) 是正项级数, 用 S n S_{n} Sn 表示它的第 n n n 个部分和. 现以
σ m = v 1 + v 2 + ⋯ + v m \sigma_{m}=v_{1}+v_{2}+\cdots+v_{m} σ