MathLabs
定理証明済み

ナッシュ均衡の存在定理

内容

有限人数のプレイヤーからなり、各プレイヤーが有限個の純戦略を持つ有限戦略形ゲームには、混合戦略における少なくとも1つのナッシュ均衡が存在する:各プレイヤーにつき1つの(ランダム化されうる)戦略の組であって、他のプレイヤーの戦略を所与としたとき、どのプレイヤーも単独で戦略を変えることで期待利得を改善できないもの。

なぜ正しいのか?

各プレイヤーが、他の全員の現在の行動に対する最適反応となるよう、自分の(ランダム化された)戦略を連続的に調整する様子を考える。これは戦略プロファイルの空間から自分自身への写像を定める。戦略空間(各プレイヤーにつき1つの単体の直積)はコンパクトかつ凸であり、最適反応写像は良い性質(凸値、上半連続)を持つため、この写像は不動点を持たざるを得ない——それはすでに全員が他者への最適反応をしており、誰も動きたがらないプロファイルである。

証明の概略

各プレイヤー ii を固定する。最適反応対応 BiB_i を次のように定義する:相手の混合戦略プロファイルを、プレイヤー ii の混合戦略の集合へ写す。ただし、この集合は ii の期待利得を最大化するものとする。利得が多重線形であり戦略単体がコンパクト凸集合であることから、BiB_i は空でない凸値を持ち閉グラフを持つ。全プレイヤーについて合成すると、単体の直積というコンパクト凸集合上の対応 BB が得られ、これは角谷の不動点定理(ブラウワーの不動点定理の集合値版)の仮定を満たす。任意の不動点 σ∗∈B(σ∗)\sigma^* \in B(\sigma^*) は定義よりナッシュ均衡である。

証明者

この定理を使うトピック

関連する定理

ステップごとの証明

この定理のステップごとの証明はまだありません。

参考文献

  1. John F. Nash Jr. (1950). Equilibrium points in n-person games
  2. John F. Nash Jr. (1951). Non-Cooperative Games