Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2015/iii/paper-24/1/b/ii/solution
Past exam of the mathematics course of the University of Cambridge 2015 iii Paper 24 1 b ii Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-06
If two order automorphisms agree on , their values at any real are the same supremum of the common values at rational points below . This is the uniqueness argument for extension of an order automorphism from a dense subset; it does not require either automorphism to carry onto itself.
Their restrictions belong to , whose cardinality isThis gives the upper bound. The translations , one for each real , are distinct order automorphisms, giving the lower bound. Consequently
New to topics? Read the docs here!