In

equivalence class
In mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in ...

es (that is, it is defined by $q(x)\; :=;\; href="/html/ALL/s/.html"\; ;"title="">$

topology
In mathematics, topology (from the Greek language, Greek words , and ) is concerned with the properties of a mathematical object, geometric object that are preserved under Continuous function, continuous Deformation theory, deformations, such ...

and related areas of mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...

, the quotient space of a topological space
In mathematics, a topological space is, roughly speaking, a Geometry, geometrical space in which Closeness (mathematics), closeness is defined but cannot necessarily be measured by a numeric Distance (mathematics), distance. More specifically, a to ...

under a given equivalence relation
In mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented i ...

is a new topological space constructed by endowing the quotient set
In mathematics, when the elements of some Set (mathematics), set S have a notion of equivalence (formalized as an equivalence relation), then one may naturally split the set S into equivalence classes. These equivalence classes are constructed ...

of the original topological space with the quotient topology, that is, with the finest topology that makes continuous the canonical projection map (the function that maps points to their equivalence class
In mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in ...

es). In other words, a subset of a quotient space is open
Open or OPEN may refer to:
Music
* Open (band)
Open is a band.
Background
Drummer Pete Neville has been involved in the Sydney/Australian music scene for a number of years. He has recently completed a Masters in screen music at the Australia ...

if and only if its preimage
In mathematics, the image of a Function (mathematics), function is the set of all output values it may produce.
More generally, evaluating a given function f at each Element (mathematics), element of a given subset A of its Domain of a functio ...

under the canonical projection map is open in the original topological space.
Intuitively speaking, the points of each equivalence class are or "glued together" for forming a new topological space. For example, identifying the points of a sphere
A sphere () is a Geometry, geometrical object that is a solid geometry, three-dimensional analogue to a two-dimensional circle. A sphere is the Locus (mathematics), set of points that are all at the same distance from a given point in three ...

that belong to the same diameter
In geometry, a diameter of a circle is any straight line segment that passes through the center of the circle and whose endpoints lie on the circle. It can also be defined as the longest Chord (geometry), chord of the circle. Both definitions a ...

produces the projective plane
In mathematics, a projective plane is a geometric structure that extends the concept of a plane (geometry), plane. In the ordinary Euclidean plane, two lines typically intersect in a single point, but there are some pairs of lines (namely, paral ...

as a quotient space.
Definition

Let $\backslash left(X,\; \backslash tau\_X\backslash right)$ be atopological space
In mathematics, a topological space is, roughly speaking, a Geometry, geometrical space in which Closeness (mathematics), closeness is defined but cannot necessarily be measured by a numeric Distance (mathematics), distance. More specifically, a to ...

, and let $\backslash ,\backslash sim\backslash ,$ be an equivalence relation
In mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented i ...

on $X.$ The quotient set
In mathematics, when the elements of some Set (mathematics), set S have a notion of equivalence (formalized as an equivalence relation), then one may naturally split the set S into equivalence classes. These equivalence classes are constructed ...

, $Y\; =\; X\; /\; \backslash sim\backslash ,$ is the set of equivalence class
In mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in ...

es of elements of $X.$ The equivalence class of $x\; \backslash in\; X$ is denoted $;\; href="/html/ALL/s/.html"\; ;"title="">$
The , , associated with $\backslash ,\backslash sim\backslash ,$ refers to the following surjective
In mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in m ...

map:
$$\backslash begin\; q\; :\backslash ;\&\&\; X\; \&\&~\backslash to\; \&\; ~X/\; \backslash \backslash ;\; href="/html/ALL/s/.3ex.html"\; ;"title=".3ex">.3ex$$
For any subset $S\; \backslash subseteq\; X\; /$ (so in particular, $s\; \backslash subseteq\; X$ for every $s\; \backslash in\; S$) the following holds:
$$q^(S)=\backslash \; =\; \backslash bigcup\_\; s.$$
The quotient space under $\backslash ,\backslash sim\backslash ,$ is the quotient set $Y$ equipped with the quotient topology, which is the topology whose open set
In mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in ...

s are the subset
In mathematics, Set (mathematics), set ''A'' is a subset of a set ''B'' if all Element (mathematics), elements of ''A'' are also elements of ''B''; ''B'' is then a superset of ''A''. It is possible for ''A'' and ''B'' to be equal; if they are ...

s $U\; \backslash subseteq\; Y\; =\; X\; /$ such that $\backslash \; =\; \backslash cup\_\; u$ is an open subset
In mathematics, open sets are a generalization of open intervals in the real line.
In a metric space (a Set (mathematics), set along with a metric (mathematics), distance defined between any two points), open sets are the sets that, with every ...

of $\backslash left(X,\; \backslash tau\_X\backslash right);$ that is, $U\; \backslash subseteq\; X\; /$ is open in the quotient topology on $X\; /$ if and only if $\backslash \; \backslash in\; \backslash tau\_X.$
Thus,
$$\backslash tau\_Y\; =\; \backslash left\backslash .$$
Equivalently, the open sets of the quotient topology are the subsets of $Y$ that have an open preimage
In mathematics, the image of a Function (mathematics), function is the set of all output values it may produce.
More generally, evaluating a given function f at each Element (mathematics), element of a given subset A of its Domain of a functio ...

under the canonical map $q\; :\; X\; \backslash to\; X\; /$ (which is defined by $q(x)\; =;\; href="/html/ALL/s/.html"\; ;"title="">$Quotient map

A map $f\; :\; X\; \backslash to\; Y$ is a quotient map (sometimes called an identification map) if it issurjective
In mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in m ...

, and a subset $V\; \backslash subseteq\; Y$ is open if and only if $f^(V)$ is open.
Equivalently, a surjection $f\; :\; X\; \backslash to\; Y$ is a quotient map if and only if for every subset $D\; \backslash subseteq\; Y,$ $D$ is closed in $Y$ if and only if $f^(D)$ is closed in $X.$
Final topology definition
Alternatively, $f$ is a quotient map if it is onto and $Y$ is equipped with the final topology with respect to $f.$
Saturated sets and quotient maps
A subset $S$ of $X$ is called saturated
Saturation, saturated, unsaturation or unsaturated may refer to:
Chemistry
* Saturation, a property of organic compounds referring to carbon-carbon bonds
**Saturated and unsaturated compounds
In chemistry, a saturated compound is a chemical co ...

(with respect to $f$) if it is of the form $S\; =\; f^(T)$ for some set $T,$ which is true if and only if $f^(f(S))\; =\; S.$
The assignment $T\; \backslash mapsto\; f^(T)$ establishes a one-to-one correspondence
In mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in ...

(whose inverse is $S\; \backslash mapsto\; f(S)$) between subsets $T$ of $Y\; =\; f(X)$ and saturated subsets of $X.$
With this terminology, a surjection $f\; :\; X\; \backslash to\; Y$ is a quotient map if and only if for every subset $S$ of $X,$ $S$ is open in $X$ if and only if $f(S)$ is open in $Y.$
In particular, open subsets of $X$ that are saturated have no impact on whether or not the function $f$ is a quotient map; non-saturated subsets are irrelevant to the definition of "quotient map" just as they are irrelevant to the open-set definition of continuity (because a function $f\; :\; X\; \backslash to\; Y$ is continuous if and only if for every subset $S$ of $X,$ $f(S)$ being open in $f(X)$ implies $S$ is open in $X$).
Indeed, if $\backslash tau$ is a topology
In mathematics, topology (from the Greek language, Greek words , and ) is concerned with the properties of a mathematical object, geometric object that are preserved under Continuous function, continuous Deformation theory, deformations, such ...

on $X$ and $f\; :\; X\; \backslash to\; Y$ is any map then set $\backslash tau\_f$ of all $U\; \backslash in\; \backslash tau$ that are saturated subsets of $X$ forms a topology on $X.$ If $Y$ is also a topological space then $f\; :\; (X,\; \backslash tau)\; \backslash to\; Y$ is a quotient map (respectively, continuous) if and only if the same is true of $f\; :\; \backslash left(X,\; \backslash tau\_f\backslash right)\; \backslash to\; Y.$
Every quotient map is continuous but not every continuous map is a quotient map. A continuous surjection $f\; :\; X\; \backslash to\; Y$ to be a quotient map if and only if $X$ has some open subset $S$ such that $f(S)$ is open in $Y$ (this statement remains true if both instances of the word "open" are replaced with "closed").
Quotient space of fibers characterization
Given an equivalence relation
In mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented i ...

$\backslash ,\backslash sim\backslash ,$ on $X,$ denote the equivalence class
In mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in ...

of a point $x\; \backslash in\; X$ by $;\; href="/html/ALL/s/.html"\; ;"title="">$ and let $X\; /\; :=\; \backslash $ denote the set of equivalence classes. The map $q\; :\; X\; \backslash to\; X\; /$ that sends points to their surjective map
In mathematics, a surjective function (also known as surjection, or onto function) is a Function (mathematics), function that every element can be mapped from element so that . In other words, every element of the function's codomain is the Im ...

and for all $a,\; b\; \backslash in\; X,$ $a\; \backslash ,\backslash sim\backslash ,\; b$ if and only if $q(a)\; =\; q(b);$ consequently, $q(x)\; =\; q^(q(x))$ for all $x\; \backslash in\; X.$ In particular, this shows that the set of equivalence class $X\; /$ is exactly the set of fibers of the canonical map $q.$
If $X$ is a topological space then giving $X\; /$ the quotient topology induced by $q$ will make it into a quotient space and make $q\; :\; X\; \backslash to\; X\; /$ into a quotient map.
Up to Two Mathematical object, mathematical objects ''a'' and ''b'' are called equal up to an equivalence relation ''R''
* if ''a'' and ''b'' are related by ''R'', that is,
* if ''aRb'' holds, that is,
* if the equivalence classes of ''a'' and ''b'' wi ...

a homeomorphism
In the mathematics, mathematical field of topology, a homeomorphism, topological isomorphism, or bicontinuous function is a bijective and Continuous function#Continuous functions between topological spaces, continuous function between topologic ...

, this construction is representative of all quotient spaces; the precise meaning of this is now explained.
Let $f\; :\; X\; \backslash to\; Y$ be a surjection between topological spaces (not yet assumed to be continuous or a quotient map) and declare for all $a,\; b\; \backslash in\; X$ that $a\; \backslash ,\backslash sim\backslash ,\; b$ if and only if $f(a)\; =\; f(b).$ Then $\backslash ,\backslash sim\backslash ,$ is an equivalence relation on $X$ such that for every $x\; \backslash in\; X,$ $;\; href="/html/ALL/s/.html"\; ;"title="">$ which implies that $f(;\; href="/html/ALL/s/.html"\; ;"title="">$ (defined by $f(;\; href="/html/ALL/s/.html"\; ;"title="">$) is a singleton set
In mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in ...

; denote the unique element in $f(;\; href="/html/ALL/s/.html"\; ;"title="">$ by $\backslash hat(;\; href="/html/ALL/s/.html"\; ;"title="">$ (so by definition, $f(;\; href="/html/ALL/s/.html"\; ;"title="">$).
The assignment $;\; href="/html/ALL/s/.html"\; ;"title="">$ defines a bijection
In mathematics, a bijection, also known as a bijective function, one-to-one correspondence, or invertible function, is a function (mathematics), function between the elements of two set (mathematics), sets, where each element of one set is pair ...

$\backslash hat\; :\; X\; /\; \backslash ;\backslash ;\backslash to\backslash ;\; Y$ between the fibers of $f$ and points in $Y.$
Define the map $q\; :\; X\; \backslash to\; X\; /$ as above (by $q(x)\; :=;\; href="/html/ALL/s/.html"\; ;"title="">$homeomorphism
In the mathematics, mathematical field of topology, a homeomorphism, topological isomorphism, or bicontinuous function is a bijective and Continuous function#Continuous functions between topological spaces, continuous function between topologic ...

(or equivalently, if and only if both $\backslash hat$ and its inverse are continuous).
Related definitions

A is a surjective map $f\; :\; X\; \backslash to\; Y$ with the property that for every subset $T\; \backslash subseteq\; Y,$ the restriction $f\backslash big\backslash vert\_\; ~:~\; f^(T)\; \backslash to\; T$ is also a quotient map. There exist quotient maps that are not hereditarily quotient.Examples

* Gluing. Topologists talk of gluing points together. If $X$ is a topological space, gluing the points $x$ and $y$ in $X$ means considering the quotient space obtained from the equivalence relation $a\; \backslash sim\; b$ if and only if $a\; =\; b$ or $a\; =\; x,\; b\; =\; y$ (or $a\; =\; y,\; b\; =\; x$). * Consider the unit square $I^2\; =;\; href="/html/ALL/s/,\_1.html"\; ;"title=",\; 1">,\; 1$homeomorphic
In the mathematics, mathematical field of topology, a homeomorphism, topological isomorphism, or bicontinuous function is a bijective and Continuous function#Continuous functions between topological spaces, continuous function between topologic ...

to the sphere
A sphere () is a Geometry, geometrical object that is a solid geometry, three-dimensional analogue to a two-dimensional circle. A sphere is the Locus (mathematics), set of points that are all at the same distance from a given point in three ...

$S^2.$
* Adjunction space. More generally, suppose $X$ is a space and $A$ is a subspace of $X.$ One can identify all points in $A$ to a single equivalence class and leave points outside of $A$ equivalent only to themselves. The resulting quotient space is denoted $X/A.$ The 2-sphere is then homeomorphic to a closed disc with its boundary identified to a single point: $D^2\; /\; \backslash partial.$
* Consider the set $\backslash R$ of real number
In mathematics, a real number is a number that can be used to measurement, measure a ''continuous'' one-dimensional quantity such as a distance, time, duration or temperature. Here, ''continuous'' means that values can have arbitrarily small var ...

s with the ordinary topology, and write $x\; \backslash sim\; y$ if and only if
In logic and related fields such as mathematics and philosophy, "if and only if" (shortened as "iff") is a biconditional logical connective between statements, where either both statements are true or both are false.
The connective is bicondi ...

$x\; -\; y$ is an integer
An integer is the number zero (), a positive natural number (, , , etc.) or a negative integer with a minus sign (−1, −2, −3, etc.). The negative numbers are the additive inverses of the corresponding positive numbers. In the language of ...

. Then the quotient space $X\; /\; \backslash sim$ is homeomorphic
In the mathematics, mathematical field of topology, a homeomorphism, topological isomorphism, or bicontinuous function is a bijective and Continuous function#Continuous functions between topological spaces, continuous function between topologic ...

to the unit circle
In mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented i ...

$S^1$ via the homeomorphism which sends the equivalence class of $x$ to $\backslash exp(2\; \backslash pi\; i\; x).$
* A generalization of the previous example is the following: Suppose a topological group
In mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in ...

$G$ acts
The Acts of the Apostles ( grc-koi, Πράξεις Ἀποστόλων, ''Práxeis Apostólōn''; la, Actūs Apostolōrum) is the fifth book of the New Testament; it tells of the founding of the Christian Church and the spread of The gospel, ...

continuously on a space $X.$ One can form an equivalence relation on $X$ by saying points are equivalent if and only if they lie in the same orbit
In celestial mechanics, an orbit is the curved trajectory of an physical body, object such as the trajectory of a planet around a star, or of a natural satellite around a planet, or of an satellite, artificial satellite around an object or pos ...

. The quotient space under this relation is called the orbit space, denoted $X\; /\; G.$ In the previous example $G\; =\; \backslash Z$ acts on $\backslash R$ by translation. The orbit space $\backslash R\; /\; \backslash Z$ is homeomorphic to $S^1.$
**''Note'': The notation $\backslash R\; /\; \backslash Z$ is somewhat ambiguous. If $\backslash Z$ is understood to be a group acting on $\backslash R$ via addition, then the quotient
In arithmetic, a quotient (from lat, quotiens 'how many times', pronounced ) is a quantity produced by the division (mathematics), division of two numbers. The quotient has widespread use throughout mathematics, and is commonly referred to a ...

is the circle. However, if $\backslash Z$ is thought of as a topological subspace of $\backslash R$ (that is identified as a single point) then the quotient $\backslash \; \backslash cup\; \backslash $ (which is identifiable with the set $\backslash \; \backslash cup\; (\backslash R\; \backslash setminus\; \backslash Z)$) is a countably infinite bouquet of circles joined at a single point $\backslash Z.$
* This next example shows that it is in general true that if $q\; :\; X\; \backslash to\; Y$ is a quotient map then every convergent sequence
As the positive integer n becomes larger and larger, the value n\cdot \sin\left(\tfrac1\right) becomes arbitrarily close to 1. We say that "the limit of the sequence n\cdot \sin\left(\tfrac1\right) equals 1."
In mathematics, the limit ...

(respectively, every convergent net
Net or net may refer to:
Mathematics and physics
* Net (mathematics), a filter-like topological generalization of a sequence
* Net, a linear system of divisors of dimension 2
* Net (polyhedron), an arrangement of polygons that can be folded up ...

) in $Y$ has a lift
Lift or LIFT may refer to:
Physical devices
* Elevator, or lift, a device used for raising and lowering people or goods
** Paternoster lift, a type of lift using a continuous chain of cars which do not stop
** Patient lift, or Hoyer lift, mobile ...

(by $q$) to a convergent sequence (or convergent net
In mathematics, more specifically in general topology and related branches, a net or Moore–Smith sequence is a generalization of the notion of a sequence. In essence, a sequence is a Function (mathematics), function whose domain is the natu ...

) in $X.$ Let $X\; =;\; href="/html/ALL/s/,\_1.html"\; ;"title=",\; 1">,\; 1$homeomorphism
In the mathematics, mathematical field of topology, a homeomorphism, topological isomorphism, or bicontinuous function is a bijective and Continuous function#Continuous functions between topological spaces, continuous function between topologic ...

. Let $I\; =\; \backslash N$ and let $a\_\; :=\; \backslash left(a\_i\backslash right)\_\; \backslash text\; b\_\; :=\; \backslash left(b\_i\backslash right)\_$ be any sequences (or more generally, any nets) valued in $(0,\; 1)$ such that $a\_\; \backslash to\; 0\; \backslash text\; b\_\; \backslash to\; 1$ in $X\; =;\; href="/html/ALL/s/,\_1.html"\; ;"title=",\; 1">,\; 1$ Then the sequence $$y\_1\; :=\; q\backslash left(a\_1\backslash right),\; y\_2\; :=\; q\backslash left(b\_1\backslash right),\; y\_3\; :=\; q\backslash left(a\_2\backslash right),\; y\_4\; :=\; q\backslash left(b\_2\backslash right),\; \backslash ldots$$ converges to $;\; href="/html/ALL/s/.html"\; ;"title="">$directed set
In mathematics, a directed set (or a directed preorder or a filtered set) is a nonempty Set (mathematics), set A together with a Reflexive relation, reflexive and Transitive relation, transitive binary relation \,\leq\, (that is, a preorder), with ...

, and making $I\; :=\; A\; \backslash times\; \backslash $ into a net by declaring that for any $(a,\; m),\; (b,\; n)\; \backslash in\; I,$ $(m,\; a)\; \backslash ;\; \backslash leq\; \backslash ;\; (n,\; b)$ holds if and only if both (1) $a\; \backslash leq\; b,$ and (2) if $a\; =\; b\; \backslash text\; m\; \backslash leq\; n;$ then the $A$-indexed net defined by letting $y\_$ equal $a\_i\; \backslash text\; m\; =\; 1$ and equal to $b\_i\; \backslash text\; m\; =\; 2$ has no lift (by $q$) to a convergent $A$-indexed net in $X\; =;\; href="/html/ALL/s/,\_1.html"\; ;"title=",\; 1">,\; 1$
Properties

Quotient maps $q\; :\; X\; \backslash to\; Y$ are characterized among surjective maps by the following property: if $Z$ is any topological space and $f\; :\; Y\; \backslash to\; Z$ is any function, then $f$ is continuous if and only if $f\; \backslash circ\; q$ is continuous. The quotient space $X\; /$ together with the quotient map $q\; :\; X\; \backslash to\; X\; /$ is characterized by the followinguniversal property
In mathematics, more specifically in category theory, a universal property is a property that characterizes up to an isomorphism the result of some constructions. Thus, universal properties can be used for defining some objects independently fro ...

: if $g\; :\; X\; \backslash to\; Z$ is a continuous map such that $a\; \backslash sim\; b$ implies $g(a)\; =\; g(b)$ for all $a,\; b\; \backslash in\; X,$ then there exists a unique continuous map $f\; :\; X\; /\; \backslash to\; Z$ such that $g\; =\; f\; \backslash circ\; q.$ In other words, the following diagram commutes:
One says that $g$ ''descends to the quotient'' for expressing this, that is that it factorizes through the quotient space. The continuous maps defined on $X\; /$ are, therefore, precisely those maps which arise from continuous maps defined on $X$ that respect the equivalence relation (in the sense that they send equivalent elements to the same image). This criterion is copiously used when studying quotient spaces.
Given a continuous surjection $q\; :\; X\; \backslash to\; Y$ it is useful to have criteria by which one can determine if $q$ is a quotient map. Two sufficient criteria are that $q$ be open
Open or OPEN may refer to:
Music
* Open (band)
Open is a band.
Background
Drummer Pete Neville has been involved in the Sydney/Australian music scene for a number of years. He has recently completed a Masters in screen music at the Australia ...

or closed. Note that these conditions are only sufficient, not necessary. It is easy to construct examples of quotient maps that are neither open nor closed. For topological groups, the quotient map is open.
Compatibility with other topological notions

Separation * In general, quotient spaces are ill-behaved with respect to separation axioms. The separation properties of $X$ need not be inherited by $X\; /\; \backslash sim,$ and $X\; /\; \backslash sim$ may have separation properties not shared by $X.$ * $X\; /\; \backslash sim$ is aT1 space
In topology and related branches of mathematics, a T1 space is a topological space in which, for every pair of distinct points, each has a neighbourhood (mathematics), neighborhood not containing the other point. An R0 space is one in which thi ...

if and only if every equivalence class of $\backslash ,\backslash sim\backslash ,$ is closed in $X.$
* If the quotient map is open
Open or OPEN may refer to:
Music
* Open (band)
Open is a band.
Background
Drummer Pete Neville has been involved in the Sydney/Australian music scene for a number of years. He has recently completed a Masters in screen music at the Australia ...

, then $X\; /\; \backslash sim$ is a Hausdorff space
In topology and related branches of mathematics, a Hausdorff space ( , ), separated space or T2 space is a topological space where, for any two distinct points, there exist neighbourhood (mathematics), neighbourhoods of each which are disjoint s ...

if and only if ~ is a closed subset of the product space
In topology and related areas of mathematics, a product space is the Cartesian product of a family of topological spaces equipped with a natural topology called the product topology. This topology differs from another, perhaps more natural-seemin ...

$X\; \backslash times\; X.$
Connectedness
* If a space is connected or path connected, then so are all its quotient spaces.
* A quotient space of a simply connected
In topology, a topological space is called simply connected (or 1-connected, or 1-simply connected) if it is path-connected and every Path (topology), path between two points can be continuously transformed (intuitively for embedded spaces, staying ...

or contractible
In mathematics, a topological space ''X'' is contractible if the identity function, identity map on ''X'' is null-homotopic, i.e. if it is homotopic to some constant map. Intuitively, a contractible space is one that can be continuously shrunk to ...

space need not share those properties.
Compactness
In mathematics, specifically general topology, compactness is a property that seeks to generalize the notion of a closed set, closed and bounded set, bounded subset of Euclidean space by making precise the idea of a space having no "punctures" or ...

* If a space is compact, then so are all its quotient spaces.
* A quotient space of a locally compact In topology and related branches of mathematics, a topological space is called locally compact if, roughly speaking, each small portion of the space looks like a small portion of a compact space. More precisely, it is a topological space in which ev ...

space need not be locally compact.
Dimension
In physics and mathematics, the dimension of a Space (mathematics), mathematical space (or object) is informally defined as the minimum number of coordinates needed to specify any Point (geometry), point within it. Thus, a Line (geometry), lin ...

* The topological dimension
In mathematics, the Lebesgue covering dimension or topological dimension of a topological space is one of several different ways of defining the dimension of the space in a
topological invariant, topologically invariant way.
Informal discussion
F ...

of a quotient space can be more (as well as less) than the dimension of the original space; space-filling curve
In mathematical analysis, a space-filling curve is a curve whose Range of a function, range contains the entire 2-dimensional unit square (or more generally an ''n''-dimensional unit hypercube). Because Giuseppe Peano (1858–1932) was the first t ...

s provide such examples.
See also

Topology * * * * * * * Algebra * * * *References

* * * * * * * * {{reflist, group=proof Theory of continuous functions General topology Group actions (mathematics) Space (topology) Topology