Problem 1.8 (Angle function)

By identifying 2 with , we can think of the unit circle 𝕊 1 as a subset of the complex plane. An angle function on a subset U 𝕊 1 is a continuous function 𝜃 : U such that e i𝜃 ( z ) = z for all z U . Show that there exists an angle function 𝜃 on an open subset U 𝕊 1 if and only if U 𝕊 1 . For any such angle function, show that ( U , 𝜃 ) is a smooth coordinate chart for 𝕊 1 with its standard smooth structure. (Used on pp . 37 , 152 , 176 .)