形式陈述

Brouwer 不动点定理断言：对闭单位球

$$ D^n=\{x\in\mathbb R^n:\|x\|\le1\} $$$$D^n=\{x\in {\mathbb{R}}^n:\Vert x\Vert \le 1\}$$

的任意连续映射 $f:D^n\to D^n$$f:D^n\to D^n$，存在 $x\in D^n$$x\in D^n$ 满足 $f(x)=x$$f(x)=x$。它同样适用于 $\mathbb R^n$${\mathbb{R}}^n$ 中任意非空紧致凸集：在其仿射包内降到实际维数后，可从相对内点作径向同胚而归约到相应维数的闭球；单点情形平凡。经典拓扑证明反设无不动点，从 $f(x)$$f(x)$ 经 $x$$x$ 向边界投射，构造不可能存在的连续收缩 $D^n\to S^{n-1}$$D^n\to S^{n-1}$。

直觉

把一个实心、无洞、有限范围的区域连续地压回自身，不可能让每个点都被整体推离原位；否则可利用位移方向把内部连续压到边界，与拓扑结构冲突。

例子与边界

连续映射 $f:[0,1]\to[0,1]$$f:[0,1]\to [0,1]$ 的一维情形由介值定理得到：$f(x)-x$$f(x)-x$ 在两端异号或有零点。圆盘旋转总固定中心。去掉紧致性时 $f(x)=x+1$$f(x)=x+1$ 在 $\mathbb R$$\mathbb{R}$ 上无不动点；去掉凸/无洞结构时圆周旋转可无不动点。定理只保证存在，不直接给出高效定位算法或唯一性。

推论与应用

Brouwer 定理用于博弈均衡、经济均衡、非线性方程存在性和拓扑不可能性证明。计算版本还引出 PPAD 等复杂性概念，说明存在性与可高效求解是不同问题。

参考资料

• Allen Hatcher, Algebraic Topology, Cambridge University Press, 2002，Ch. 2, no-retraction and Brouwer fixed-point theorem。
• John M. Lee, Introduction to Topological Manifolds, 2nd ed., Springer, 2011，Ch. 8, Brouwer fixed-point theorem and applications。