Continuous image of a path-connected space

ID: continuous-image-of-a-path-connected-space

If is continuous and is path-connected, then is path-connected. Choose preimages of any two image points and a continuous path between them in . Its composition with supplies the required path inside . The conclusion uses the subspace topology on the image, not an assumption that maps onto the whole codomain.

New to topics? Read the docs here!