3
$\begingroup$

Suppose $ f : X \to Y$ and $g,h : Y \to Z$ are continuous, with $g \simeq h$. Prove that $ gf \simeq hf $.

My attempt:

Suppose $ L(x,t) $ gives a homotopy from $g$ to $h$, i.e. $ L(x,t) : Y \times I \to Z $, with $ L(x,0) = g(x)$ and $ L(x,1) = h(x) \ \forall x \in X$.

Then let $ H(x,t) : X \times I \to Z $ be defined by $ H(x,t) = L(f(x),t) $. Then $H$ is continuous, since it is the composition of continuous maps. $H(x,0) = L(f(x),0) = g(f(x)) $ and $ H(x,1) = L(f(x),1) = h(f(x)) $. This $H$ is the desired homotopy.

Is this correct?

Thanks!

  • 0
    Yes, it is. But, depending on which level you are, maybe you should write more explicitely $H$ as $H = L \circ (f\times \mathrm{id})$ in order to show that indeed it is a composition of continuous maps.2011-10-11
  • 0
    Is that the identity on $X$ or on $I$? I've never seen this notation before. Thanks2011-10-11
  • 0
    On $I$. It's the map $f\times \mathrm{id} : X \times I \longrightarrow Y\times I$ defined by $(f\times \mathrm{id})(x,t) = (f(x), t)$. If you haven't seen this notation before, maybe you should prove that, whenever you have continuous maps $f: X\longrightarrow Y$ and $g: A \longrightarrow B$, then the map $f\times g : X\times A \longrightarrow Y\times B$, defined by $(f\times g)(x, a) = (f(x), g(a))$, is also continuous.2011-10-11
  • 0
    Great, that makes sense. I'll prove that now, and adopt this notation for the future. Thanks a lot2011-10-11
  • 0
    I added a community wiki answer just saying this is correct (if you want to accept that, so this question does not appear as 'unanswered')2011-10-12

1 Answers 1