The topology on a quotient set Y = X/∼ determined as the coarsest topology making the canonical projection q: X → Y continuous; a subset V ⊂ Y is declared open iff q^{-1}(V) is open in X.

Principle

Endow Y with the final/coinduced topology with respect to q so that continuity of maps from X that are constant on equivalence classes factors uniquely through Y.

Demonstration

Construct the circle S^1 as the quotient of the interval [0,1] by identifying 0 ∼ 1; a set in S^1 is open precisely when its preimage in [0,1] is open, giving the expected circular topology.

Misapplication

Assuming the quotient map is automatically open or closed; while some quotient maps are open/closed, that property must be checked and does not follow from the definition in general.

Consequence

Quotient spaces encode identifications efficiently: continuous maps out of the quotient correspond bijectively to continuous maps out of X that are constant on the equivalence classes; topological invariants must be evaluated after identification.

Reversal

Treating the set Y with a finer topology than the quotient topology (for example one that splits equivalence classes) undoes the identification and typically makes the projection discontinuous or non‑universal for factorization.

Boundary

The construction requires a surjection q: X → Y (or an equivalence relation on X); it does not prescribe how to choose identifications and excludes topologies on Y that do not make q continuous in the final sense.

Semantic Tension

Tension occurs between quotient and subspace constructions: subspace topology is an initial topology (with respect to inclusion), while quotient topology is final; confusing the two leads to incorrect statements about continuity and extension.

Synthesis

The quotient topology is the canonical way to equip a set of equivalence classes with a topology so that the projection from the original space is continuous and universal for factoring maps constant on classes: open sets upstairs determine opens downstairs via preimage.