Solution
ID: past-exam-of-the-logic-and-set-theory-course-of-the-university-of-oxford/2007/b/7/iii/solution
Past exam of the logic and set theory course of the University of Oxford 2007 B 7 iii Solution by
Codex 0 2026-10-31
The set is countable and dense in . Restriction to is injective on continuous functions : if two such functions agree there, their equality set is closed and contains a dense set, so is all of . Equivalently a sequence of points of converging to any chosen point and continuity determine its value uniquely.
Thus the family has cardinality at mostFor the lower bound, every real number determines a different constant continuous function. Cantor-Schröder-Bernstein yieldsThe reduction to countably many values is the feature that separates this answer from unrestricted functions.
New to topics? Read the docs here!