starting with paths and the fundamental group I have two problems, I´m a little complicated with the problem , I know that it´s easy but I need just a little help. Are two problems
i) Suppose that the identity map $
i:X \to X
$ is homotopic to a constant path, and the space Y is path connected, then the set of homotopy classes of maps of X into Y has a single element.
ii) Let $
p:E \to B
$ be a open covering , B connected. Show that if for some $ b_0 $ we have $
\left| {p^{ - 1} \left( b_0 \right)} \right| = k\,\,\,
$
 then for every b we have $
\left| {p^{ - 1} \left( b \right)} \right| = k
$
My try:
i) Im not sure if this is ok, but i "proved" that any path $
f:X \to Y
$ is homotopic to a constant map, and this implies that Y is simply connected. But i did not used the fact that Y is path connected, I think that something that I did, is wrong.
Let f be a path from X to Y. Since the identity in X is nulhomotopic, then there exist a homotopy $
F:I\times X \to X
$ such that:
$
\eqalign{
  & F\left( {0,x} \right) = i\left( x \right) = x  \cr 
  & F\left( {1,x} \right) = k_0  \in X \cr} 
$
Then the homotopy $
H = f \circ F:I\times X \to \,Y
$ "deforms f to a point "  since  $
\eqalign{
  & H\left( {0,x} \right) = f\left( x \right)  \cr 
  & H\left( {1,x} \right) = f\left( {k_0 } \right) \in Y \cr} 
$
For ii) I suppose that the set of elements such that its preimage is "k" (for every k ) elements must be open, but I´m not sure if this is true, if this is not true, I have no idea , How to do the problem.
Help please Dx
 A: For (i) you've done a lot of the work, but some care is needed. You have indeed shown that any $f\colon X \to Y$ is homotopic to a constant map, but if $Y$ is not path connected then there may be different constant maps from $X$ to $Y$ that are not homotopic. As a silly example, consider the space of maps $\{x\} \to \{y_1, y_2\}$, where these finite sets have the discrete topology.
So, picking up from where you leave off and using that homotopy is an equivalence relation, suppose we have constant maps $f, g\colon X \to Y$. As $Y$ is path connected, there is a path $\gamma$ from $g(k_0)$ to $h(k_0)$. Use this to construct a homotopy between $f$ and $g$ (At this stage, $X$ does not play a significant role).
I would also avoid thinking of these maps $X \to Y$ as paths. A path in $Y$ is a map $S^1 \to Y$, and $S^1$ is not nullhomotopic. So you certainly can't conclude that $Y$ is simply connected, and indeed that need not be the case.
For (ii), I think you have the right idea; you just need to make an argument. Take an open neighborhood $U$ of $b$ such that $p^{-1}(U)$ is a disjoint union of $\{V_i\}_{i \in I}$, each $V_i$ mapping homeomorphically onto $U$. If $b'$ is another element of $U$, then define a map $\Phi\colon p^{-1}(b) \to p^{-1}(b')$ as follows. If $e \in p^{-1}(b)$, then $e$ is an element of $V_i$ for some (unique) $i \in I$. Show that there is a unique element $e'$ of $V_i$ such that $p(e') = b'$. Set $\Phi(e) = e'$, and show that this is a bijection.
It follows that if $p^{-1}(b)$ has $k$ elements, then so does $p^{-1}(b')$ for $b'$ in an open neighborhood around $b$. You can say something similar if $p^{-1}(b)$ does not have $k$ elements. Now use connectedness.
Let me know if I should say more!
