把一杯咖啡搅拌一番——只要液体没断裂、没溅出,搅完后一定有至少一点回到了原位。理由是纯几何的:若每一点都动了,「从 $f(x)$ 指向 $x$」这个方向便处处连续,顺着它把每点推到边界,就得到一个从圆盘到边界圆的连续收缩;可圆盘能缩成一点,边界圆不能。不动点的存在,是「圆盘没有洞」逼出来的。
三个条件都不能删:紧(闭且有界)不让点逃向无穷;凸保证没有洞——圆环上的旋转就没有不动点;连续不许映射把邻近的点撕开。Kakutani 把 $f$ 推广到集值映射,因为「最优选择」常常不唯一——博弈论用的正是这个版本。
一个关于洞的拓扑事实,成了整个经济学的「存在性货币」:Nash 均衡、一般均衡、Bellman 方程的解都由这一个模具压出。但美中带着裂缝——Brouwer 的证明是非构造的:它告诉你解在那里,不告诉你在哪。这道裂缝后来被形式化成复杂性类 PPAD。
对照之下 Banach 定理要求映射是压缩的($d(f(x),f(y))\le c\,d(x,y)$,$c<1$),条件强得多,回报也大:不动点唯一、迭代必然收敛、还附赠速率。能压缩就能算,只连续就只能「知道有」。
「看不见的手」本是一句比喻,1954 年 Arrow 与 Debreu 把它变成了定理。想法很朴素:给定一组价格,每个人各自算出想买多少、想卖多少,加总得到每种商品的超额需求;供不应求就涨价,供过于求就降价。这条「涨跌规则」本身就是一个价格到价格的连续映射——它的不动点,就是所有市场同时出清的那组价格。均衡不是谁算出来的,它是这个映射自我复现的那一点。
$p$ 是价格向量,$Z(p)$ 是总超额需求。分子即「按超额需求涨价」,分母归一化到单纯形上——既凑出 Brouwer 要的紧凸集,也对应「价格同比例缩放不改变任何人的选择」。$T$ 的不动点意味着无人需要调价;再由 Walras 法则 $p\cdot Z(p)=0$(每人花掉的等于赚到的)可推出它确实出清。
其一,Walras 法则意味着 $n$ 个市场只有 $n-1$ 个独立方程,恰好对应上面那个尺度不变性——一个对称性正好吃掉一个自由度,与 Noether 定理(Day 18)是同一种记账。
其二更该记住:SMD 定理(Sonnenschein–Mantel–Debreu)证明,总超额需求函数除了连续、零次齐次、满足 Walras 法则,几乎可以是任意形状——个体理性对总量几乎不施加约束。微观的秩序不会自动向上传递成宏观的秩序:存在性拿到了,唯一性与稳定性一并失去。
电力市场的节点边际电价(LMP)就是每天在真求解的一般均衡:电网约束下多商品同时出清,价格即拉格朗日乘子;云资源竞价与广告位分配同源。但计算侧有硬墙——一般均衡与 Nash 均衡的求解都是 PPAD-完全:「市场终会找到均衡」是一个关于计算的断言,而这个计算未必有高效算法。
一份期权值多少钱?直觉说:看这只股票平均会涨多少。答案是不看。因为期权可以被复制——持有一定数量的股票加一笔现金,随股价变动不断调整持股比例,就能让组合价值在任何情形下都与期权分毫不差。两条路径处处同值,此刻就必须同价,否则买低卖高即是无风险套利。价格不来自预测,来自复制。
关键在「调整比例」:涨时多持股、跌时少持股,这个比例正是 $\Delta=\partial V/\partial S$。方向风险被对冲后,剩下的唯一风险是股价抖动的幅度——于是预期收益率 $\mu$ 彻底消失,只剩波动率 $\sigma$。
$V(S,t)$ 是期权价值,$\sigma$ 是波动率,$r$ 是无风险利率。第二项来自 Itô 引理:随机路径的二阶项不可忽略($(\mathrm{d}W)^2=\mathrm{d}t$),所以凸性 $\partial^2V/\partial S^2>0$ 本身就在创造价值——抖动越剧烈,期权越值钱。第三、四项是对冲组合的资金成本。注意 $\mu$ 不在其中。
换元之后,它就是热方程(Day 22):不确定性在概率空间中的扩散,与温度在金属棒里的扩散共用同一个算子。
另一层美是测度的转换(Day 21)——消掉 $\mu$ 等价于把真实概率换成风险中性测度:在那个虚构世界里所有资产的期望收益都是 $r$,定价只需在其中取一次期望。换一个测度,偏微分方程变成积分。
日常用途其实是隐含波动率:把成交价代回公式反解 $\sigma$——BS 的角色不是给出价格,而是把价格翻译成可比较的量。而反解出的 $\sigma$ 随执行价呈「波动率微笑」,恰恰证伪了模型的对数正态假设:从业者明知模型是错的,仍拿它当坐标系用。LTCM 与 2008 年的教训指向同一处——模型假设连续可交易、流动性无限,市场偏偏在最需要对冲时不流动。
三个人对 A、B、C 的偏好分别是 A>B>C、B>C>A、C>A>B。两两投票:A 对 B,2:1 A 胜;B 对 C,2:1 B 胜;C 对 A,2:1 C 胜。于是「多数意见」成了 A>B>C>A——一个循环。每个人的偏好都是有序的,加总出来的却不是。这是 Condorcet 悖论。1951 年 Arrow 把它推到极致:这不是多数决这一种规则的毛病。
一个社会选择函数把每个人的排序聚合成一个社会排序。三条要求看起来都很温和:
Arrow 定理:选项不少于三个时,同时满足这三条的聚合规则不存在。
它把「什么算公平」从无止境的道德辩论,变成一个可判定的数学命题——而答案是「你要的那种公平不存在」。这与 Gödel、图灵、Galois 同族(Day 42):不是我们还没找到方法,是方法不可能存在。
最该盯住的是 IIA:它禁止聚合规则使用偏好的强度信息,只准用次序。放松它就能逃出定理——Borda 计数、评分投票都违反 IIA,代价是让出了策略操纵的空间。不可能定理是一张清单,写明你必须放弃什么。
搜索与推荐融合多路排序信号本质上就是社会选择,其中 Kemeny 最优聚合已被证明是 NP-难。更切近的是 RLHF——奖励模型把众多标注者的成对偏好压成一个标量奖励函数。Arrow 提醒我们这不是技术细节而是规范性选择:把次序压成标量,等于偷偷假设了偏好强度可比可加(即放弃 IIA)。所谓「人类价值」,在数学上并不保证存在一个一致的聚合。