Difference between revisions of "Universal property of the quotient topology"
From Maths
(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>...") |
m |
||
| Line 25: | Line 25: | ||
<references/> | <references/> | ||
| − | {{Theorem|Topology}} | + | {{Theorem Of|Topology}} |
Revision as of 07:26, 27 April 2015
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
