角谷静夫による貢献
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/06/10 17:01 UTC 版)
「角谷の不動点定理」も参照 『ゲームの理論と経済行動』を執筆していた1940年頃、フォン・ノイマンらは凸集合の分離定理を用いたミニマックス定理の証明を着想したが、当時の数学は彼らの要請には不十分なものであった。そこで、フォン・ノイマンは当時プリンストン高等研究所に勤務していた日本人数学者角谷静夫に凸集合を用いて一般化されたブラウワーの不動点定理を証明するよう命令し、角谷は1941年に発表した論文 "A generalization of Brouwer's fixed point theorem" においてそれを証明した。 この定理は多値関数に適用するのに非常に適切な形をしており、その後今日まで多くの分野で用いられるようになり、「角谷の不動点定理」として広く知られるようになった。特に、Nash 1950が n 人ゲームのナッシュ均衡の存在を証明するために角谷の不動点を用いたことは有名である。また、1954年にはライオネル・マッケンジーがアロー=ドブルーとは独立に角谷の不動点定理を用いて一般均衡の存在定理を証明している。角谷は論文中で自らの不動点定理の応用例として2人ゼロ和ゲームのミニマックス定理を証明しているが、その証明において各プレイヤーが相手の混合戦略に対して最適な混合戦略を選択することが明示的に仮定されている。このことに対して、ハロルド・クーンはジョン・ナッシュの論文集の「解説」の中で「もし角谷静夫が n 人ゲームについて考察を行っていたなら、彼がナッシュ均衡の存在を示してしまっていたであろう」と評価している。 1943年に『ゲームの理論と経済行動』が書き上げられると、フォン・ノイマンは角谷に校正をさせた。フォン・ノイマンは戦時中米国内の日本人は行動を制限されて捕虜のような存在だったのでそういった仕事をさせたと語った。角谷は『ゲームの理論と経済行動』の原稿を読んだ最初の日本人とされる。角谷は戦後、交換船で日本に帰国し大阪大学教授に就任している。
※この「角谷静夫による貢献」の解説は、「ゲーム理論」の解説の一部です。
「角谷静夫による貢献」を含む「ゲーム理論」の記事については、「ゲーム理論」の概要を参照ください。
- 角谷静夫による貢献のページへのリンク