Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/ia/paper-1/9f/a/solution

The intermediate value theorem states that if is continuous and lies between and , then for some .
Let . If, for example, exceeded both and , choose strictly between and . Applying the theorem on both and would give two distinct preimages of , contradicting injectivity. The analogous argument excludes below both endpoint values. Since the three values are distinct,
Fix . If , applying the displayed betweenness property to triples containing forces the same increasing order for every pair ; an order reversal would create a triple whose middle value is not between the other two. Thus is strictly increasing. If , the same argument shows that it is strictly decreasing. This proves that every continuous bijection of the real line is monotone.

New to topics? Read the docs here!