A constructive proof of Ky Fan’s coincidence theorem

We present a constructive proof for the well-known Ky Fan’s coincidence theorem through a simplicial algorithm. In a finite number of steps the algorithm generates a simplex containing an approximate coincidence point. In the limit, when the mesh size converges to zero, the sequence of approximations converges to a coincidence point. This research was carried out while the second author was visiting the CentER for Economic Research, Tilburg University. He would like to thank both CentER and the Netherlands Organization for Scientific Research (NWO) for their financial support.