A constructive version of Ky Fan's coincidence theorem
Abstract
In this paper we examine Ky Fan's coincidence theorem from the point of view of Bishop style constructive mathematics using constructive versions of Kakutani's fixed point theorem, Berge's maximum theorem and the separating hyperplane theorem.
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.
Cite this article
Y. Tanaka, A constructive version of Ky Fan's coincidence theorem, J. Math. Comput. Sci. 2 (2012), 926–936.
BibTeX
@article{Tanaka2012,
author = {Tanaka, Yasuhito},
title = {A constructive version of Ky Fan's coincidence theorem},
journal = {J. Math. Comput. Sci.},
volume = {2},
year = {2012},
pages = {926--936},
doi = {}
}