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.
 J. Berger, D. Bridges, and P. Schuster. The fan theorem and unique
existence of maxima. Journal of Symbolic Logic, 71:713-720, 2006.
 J. Berger and H. Ishihara. Brouwer-s fan theorem and unique existence
in constructive analysis. Mathematical Logic Quarterly, 51(4):360-364,
 D. Bridges and F. Richman. Varieties of Constructive Mathematics.
Cambridge University Press, 1987.
 D. Bridges and L. V╦å─▒t┬©╦ÿa. Techniques of Constructive Mathematics.
 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.
 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,
 H. Uzawa. Walras-s existence theorem and Brouwer-s fixed point
theorem. Economic Studies Quarterly, 13(1):59-62, 1962.
 D. van Dalen. Brouwer-s ╬Á-fixed point from Sperner-s lemma. Theoretical
Computer Science, 412(28):3140-3144, June 2011.
 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.
 M. Yoseloff. Topological proofs of some combinatorial theorems.
Journal of Combinatorial Theory (A), 17:95-111, 1974.