1951 — Kakutani 不動點：集值映射與納許均衡的數學母體#

案件檔案表#

欄位	內容
案件名稱	不動點之謎：多值「回應」的映射，何時必有自我回應點？
主嫌（主角）	Shizuo Kakutani（角谷靜夫，1941 證明）
案發年份	1941 年（本篇按年表 1951 年談其對局論爆炸性後果）
案發地點	凸緊集 \(K \subset \mathbb{R}^n\) （後推廣至局部凸拓樸向量空間）
被害人	Brouwer 不動點：只適用單值連續映射
兇器	上半連續（upper semi-continuity）集值映射
關鍵證物	集值映射 \(F: K \to 2^K\) 非空凸緊值，存在 \(x_0\) 使 \(x_0 \in F(x_0)\)
結案判決	Kakutani 不動點定理成立
遺留線索	納許均衡（1950-51）、Arrow–Debreu 均衡、對局論與經濟學的數學化

案發現場#

1941 年，Kakutani 接手一樁 Brouwer（1911）留下懸案的擴張案：Brouwer 不動點說，凸緊集 \(K\) 上的連續映射 \(f: K \to K\) 必有不動點 \(f(x_0) = x_0\) 。但對局論（von Neumann 1928 極小極大定理、1944-47《對局論與經濟行為》）與經濟學裡的「最佳回應」天生是多值的：一個局勢下，玩家可能有多個最優選擇——

\[ \text{最佳回應 } \operatorname{br}(x) = \{y \in K : u(y, x) \ge u(y', x)\ \forall y'\} \]

是集合不是點。Brouwer 的單值利刀在此無用武之地。疑點三層：

連續性怎麼定義？ 集值映射的「連續」有兩種：上半連續（像不會突然變大）與下半連續（像不會突然變小）。不動點定理需要哪一種？
值域的凸性與緊性： \(F(x)\) 必須非空、凸、緊——凸性對應「可混合策略」，緊性對應「回應不逃逸」。
證明工具：單值逼近（近似選擇）加上 Brouwer，能否合成集值版的不動點？

Kakutani 在 1941 年偵結此案：凸緊集上的上半連續集值映射，必有自我回應點。這把 Brouwer 從單值世界解放到集值世界。

偵查過程#

第一步：定義上半連續，製作案情說明書#

設 \(X, Y\) 為拓樸空間， \(F: X \to 2^Y\) 集值映射。 \(F\) 在 \(x_0\) 上半連續（u.s.c.），若對每個開集 \(V \supset F(x_0)\) ，存在鄰域 \(U \ni x_0\) 使 \(F(U) \subset V\) 。圖像定義： \(F\) u.s.c. 且值皆閉 \(\iff\) 圖像 \(\operatorname{Gr}(F) = \{(x, y) : y \in F(x)\}\) 閉（在緊性條件下）。

條件	意義	對局論解讀
\(F(x) \ne \varnothing\)	回應存在	局勢必有最優解
\(F(x)\) 凸	回應成塊	可混合策略
\(F(x)\) 緊	回應有界	利益不逃逸
u.s.c.	像不突然變大	對手微調，回應不跳爆

第二步：Kakutani 定理的陳述#

定理（Kakutani, 1941）：設 \(K\) 為 \(\mathbb{R}^n\) 中的非空緊凸集， \(F: K \to 2^K\) 使每個 \(F(x)\) 非空、凸、緊，且 \(F\) 上半連續。則存在 \(x_0 \in K\) 使

\[ x_0 \in F(x_0). \]

第三步：證明骨架——逼近 + Brouwer#

近似選擇（Stein 型逼近）：對每個 \(\epsilon > 0\) ，構造單值連續映射 \(f_\epsilon: K \to K\) 使 \(\operatorname{dist}(f_\epsilon(x), F(x)) < \epsilon\) 。構造法：對每個 \(x\) 取 \(y_x \in F(x)\) ，用單位分割 \(\{\phi_i\}\) 與有限覆蓋做凸組合 \(f_\epsilon(x) = \sum_i \phi_i(x) y_{x_i}\) ——凸性在此出擊，保證 \(f_\epsilon(x) \in K\) 且靠近 \(F(x)\) 。
Brouwer 出手： \(f_\epsilon\) 連續映射緊凸集 \(K\) 到自身，故有不動點 \(x_\epsilon = f_\epsilon(x_\epsilon)\) 。
取極限： \(K\) 緊，故 \(x_{\epsilon_k} \to x_0\) （子列）。由 u.s.c. 與值緊閉，圖像閉： \((x_{\epsilon_k}, f_\epsilon(x_{\epsilon_k})) \in \operatorname{Gr}(F)\) 的極限 \((x_0, x_0)\) 仍在圖像中，即 \(x_0 \in F(x_0)\) 。

推理骨架一目瞭然：單值逼近靠凸性合成，極限過渡靠上半連續閉圖像；Brouwer（1911）是母體，Kakutani 是集值化身。

第四步：從 Kakutani 到納許均衡（1950-51）#

納許的偵查： \(n\) 人對局，玩家 \(i\) 的策略集 \(S_i\) 緊凸，效用 \(u_i\) 連續且對自己的變數擬凹（保證最佳回應凸）。定義集值映射

\[ F(s_1, \dots, s_n) = \operatorname{br}_1(s_{-1}) \times \operatorname{br}_2(s_{-2}) \times \cdots \times \operatorname{br}_n(s_{-n}). \]

積空間 \(K = S_1 \times \cdots \times S_n\) 緊凸；每個 \(F(s)\) 非空凸緊（Ber maximum 定理：連續效用 + 緊值域 ⇒ u.s.c.，擬凹 ⇒ 凸值）。
Kakutani 定理：存在 \(s^* \in F(s^*)\) ，即每個玩家都在回應他人——納許均衡 \(s^*\) 。

年份	事件	與本案關係
1911	Brouwer 不動點	單值母體
1928	von Neumann 極小極大	二人零和，特例
1941	Kakutani 不動點	集值化身
1944	《對局論與經濟行為》	應用土壤
1950	von Neumann–Morgenstern 期望效用	混合策略的效用基礎
1950-51	納許均衡存在性（論文 1950、Annals 1951）	Kakutani 的爆炸性後果

注意：納許 1950 年的博士論文其實用 Brouwer（經 Kakutani 的單值化技巧）證明均衡存在；1951 年 Annals 版改用更直接的論證。Kakutani 的集值框架則成為經濟學標準工具（Arrow–Debreu 1954 一般均衡亦然）。

第五步：von Neumann–Morgenstern 的伏筆#

1950 年《對局論與經濟行為》第三版（1944 初版）確立期望效用公理：混合策略下效用為線性期望 \(U(\sigma) = \sum_s \sigma(s) u(s)\) 。線性期望正是「最佳回應集為凸」的根源——凸性不是技術假設，是理性公理的影子。Kakutani 的凸值條件由此獲得經濟學的詮釋。

結案報告#

判決：Kakutani 不動點定理成立：凸緊集上的上半連續集值映射必有自我回應點 \(x_0 \in F(x_0)\) 。Brouwer 不動點完成集值化推廣。

遺產：

納許均衡（1950-51）：非合作對局的均衡存在性，是 20 世紀社會科學的最大數學輸出之一；1994 年納許獲諾貝爾經濟學獎。
一般均衡理論：Arrow–Debreu（1954）用 Kakutani 證明 Walras 均衡存在，經濟學的數學化就此定型。
無窮維推廣：Fan Ky（1952）、Glicksberg（1952）把 Kakutani 推廣到局部凸拓樸向量空間（泛函分析的地盤），處理連續策略空間的對局。
變分不等式與最優控制：集值分析（多值微分、可達集）成為現代優化與控制的日常語言；本書因果鏈中「Krein–Milman (1934) → Kakutani (1951) → 納許均衡」的線索就此接通。

證據與工具#

工具	用途
Brouwer 不動點（1911）	單值母體，逼近後出手
上半連續 + 閉圖像	極限過渡的通行證
單位分割凸組合	單值逼近 \(f_\epsilon\) 的構造
Ber 極大值定理	連續效用 ⇒ 最佳回應 u.s.c.
von Neumann–Morgenstern 期望效用	凸值的理性詮釋

範例：二人對局「性別之戰」：玩家各選 \(\{A, B\}\) ，混合策略 \([0,1]\) 。最佳回應 \(\operatorname{br}(p)\) 是階梯狀的集值映射（在臨界點 \(p = 2/3\) 處整段 \([0,1]\) 都是回應——凸性救命）。映射 u.s.c. 且值凸緊，Kakutani 保證 \(x_0 \in F(x_0)\) ；實際不動點有三個（兩個純、一個混合），正是納許均衡。若回應集在臨界點「斷開」（非凸、非 u.s.c.），不動點可能消失——這就是本案條件的教科書演示。

一句話結案：Brouwer 抓單值的不動點，Kakutani 讓「多值的回應」也無處可逃；納許的均衡，就藏在 \(x_0 \in F(x_0)\) 的自我回應裡。