Characteristic property of the quotient topology/Statement

From Maths
Jump to: navigation, search

Statement

In this commutative diagram
f is continuous

fq is continuous
Let (X,J) and (Y,K) be topological spaces and let q:XY be a quotient map. Then[1]:
  • For any topological space, (Z,H) a map, f:YZ is continuous if and only if the composite map, fq, is continuous

Notes

References

  1. Jump up Introduction to Topological Manifolds - John M. Lee