跳至內容

角谷不動點定理

維基百科,自由的百科全書

數學分析中,角谷不動點定理是一個適用於集值函數的不動點定理。它為在定義在歐幾里德空間中的集上的集值函數提供具有不動點充分條件,也即一個可以映射到包含自身的集合的點。角谷不動點定理是布勞威爾不動點定理的泛化。布勞威爾不動點定理是拓撲學的基礎定理,它證明了定義在歐幾里得空間的緊緻,凸子集上的連續函數具有不動點。角谷靜夫將此定理泛化到了集值函數。

此定理1941年由角谷靜夫提出[1],曾被納什用於描述納什均衡[2]。之後,此定理在博弈論經濟學中得到了廣泛應用[3]

敘述

[編輯]

角谷不動點定理的敘述如下[4]

為歐幾里得空間 中的非空緊凸集,令上的一個具有下列特徵的集值函數:

  • 有閉圖;
  • 對於任意非空凸集。

具有不動點。

定義

[編輯]

集值函數

集值函數是一個從映到冪集的函數,使任意都為非空集。這類函數有時也被稱為對應,即函數的每個輸入都將返回多個輸出。因此,每個定義域的元素都對應一個由一個或多個值域元素構成的子集。

閉圖

一個集值函數有閉圖,如果集合積空間中是一個子集。即:給定任意序列,並滿足,則有

不動點

為一個集值函數。如果,則為一個不動點。

舉例

[編輯]

有無窮多個不動點的函數

[編輯]

例如:函數滿足所有角谷不動點定理的條件,並存在無窮多個不動點。

有一個不動點的函數

[編輯]

例如:一個函數

滿足所有角谷不動點定理的條件,並存在唯一一個不動點

不滿足凸集的函數

[編輯]

例如:一個函數

處不滿足凸集定義,但滿足其他角谷不動點定理的條件。這個函數沒有不動點。

不滿足閉合圖的函數

[編輯]

例如:一個函數

不存在不動點,因為函數不滿足閉合圖。考慮序列:當

其他敘述方式

[編輯]

角谷靜夫的原始論文使用了上半連續性的概念敘述此定理:

S為歐幾里得空間上的一個非空,緊緻,凸集的子集。令為上半連續的集值函數,且在所有上非空,閉合,且為凸。則函數有不動點。

這一敘述與之前的敘述完全等價。

我們可以通過集值函數的閉圖像定理來說明這種等價關係:對緊緻的豪斯多夫空間,一個集值函數有閉合圖的充分必要條件是:是上半連續的,且對所有,是閉集。因為所有歐幾里得空間都為豪斯多夫空間,且在這種敘述方式中必須為封閉值,所以根據閉圖像定理,兩種敘述方式等價。

應用

[編輯]

博弈論

[編輯]

角谷不動點定理可以用來證明零和博弈中的極小化極大算法

納什利用角谷不動點定理證明了博弈論中的一個重要結論。這一定理暗示,在任何混合策略的多人有限遊戲中都必定存在納什均衡。納什的貢獻使他獲得了諾貝爾經濟學獎

  • 基本集S是博弈中各個參與者選擇的混合策略的多元組集合。假設每個參與者有k種可能的行為,那麼每個參與者的策略就是一個相加之和為1的k元概率,也即每個參與者的策略空間是空間中的單純形。而S是所有這些單純形的笛卡兒積,並且S是一個非空,緊緻和凸型的的子集。
  • 函數將每個多元組都與另一個多元組聯繫起來,即每個參與者的策略都是她對於其他參與者策略的最佳應對。由於最佳應對可以不唯一,是一個集值函數。對任意x都是非空的,因為一定存在至少一個最佳應對策略。也是凸的,因為任意兩個最佳應對的組合仍然是最佳應對。也可以被證明是閉合圖。
  • 納什均衡被定義為的不動點,即:策略多元組集合中,每個參與者的策略都是其他參與者策略的最佳應對。角谷不動點定理保證了不動點的存在。

證明框架

[編輯]

S是單維區間的情況

[編輯]

角谷不動點定理的證明對於定義在閉區間上的實數集值函數最為簡單。假設。假設為在閉區間[0,1]上的集值函數,且滿足角谷不動點定理的條件。

  • 創建一個序列,使序列處於[0,1]的具有相鄰點的子區間中,並向相反方向移動

為一個具有下列特點的序列:

1 2
3 4
5 6

閉集形成了一個由的子區間組成的序列。條件2使這些子區間的範圍逐漸減小,而條件3-6令子區間的邊界向相反方向移動。

這樣一個序列可以按如下方式構建:

。令分別為上的任一點。

假設我們已經選取了序列的第k個元素為且滿足以上6個條件。令:。一定有,因為是凸集。

如果存在並且有,我們可以選取:

 
 
 
 

否則,必定存在使得。我們選取:

 
 
 
 
  • 尋找子區間的極限值

根據吉洪諾夫定理,緊緻集合的笛卡兒積也是緊緻的。由於序列在這個集合里,所以根據波爾查諾-魏爾斯特拉斯定理,這個序列一定存在收斂的子序列。假設這個收斂子序列的極限是。由於是閉合圖,一定有:

 
 
 
 

由於條件2,有,所以:

有:,且

  • 證明子區間的極限值為不動點

如果,則有。因為 ,所以x的一個不動點。

如果,則構造一條p^*q^*間的直線:

由於是凸集,所以由可以推導出。所以x的一個不動點。

S是n維單純形的情況

[編輯]

S的維度大於1時,最簡單的情況是n維單純形。n維單純形相當於一個高維的三角形。證明單純形的角谷不動點定理與區間上的證明極其相似。複雜度僅在於證明的第一步:如何切割空間為子空間。

  • 類似於一維的情況,我們使用重心細分方法將單純形切割為子單純形
  • 為確保子單純形序列的邊界向相反方向運動,需要用到斯佩納引理以保證子單純形的存在。

任意S的情況

[編輯]

對n維單純形的證明可以用來證明任意緊緻,凸型S情況下的角谷不動點定理。單純形在這種情況下不再有直線的邊界,而是有曲線邊界。這會用到形變收縮

無窮維度的泛化

[編輯]

角谷不動點定理可以泛化為無窮維度局部凸拓撲向量空間[5][6]

上半連續性定義:

一個集值函數是上半連續的,如果對於任何開集,集合也是X上的開集[7]

角谷映射定義:

X,Y拓撲向量空間為集值函數。如果Y為凸,且對所有都是上半連續的,非空,緊緻的凸集,則稱為角谷映射。

角谷-格里科斯伯格-樊定理的敘述為:

S豪斯多夫局部凸拓撲向量空間的非空,緊緻凸子集。令為角谷映射。則存在不動點。

對應的單值函數定理是吉洪諾夫不動點定理

參考資料

[編輯]
  1. ^ Kakutani, Shizuo. A generalization of Brouwer's fixed point theorem. Duke Mathematical Journal. 1941, 8 (3): 457–459. doi:10.1215/S0012-7094-41-00838-4. 
  2. ^ Nash, J.F., Jr. Equilibrium Points in N-Person Games. Proc. Natl. Acad. Sci. U.S.A. 1950, 36 (1): 48–49. PMID 16588946. doi:10.1073/pnas.36.1.48. 
  3. ^ Border, Kim C. Fixed Point Theorems with Applications to Economics and Game Theory. Cambridge University Press. 1989. ISBN 0-521-38808-2. 
  4. ^ Osborne, Martin J.; Rubinstein, Ariel. A Course in Game Theory. Cambridge, MA: MIT. 1994. 
  5. ^ Glicksberg, I.L. A Further Generalization of the Kakutani Fixed Point Theorem, with Application to Nash Equilibrium. Proceedings of the American Mathematical Society. 1952, 3 (1): 170–174. doi:10.2307/2032478. 
  6. ^ Fan, Ky. Fixed-point and Minimax Theorems in Locally Convex Topological Linear Spaces. Proc Natl Acad Sci U S A. 1952, 38 (2): 121–126. doi:10.1073/pnas.38.2.121. 
  7. ^ Dugundji, James; Andrzej Granas. Fixed Point Theory. Springer. 2003: Chapter II, Section 5.8. ISBN 978-0-387-00173-9.