Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2001/ib/paper-4/1a/solution
Past exam of the mathematics course of the University of Cambridge 2001 ib Paper 4 1A Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
The strict distance inequality also gives when , so is Lipschitz continuous with constant at most one, hence continuous. Put . The triangle inequality givesThus is also Lipschitz continuous and continuous.
Assume the compact metric space is nonempty, as needed for existence of a point. By the extreme value theorem, attains its infimum at some . If , then , and strict distance decrease givescontradicting minimality. Since distances are nonnegative, and . If two different fixed points existed, then , another contradiction. Therefore there is exactly one fixed point. This is strict distance decrease on a compact metric space; no uniform contraction factor less than one was assumed.
New to topics? Read the docs here!