不动点定理数列-不动点定理数列

有些数学家总喜爱给定理起个名字，比如不动点定理，要么叫雅可比不动点定理。但在直觉里，这玩意儿实际上就是个找平衡点。 想象你在一条长长的土路上走，你总得停下来歇会儿，出于脚底有点力气没处使。停下来之后，你得看周围的土坡。
要是哪一边高一边低，你肯定往低那边挪；要是两边平分，那你就站着不动。
这个“站着”的位置，就是不动点。 在数学领域，不动点定理的实质就挺好办：给你一堆函数，你让它们互相功能，最终总能找到一个点，不管你如何动，这个点都不变，要么说，这个函数在它的定义域里“自洽”。
这个定理看似是武断的结论，它实际上源于大量具体的实验观察，比如那个著名的冯·诺依曼不动点定理，本质上就是关于计算理论里程序暂停运行的性质。 你想啊，要是你给这一堆函数都加上“度量”这个工具，它们之间又互相纠缠在一起，最终总得有个地方停下来。
这个定理最妙的地方在于，它不要求函数光滑，不要求连续，就连不要求可导。
有时候你就连能够用整数来表示它。
比方说，在算子几何里，我们说一个算子 $T$ 在闭球 $B$ 上存有不动点，意思就是存有一个向量 $x$，使得 $Tx = x$。
要是把这个向量看作一个点，那么 $T$ 把这个点映射到了它自己。
这听起来有点废话，但一旦你有具体的空间结构，比如有限维的欧几里得空间，要么希尔伯特空间，这个结论就贼稳固了。 举个具体的例子，比如在二维平面上。假设你有一个 $2 times 2$ 的矩阵 $T$。你从原点出发，一步步施加这个变换，你会看到你的位置在变化。但根据不动点定理，甭管矩阵是啥性质（只要是在有限维空间里，要么知足某些条件），你最终都不会一辈子偏离某个特定位置。就算你从遥远的地方启动，经过一系列变换，总会收敛到某一个“不动点”。
这个点可能挺复杂，彻底无法画出坐标，就连可能位于无穷远处，但在数学的定义上，它依然存有。 这个定理在计算机科学里的应用特别明显。
比方说，我们要解一个方程 $f(x) = 0$。
要是我们定义 $x_{n+1} = f(x_n)$，那么 $x_n$ 序列就是一个不动点迭代序列。
不动点定理保证了，只要初始值 $x_0$ 选得略微有点“准”，这个序列最终会停在 $x$ 上。
这就好比你在找酒里的酒精度，每次加一点水稀释，再测一次，最终发现酒精度确实没变，要么稳定在某个区间。 再换个角度，看图灵机的计算过程。图灵机在一步步运行，从初始状态变成中间状态，再变成最终状态。
这个最终状态就是图灵机的不动点。
这个定理告诉我们，计算过程总能终止。
要是题目没说会无限循环，那么一定存有一个“不动点”状态，机器就在那里。
这不只是是数学家的爱好，它是现代计算机能够长期稳定运行的基石。
哪怕你是用几十亿次的运算，也是靠这个“不动点”来保证程序不会疯掉，也不会卡住。 有时候，人们会认定这个定理忒宽泛，就连有点没劲。毕竟它说“总有”不动点，而不是“总有唯一的”不动点。
确实，要是函数忒怪，可能会有两个不动点，就连无数个。你不必非得崇拜那个唯一的不动点，存有性本身就已经充足震撼了。它暗示了一种深层的理性秩序，在我们看似混乱的迭代过程中，总有一条线是稳住的。
这种稳，不是机械的重复，而是一种动态平衡下的恒定。 在具体的计算过程中，我们会遇到大量具体的数字。
比方说，当我们用二分法求一个函数的零点时，每次缩小的区间长度乘以那个函数的导数绝对值。
要是导数大于 1，区间就会变大；要是小于 1，区间就会变小。理论告诉我们，只要不是忒极端的病态情况，最终你会找到一个点，使得 $g(x) = 0$。
这个点的位置可能在 $x=0$ 附近，也可能在 $x=1000$ 附近，就连可能在 $x=10^{100}$ 这个庞大的数字上。
可是，甭管数字多庞大，只要是在标准实数范围内，它一直存有的。你不需求去精确计算它的具体坐标，你只需求知道它在那里。 物理世界里也有类似的影子。想象一个弹簧被压缩，然后释放。
要是阻尼力充足大，能量会慢慢耗散，系统会慢慢停下来。
这个暂停的状态，就是系统的不动点。
要是没有摩擦力，它一辈子动个不停，一辈子不会停下。但一旦引入摩擦力，那个“不动点”就出现了。在这个意义上，不动点定理就像是一个物理定律的抽象，它告诉我们要通过某种机制（迭代、压缩、阻尼）来消除变化，最终达到一种“静止”的平衡。 自然，这个定理并不一直完美的。它有一个著名的局限性：连续性。
要是函数不连续，比如有一个尖点要么断开，不动点依然存有，但往往不稳定。
有时候，就算有不动点，你从不同方向逼近它，拿到的结局可能都不一样。
这就说明白，在数学里，大量东西的存有是抽象的，和那个具体的“不动点”无涉。 故此，别盯着那个具体的解。
记住，这个定理的核心不在于你算出了多精确的答案，而在于它揭示了变化的必然归宿。甭管你的函数多么疯狂、多么混乱，只要它知足那些根本的公理（比如映射到自身），你就得信任，在某一个时刻，它总会“认命”，停在某个位置。
这就是不动点定理的魅力，一种对确定性在不确定性中扎根的肯定。