Solution

ID: past-exam-of-the-topology-course-of-the-university-of-oxford/2015/2/b/ii/solution

If is continuous, then so is , as a composition of continuous functions. Conversely, suppose is continuous. For an open subset ,
is open in . The quotient topology criterion therefore says is open in . This proves continuity of .
This is the universal property of the quotient topology.

New to topics? Read the docs here!