Let be the closed unit disc and set
The displacement bound gives , so is continuous. The Brouwer fixed-point theorem applies because is nonempty, compact and convex. At a fixed point , . Therefore .
For arbitrary , the continuous map satisfies . Applying the preceding Brouwer fixed-point theorem argument with this positive bound gives . Hence , and is surjective.
Let and define
Then everywhere, but is not in the image of a function. The map is discontinuous at , giving a bounded-displacement map which is not surjective.

Articles by others on the same topic (0)

There are currently no matching articles.