Proof of the Gale-Nikaido Lemma for sequentially locally non-constant multi-functions: A constructive analysis

Yasuhito Tanaka

Abstract


In this paper we constructively prove the Gale-Nikaido lemma for sequentially locally non-constant multi-functions (multi-valued functions or correspondences), which is the basis of a proof of the existence of an equilibrium in a competitive economy, and also we will show that our Gale-Nikaido lemma leads to Sperner's lemma. We follow the Bishop style constructive mathematics

Full Text: PDF

How to Cite this Article:

Yasuhito Tanaka, Proof of the Gale-Nikaido Lemma for sequentially locally non-constant multi-functions: A constructive analysis, Journal of Mathematical and Computational Science, Vol 2, No 6 (2012), 1743-1758

Copyright © 2012 Yasuhito Tanaka. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

J. Math. Comput. Sci.

ISSN: 1927-5307

Editorial Office: jmcs@scik.org

 

Copyright ©2017 JMCS