An application of a discrete fixed point theorem to a game in expansive form

In this paper, we first present a discrete fixed point theorem for contraction mappings from the product set of integer intervals into itself, which is an extension of Robert's discrete fixed point theorem. Next, we derive an existence theorem of a pure-strategy Nash equilibrium for a noncooperative n-person game from our fixed point theorem. Finally, we show that Kuhn's theorem for a game in expansive form can be explained by our existence theorem.