Solution

ID: past-exam-of-the-fixed-point-methods-for-nonlinear-partial-differential-equations-course-of-the-university-of-oxford/2023/1/b/i/solution

A retraction from a topological space onto a subset is a continuous map satisfying for every . Equivalently, , where is the inclusion.
The no-retraction theorem for the finite-dimensional closed unit ball says
Indeed, if were such a retraction, would be a continuous map from into itself. The Brouwer fixed-point theorem would give . Since , lies on the boundary, where . Thus , contradicting . Here the Brouwer fixed-point theorem asserts that every continuous map of a finite-dimensional closed unit ball into itself has a fixed point.

New to topics? Read the docs here!