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.