Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2006/ii/paper-1/2g/solution

The Brouwer fixed-point theorem says that every continuous map from a closed Euclidean ball to itself has a fixed point. For the closed disc its equivalent no-retraction theorem says that there is no continuous satisfying on .
Assume the fixed-point theorem and suppose such a retraction exists. Then maps continuously into itself. A fixed point must lie on the boundary, where , giving , impossible on the unit circle.
Conversely suppose is continuous and has no fixed point. From draw the ray through and let be its exit point on the circle. To check continuity rather than merely relying on the picture, put . The exit point is , where
This is continuous, lies on the circle and has . On the boundary the exit point is , so is a retraction, contradicting the assumed theorem. Hence the two disc formulations are equivalent; the same argument works for a ball in any dimension.

New to topics? Read the docs here!