The difference map is continuous, and is its preimage of the open set . Thus is open in the product.
The class of is . A punctured plane is path-connected: two points can be joined by a polygonal path avoiding the deleted point. Consequently every class is connected.
The projection is onto, since for every . It is continuous as a restricted coordinate projection. If is open in , it is open in the product because itself is open. For a point , the product-topology basis gives open sets with . Then . Hence is open.
The map is constant exactly on the equivalence classes, so it induces a bijection . It is continuous by the defining property of the quotient topology. It is also open: for quotient-open , is open. Thus
The plane is connected, and the classes are connected, so part (b) now yields is connected.

Articles by others on the same topic (0)

There are currently no matching articles.