The quotient space of a Topological Space and an Equivalence Relation ~ on is the set of Equivalence Classes of points in (under the Equivalence Relation ) together with the following topology given to subsets of : a subset of is called open Iff is open in .
This can be stated in terms of Maps as follows: if denotes the Map that sends each point to its Equivalence Class in , the topology on can be specified by prescribing that a subset of is open Iff is open.
In general, quotient spaces are not well behaved, and little is known about them. However, it is known that any compact metrizable space is a quotient of the Cantor Set, any compact connected -dimensional Manifold for is a quotient of any other, and a function out of a quotient space is continuous Iff the function is continuous.
Let be the closed -D Disk and its boundary, the -D sphere. Then (which is homeomorphic to ), provides an example of a quotient space. Here, is interpreted as the space obtained when the boundary of the -Disk is collapsed to a point, and is formally the ``quotient space by the equivalence relation generated by the relations that all points in are equivalent.''
See also Equivalence Relation, Topological Space
Munkres, J. R. Topology: A First Course. Englewood Cliffs, NJ: Prentice-Hall, 1975.