When proving that Sperner's lemma implies the Brouwer fixed point theorem, we claim that since a n-dimensional ball is homomorphic to a n-simplex we can say that f, the continuous function, is continuous on the simplex and then we prove the Brouwer fixed point theorem for the simplex.
First, even if we find a fixed point for the n-simplex, how do we know that a continuous function on a n-dimensional ball would have a fixed point? What allows us to say that given that a continuous function on a simplex has a fixed point a continuous function on a n-dimensional ball would also have a fixed point?
Second, it is known that we can use Sperner's lemma to find fixed points, meaning that Sperner's lemma implies the Brouwer fixed point theorem in a somewhat constructive manner. I am assuming that this is done by searching for sequences of complete triangles and seeing where they converge. (They should converge to fixed points). Can we use this method to find fixed points not only on a simplex but also on a n-dimensional ball. If so, how would this be done? Thanks.