Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2001/ia/paper-1/10d/solution

To prove the intermediate value theorem in this setting, let and . The endpoint inequalities and continuity give an interval immediately to the right of contained in and an interval immediately to the left of disjoint from . Thus . Choose points of tending to ; continuity gives . If , continuity would place some point larger than in , contradicting the supremum. Hence at an interior point.
For a continuous self-map of , define . The range condition implies and . If either is zero, its endpoint is a fixed point. Otherwise apply the just-proved intermediate value theorem to with target zero to obtain and . Therefore
This proves the fixed-point property of a closed interval without requiring itself to be monotone.

New to topics? Read the docs here!