The relation of path-homotopy is preserved under composition with continuous maps

From Maths
Jump to: navigation, search
Stub grade: A*
This page is a stub
This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:
Demote to A when fleshed out a bit, and denote to B once it is a "healthy" stub


Let [ilmath](X,\mathcal{ J })[/ilmath] and [ilmath](Y,\mathcal{ K })[/ilmath] be topological spaces; suppose that [ilmath]g_0,g_1:I\rightarrow X[/ilmath] (where [ilmath]I:=[0,1]\subset\mathbb{R}[/ilmath] - the unit interval) are paths and are path-homotopic and [ilmath]f:X\rightarrow Y[/ilmath] is a continuous map, then both [ilmath]f\circ g_0[/ilmath] and [ilmath]f\circ g_1[/ilmath] are path-homotopic in [ilmath]Y[/ilmath][1].


Grade: A
This page requires one or more proofs to be filled in, it is on a to-do list for being expanded with them.
Please note that this does not mean the content is unreliable. Unless there are any caveats mentioned below the statement comes from a reliable source. As always, Warnings and limitations will be clearly shown and possibly highlighted if very important (see template:Caution et al).

See also


  1. Introduction to Topological Manifolds - John M. Lee