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

Homework Help: Differential Topology: 1-dimensional manifold

  1. Feb 5, 2010 #1
    1. The problem statement, all variables and given/known data
    Given S1={(x,y) in R2: x2+y2=1}. Show that S1 is a 1-dimensional manifold.


    2. Relevant equations



    3. The attempt at a solution
    Let f1:(-1,1)->S1 s.t. f1(x)=(x,(1-x2)1/2).

    This mapping is a diffeomorphism from (-1,1) onto the top half of the circle S1.
    I was trying to write a prove that f1 is indeed a diffeomorphism, but I am having trouble showing the onto part.

    I argued that f1 is onto by defining the inverse map and showing that the inverse map is 1 to 1 and hence f1 is onto.
     
  2. jcsd
  3. Feb 5, 2010 #2
    To show that a map [tex]\phi: A \to B[/tex] is onto (surjective), you need only show that for every [tex]b\in B[/tex], there is [tex]a \in A[/tex] such that [tex]\phi(a) = b[/tex]. So, for each point [tex](x, y)[/tex] on the top half of [tex]S^1[/tex] (be careful about your definition of "top half"), just exhibit a point [tex]\xi \in (-1, 1)[/tex] with [tex]f_1(\xi) = (x, y)[/tex]. Your definition makes this easy.

    This is confused. Again take a map [tex]\phi: A \to B[/tex]; the existence of an inverse map [tex]\phi^{-1}: B \to A[/tex] presupposes that [tex]\phi[/tex] is bijective. Remember that a function is always defined over its entire domain; the existence of [tex]\phi^{-1}(b)[/tex] means that there is some [tex]a[/tex] such that [tex]\phi(a) = b[/tex].

    You should expect the harder part of this to be showing that [tex]f_1[/tex] and its inverse are smooth, not showing that [tex]f_1[/tex] is bijective.
     
  4. Feb 5, 2010 #3
    Ok, let [tex](x,y) \in S^1[/tex] choose [tex]\xi \in(-1,1)[/tex] s.t. [tex]f_1(\xi) = (x, y)[/tex]. This implies [tex]\xi =x[/tex].

    By the top half of the circle I am excluding the end points at -1 and 1.

    To show that [tex]f_1[/tex] is smooth I need to show that it has continuous partial derivatives of all orders. So I computed the Jacobian matrix of [tex]f_1[/tex] and observe that it is continuous in the domain [tex](-1,1)[/tex].

    What I dont know how to prove is why all the partial derivatives exists and are continuous? I observed that all I need to prove is that the function [tex]\sqrt{1-x^2}[/tex] is infinitely differentiable on [tex](-1,1)[/tex].
     
  5. Feb 5, 2010 #4
    The composition of smooth functions is smooth; that should simplify your job.
     
  6. Feb 5, 2010 #5
    So, suppose I decompose [tex]\phi (x)=\sqrt{1-x^2}[/tex] into two functions, namely, [tex]g(x)=1-x^2[/tex] which is definitely smooth everywhere and [tex]h(x)=\sqrt{x}[/tex] which is not smooth at the origin. But, I notice that it is difficult to decompose [tex]\phi (x)[/tex] into two smooth functions. Can I conclude that [tex]\phi (x)[/tex] is not smooth if it cannot be written as a decomposition of smooth functions.
     
  7. Feb 6, 2010 #6
    Look more closely; for your purposes, does it matter that the square root function is not smooth at the origin?
     
  8. Feb 6, 2010 #7
    I see what you mean. The range of [tex]1-x^2[/tex] is [tex](0,1)[/tex] on the domain [tex](-1,1)[/tex]. Thank you.
     
  9. Feb 7, 2010 #8
    Actually [tex](0, 1][/tex], but you got the idea.
     
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook