4
$\begingroup$

I'm having trouble understanding this question.

We have a path $h$ in $X$ from $x_0$ to $x_1$ and $\bar{h}$ its inverse path. Then a map $\beta_h:\pi_1(X,x_1)\to \pi_1(X,x_0)$ defined by $\beta_h[f]=[h\circ f\circ \bar{h}]$, for every path $f$ in $X$.

The question is to show that $\beta_h$ depends only on the homotopy class of $h$.

Firstly, it says for every path $f$ in $X$, but surely $f$ has to be a loop or you can't form $[h\circ f\circ \bar{h}]$?

And also, I don't understand why it depends on the homotopy class of $h$, when $[h\circ f\circ \bar{h}]$ is the path going from $x_0$ to $x_1$, around $f$, then back to $x_0$, why does the homotopy class of $h$ matter? In general I don't think I fully understand what this map $\beta_h$ is and would like someone to help me out. Thanks

  • 0
    ahh, that explains my confusion. Thanks!2012-05-02

1 Answers 1

2

This is effectively an extended comment.

The question is for every path $h$, not $f$. As $[f] \in \pi_1(X, x_1)$, $f$ is a loop in $X$ based at $x_1$, not a path from $x_0$ to $x_1$.

Instead of writing $h\circ f\circ\bar{h}$ you should write $h\cdot f\cdot\bar{h}$ because you are not composing the maps $h$, $f$, and $\bar{h}$, which is what the symbol $\circ$ is usually reserved for. Also, when using composition, we work right to left (i.e. $f\circ g\circ h$ means apply $h$, then apply $g$, then apply $f$), but with concatenation of paths we work left to right (i.e. $f\cdot g\cdot h$ means travel along the path $f$, then the path $g$, then the path $h$).

As Arturo pointed out, you need to show that if $h$ and $k$ are homotopic paths from $x_0$ to $x_1$, then $h\cdot f\cdot\bar{h}$ and $k\cdot f\cdot\bar{k}$ are homotopic loops based at $x_0$.