Characteristic property of the quotient topology

Stub grade: A

This page is a stub

This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.

AKA: the Characteristic property of the quotient topology which redirects here

Statement

$\xymatrix{ X \ar[d]_{q} \ar[dr]^{f\circ q} & \\ Y \ar[r]_f & Z }$
In this commutative diagram $f$ is continuous $\iff$ $f\circ q$ is continuous

Let $(X,\mathcal{ J })$ and $(Y,\mathcal{ K })$ be topological spaces and let $q:X\rightarrow Y$ be a quotient map. Then:

• For any topological space, $(Z,\mathcal{ H })$ a map, $f:Y\rightarrow Z$ is continuous if and only if the composite map, $f\circ q$, is continuous

Proof

(Unknown grade)

This page requires one or more proofs to be filled in, it is on a to-do list for being expanded with them.

Please note that this does not mean the content is unreliable. Unless there are any caveats mentioned below the statement comes from a reliable source. As always, Warnings and limitations will be clearly shown and possibly highlighted if very important (see template:Caution et al).