級數重排、分組與 Cauchy 乘積

學習目標與定義

區分有限重排與無窮重排，證明絕對收斂下和的保持性，並構造交錯調和級數趨於任意目標和的重排。還將考察分組及項不趨於零的乘積。預備知識為 Cauchy 判據、絕對收斂與交錯收斂，以及有限求和代數。

級數 $\sum_{n\ge1}a_n$ 的重排是 $\sum_{n\ge1}a_{\sigma(n)}$，其中 $\sigma:\mathbb N_{\ge1}\to\mathbb N_{\ge1}$ 是置換。每個原指標必須恰好在某個有限新位置出現一次。當正項和負項都無限多時，“先取完所有正項，再取所有負項”不是這樣的置換：不存在完成第一族並開始第二族的有限位置。

分組則保留原有次序，把連續有限塊分別替換為其和。它不重排單個指標，但只考察原部分和在各塊末端形成的子列。由有限恆等式轉到無窮極限時，必須區分這些操作。

1. 絕對收斂保證所有置換都保持和

定理

若 $\sum a_n=s$ 且 $\sum|a_n|<\infty$，則任意重排都收斂到同一個 $s$，並且也絕對收斂。

證明。 給定 $\varepsilon>0$，取 $N$ 使 $\sum_{n>N}|a_n|<\varepsilon/2$。置換最終包含有限多個指標 $1,\ldots,N$ 的每一個，故存在 $M_0$，使這些指標全部出現在前 $M_0$ 個位置中。對 $M\ge M_0$，從重排後的前 $M$ 項之和減去原來的前 $N$ 項之和，剩下的是原尾部項中有限項的和，其絕對值之和小於 $\varepsilon/2$。原餘項 $s-\sum_{n=1}^Na_n$ 的絕對值也小於 $\varepsilon/2$。由三角不等式，重排部分和與 $s$ 之差小於 $\varepsilon$。對非負且絕對可和的項應用相同論證，得到重排後絕對值之和等於原和。證明沒有假設置換的指標位移一致有界。

絕對收斂是所有置換都保持和的充分條件，卻不是某個特定置換保持和的必要條件：即使級數條件收斂，只交換前兩項仍不改變其和。

2. 將條件收斂的調和項導向任意實目標

交錯調和級數的正項為 $p_j=1/(2j-1)$，負項的絕對值為 $q_j=1/(2j)$。$\sum p_j$ 與 $\sum q_j$ 都發散到正無窮：後者是調和級數的一半，而由 $p_j\ge q_j$，前者也發散。兩列單項都趨於零。

固定任意實目標 $T$。從零開始，按原有的正項次序取尚未使用的正項，直到運行和嚴格大於 $T$；若一開始已大於目標，先進入負項階段。然後按原有的負項次序取尚未使用的負項，直到運行和嚴格小於 $T$。繼續交替進行。若某階段運行和恰好等於 $T$，繼續該階段直至嚴格越過目標。

由於余下正項或負項絕對值之和無界，每個階段都在有限步後結束。初始階段之後，每個階段至少使用一個新項，所以從兩條隊列取出的項數都趨於無窮。因此每個原項最終恰好出現一次：該構造給出真正的置換。

向上越過時，超出 $T$ 的量至多是最後加入的正項，因為之前的部分和不大於 $T$。向下越過時，低於目標的量至多是最後減去的負項的絕對值。兩條隊列都無限推進，這些末項趨於零，故所有越界時的部分和趨於 $T$。同一階段各項符號相同，所以每個中間部分和都在相鄰兩個越界部分和之間。於是整個重排後的部分和序列趨於 $T$。

這對該條件收斂級數給出了完整的目標和構造，而不只是聲稱“無窮減無窮可任意取值”。每一項都被安排到有限位置；收斂性也已對所有部分和證明，而不只是越界處。

3. 分組只有一個方向自動安全

若級數已收斂到 $s$，把連續有限塊分組所得的部分和是原部分和的子列，所以分組級數也收斂到 $s$。反之不成立：把 $1-1+1-1+\cdots$ 每兩項分組後每塊均為零，原部分和卻在一與零之間交替，不收斂。

因此，分組計算可以確認已經證明收斂的值，但若未控制每塊內部的部分和，就不能證明原級數收斂。上面的目標和構造通過將這些部分和夾在相鄰越界和之間補足了控制；僅在無窮表達式中加括號無法做到這一點。

4. 絕對收斂級數的 Cauchy 乘積

對於從零開始編號的級數，Cauchy 乘積的系數為 $c_n=\sum_{k=0}^na_kb_{n-k}$。若原來兩個級數都絕對收斂到 $A,B$，則乘積級數絕對收斂到 $AB$。

絕對收斂的證明。 令 $\alpha=\sum|a_k|$、$\beta=\sum|b_k|$。$|a_kb_j|$ 的任何有限三角形求和都被某個有限矩形乘積所界，因而不超過 $\alpha\beta$。$\sum|c_n|$ 的部分和非遞減，且被上述三角形絕對和所界，故收斂。

乘積值的證明。 令 $A_m=\sum_{k=0}^ma_k$、$B_m=\sum_{j=0}^mb_j$、$S_N=\sum_{k+j\le N}a_kb_j$。當 $N\ge2m$ 時，三角形包含方塊 $0\le k,j\le m$。每個額外項都滿足 $k>m$ 或 $j>m$，因此

$$|S_N-A_mB_m|\le\left(\sum_{k>m}|a_k|\right)\beta+\alpha\left(\sum_{j>m}|b_j|\right).$$

取充分大的 $m$，使兩個尾和都小且 $A_mB_m$ 接近 $AB$；此後該估計對所有 $N\ge2m$ 成立。因此 $S_N\to AB$。這裡使用明確的有限方塊、三角形和尾估計，沒有未經證明地交換兩個無窮和。

5. 條件收斂級數的乘積可能不滿足通項判別

對 $n\ge0$ 令 $a_n=b_n=(-1)^n/\sqrt{n+1}$。兩個原級數由交錯判別法收斂，但並不絕對收斂，因為 $1/\sqrt{n+1}\ge1/(n+1)$ 且調和級數發散。其 Cauchy 乘積系數為

$$c_n=(-1)^n\sum_{k=0}^n\frac1{\sqrt{(k+1)(n-k+1)}}.$$

對每個 $k$，平方根內兩個正因子之和為 $n+2$，故其乘積至多為 $((n+2)/2)^2$。每個倒數因此至少為 $2/(n+2)$，得到 $|c_n|\ge2(n+1)/(n+2)$。這些系數不趨於零，所以乘積級數發散。有限分配律仍成立，但不能僅憑兩個條件收斂因子就證明此無窮三角極限成立。

分級證明與錯誤診斷練習

1. 絕對尾部論證。 在重排定理中，為甚麼一個閾值可保證所有不超過 $N$ 的原指標都已出現？解釋為甚麼不能用同一有限最大值論證處理無窮多個指標。
2. 算法有效性。 證明目標和方法使用每個正、負調和項，解釋為甚麼“先取完所有正項”不符合置換定義。
3. 分組。 給出分組後收斂而原級數發散的明確例子。對已收斂級數，哪個方向的結論始終成立？
4. 乘積診斷。 驗證平方根例子中 $|c_n|$ 的下界，指出它違反哪一必要收斂條件。
5. 有限變動。 證明對任一收斂級數，改變有限多項的次序不改變其和，即使它不絕對收斂。
6. 挑戰。 設 $\sigma$ 是滿足 $|\sigma(n)-n|\le K$ 的置換，其中 $K$ 是固定整數。只用級數通項趨零並比較前綴集合，證明它保持每個收斂實級數的和。

完整解答

1. 每個指標 $j\le N$ 都有唯一有限的原像位置 $\sigma^{-1}(j)$。這些有限個位置的最大值有限，適用於所有該類指標。自然數的全部位置沒有有限最大值，因此論證只覆蓋有限核心，其餘無窮項由小的絕對尾和控制。省略尾估計會使證明不完整。
2. 適當的剩餘非負隊列之和發散，故每階段終止。向上越過後必須使用負項才能向下越過，反之亦然，故無限多階段使用兩隊列各自無限多項。每條隊列按原次序取項，任何固定項最終都會被取到。若把無限多個正項全部排在第一個負項之前，則任何負項都沒有有限新指標，所以不是原指標的置換。
3. 將 $1-1+1-1+\cdots$ 的連續項兩兩分成 $(1-1)+(1-1)+\cdots$。分組部分和恆為零，原部分和卻在一和零之間交替。任何已收斂級數經連續有限塊分組後仍收斂到原和，因為塊末端構成收斂部分和的子列。
4. 由平方 $(k+1-(n-k+1))^2\ge0$ 可知乘積 $(k+1)(n-k+1)$ 至多為 $((n+2)/2)^2$。取正平方根及倒數，每個加數至少為 $2/(n+2)$；共有 $n+1$ 項，得到所述下界。該下界趨於二而非零，因此違反收斂級數通項必須趨零的必要條件。
5. 取包含全部被改變指標的有限閾值。充分靠後的每個部分和都恰含相同的有限重排項和相同的未變尾部，因此與原部分和實際上相等，極限相同。這裡使用的是有限交換與最終相等，而非任意無窮重排定理。
6. 前 $N$ 個重排指標都在 $\{1,\ldots,N+K\}$ 內。每個不超過 $N-K$ 的指標必已出現：若 $\sigma(j)=i\le N-K$，則 $j\le i+K\le N$。因此原前綴與重排前綴的對稱差落在從 $N-K+1$ 到 $N+K$ 的帶內，至多 $2K$ 個指標。兩個部分和之差的絕對值至多為 $2K$ 乘以該帶內最大的 $|a_i|$；因為 $a_i\to0$，它趨於零。原部分和收斂，所以重排後收斂到相同極限。當 $K=0$ 時，兩個前綴直接相同。

總結與術語

重排是指標的置換；分組是將連續有限塊相加。絕對收斂無需依賴相消便控制任意重排後的尾部。條件收斂可能允許目標和構造，但構造仍須把每一項安排到有限位置。Cauchy 乘積對有限對角卷積求和，需要合理的極限控制，而非只有形式分配展開。