不动点定理有什么说法-不动点定理定义

我有次在整理旧笔记时，翻到一张泛黄的垫板，上面夹着一张皱巴巴的纸条，上面写着几个怪的符号。
后来听说那是某个算法竞赛里断网的瞬间，为了不让编译器报错，有人把代码改成了循环，硬生生卡死在那一刻。
那时候我坐在堆满代码的桌前，突然认定心里空落落的，仿佛哪位把某种看不见的东西从我们脑子里抽走了。
后来我意识到那不是 bug，那是不动点。 它在数学里是个挺冷门的词，但在计算机科学和博弈论里，它是那种一旦条件知足就再也跑不掉的死循环。游戏里，玩家想赢，规则却让他得一直退后一步，直到他发现自己被困在那条唯一的路上，连去后门的钥匙都被自己锁在了手里。
这种状态叫不动点。 在博弈论里，不动点定理说得最透。
比如巴什博弈，两个人轮流取石子，手里剩 13 颗，规则是每人每次拿 1 到 3 颗。
要是玩家 A 第一次拿 1 颗，那玩家 B 就面对 12 颗，甭管他拿 1、2 还是 3，玩家 A 都能让剩下的石子数回到 13 的倍数。
这时候，剩下的石子数这个“状态”就变成不动点了。哪位也不能逃脱，出于只要对方不犯错，只要玩家按照规则走，这个死循环就会一直存有，游戏就只会按这个节奏无限进行，直到有人心态崩了要么石子确实取完了。 这种死循环背后，实际上藏着一种“收敛”的直觉。你记得那个著名的霍纳法则吗？求多项式最高次项系数的时候，它不断往中间加，加到几百万次之后，结局才简直等于真值。在大量算法里，这就像是在原地慢悠悠地转圈，看似没动弹，实际上是在擦去误差，直到最终停稳。
不动点，就是这个停稳的瞬间。 我在写一个贪吃蛇时遇到过类似的情况。蛇头在左上角，规则是只能往四个方向横着走。刚启动它向左，向右，向下，向左。它像是在画一个菱形，但这菱形有个难题：右边是墙，后面是墙。
要是它持续往左，那就撞墙了。
这时候局面就僵住了。别看理论上它还能往右走，但右边是死胡同，只能去下边去。下一格，右边和下边都是墙，只能去左边。它启动在一个点子上打转。
要是这个点子上没有出口，它就成了不动点。
这种时候，程序就得提前判断：这不再是循环了，这是死锁。 有时候不动点显得特别“可爱”，比如马蜂窝。蜜蜂想飞出去，但头顶里密密麻麻全是刺。它飞出去那一步，刺就扎进肉里，它飞不出去了。
这时候蜂巢就是一个不动点。
这个结构忒稳了，任何试图动的人，刚迈出一步，立马就会被困住。
这种稳定性，在自然界里忒常见了，比如蚁丘。蚁群想跑动，但身体里全是工蚁，只要硬着头皮往外冲，立马就会把自己卡住。 这种“卡住”的感觉，在逻辑结构里叫不动点。别小看它，它实际上是系统最坚固的防线。当所有可能的路径都通向死胡同，要么所有转变都需求花不可接纳的代价时，系统就会选择自我囚禁。就像那个在代码里卡死的例子，程序没死，只是暂时停在了那个毛病的平衡点上，等着有人来捅破窗户纸。 我在做图论题的时候，接触过一个关于“最大独立集”的难题。在一个网格图里，你要选顶多的点，让没两个点之间有连线。
这听起来是个优化难题，但往往没有解。
为啥？出于要是你选了中间的一个点，周围四个邻居也得避开，害得你不得不牺牲更多。
这种“局部最优”和“全局最优”的不可兼得，会让算法陷入死循环。它就像玩俄罗斯方块，你堆一坨，旁边掉下来一堆，你扑那会儿，又掉下来一堆，堆得越来越长，再也堆不起来了。
这时候，整个游戏的状态就是一个不动点。 数据也是同样的道理。在训练神经网络的时候，损失函数要是一直下降挺稳，说明模型在收敛，找到了那个“最优不动点”。但要是它震荡着降不下去，那就得报警了。
那个在震荡的峰值，就是一个悬的不动点。模型卡在这里，所有进一步的调整都会加剧震荡，直到参数取值变成无法处理的怪异值。 我曾在某个项目里，当作自己在调试那个一直跑不掉的循环，结局发现根本不用管它。
只要找到那个让循环自然暂停的触发条件，要么干脆把那个循环改成“死循环”的断言，程序就能跑通。
原来，不动点不是我们想要的代码形态，而是我们用来衡量代码质量的一个标尺。完美的代码不应当有不动点，完美的系统不应当有死锁。 有时候，不动点会让我们感到一种奇异的宁静。当所有路都堵死，当所有出口都失效，剩下的只有自己。
这种时刻，你会重新审视难题的本质。
或许真正的出路不在于外部的转变，而在于内部结构的重组。就像那个卡在左上角的贪吃蛇，要是你把它改成只有上下左右移动，它可能会一直向右走到底，那样就一辈子没有不动点了，没有死局，只有完满的终止。 不过话说回来，不动点也能带来美感。
你看那些几何图案，那些无限重复的螺旋，那些一辈子画不完的斐波那契数列。它们没有终点，也没有尽头，就像一个在无限循环中保持平衡的系统。
这种永恒的存有感，是计算机世界里最迷人的不动点。它不追求效率，不追求速度，它只追求一种永恒的、自洽的稳定。 故此，下次你遇到那个一直跑不掉的死循环时，不妨别急着加个 break 要么 break 个循环。试着看看，是不是那个“不动点”本身就挺漂亮，是不是它本身就是系统的灵魂所在。
实际上，不动点定理告诉我们，大量看似无法解决的难题，不过是系统忒稳，稳到找不到出口/拉倒。
只要理解了这个机制，我们就能在代码和人生的博弈中，学会如何在卡住的时候，意识到自己是被困住了，而不是确实无路可走。
毕竟，能把自己困住的人，往往是那些最有故事的人。