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

Question on differentiable manifolds and tangent spaces

  1. Nov 3, 2013 #1
    Hello,

    I notice that most books on differential geometry introduce the definition of differentiable manifold by describing what I would regard as a differentiable manifold of class C (i.e. a smooth manifold).

    Why so?
    Don't we simply need a class C1 differentiable manifold in order to have tangent spaces and do differential geometry?

    What do we need the partial derivatives of all orders, in particular of third, fourth, fifth order for?
    The Jacobian is made of only first-order partial derivatives after all.
     
    Last edited: Nov 3, 2013
  2. jcsd
  3. Nov 3, 2013 #2

    jgens

    User Avatar
    Gold Member

    There is a theorem that says every Ck where k ≥ 1 has a compatible smooth structure. There are also some theorems to the effect that if you are studying things like whether one manifold immerses into another, then the answer to this question is the same in the Ck setting and in the smooth setting. So assuming you only care about things like immersions and diffeomorphisms of manifolds, putting these two guys together says we lose no generality by restricting our attention to the smooth case. In some situations, particularly in analysis, you do need to pay attention to differentiability type so restricting to smooth manifolds is not always possible.

    Why you might want higher differentiability type depends on what exactly you are doing with your manifold. Anything dealing with Morse theory is going to require your manifold to be at least C2 and some results in that arena require still higher differentiability type.
     
  4. Nov 4, 2013 #3
    Thanks jgens,

    could you explain what do you mean in this context by "having compatible smooth structure" ?
    I am afraid I am not familiar with this concept.
     
  5. Nov 4, 2013 #4

    jgens

    User Avatar
    Gold Member

    Let (M,A) be a C1 manifold where A is the maximal atlas of C1 charts. If (M,B) is a smooth manifold, where B is a maximal atlas of smooth charts, then this smooth structure is compatible with the C1 structure if and only if the maximal C1 atlas generated by B is exactly A.
     
  6. Nov 4, 2013 #5

    lavinia

    User Avatar
    Science Advisor
    Gold Member

    Differential geometry studies the idea of curvature which in all cases that I have seen requires at least 2 derivatives. There may be generalizations of curvature that do not.

    Many problems in analysis require more than one derivative since partial differential equations can involve derivatives of any order.The assumption of smoothness removes the headache of worrying about the degree of differentiability of a coordinate transformation.
     
    Last edited: Nov 4, 2013
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook