# Path lifting theorem

http://www.maths.manchester.ac.uk/~jelena/teaching/AlgebraicTopology/PathLifting.pdf

I'm trying to generalize this theorem. But, was wondering in the proof given here and similarly in Hatchers. Can you replace the $S^{1}$ with a general space X. As it seems to not be that important in the proof. So if you choose the subsets of a general $X$ can't you make the deduction?

So is $S^{1}$ really that important for the proof? But, can't see how this generalizes to a general cover of $X$, covering it with $\tilde{X}$.

Let $p: E\to X$ be a covering map; let $p(e_0) = x_0$. Let $f: Y\to X$ be a continuous map with $f(y_0) = x_0$. The map $f$ can be lifted to a map $\tilde f: Y \to E$ such that $\tilde f(y_0) = e_0$ if and only if $$f_\ast (\pi_1(Y,y_0)) \subset p_\ast(\pi_1(E,e_0))$$ Furthermore, if such a lifting exists, it is unique.
Sketch of Proof: The "only if" direction follows immediately from $$f_\ast(\pi_1(Y,y_0)) = (p_\ast\circ \tilde f_\ast)(\pi_1(Y,y_0)) \subset p_\ast(\pi_1(E,e_0))$$ For the other direction, we really don't have much of a choice in the definition of $\tilde f$: Given $y\in Y$, choose a path $\gamma: [0,1]\to Y$ from $y_0$ to $y$. Then $f\circ \gamma$ is a path from $x_0$ to $f(y)$ and we want $$f\circ \gamma = p\circ (\tilde f\circ \gamma)$$ So $\tilde f\circ \gamma$ must necessarily be a lifting of $f\circ \gamma$, starting at $e_0$.
In particular, we must have $$\tilde f(y) = \tilde f(\gamma(1)) = \text{endpoint of the lifting of f\circ \gamma}$$ Now local path-connectedness is used to show that this map is in fact continuous and the condition on the image of the fundamental group is used to prove that $\tilde f$ is well-defined.