Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/ib/paper-4/2f/b/solution

If is continuous, then is continuous because the quotient map is continuous by definition.
Conversely, suppose is continuous. For every open set ,
is open in . The definition of the quotient topology then says that is open in . Hence
This is the universal property of the quotient topology.

New to topics? Read the docs here!