角谷の不動点定理

数学の解析学の分野における角谷の不動点定理（かくたにのふどうてんていり、）は、集合値函数に対する不動点定理である。ユークリッド空間のあるコンパクトな凸部分集合が不動点（すなわちそれを含む集合へ写像される点）を持つための十分条件を与える定理である。角谷の不動点定理は、ブラウワーの不動点定理の一般化である。ブラウワーの不動点定理は、ユークリッド空間のコンパクトな凸部分集合上で定義される連続函数の不動点の存在を示すものであった。角谷の定理はこれを集合値函数に拡張したものである。
この定理は角谷静夫によって1941年に証明され、ジョン・ナッシュによりナッシュ均衡を表現するために用いられた。その後、ゲーム理論や経済学における幅広い分野で応用されている。
内容.
角谷の定理の内容は次のようになる：
例.
"f"("x") は閉区間 [0, 1] 上で定義される集合値函数で、点 "x" を閉区間 [1 − "x"/2, 1 − "x"/4] に写すものとする。このとき、"f(x)" は角谷の定理のすべての仮定を満たすため、必ず不動点を持つ。例えば 0.72 ∈ [1 − 0.72/2, 1 − 0.72/4] なので "x" = 0.72 は不動点である。特にこの場合は無限個の不動点が存在する。
例外.
すべての "x" に対して φ("x") が凸であるという条件は、定理が成立する上で本質的に重要である。
[0,1] 上で定義される次の函数を考える：
この函数は不動点を持たない。この函数は、角谷の定理の凸性以外の条件をすべて満たすが、"x" = 0.5 において凸ではない。
別の表現.
角谷の原著論文を含むいくつかの文献では、の概念を用いた次のような定理の表現も見られる：
この角谷の定理の内容は、本記事の始めに説明された内容と全く同じものである。
この定理は、コンパクトなハウスドルフ値域空間 "Y" に対して集合値函数 φ: X→2Y が閉グラフを持つための必要十分条件は、それが上半連続であり、すべての "x" に対して φ("x") が閉集合であることを述べた、集合値函数に対する閉グラフ定理を使うことで証明できる。すべてのユークリッド空間は（距離空間となって）ハウスドルフであるため、角谷の定理のこの別の表現において φ は閉値であることが要求され、閉グラフ定理によって二つの主張は同値であることが従う。
応用.
ゲーム理論.
角谷の不動点定理は、ゼロ和ゲームの理論におけるミニマックス定理を証明するために利用することが出来る。この応用は角谷の原著論文において具体的に議論されていた。
数学者ジョン・ナッシュは、ゲーム理論における主要な結果を証明するために角谷の不動点定理を利用した。平たく言うと、この定理は、任意のプレイヤー数で混合戦略のすべての有限ゲームにおいてナッシュ均衡が存在することを保証するものである。この業績により、彼は後にノーベル経済学賞を受賞した。
この場合、"S" はゲームの各プレイヤーによって選ばれるのタプルの集合である。函数 φ("x") は、"x" における他のプレイヤーの戦略に対する各プレイヤーの最善の反応のタプルである。同程度に良い反応が複数存在することもあり得るため、φ は単一の値ではなく集合値である。このとき、ゲームのナッシュ均衡は φ の不動点、すなわち各プレイヤーの戦略が他のプレイヤーの戦略に対する最善の反応となっているような戦略のタプルである。角谷の定理は、この不動点の存在を保証するものである。
一般均衡.
経済学における一般均衡の理論において、角谷の定理は、すべての市場における需要と供給を同時に等しいものとする価格の集合の存在を示すために用いられる。そのような価格の存在は、少なくともレオン・ワルラスの時代にはすでに経済学における未解決問題として知られていた。その最初の証明は、によって与えられた。
この場合、"S" は商品価格のタプルの集合である。φ("x") は、価格タプル "x" が至る所で需要と供給を等しいものとしない限り、その引数とは異なる結果をもたらす函数として選ばれる。ここでは、このような性質を持ちながら、同時に角谷の定理の条件を満たす φ を構成することを目指す。これが達成されれば、定理より φ は不動点を持つこととなる。この構成方法より、そのような不動点は需要と供給を至る所で等しいものとする価格タプルに対応する。
証明の概要.
"S" = [0,1].
角谷の定理は、実数直線の閉区間上で定義される集合値函数の場合に、最も容易に証明される。その証明方法は、高次元の場合にも同様に適用することが出来るため、非常に有用である。
φ: [0,1]→2[0,1] を閉区間 [0,1] 上の集合値函数で、角谷の不動点定理の条件を満たすものとする。
"i" = 0, 1, … に対して、次の性質を持つ列 ("a""i", "b""i", "p""i", "q""i") を構成する：
このとき、閉区間 ["a""i", "b""i"] は [0,1] の部分区間の列である。条件 (2) より、このような列は次第に小さくなることが分かる。また条件 (3)–(6) より、函数 φ は各部分区間の左端を右方向に、右端を左方向に写すものであることが分かる。
このような列は次の手順で構成される。"a"0 = 0 および "b"0 = 1 を定める。"p"0 を φ(0) 内の任意の点とし、"q"0 を φ(1) 内の任意の点とする。このとき、条件 (1)–(4) は直ちに満たされる。さらに、"p"0 ∈ φ(0) ⊂ [0,1] であるため、"p"0 ≥ 0 は必ず成立し、条件 (5) は満たされる。同様に、"q"0 に対して条件 (6) は満たされる。
今、"a""k", "b""k", "p""k" および "q""k" は条件 (1)–(6) を満たすものと仮定する。次を定める。
すると、[0,1] は凸集合なので、"m" ∈ [0,1] が成り立つ。
"r" ≥ "m" を満たす "r" ∈ φ("m") が存在するなら、次のように各数を定める。
もし存在しないなら、φ("m") は空でないので、"s" ≤ "m" を満たす "s" ∈ φ("m") が必ず存在する。このときは、次のように各数を定める。
いずれの場合でも、このように定められた "a""k"+1, "b""k"+1, "p""k"+1 および "q""k"+1 は条件 (1)–(6) を満たすことが容易に確かめられる。
デカルト積 [0,1]×[0,1]×[0,1]×[0,1] は、チコノフの定理よりコンパクト集合である。列 ("a""n", "p""n", "b""n", "q""n") はこのコンパクト集合に属するため、ボルツァーノ＝ワイエルシュトラスの定理より必ず収束部分列を持つ。そのような部分列に着目し、その極限を ("a"*, "p"*,"b"*,"q"*) とする。φ のグラフは閉であるため、"p"* ∈ φ("a"*) および "q"* ∈ φ("b"*) が成り立つ。さらに、条件 (5) より "p"* ≥ "a"* が成り立ち、条件 (6) より "q"* ≤ "b"* が成り立つ。
ところが、条件 (2) より ("b""i" − "a""i") ≤ 2−"i" であるため、
となる。したがって "b"* と "a"* は等しい。"x" = "b"* = "a"* とすると、次が得られる。
"p"* = "q"* ならば、"p"* = "x" = "q"* である。この場合 "p"* ∈ φ("x") なので、"x" は φ の不動点である。
そうでない場合を考える。二つの点 a と b の間の線分は (1-t)a + tb とパラメータ表現できることを思い出されたい。上述の手順で q<x<p が分かっているので、p と q の間の線分を x の函数として作ることが出来る（以下の分数は単位区間上にあることに注意されたい）。φ("x") は凸であり、
であることから、"p"* および "q"* と同様に "x" も φ("x") に必ず属す。したがって "x" は φ の不動点である。
"S" が n-単体の場合.
次元が 1 よりも大きい場合、角谷の定理を証明する上で最も簡単な物体は n-単体である。平たく言うと、n-単体とは高次元における三角形である。ある単体上で定義される集合値函数に対して角谷の定理を証明することは、区間に対して証明することと本質的に変わりはない。高次元の場合ならではの証明の難しさは、領域をより細かい部分片に分ける第一段階に現れる。
第一段階でこれらの変更が加えられれば、極限点を見つけそれが不動点であることを示す第二、第三段階は、一次元の場合とほとんど変わらずに証明することが出来る。
任意の "S".
n-単体に対する角谷の定理は、任意のコンパクトな凸集合 "S" に対する定理の証明において用いることが出来る。ここでもまた、より細かい部分集合を作っていく手順は同じである。しかし、n-単体の場合に考えた直線的な辺を持つ三角形の代わりに、曲がった辺を持つ三角形を考えることになる。正式に言うと、"S" を覆う単体を見つけ、変位レトラクトを使うことで問題を "S" からその単体に移す。すると、n-単体に対してすでに得られた結果を利用することが出来るのである。
無限次元への一般化.
角谷の不動点定理は、アービング・グリックスバーグとによって無限次元の局所凸位相ベクトル空間へ拡張された。この場合における定理を説明するために、次の定義が必要となる：
このとき、角谷＝グリックスバーグ＝ファンの定理は次の様なものである：
単価函数に対する対応する結果は、チコノフの不動点定理である。
函数の定義される空間が、局所凸のみならずハウスドルフであるなら、この定理の主張はユークリッド空間における場合と同様のものとなる：
逸話.
ケン・ビンモアは、ゲーム理論に関する自身の著書の中で、研究集会の際になぜ彼の講演に多くの経済学者が参加するのか角谷に尋ねられたことを記している。ビンモアが、それはおそらく角谷の不動点定理のせいだろうと答えると、角谷は困惑してこのように答えたという。「角谷の不動点定理とは何だ？」。