3

The author first proved the following important theorem - "Unique Lifting Property of the Circle"enter image description here

Then, the author proved the following corollary.

enter image description here

My question is: if corollary 8.6's assumption underlined by a red line is wrong. When two lifts $\tilde{f_0},\tilde{f_1}$ have the same initial point, they agree at the point $0$ of $[0,1]$. Then they should be identically equal by Theorem 8.3!

Hamilton
  • 602

1 Answers1

5

I think there is no issue. Theorem 8.3 describes lifts of the same path, whereas Corollary 8.6 describes lifts of distinct paths.