Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Covering Maps and Liftings - Munkres Theorem 54.4

  1. Apr 20, 2015 #1
    I am reading Munkres book Topology.

    Currently, I am studying Section 54: The Fundamental Group of the Circle and need help with a minor point in the proof of Theorem 54.4

    Theorem 54.4 and its proof reads as follows:


    ?temp_hash=6dcc0996c2b1982c64b7700cce279a30.png



    In the proof we read:


    "If [itex]E[/itex] is path connected, then, given [itex]e_1 \in p^{-1}(b_0)[/itex], ... ... "


    ... ... BUT ... ... how do we know there exists an [itex]e_1[/itex] different from [itex]e_0[/itex] in [itex]p^{-1}(b_0)[/itex] ... maybe [itex]e_0[/itex] is the only element in [itex]p^{-1}(b_0)[/itex]?

    What, indeed, do we know about the nature of [itex]p^{-1}(b_0)[/itex]?

    Hope someone can help ...

    Peter
     

    Attached Files:

  2. jcsd
  3. Apr 21, 2015 #2

    mathwonk

    User Avatar
    Science Advisor
    Homework Helper

    he is trying to prove surjectivity, i.e. that every element of p^(-1)(b0) occurs as a lift. so he starts by taking any point in p^(-1)(b0) and produces a lift that gives it. I.e. his statement is: "IF e1 is a point of p^(-01)(b0), then e1 occurs as a lift." He is not assuming any such e1 exists that is different from e0. Indeed if none did exist, surjectivity would be trivial, since the lift of the identity element of the fundamental group would give the unique point e0. Note his proof works also when e1 = e0.
     
  4. Apr 21, 2015 #3
    Thanks for the reply mathwonk ... Most helpful

    Peter
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Covering Maps and Liftings - Munkres Theorem 54.4
  1. Conformal mapping (Replies: 5)

Loading...