# Quotient mapping

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

A mapping of a topological space onto a topological space for which a set is open in if and only if its pre-image is open in . If one is given a mapping of a topological space onto a set , then there is on a strongest topology (that is, one containing the greatest number of open sets) among all the topologies relative to which is continuous. The topology consists of all sets such that is open in . This topology is the unique topology on such that is a quotient mapping. Therefore is called the quotient topology corresponding to the mapping and the given topology on .

The construction described above arises in studying decompositions of topological spaces and leads to an important operation — passing from a given topological space to a new one — a decomposition space. Suppose one is given a decomposition of a topological space , that is, a family of non-empty pairwise-disjoint subsets of that covers . Then a projection mapping is defined by the rule: if . The set is now endowed with the quotient topology corresponding to the topology on and the mapping , and is called a decomposition space of . Thus, up to a homeomorphism a circle can be represented as a decomposition space of a line segment, a sphere as a decomposition space of a disc, the Möbius band as a decomposition space of a rectangle, the projective plane as a decomposition space of a sphere, etc.

The following properties of quotient mappings, connected with considering diagrams, are important: Let be a continuous mapping with . Then there are a topological space , a quotient mapping and a continuous one-to-one mapping (that is, a contraction) such that . For one can take the decomposition space of into the complete pre-images of points under , and the role of is then played by the projection . Suppose one is given a continuous mapping and a quotient mapping , where the following condition is satisfied: If and , then also . Then the unique mapping such that turns out to be continuous. The restriction of a quotient mapping to a subspace need not be a quotient mapping — even if this subspace is both open and closed in the original space. The Cartesian product of a quotient mapping and the identity mapping need not be a quotient mapping, nor need the Cartesian square of a quotient mapping be such. The restriction of a quotient mapping to a complete pre-image does not have to be a quotient mapping. More precisely, if is a quotient mapping and if , , , then need not be a quotient mapping. This cannot occur if is open or closed in .

These facts show that one must treat quotient mappings with care and that from the point of view of category theory the class of quotient mappings is not as harmonious and convenient as that of the continuous mappings, perfect mappings and open mappings (cf. Continuous mapping; Perfect mapping; Open mapping). However, the consideration of decomposition spaces and the "diagram" properties of quotient mappings mentioned above assure the class of quotient mappings of a position as one of the most important classes of mappings in topology. This class contains all surjective, continuous, open or closed mappings (cf. Closed mapping). Quotient mappings play a vital role in the classification of spaces by the method of mappings. Thus, -spaces are characterized as quotient spaces (that is, images under quotient mappings) of locally compact Hausdorff spaces, and sequential spaces are precisely the quotient spaces of metric spaces.

The majority of topological properties are not preserved under quotient mappings. Thus, a quotient space of a metric space need not be a Hausdorff space, and a quotient space of a separable metric space need not have a countable base. Therefore the question of the behaviour of topological properties under quotient mappings usually arises under additional restrictions on the pre-images of points or on the image space. It is known, for example, that if a compactum is homeomorphic to a decomposition space of a separable metric space, then the compactum is metrizable. Under a quotient mapping of a separable metric space on a regular -space with the first axiom of countability, the image is metrizable. But there are topological invariants that are stable relative to any quotient mapping. These include, for example, sequentiality and an upper bound on tightness. In topological algebra quotient mappings that are at the same time algebra homeomorphisms often have much more structure than in general topology. Thus, an algebraic homomorphism of one topological group onto another that is a quotient mapping is necessarily an open mapping. Thanks to this, the range of topological properties preserved by quotient homomorphisms is rather broad (it includes, for example, metrizability).

#### References

 [1] A.V. Arkhangel'skii, V.I. Ponomarev, "Fundamentals of general topology: problems and exercises" , Reidel (1984) (Translated from Russian) [2] N. Bourbaki, "Elements of mathematics. General topology" , Addison-Wesley (1966) (Translated from French)