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

##x+y## on a Riemannian manifold

  1. Sep 29, 2015 #1
    Can one define a vector space structure on a Riemannian manifold ##(M,g)##?! By this I mean, does it make a sense to write ##x+y## where ##x,y## are arbitrary points on ##M##?
     
  2. jcsd
  3. Sep 29, 2015 #2

    WWGD

    User Avatar
    Science Advisor
    Gold Member

    I don't think (at least I don't see how) the Riemannian metric here plays a role, since most reasonable spaces can be given a Riemannian metric. Maybe you can pullback locally the vector space structure of ## \mathbb R^n ##, I would say, given ##x:= \phi^{-1}(x'), y:= \phi^{-1}(y'); x',y' \in \mathbb R^n ## by defining ## x+y## to be ##\phi^{-1} (x'+y') ##then patch it up into a global one, I havent tried it . And, given that a Riemannian manifold has a global inner-product space, maybe you can find a way of making the two structures compatible.
     
  4. Sep 29, 2015 #3

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    No. But do check out the exponential map for something close to what you're attempting.
     
  5. Sep 29, 2015 #4

    WWGD

    User Avatar
    Science Advisor
    Gold Member

    Why can't you pullback the vector space structure from ## \mathbb R^n?## : for ##x,y \in M## , and
    ##x,y \in (U, \phi) : \phi(x)=x', \phi(y)=y'## , define ## x+y := \phi^{-1}(x'+y') ##
     
  6. Sep 29, 2015 #5

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    Locally sure, but I guess he means a global vector space structure.
     
  7. Sep 29, 2015 #6

    WWGD

    User Avatar
    Science Advisor
    Gold Member

    Yes, that is a harder question, I dont know if it can be done or not.
     
  8. Sep 29, 2015 #7

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    It can't. There are topological obstructions.
     
  9. Sep 29, 2015 #8

    WWGD

    User Avatar
    Science Advisor
    Gold Member

    But isnt vector space structure independent of topology ( if you ignore the inner-product generating a norm and "inducing" a normed space/vector space structure)?
     
  10. Sep 29, 2015 #9

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    In that case, every manifold has the same cardinality of ##\mathbb{R}##, so you can find a bijection.
     
  11. Sep 29, 2015 #10

    WWGD

    User Avatar
    Science Advisor
    Gold Member

    Sorry, I dont get your point. Do you mean there is no compatibility as _normed spaces_ , alone, tho there is as pure vector spaces? Could you cite the topological obstruction?
     
  12. Sep 29, 2015 #11

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    The topological construction is contractibility.
    If you don't care for topology, then you can find a bijection and then just transport the structure.
     
  13. Sep 29, 2015 #12

    WWGD

    User Avatar
    Science Advisor
    Gold Member

    I see, so it can be done for contractible manifolds then? Or is/are there some other obstruction(s)?
     
  14. Sep 29, 2015 #13

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

  15. Sep 29, 2015 #14

    WWGD

    User Avatar
    Science Advisor
    Gold Member

    I see, makes sense, good points.
     
  16. Sep 29, 2015 #15

    lavinia

    User Avatar
    Science Advisor
    Gold Member

    Here is an exercise. Prove that a manifold that is a vector space over the real numbers is diffeomorphic to Rn.

    - If you only require addition and not scalar multiplication, then the manifold is called a Lie group. If the addition is commutative, then the manifold can be an n dimensional torus.

    Your question will not work if you replace vector space by Lie group. The condition of being a Lie group is very restrictive. For instance the only closed 2 dimensional surface that is a Lie group is the torus.
     
    Last edited: Sep 29, 2015
  17. Sep 30, 2015 #16
    I couldn't get your point on this quote..how can one define the distance on M?!
     
  18. Sep 30, 2015 #17
    Yeah.. I think things are starting to be a bit clearer .. however, I couldn't understand what does really a Riemannian vector space look like?!
     
    Last edited: Sep 30, 2015
  19. Sep 30, 2015 #18

    lavinia

    User Avatar
    Science Advisor
    Gold Member

    Not sure what you mean by Riemannian vector space - but Rn together with an inner product is a Riemannian manifold that is also a vector space. Algebraically, one sees the connection between geometry and vector algebra through the bilinearity of the inner product.

    Geometrically, the inner product assigns lengths to vectors and angles to pairs of vectors. Without the inner product there is no geometry.

    - Technically, a Riemannian metric is defined on the tangent bundle of the manifold. But in Rn the tangent space and the vector space are canonically identified.
     
    Last edited: Sep 30, 2015
  20. Sep 30, 2015 #19
    I'm interested in a Riemannian manifold in which ##x+x'## and ##\alpha.x## where ##\alpha## is a scalar from some field have a meaningful definition..so I thought that this kind of riemannian manifold should has an additional vector space structure..if I understand it correctly, one can locally consider it..
     
  21. Sep 30, 2015 #20

    lavinia

    User Avatar
    Science Advisor
    Gold Member

    In any local coordinate system that does not map surjectively onto all of Rn e.g. normal coordinates for almost all manifolds, the scalars that keep you inside the coordinate system are limited(really big scalars throw you outside) and some vectors when added will be outside of the coordinate system as well. The exponential mapping is only a local diffeomorphism. That means that it fails to be 1-1 after a while (for sufficiently large radius in the tangent space) and it may have singularities( called conjugate points). In these cases the addition on the manifold is not well-defined. Try defining addition of the south pole of a sphere to any other point using the exponential map at the north pole.
     
    Last edited: Oct 1, 2015
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: ##x+y## on a Riemannian manifold
  1. Riemannian manifolds (Replies: 16)

  2. Riemannian manifold (Replies: 1)

Loading...