Constructive proof of the existence of equilibrium in competitive economy with sequentially locally non-constant excess demand functions

Yasuhito Tanaka
DOI: https://doi.org/10.48550/arXiv.1103.1951
2011-08-24
Abstract:We present a constructive proof of the existence of an equilibrium in a competitive economy with sequentially locally non-constant excess demand functions. And we will show that the existence of such an equilibrium implies Sperner's lemma. Since the existence of an equilibrium is derived from the existence an approximate fixed point of uniformly continuous functions, which is derived from Sperner's lemma, the existence of an equilibrium in a competitive economy with sequentially locally non-constant excess demand functions is equivalent to Sperner's lemma.
Logic,Computer Science and Game Theory
What problem does this paper attempt to address?