Let be the closed unit disc and setThe 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 defineThen 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
There are currently no matching articles.