1. The problem statement, all variables and given/known data (X,d) a compact metric space, f:X->X cts fn, with d(f(x),f(y)) >= d(x,y) for all x, y in X Prove that f is a surjection. 3. The attempt at a solution Let K be the set of points that are not in f(X). It is a union of open balls because X is closed and hence so is f(X). Choose a finite open covering of f(X)\K with all the open sets having small radius, call this covering G. Take the pre-image of all these sets, the result will be open balls of smaller or equal radius to the originals, and the centres will be closer to each other. call this set of preimages, H. -- Intuitively it seems like H doesn't cover X and so we have a contradiction (right?), but I don't know how to rigorize it. Hints? Am I on the right track? Missing something obvious?