Brouwer不动点定理

Brouwer不动点定理 (Brouwer Fixed-Point Theorem)

Brouwer不动点定理是拓扑学中最深刻也最广为人知的结果之一，由荷兰数学家 L.E.J. Brouwer 于 1911 年证明。该定理断言：从紧集凸集到其自身的任意连续映射必存在至少一个不动点——即存在某个 $x^*$ 使得 $f(x^*) = x^*$。作为众多不动点定理的原型，Brouwer定理不仅是现代分析学与拓扑学的基石，更是一般均衡理论、博弈论与动态规划中大量存在性结果的逻辑原点。

定理的严格陈述

设 $D \subset \mathbb{R}^n$ 为非空、紧致（有界且闭）的凸子集，$f: D \to D$ 为连续映射。则存在 $x^* \in D$ 满足：

等价地，可令 $D = B^n = \{x \in \mathbb{R}^n : \|x\| \leq 1\}$（$n$ 维单位球），因为任意非空紧凸集均同胚于某维数的单位球。在此形式下：不存在从 $B^n$ 到其边界 $\partial B^n = S^{n-1}$ 的连续收缩映射（即满足 $r|_{S^{n-1}} = \text{id}$ 的连续映射 $r: B^n \to S^{n-1}$）。该"无收缩"表述与不动点表述等价，且常为证明的出发点。

三个条件——紧致性、凸性、连续性——缺一不可。破坏任一条件均可构造反例：

• 无紧致性：$D = (0, 1)$，$f(x) = x^2$。不动点 $x^* = 0$ 和 $x^* = 1$ 均不在开区间内，故函数在 $D$ 上无不动点。
• 无凸性：$D = \mathbb{S}^1$（单位圆周，紧致但非凸），$f(x) = -x$（对径映射）。该映射连续且将圆映到自身，但对任意 $x$，$f(x) = -x \neq x$，无不动点。
• 无连续性：$D = [0, 1]$，定义 $f(x) = 1$ 当 $x < 0.5$，$f(x) = 0$ 当 $x \geq 0.5$。该映射仅有跳跃间断点 $x = 0.5$，却使不动点消失。

一维情形：中间值定理的直接推论

当 $n = 1$ 时，Brouwer不动点定理退化为中间值定理（Intermediate Value Theorem）的直接应用。设 $f: [0, 1] \to [0, 1]$ 连续，定义辅助函数：

由于 $f$ 的值域包含于 $[0, 1]$，有：

$g$ 连续，由中间值定理，存在 $x^* \in [0, 1]$ 使得 $g(x^*) = 0$，即 $f(x^*) = x^*$。几何上，这意味着连接 $y = f(x)$ 的图像与对角线 $y = x$ 必相交——从 $(0,0)$ 的左上（或紧贴）出发，到 $(1,1)$ 的右下（或紧贴）终止，连续曲线无法"穿越"对角线而不与之相交。

高维证明：Sperner引理与组合方法

Brouwer原证明依赖基于映射度（degree of a mapping）的代数拓扑方法，但现代初等证明多采用Sperner引理的组合途径。

Sperner引理（1928）是纯粹的组合结果。考虑 $n$ 维单纯形 $\Delta^n$ 的单纯剖分，对每个顶点赋予 $\{0, 1, \dots, n\}$ 中的颜色，规则为：若顶点落在 $\Delta^n$ 的第 $i$ 个面（即顶点 $i$ 的对立面）上，则其颜色不得为 $i$（称为Sperner着色）。引理断言：该剖分中必存在全标单纯形——即其 $n+1$ 个顶点恰好染满所有 $n+1$ 种颜色。

将Sperner引理应用于Brouwer定理的思路如下：取 $D = \Delta^n$（标准 $n$ 维单纯形，与任意紧凸集同胚）。设 $f: \Delta^n \to \Delta^n$ 连续。将 $\Delta^n$ 剖分得足够细，并为每个顶点 $v$ 赋颜色 $c(v) = \min\{i : f(v)_i \leq v_i \text{ 且 } v_i > 0\}$。可验证此着色满足Sperner条件。引理保证存在全标子单纯形；令剖分直径趋于零，利用紧致性与连续性取极限，即得不动点。

该证明的优雅之处在于将连续问题转化为离散组合问题。Sperner引理本身亦可用归纳法证明：$n=1$ 时退化为"一条线段上若左端点为颜色0、右端点为颜色1，则至少有一子段两端异色"，这几乎是自明的。归纳步假设 $n-1$ 维成立，通过计算 $n$ 维剖分中全标单纯形的个数奇偶性完成证明——该计数论证是组合数学中"奇偶性原理"的经典案例。在算法层面，Sperner引理直接引出了Scarf算法等不动点逼近方法：沿着全标子单纯形序列追踪，可在有限步内收敛到不动点的近似解。

经济学的核心依赖：从Brouwer到Kakutani

经济学中绝大多数均衡存在性结果并不直接引用Brouwer定理，而是借助其集值推广——角谷静夫不动点定理（Kakutani Fixed-Point Theorem, 1941）。Kakutani定理将定义域从连续函数放宽为上半连续（upper hemicontinuous）且凸值的集值映射 $\Gamma: D \rightrightarrows D$，其他条件不变，结论为该对应存在不动点 $x^* \in \Gamma(x^*)$。

经济模型中广泛出现集值映射——如博弈论中的最佳反应对应、一般均衡中的价格调整对应。以纳什存在性定理为例：$N$ 人有限博弈的混合策略空间 $\prod_{i=1}^N \Delta^{|S_i| - 1}$ 是紧凸集，各参与人的最佳反应对应 $b_i(\sigma_{-i})$ 上半连续且凸值（混合策略组合的凸性由混合策略的线性性保证）。Kakutani定理直接保证不动点——即Nash均衡——的存在。

阿罗-德布鲁一般均衡模型同样依赖该逻辑链：价格单纯形 $\Delta^{L-1}$ 上的总超额需求对应（或构造的价格调整映射）满足紧凸性与连续性条件，Brouwer/Kakutani 确保瓦尔拉斯均衡价格向量的存在。可以说，没有Brouwer不动点定理及其推广，现代数理经济学将失去其存在性论证的脊梁。

与其他不动点定理的辨析

Brouwer定理是不动点定理谱系中最基础的一环，但需与若干经常混淆的结果区分：

• Banach不动点定理（压缩映射原理）：要求映射为压缩映射（$\exists k \in (0,1): \|f(x)-f(y)\| \leq k\|x-y\|$），结论更强——不动点唯一且可由迭代 $x_{n+1} = f(x_n)$ 构造。Banach定理是动态规划中Bellman方程适定性的基础（值函数算子在折扣因子下有压缩性），但其假设（完备度量空间上的压缩性）与Brouwer（紧凸集上的连续性）互不蕴含。
• Schauder不动点定理：将Brouwer推广至无穷维Banach空间，要求映射为紧算子（将有限集映为相对紧集）。在最优控制与偏微分方程中有关键应用。
• Tarski不动点定理：完备格上的单调函数，不动点集本身构成完备格。用于超模博弈与比较静态，不依赖拓扑结构而依赖序结构。

Brouwer定理的独特性在于其拓扑假设（紧凸性）与结论的温和性（纯存在性，无唯一性、无构造算法）。正是这种"最小承诺"使其成为最通用的不动点结果。

几何等价形式：无收缩定理

Brouwer不动点定理有一个著名的等价表述——无收缩定理（No-Retraction Theorem）：不存在从 $n$ 维单位球 $B^n$ 到其边界 $S^{n-1}$ 的连续映射 $r$，使得 $r$ 限制在边界上为恒等映射（即 $r(x) = x$ 对一切 $x \in S^{n-1}$）。换言之，你无法将整个球面连续地"收缩"到其球面上而保持球面上的点不动——球面不是球的连续形变收缩核（retract）。

两个表述的等价性易证：若存在无不动点的连续映射 $f: B^n \to B^n$，则对每个 $x$，定义 $r(x)$ 为从 $f(x)$ 出发经过 $x$ 的射线与边界 $S^{n-1}$ 的交点，所得 $r$ 即为连续收缩映射，矛盾。反之，若存在收缩映射 $r$，则令 $f(x) = -r(x)$（将球面点映至其对径点），可证 $f$ 无不动点。这一等价形式突显了Brouwer定理的拓扑本质——它断言的是$n$ 维球体具有某种不可收缩的"整体刚性"。

边界与局限

Brouwer不动点定理是纯存在性断言：它告诉你某个 $x^*$ 存在，但不告诉你如何找到它，也不保证唯一性。例如 $f(x) = x$（恒等映射）在 $[0,1]$ 上每个点都是不动点，而 $f(x) = 1 - x$ 有唯一不动点 $0.5$——两者在Brouwer框架下无法区分。

计算层面，高维不动点的数值逼近依赖同伦延拓法或Scarf的单纯形剖分算法。应用层面，经济学模型常需额外结构（如单调性、超模性或压缩性）以获得唯一性与比较静态——这正是Topkis定理、包络定理与单调比较静态扮演的角色。此外，紧致性假设排除了无界增长模型中原封不动地直接套用Brouwer定理的可能——实践中常通过截断论证（truncation argument）或转而使用Banach不动点定理来应对。

综而言之，Brouwer定理划定了一条基本的逻辑边界：紧凸集上的连续自映射不可能"无处安定"。这是拓扑学馈赠给经济学的确定性承诺——一旦承认偏好的连续性与选择空间的凸紧结构，均衡的存在便有了不可动摇的逻辑保障。