Universal property of the quotient topology
From Maths
Revision as of 19:32, 7 April 2015 by Alec (Talk | contribs) (Created page with "==Statement== <math>\require{AMScd} \begin{CD} (X,\mathcal{J}) @>p>> (Y,\mathcal{Q}_p)\\ @VVV @VVfV\\ \searrow @>>f\circ p> (Z,\mathcal{K}) \end{CD}</math>...")
Statement
[math]\require{AMScd} \begin{CD} (X,\mathcal{J}) @>p>> (Y,\mathcal{Q}_p)\\ @VVV @VVfV\\ \searrow @>>f\circ p> (Z,\mathcal{K}) \end{CD}[/math]
The characteristic property of the quotient topology states that[1]:
[ilmath]f[/ilmath] is continuous if and only if [ilmath]f\circ p[/ilmath] is continuous
Proof that the quotient topology is the unique topology with this property
TODO: classic suppose there's another style question
See also
References
- ↑ Introduction to topological manifolds - John M Lee - Second edition
Topology
