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

Submanifold definition

Tags:
  1. Jun 28, 2015 #1
    I am trying to learn differential geometry on my own, and I'm finally getting serious about learning the subject. I am using several books which I supplement with material I find on the internet. I have found some excellent lecture notes on differential geometry written by Dmitri Zaisev. I like his discussion of tangent vectors from several viewpoints. My question concerns a definition that I have found in those notes.

    The definition of a submanifold is given as:

    A subset S ⊂ ℝn is an m-dimensional submanifold of ℝn (m < n) of class Ck if ∀ p in S ∃ an open neighborhood Vp ⊂ ℝn, an open set Wp ⊂ ℝm, and a homeomorphism fp: Wp → Vp ∩ S which is Ck and regular in the sense that ∀ a ∈ Wp, the differential dafp: ℝm → ℝn is injective.

    I need help pulling this definition apart. In particular, I am perplexed as to the part the set Wp plays. If we need an open set in S, why isn't Vp ∩ S an open set in S? Why do we need fp to map from Wp to Vp ∩ S because it seems to me that they are both sets contained in S.
     
  2. jcsd
  3. Jun 29, 2015 #2
    Hi! I'm also interested in learning differential geometry on my own, but I think I'll wait till the end of finals to get serious about it. As far as I know, [itex]V_p \cap S [/itex] is an open set in S with the restricted topology inherited from [itex]\mathbb{R}^n [/itex]. I do not find clear the second question, but [itex] W_p[/itex] is not contained in S. S lives in [itex]\mathbb{R}^n [/itex] and [itex]W_p[/itex] lives in [itex]\mathbb{R}^m [/itex].

    One thing I am curious about: why not just definig the map to be a [itex] C^k[/itex] regular diffeomorphism from [itex] W_p[/itex] to [itex] S\cap V_p[/itex]? The condition over the differential of [itex]f_p [/itex] to be injective implies that the inverse of the map is also [itex] C^k[/itex] regular, so it is a [itex] C^k[/itex]-diffeomorphism (thanks to the inverse function theorem).
     
  4. Jun 29, 2015 #3


    Thanks for your reply. Good luck studying DG on your own.

    I see your point, but that confuses me more. What then is the function of Wp in this definition?
     
  5. Jun 29, 2015 #4
    If the point is to establish that S ⊂ ℝn is homeomorphic to ℝm, then why does f map from Wp to Vp ∩ S when usually homeomorphisms φ are defined to map from the manifold to an open set in ℝl (for some l as the case may be)? I realize that f-1 is a homeomorphism from Vp ∩ S to Wp, but I'm interested why it is defined in the way that it is.
     
  6. Jun 29, 2015 #5
    That's the big deal. S is NOT homeomorphic to [itex]\mathbb{R}^m[/itex]. The cool thing is that is LOCALLY homeomorphic to [itex]\mathbb{R}^m[/itex], i.e. when you closely enough to a point P in S, you can find that a neighbourhood of P is homeomorphic to an open (yet unknown explicitly) subset of [itex]\mathbb{R}^m [/itex].
    Let's look at an example: the sphere in [itex]\mathbb{R}^3 [/itex] is a 2 dimensional submanifold of the big manifold [itex]\mathbb{R}^3 [/itex] itself. When you look closely enough at a point P in the surface of the sphere, and consider an open neighbourghood of P contained in S, let's call it [itex] V_P = B \cap S[/itex] where B is a three dimensional ball centered at P, you can find that this set [itex] V_P[/itex] is homeomorphic to an open subset [itex]W_P \subset \mathbb{R}^2 [/itex]. [itex] V_P[/itex] itself actually looks like a 2-dimensional patch-disc but a little bit bent, centered at P and over the surface of the sphere!

    The cool thing about manifolds is that they are not globally topologically similar to some [itex]\mathbb{R}^k[/itex] but just locally. There's even a generalization of the definition of manifold which allows a manifold to vary dimensionality depending on the point chosen to look closely at.

    I hope this helps you clarify some issues. I hope someone with more knowledge on DG helps out here, since I'm no more than a begginer.
     
  7. Jun 29, 2015 #6

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    The image of ##f_p## is part of ##S##. The classical inverse function theorem only applies between two open sets of ##\mathbb{R}^n##. Furthermore, smoothness for a morphism ##S\rightarrow \mathbb{R}^n## has not been defined, classically, you only have smoothness for maps between open sets of ##\mathbb{R}^n##. This is why your suggestion does not work.

    That said, it is possible to extend the notion of smoothness, to extend the inverse function theorem, etc. That is the entire point of differential geometry. Then it is correct that the ##f_p## are diffeomorphisms. But at this stage it is not yet possible to do this. You first need the notion of a submanifold, only then can you extend the classical notions.
     
  8. Jun 29, 2015 #7

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award


    As already been said, ##W_p## is not a subset of ##S##.

    You probably are having some misconceptions. To fix these, I would like to ask you to try to formulate the definition without using the sets ##W_p##. This will help you see the necessity of ##W_p##.

    Also:

    ##V_p\cap S## is an open set in ##S## (and all open sets of ##S## have this form. My guess is that the author wanted to avoid using the subspace topology.
     
  9. Jun 29, 2015 #8


    I'm sorry, I misspoke. I meant locally isomorphic to ℝm. My question is still why is the homeomorphism fp map Wp to Vp ∩ S?
     
  10. Jun 29, 2015 #9


    Thank you for your reply.

    I think I'm finally clear on the necessity of Wp but I still am wondering why fp is defined as going from Wp to Vp ∩ S.
     
  11. Jun 29, 2015 #10

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    Again, what else do you propose? Does your intuition understand what a manifold is (or should be)?
     
  12. Jun 29, 2015 #11

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    Do you mean locally homeomorphic?
     
  13. Jun 29, 2015 #12

    WWGD

    User Avatar
    Science Advisor
    Gold Member

    I am not sure if this is what you are looking for, but the definition of submanifold I know of is that ## S \subset M ## is a k-dimensional submanifold of ##M^m## ; ##k<m## iff (def.) ##S## is topologically embedded in ##M## in the same way that ## \mathbb R^k## is "standardly" embedded in ##\mathbb R^m ##, i.e., as ##(x_1, x_2,...,x_k, 0,0,...,0)##. I think this is what the author may be "modeling".
     
  14. Jun 29, 2015 #13
    My intuition says that f should be defined as fp: Vp ∩ S → Wp in much the same way as when we have a manifold M with a chart U,φ we say φ: Up → ℝn. In other words, the homeomorphism maps an open set in the manifold to an open set in ℝn. I realize that f is a homeomorphism so I guess it doesn't really matter since I can view f-1 like this, but I am still wondering why he did it that way (and he's not the only author I've seen have this definition).

    And, yes, I meant homeomorphism earlier when I wrote isomorphism.
     
  15. Jun 29, 2015 #14
    Thanks. The author presents submanifolds before he gets into embeddings so you might be right and that's the reason for defining a submanifold this way.
     
  16. Jun 29, 2015 #15

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    They are equivalent situations as you noticed, so it doesn't matter. Often, when things are done classically (so no abstract manifolds, but everything is a subset of ##\mathbb{R}^n##), then the maps are ##\mathbb{R}^n\rightarrow S## (or between open subsets of those). This is to illustrate that a submanifold of ##\mathbb{R}^n## is locally the surface of a graph. When you look at more modern approaches (ie abstract manifolds), then for some reason the situation reverses and the maps are ##S\rightarrow \mathbb{R}^n##. Which one you prefer is a matter of taste, it is not really important.
     
  17. Jun 29, 2015 #16
    Thank you. That makes a lot of sense.
     
  18. Jun 29, 2015 #17
    I just want to say thanks again to all who replied. I'm pretty much flying solo here and it definitely helps to have someone to talk this over with.
     
  19. Jul 7, 2015 #18

    lavinia

    User Avatar
    Science Advisor
    Gold Member

    While the definition in your book is correct, I think it is somewhat confusing.

    First of all, in differential geometry today, a manifold is almost always assumed to be smooth. This means that f has continuous partial derivatives of all orders. Your book assumes that f is C^k which then brings up the question of the differences between manifolds of different k's. There are theorems about when a C^k manifold is C^j for j greater than k but this is almost always a side subject that no one worries about.

    Second, your book says that f is a homeomorphism whose differential is non-singular at every point, that is, df(x) = 0 only if the vector x is zero. With work one can show that f has a differentiable inverse - using the Inverse Function Theorem - but this seems indirect and too complicated . One could just say that f is a diffeomorphism from the start.

    An m dimensional submanifold of R^n is a subset of R^n that is locally diffeomorphic to R^m.

    Expanding this definition out in detail just says that around each point in S there is an open neighborhood ( in the subspace topology) that is diffeomorphic to an open subset in R^m. By the definition of subspace topology, this open set must be the intersection of S with an open set V in R^n. That is why your definition uses Vp ∩ S.

    Finally, one must define what it means for f^-1 to be smooth. This is because f^-1 is not defined on an open subset of R^n. There is more than one way to do this, but perhaps the simplest is just to says that f^-1 can be extended to a smooth map from an open set in R^n into R^m. This definition is also general and works for arbitrary subsets of R^n even very weird ones.

    If you do not already have Milnor's Topology from the Differentiable Viewpoint, get it. It is simple and clear and fascinating and will get you past elementary calculus on manifolds.
     
    Last edited: Jul 7, 2015
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Submanifold definition
Loading...