Table of Contents
ISRN Applied Mathematics
Volume 2011 (2011), Article ID 276040, 9 pages
http://dx.doi.org/10.5402/2011/276040
Research Article

A Proof of Constructive Version of Brouwer's Fixed Point Theorem with Uniform Sequential Continuity

Faculty of Economics, Doshisha University, Kamigyo-ku, Kyoto 602-8580, Japan

Received 1 April 2011; Accepted 18 May 2011

Academic Editors: A. Cherouat and C. I. Siettos

Copyright © 2011 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.

Linked References

  1. R. B. Kellogg, T. Y. Li, and J. Yorke, “A constructive proof of the Brouwer fixed-point theorem and computational results,” SIAM Journal on Numerical Analysis, vol. 13, no. 4, pp. 473–483, 1976. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  2. D. Bridges and F. Richman, Varieties of Constructive Mathematics, vol. 97 of London Mathematical Society Lecture Note Series, Cambridge University Press, Cambridge, UK, 1987.
  3. D. van Dalen, “Brouwer's ε-fixed point from Sperner’s lemma,” Theoretical Computer Science, vol. 412, no. 28, pp. 3140–3144.
  4. Wim Veldman, “Brouwer's approximate fixed-point theorem is equivalent to Brouwer's fan theorem,” in Logicism, Intuitionism, and Formalism, vol. 341 of Synthese Library, pp. 277–299, Springer, Dordrecht, The Netherlands, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  5. D. Bridges, H. Ishihara, P. Schuster, and L. Vîţă, “Strong continuity implies uniform sequential continuity,” Archive for Mathematical Logic, vol. 44, no. 7, pp. 887–895, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  6. H. Ishihara, “Continuity properties in constructive mathematics,” The Journal of Symbolic Logic, vol. 57, no. 2, pp. 557–565, 1992. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  7. D. Bridges and R. Mines, “Sequentially continuous linear mappings in constructive analysis,” The Journal of Symbolic Logic, vol. 63, no. 2, pp. 579–583, 1998. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  8. E. Bishop and D. Bridges, Constructive Analysis, vol. 279 of Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], Springer, Berlin, Germany, 1985. View at Zentralblatt MATH
  9. D. Bridges and L. Vîţă, Techniques of Constructive Mathematics, Springer, 2006.
  10. F. E. Su, “Rental harmony: Sperner's Lemma in Fair Division,” The American Mathematical Monthly, vol. 106, no. 10, pp. 930–942, 1999. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  11. Y. Tanaka, “Equivalence between the existence of an approximate equilibrium in a competitive economy and Sperner’s lemma: A constructive analysis,” ISRN Applied Mathematics, vol. 2011, Article ID 384625, 15 pages, 2011. View at Publisher · View at Google Scholar