一般而言,条件收敛的数列(例如 ∑n(−1)n+1 )大概率不会收敛到 1145141919810,但我们可以通过一些方法来加以证明。
首先我们给出一个条件收敛的级数 ∑un :
u1+u2+⋯+un+⋯
然后我们把这个级数对应的数列拆成两个子列 {an} 和 {bn} ,其中子列 {an} 中的每一项都大于等于 0,而 {bn} 中的每一项都小于 0.
下面先讨论 {an} 和 {bn} 的敛散性:
如果它们都收敛,不妨设 ∑an=A ,而 ∑bn=B . 则 ∑∣un∣=A−B ,即 ∑un 绝对收敛,这与 ∑un 条件收敛矛盾.
如果它们一个发散一个收敛,不妨设 ∑an 发散, ∑bn 收敛,则在某一个 N 后 ∑1nbn 将被控制在某个极限 B 的 ε 邻域内,而 ∑1nan 不会被任何 N 控制,故二者加和也不会被任何 N 控制,也就是说 ∑un 发散,这也与 ∑un 条件收敛矛盾.
故 {an} 和 {bn} 都发散.
对于两个元素 t1 和 t2 ,显然有 t1+t2=t1+t2=T2 .
假设对小于等于 n 个元素加法交换律成立,考虑对 n+1 个元素,对任意给定的新排序,先重排前 n 个元素不改变它们的加和,再重排后 n 个元素也不改变它们的加和,就得到了 n+1 个元素的新排列,同时加和也没有改变.
由归纳法,对任何 n 加法交换律都成立.
现在我们考虑对 {un} 的一种重排,记作 {kn} .
先在 {kn} 中按顺序加入 {an} 的元素,由于 {an} 发散,随着 {an} 的元素的加入, {kn} 的前 n 项和不断增大,一定会超过 1145141919810,在 {kn} 的前 n 项和第一次大于 1145141919810 后,按顺序加入 {bn} 的元素,直到 {kn} 的前 n 项和第一次小于等于 1145141919810.
然后再按顺序加入 {an} 的元素,直到 {kn} 的前 n 项和第一次大于 1145141919810. 如此往复. 也就是每一次加项后检查 {kn} 的前 n 项和,若小于等于 1145141919810 则按顺序加入 {an} 的元素,若大于 1145141919810 则按顺序加入 {bn} 的元素,无限重复上述操作.
由于 ∑un 条件收敛,由柯西收敛准则的推论有 limn→∞un=0 . 故在 n 趋于无穷时, ∑1nun 一定会被控制在 1145141919810 的某个 ε 邻域内,也就是 ∑un 收敛到了 1145141919810.