Solution

ID: past-exam-of-the-logic-and-set-theory-course-of-the-university-of-oxford/2007/b/7/iii/solution

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 most
For the lower bound, every real number determines a different constant continuous function. Cantor-Schröder-Bernstein yields
The reduction to countably many values is the feature that separates this answer from unrestricted functions.

New to topics? Read the docs here!