Table of Contents
ISRN Computational Mathematics
Volume 2012, Article ID 459459, 8 pages
Research Article

Constructive Proof of the Existence of Nash Equilibrium in a Finite Strategic Game with Sequentially Locally Nonconstant Payoff Functions

Faculty of Economics, Doshisha University, Kamigyo-ku, Kyoto 602-8580, Japan

Received 5 August 2011; Accepted 19 September 2011

Academic Editor: T. Karakasidis

Copyright © 2012 Yasuhito Tanaka. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.


We will constructively prove the existence of a Nash equilibrium in a finite strategic game with sequentially locally nonconstant payoff functions. The proof is based on the existence of approximate Nash equilibria which is proved by Sperner's lemma. We follow the Bishop-style constructive mathematics.