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

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.

Authors:

• Yasuhito Tanaka

Keywords:

• Sequentially locally non-constant excess demand functions
• Equilibrium in a competitive economy
• Constructive mathematics

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.