A surjection q: X → Y is continuous. A student concludes that Y therefore has the quotient topology. What is wrong?
AContinuous surjections cannot be used to define a topology on Y
BContinuity only requires that preimages of open sets are open — many topologies on Y can make q continuous, and the quotient topology is specifically the finest (largest) such topology
CThe student is correct: any topology making q continuous is by definition the quotient topology
DThe quotient topology requires q to be injective as well as surjective
Continuity is a one-directional condition: U open implies q⁻¹(U) open. The quotient topology is defined by the biconditional: U is open if AND ONLY IF q⁻¹(U) is open. Many topologies on Y (including the indiscrete topology) make q continuous; the quotient topology is the finest one — it admits as many open sets as the map allows. Confusing 'a topology making q continuous' with 'the quotient topology' is the core error.
Question 2 Multiple Choice
If q: X → Y is a quotient map, what is the most efficient way to verify that a function f: Y → Z is continuous?
AShow that f maps closed sets to closed sets in Z
BShow that f is injective and the preimage of every open set is saturated
CShow that the composition f ∘ q: X → Z is continuous — the universal property of quotient maps lets you work upstairs in X
DShow that f preserves the equivalence relation used to construct Y
This is the universal property of quotient maps: f: Y → Z is continuous if and only if f ∘ q: X → Z is continuous. Since X is often a simpler, better-understood space, this lets you verify continuity of maps out of quotient spaces without working directly with the quotient topology — you lift the problem up to X where standard tools apply.
Question 3 True / False
The quotient topology on Y is the coarsest (fewest open sets) topology making q continuous.
TTrue
FFalse
Answer: False
The quotient topology is the FINEST topology making q continuous — it contains as many open sets as possible (every set whose preimage under q is open). A coarser topology would discard some of these open sets, losing topological information that q's structure allows. The indiscrete topology {∅, Y} is the coarsest making q continuous, but it contains almost no information about the space.
Question 4 True / False
When a torus is constructed as a quotient of the unit square [0,1]², the topology on the torus is completely determined by which subsets of the square are open — no embedding in ℝ³ is needed.
TTrue
FFalse
Answer: True
This is the power of the quotient construction. The quotient map q sends each point of the square to its equivalence class under the edge identifications. The quotient topology on the torus declares U open iff q⁻¹(U) is open in [0,1]². This gives a rigorous, intrinsic definition of the torus's topology without any reference to geometry or embedding in three-dimensional space.
Question 5 Short Answer
Explain in your own words why the biconditional in the definition of a quotient map — 'U is open if and only if q⁻¹(U) is open' — is stronger than mere continuity, and why this matters for the resulting topology on Y.
Think about your answer, then reveal below.
Model answer: Continuity is one direction: q continuous means q⁻¹(U) open whenever U is open. The quotient map adds the converse: if q⁻¹(U) is open, then U must be open. This biconditional means the topology of Y is entirely determined by q — Y has exactly the open sets that q 'lets through,' making it the finest possible topology consistent with q. A weaker topology would discard topological information; a stronger one would require q to be an open map, which quotient maps need not be.
The biconditional ensures the quotient topology captures the full topological content of the identification. Any coarser topology would declare some set U closed even though q⁻¹(U) is open, destroying information about the space. The finest topology condition is what makes quotient spaces well-defined and gives them the universal property: maps out of Y are continuous iff their composition with q is continuous.