Solution

ID: past-exam-of-the-options-ii-course-of-the-university-of-oxford/2012/e/e4/a/iii/solution

If is continuous, so is the composition . Conversely, assume the composition is continuous. For every open set ,
is open in . The quotient definition then says that is open in . Hence is continuous and
This is the universal property of the quotient topology.

New to topics? Read the docs here!