Constructive Proof of the Existence of an Equilibrium in a Competitive Economy with Sequentially Locally Non-Constant Excess Demand Functions

Authors: Yasuhito Tanaka

Abstract:

In this paper we will constructively prove 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 in a competitive economy implies Sperner-s lemma. We follow the Bishop style constructive mathematics.

Keywords: Sequentially locally non-constant excess demand functions, Equilibrium in a competitive economy, Constructive mathematics

Digital Object Identifier (DOI): doi.org/10.5281/zenodo.1062222

References:

[1] J. Berger, D. Bridges, and P. Schuster. The fan theorem and unique existence of maxima. Journal of Symbolic Logic, 71:713-720, 2006.
[2] J. Berger and H. Ishihara. Brouwer-s fan theorem and unique existence in constructive analysis. Mathematical Logic Quarterly, 51(4):360-364, 2005.
[3] D. Bridges and F. Richman. Varieties of Constructive Mathematics. Cambridge University Press, 1987.
[4] D. Bridges and L. V╦å─▒t┬©╦ÿa. Techniques of Constructive Mathematics. Springer, 2006.
[5] R. B. Kellogg, T. Y. Li, and J. Yorke. A constructive proof of Brouwer fixed-point theorem and computational results. SIAM Journal on Numerical Analysis, 13:473-483, 1976.
[6] Y. Tanaka. Constructive proof of Brouwer-s fixed point theorem for sequentially locally non-constant and uniformly sequentially continuous functions. IAENG International Journal of Applied Mathematics, 42(1):1-6, 2012.
[7] H. Uzawa. Walras-s existence theorem and Brouwer-s fixed point theorem. Economic Studies Quarterly, 13(1):59-62, 1962.
[8] D. van Dalen. Brouwer-s ╬Á-fixed point from Sperner-s lemma. Theoretical Computer Science, 412(28):3140-3144, June 2011.
[9] W. Veldman. Brouwer-s approximate fixed point theorem is equivalent to Brouwer-s fan theorem. In S. Lindstr¨om, E. Palmgren, K. Segerberg, and V. Stoltenberg-Hansen, editors, Logicism, Intuitionism and Formalism. Springer, 2009.
[10] M. Yoseloff. Topological proofs of some combinatorial theorems. Journal of Combinatorial Theory (A), 17:95-111, 1974.