For the surjection to the set of equivalence classes, define a subset of the quotient to be open exactly when is open in . Inverse images preserve the empty and full sets, arbitrary unions and finite intersections. Applying the topology axioms in proves this is a topology on the quotient, and it makes continuous.
The map need not be open. On , identify zero with one and leave every other point in its own class. The set is open, but its saturation is
which is not open in . Thus is not open in the quotient topology. Continuity of a quotient map does not imply openness.

Articles by others on the same topic (0)

There are currently no matching articles.