The problem
Let q:[0,1]→[0,1]/(0∼1) and ϕ:[0,1]→S1, t↦e2πit.
(a) Show ϕ induces a continuous bijection ϕˉ:[0,1]/∼→S1. (b) Show ϕˉ maps open sets to open sets near the glued point by checking the image of q([0,ε)∪(1−ε,1]). (c) Conclude ϕˉ is a homeomorphism.
Why is ϕˉ well defined and continuous?