Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/ib/paper-2/4e/a/solution

The continuity condition at between metric spaces is
The function is continuous when this holds at every .
If is continuous and is an open set, take . Some -ball around lies in . Continuity gives a -ball around mapped into that ball and hence contained in . Thus is open, including the empty set, in the notation for the image and preimage of a function.
Conversely, suppose every open set has open preimage. For fixed and , the preimage of the open ball is open and contains , so contains some . This gives the displayed metric definition. Therefore .

New to topics? Read the docs here!