发癫 
如何证明任意条件收敛级数都能收敛到1145141919810

文章目录

一般而言,条件收敛的数列(例如 (1)n+1n\sum \frac{\left(-1\right)^{n+1}}{\sqrt{n}} )大概率不会收敛到 1145141919810,但我们可以通过一些方法来加以证明。

首先我们给出一个条件收敛的级数 un\sum u_{n}

u1+u2++un+u_{1}+u_{2}+\cdots +u_{n}+\cdots

然后我们把这个级数对应的数列拆成两个子列 {an}\left\{a_{n}\right\}{bn}\left\{b_{n}\right\} ,其中子列 {an}\left\{a_{n}\right\} 中的每一项都大于等于 0,而 {bn}\left\{b_{n}\right\} 中的每一项都小于 0.

下面先讨论 {an}\left\{a_{n}\right\}{bn}\left\{b_{n}\right\} 的敛散性:

如果它们都收敛,不妨设 an=A\sum a_{n}=A ,而 bn=B\sum b_{n}=B . 则 un=AB\sum \left|u_{n}\right|=A-B ,即 un\sum u_{n} 绝对收敛,这与 un\sum u_{n} 条件收敛矛盾.

如果它们一个发散一个收敛,不妨设 an\sum a_{n} 发散, bn\sum b_{n} 收敛,则在某一个 NN1nbn\sum _{1}^{n}b_{n} 将被控制在某个极限 BBεε 邻域内,而 1nan\sum _{1}^{n}a_{n} 不会被任何 NN 控制,故二者加和也不会被任何 NN 控制,也就是说 un\sum u_{n} 发散,这也与 un\sum u_{n} 条件收敛矛盾.

{an}\left\{a_{n}\right\}{bn}\left\{b_{n}\right\} 都发散.

对于两个元素 t1t_{1}t2t_{2} ,显然有 t1+t2=t1+t2=T2t_{1}+t_{2}=t_{1}+t_{2}=T_{2} .

假设对小于等于 nn 个元素加法交换律成立,考虑对 n+1n+1 个元素,对任意给定的新排序,先重排前 nn 个元素不改变它们的加和,再重排后 nn 个元素也不改变它们的加和,就得到了 n+1n+1 个元素的新排列,同时加和也没有改变.

由归纳法,对任何 nn 加法交换律都成立.

现在我们考虑对 {un}\left\{u_{n}\right\} 的一种重排,记作 {kn}\left\{k_{n}\right\} .

先在 {kn}\left\{k_{n}\right\} 中按顺序加入 {an}\left\{a_{n}\right\} 的元素,由于 {an}\left\{a_{n}\right\} 发散,随着 {an}\left\{a_{n}\right\} 的元素的加入, {kn}\left\{k_{n}\right\} 的前 nn 项和不断增大,一定会超过 1145141919810,在 {kn}\left\{k_{n}\right\} 的前 nn 项和第一次大于 1145141919810 后,按顺序加入 {bn}\left\{b_{n}\right\} 的元素,直到 {kn}\left\{k_{n}\right\} 的前 nn 项和第一次小于等于 1145141919810.

然后再按顺序加入 {an}\left\{a_{n}\right\} 的元素,直到 {kn}\left\{k_{n}\right\} 的前 nn 项和第一次大于 1145141919810. 如此往复. 也就是每一次加项后检查 {kn}\left\{k_{n}\right\} 的前 nn 项和,若小于等于 1145141919810 则按顺序加入 {an}\left\{a_{n}\right\} 的元素,若大于 1145141919810 则按顺序加入 {bn}\left\{b_{n}\right\} 的元素,无限重复上述操作.

由于 un\sum u_{n} 条件收敛,由柯西收敛准则的推论有 limnun=0\lim_{n\to \infty }u_{n}=0 . 故在 nn 趋于无穷时, 1nun\sum _{1}^{n}u_{n} 一定会被控制在 1145141919810 的某个 εε 邻域内,也就是 un\sum u_{n} 收敛到了 1145141919810.

本文作者: zczzzzz

本文链接: https://www.genkaim.top/posts/3ca8bcae

本文作者: Genkaim

本文链接: https://www.genkaim.top/posts/2bd7b2b1

打赏博主😘

bilibili发电⚡
Alipay (移动端)