Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I have a question about Hatcher's proof that the fundamental group of a circle is Z. Specifically, halfway through, ( http://www.math.cornell.edu/~hatcher/AT/ATch1.pdf , page 30), he proves an important a lemma stated rather generally:

Given a map $Y\times I\rightarrow S^1$ (Y is any space, and I is an interval), there is a unique lifting to $Y\times I\rightarrow \mathbb{R}$ once we've specified an initial condition $Y\times \{0\}\rightarrow \mathbb{R}$.

In the proof of this, he breaks $Y\times I$ into smaller pieces $N\times \{y_0\}$, and keeps adjusting the size of the $N$. In the corresponding proofs in Munkres or Fulton, $Y$ is fixed as just another copy of $I$, and there is no need to modify the pieces we're looking at as the proof progresses.

My question: what is different in Hatcher's more general proof? Specifically, why does he keep modifying the $N$? My feeling is that this is because $Y$ could be disconnected or bad in some other sense. My question seems a little vague, but (a) if you look at Hatcher's proof, you'll see what I mean (near the bottom of p. 30), and (b) I'm hoping that maybe this situation, and the difficulties with it, are well known enough for someone to answer anyway.

share|improve this question
    
in the initial condition part should we be mapping into $\mathbb{R}$? –  Sean Tilson Dec 16 '10 at 14:08
    
Yes, we should. Thanks. –  Lost In Math Dec 19 '10 at 21:15

1 Answer 1

This steps seems to be unnecessary. In what follows, I'll assume you have p. 30 in front of you (since it's available freely online).

Start with the part where he has constructed neighborhood $N$ of $y_0 \in Y$ and a partition $0 = t_0 < \dots t_n = 1$ such that $F(N \times [t_i,t_{i+1}]) \subset U_i$ for each $i = 0, \dots, n-1$. The lift is constructed by defining $\widetilde{F}:N \times I \to \mathbb{R}$ to be $h_{i} \circ F$, where $h_{i}$ is the homeomorphism from the evenly covered neighborhood $U_i$ to the sheet $\widetilde{U_i}$ which contains $h_{i-1} \circ F(y_0,t_i)$. (The homeomorphism $h_0$ is determined by the given lift $\widetilde{F}$ at time $t=0$.)

The only question is whether this is well-defined. One might worry that $N \times \{t_i\}$ is mapped by the $(i-1)$-st lift into the sheet $\widetilde{U}_{i-1}$ but that the neighborhood $N$ needs to be modified so that the $i$-th lift glues to this. In other words, could it be that we need to replace $N$ with a smaller neighborhood $N'$ so that $h_{(i-1)} \circ F(N' \times \{t_i\}) \subset \widetilde{U}_{i-1} \cap \widetilde{U}_{i}$?

This is not the case because, by design, $F(N \times \{t_i\}) \subset U_{i-1} \cap U_i$. Therefore, the map above is well-defined. The lift is continuous by the glueing lemma for open sets.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.