Characteristic property of the quotient topology/Statement

From Maths
< Characteristic property of the quotient topology
Revision as of 22:16, 9 October 2016 by Alec (Talk | contribs) (Alec moved page Universal property of the quotient topology/Statement to Characteristic property of the quotient topology/Statement: Moving around to be consistent)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Statement

[ilmath]\xymatrix{ X \ar[d]_{q} \ar[dr]^{f\circ q} & \\ Y \ar[r]_f & Z }[/ilmath]
In this commutative diagram
[ilmath]f[/ilmath] is continuous
[ilmath]\iff[/ilmath]
[ilmath]f\circ q[/ilmath] is continuous
Let [ilmath](X,\mathcal{ J })[/ilmath] and [ilmath](Y,\mathcal{ K })[/ilmath] be topological spaces and let [ilmath]q:X\rightarrow Y[/ilmath] be a quotient map. Then[1]:
  • For any topological space, [ilmath](Z,\mathcal{ H })[/ilmath] a map, [ilmath]f:Y\rightarrow Z[/ilmath] is continuous if and only if the composite map, [ilmath]f\circ q[/ilmath], is continuous

Notes

References

  1. Introduction to Topological Manifolds - John M. Lee