Day 46 · 2026.08.07

数学与经济

Mathematics & Economics — 存在、定价、与不可能
「对严格性的忠诚要求分析采取公理化的形式:在严格的意义上,理论与它的解释在逻辑上是完全脱钩的。」 — Gérard Debreu,《Theory of Value》

不动点定理

Fixed-Point Theorems · 为什么「存在」是一个拓扑问题
Topology · Analysis
直觉版

把一杯咖啡搅拌一番——只要液体没断裂、没溅出,搅完后一定有至少一点回到了原位。理由是纯几何的:若每一点都动了,「从 $f(x)$ 指向 $x$」这个方向便处处连续,顺着它把每点推到边界,就得到一个从圆盘到边界圆的连续收缩;可圆盘能缩成一点,边界圆不能。不动点的存在,是「圆盘没有洞」逼出来的。

不动点 x* y = x y = f(x) 定义域 = 值域
一维版本:起点在对角线上方、终点在下方,连续就必须穿过一次。高维版本是它的拓扑翻译。
正式定义
$$K\subset\mathbb{R}^n \text{ 紧凸非空},\ f:K\to K \text{ 连续}\ \Longrightarrow\ \exists\,x^*\in K,\ f(x^*)=x^*$$

三个条件都不能删:(闭且有界)不让点逃向无穷;保证没有洞——圆环上的旋转就没有不动点;连续不许映射把邻近的点撕开。Kakutani 把 $f$ 推广到集值映射,因为「最优选择」常常不唯一——博弈论用的正是这个版本。

为什么美

一个关于洞的拓扑事实,成了整个经济学的「存在性货币」:Nash 均衡、一般均衡、Bellman 方程的解都由这一个模具压出。但美中带着裂缝——Brouwer 的证明是非构造的:它告诉你解在那里,不告诉你在哪。这道裂缝后来被形式化成复杂性类 PPAD。

对照之下 Banach 定理要求映射是压缩的($d(f(x),f(y))\le c\,d(x,y)$,$c<1$),条件强得多,回报也大:不动点唯一、迭代必然收敛、还附赠速率。能压缩就能算,只连续就只能「知道有」。

应用
  • 强化学习的地基:Bellman 最优算子在 sup 范数下是 $\gamma$-压缩,值迭代收敛即 Banach 定理;折扣因子 $\gamma$ 不只是「重视未来的程度」,它就是压缩系数。
  • 训练不收敛的诊断:GAN 的更新是零和博弈的鞍点动力学而非压缩映射,循环震荡是常态而非 bug。
  • 递归的语义:程序中递归定义的对象取的是最小不动点,$\lambda$ 演算的 Y 组合子(Day 24)即其语法版。
一句话精华 · 思考题
存在性是数学能给的最低承诺,却常是最难的一步;条件的强弱直接决定你拿到的是「有解」还是「算得出」。
思考:深度 Q 学习把 Bellman 算子与函数逼近的投影复合,复合后不再是压缩——这能解释哪些工程现象?

一般均衡

General Equilibrium (Arrow–Debreu) · 把「看不见的手」变成定理
Economics · Fixed Point
直觉版

「看不见的手」本是一句比喻,1954 年 Arrow 与 Debreu 把它变成了定理。想法很朴素:给定一组价格,每个人各自算出想买多少、想卖多少,加总得到每种商品的超额需求;供不应求就涨价,供过于求就降价。这条「涨跌规则」本身就是一个价格到价格的连续映射——它的不动点,就是所有市场同时出清的那组价格。均衡不是谁算出来的,它是这个映射自我复现的那一点。

均衡价 p* 价格 p 超额需求 Z(p) 供不应求 → 涨价 供过于求 → 降价
单市场:$Z$ 连续且两端异号,零点必然存在。多市场的难处在于各曲线互相牵动——这才需要 Brouwer。
正式定义
$$T(p)_i=\frac{p_i+\max\!\big(0,\,Z_i(p)\big)}{\sum_j\Big(p_j+\max\!\big(0,\,Z_j(p)\big)\Big)}$$

$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-完全:「市场终会找到均衡」是一个关于计算的断言,而这个计算未必有高效算法。

一句话精华 · 思考题
看不见的手的严格版本只承诺均衡存在,没承诺它唯一、稳定、或算得出来。
思考:试错调价(tâtonnement)理论上不保证收敛,真实市场却大体运转——是存货、期货、做市商中的哪些结构在替数学补这个缺口?

无套利与期权定价

No-Arbitrage & Black–Scholes · 价格来自复制,不来自预测
Stochastic Calculus · PDE
直觉版

一份期权值多少钱?直觉说:看这只股票平均会涨多少。答案是不看。因为期权可以被复制——持有一定数量的股票加一笔现金,随股价变动不断调整持股比例,就能让组合价值在任何情形下都与期权分毫不差。两条路径处处同值,此刻就必须同价,否则买低卖高即是无风险套利。价格不来自预测,来自复制。

关键在「调整比例」:涨时多持股、跌时少持股,这个比例正是 $\Delta=\partial V/\partial S$。方向风险被对冲后,剩下的唯一风险是股价抖动的幅度——于是预期收益率 $\mu$ 彻底消失,只剩波动率 $\sigma$。

S uS dS → 期权值 Vu → 期权值 Vd 两种结局 · 两个未知数(持股 Δ、现金 B)· 解唯一
一步二叉树:结局数等于工具数时,复制组合被唯一确定,期权价格随之钉死。BS 是其连续极限。
正式定义
$$\frac{\partial V}{\partial t}+\frac{1}{2}\sigma^2S^2\frac{\partial^2 V}{\partial S^2}+rS\frac{\partial V}{\partial S}-rV=0$$

$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 年的教训指向同一处——模型假设连续可交易、流动性无限,市场偏偏在最需要对冲时不流动。

一句话精华 · 思考题
能复制就能定价,无需预测;被消掉的那个变量,比留下的更能说明模型在讲什么。
思考:波动率微笑说明市场认为极端行情比对数正态更常见。换成厚尾分布后「完美复制」不再可能——那份无法对冲的风险该由谁定价?

投票悖论与 Arrow 定理

Arrow's Impossibility Theorem · 个体理性无法自动加总
Social Choice · Impossibility
直觉版

三个人对 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 把它推到极致:这不是多数决这一种规则的毛病。

A B C 2:1 2:1 2:1 箭头 = 多数票胜出
三个有序的个体偏好,聚合出一个有向环:集体没有「最优选项」,只能转圈。
正式定义

一个社会选择函数把每个人的排序聚合成一个社会排序。三条要求看起来都很温和:

  • 一致性(Pareto):所有人都认为 A 优于 B,社会排序也应如此。
  • 无关选项独立性(IIA):社会对 A、B 的相对排序只依赖于每个人对 A、B 的相对排序,与 C 排在哪无关。
  • 非独裁:不存在某个人,其偏好总是直接成为社会排序。

Arrow 定理:选项不少于三个时,同时满足这三条的聚合规则不存在

为什么美

它把「什么算公平」从无止境的道德辩论,变成一个可判定的数学命题——而答案是「你要的那种公平不存在」。这与 Gödel、图灵、Galois 同族(Day 42):不是我们还没找到方法,是方法不可能存在。

最该盯住的是 IIA:它禁止聚合规则使用偏好的强度信息,只准用次序。放松它就能逃出定理——Borda 计数、评分投票都违反 IIA,代价是让出了策略操纵的空间。不可能定理是一张清单,写明你必须放弃什么。

应用

搜索与推荐融合多路排序信号本质上就是社会选择,其中 Kemeny 最优聚合已被证明是 NP-难。更切近的是 RLHF——奖励模型把众多标注者的成对偏好压成一个标量奖励函数。Arrow 提醒我们这不是技术细节而是规范性选择:把次序压成标量,等于偷偷假设了偏好强度可比可加(即放弃 IIA)。所谓「人类价值」,在数学上并不保证存在一个一致的聚合。

一句话精华 · 思考题
个体的理性不能自动加总成集体的理性;任何聚合规则都在某处偷偷做了一次价值判断。
思考:若标注者群体的偏好内部存在 Condorcet 循环,被训练来拟合它的奖励模型会表现出什么?

深入思考

为什么经济学如此依赖不动点定理,而物理学不?
因为被描述的对象不同。物理定律描述的系统不会因为被描述而改变行为。经济系统里的主体则在预测系统本身:我的最优选择依赖于别人的选择,别人的又依赖于我的,于是「解」天然是一个自我一致性条件——而自我一致性的数学名字就叫不动点。物理学里出现不动点的地方(重整化群、平均场自洽方程)恰恰也是「部分依赖于整体」的场合。不动点是自指的数学形式。
模型会改变它所描述的市场——这在自然科学里有对应吗?
这叫述行性(performativity)。BS 公式发表后,期权成交价逐步向公式靠拢,模型成了共同坐标系,于是被「验证」。自然科学里最接近的是测量反作用,但那是物理耦合,不涉及信念。真正同构的是 Goodhart 定律——指标一旦成为优化目标,它与原目标的相关性就开始失效。最危险的版本是风控模型让所有机构同时卖出:模型制造了它本要度量的那个相关性。
一般均衡存在却可能不可计算,这对「市场优于计划」的论断意味着什么?
意味着这个论断需要换一个地基。PPAD-完全说的是最坏情况,真实经济未必落在最坏实例上;更要紧的是市场并不「求解」均衡,它只是持续演化,从不到达。市场的优势不在于算出最优价格,而在于它是一个分布式的、增量的、由局部信息驱动的过程,无需任何主体掌握全局状态——这正是哈耶克论点的实质:它关乎通信复杂性而非计算复杂性。对比不在解的质量,而在获取输入所需的信息量。中心化调度器与去中心化协议之争同理。