# The composition of end-point-preserving-homotopic paths with a continuous map yields end-point-preserving-homotopic paths

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:
Better title needed!

## Statement

Let [ilmath](X,\mathcal{ J })[/ilmath] and [ilmath](Y,\mathcal{ K })[/ilmath] be topological spaces, let [ilmath]\varphi:X\rightarrow Y[/ilmath] be a continuous map and let [ilmath]f_1,f_2:I\rightarrow X[/ilmath] be paths in [ilmath]X[/ilmath] such that:

then:

• [ilmath](\varphi\circ f_1)\simeq(\varphi\circ f_2)\ (\text{rel }\{0,1\})[/ilmath]

That is to say:

• The relation of paths being end-point-preseriving-homotopic is preserved under composition with continuous maps.

## Purpose

This is a precursor theorem to:

## Proof

We need to show that [ilmath]H':\ (\varphi\circ f_1)\simeq(\varphi\circ f_2)\ (\text{rel }\{0,1\})[/ilmath], we will do this by constructing a homotopy, [ilmath]H':I\times I\rightarrow Y[/ilmath], between them. We know that:

• [ilmath]H:f_1\simeq f_2\ (\text{rel }\{0,1\})[/ilmath], where [ilmath]H:I\times I\rightarrow X[/ilmath] is the homotopy between the paths [ilmath]f_1[/ilmath] and [ilmath]f_2[/ilmath].

Define: