##x+y## on a Riemannian manifold

  • Thread starter shooride
  • Start date
  • Tags
    Manifold
In summary: Rn a vector space. 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.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.
  • #1
shooride
36
0
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##?
 
Physics news on Phys.org
  • #2
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 haven't 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.
 
  • Like
Likes shooride
  • #3
shooride said:
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##?

No. But do check out the exponential map for something close to what you're attempting.
 
  • Like
Likes shooride
  • #4
micromass said:
No. But do check out the exponential map for something close to what you're attempting.

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') ##
 
  • #5
Locally sure, but I guess he means a global vector space structure.
 
  • #6
micromass said:
Locally sure, but I guess he means a global vector space structure.
Yes, that is a harder question, I don't know if it can be done or not.
 
  • #7
WWGD said:
Yes, that is a harder question, I don't know if it can be done or not.

It can't. There are topological obstructions.
 
  • #8
micromass said:
It can't. There are topological obstructions.
But isn't vector space structure independent of topology ( if you ignore the inner-product generating a norm and "inducing" a normed space/vector space structure)?
 
  • #9
In that case, every manifold has the same cardinality of ##\mathbb{R}##, so you can find a bijection.
 
  • #10
micromass said:
In that case, every manifold has the same cardinality of ##\mathbb{R}##, so you can find a bijection.
Sorry, I don't 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?
 
  • #11
The topological construction is contractibility.
If you don't care for topology, then you can find a bijection and then just transport the structure.
 
  • #12
micromass said:
The topological construction is contractibility.
If you don't care for topology, then you can find a bijection and then just transport the structure.

I see, so it can be done for contractible manifolds then? Or is/are there some other obstruction(s)?
 
  • #14
I see, makes sense, good points.
 
  • #15
shooride said:
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##?

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:
  • Like
Likes jim mcnamara and shooride
  • #16
WWGD said:
I don't think (at least I don't see how) the Riemannian metric here plays a role.
I couldn't get your point on this quote..how can one define the distance on M?!
 
  • #17
lavinia said:
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.
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:
  • #18
shooride said:
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?!
shooride said:
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?!

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:
  • #19
lavinia said:
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.
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..
 
  • #20
shooride said:
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.. normal coordinates doesn't mean the same thing?!

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:
  • Like
Likes shooride
  • #21
shooride said:
I couldn't get your point on this quote..how can one define the distance on M?!
The distance is dealt with by treating ##(M,g)## as a length space: the distance between two points equals the length of the shortest path between the points.

@micromass; sorry for my thickness, obviously the topology generated by the inner-product has to agree with that of the ambient manifold, which agrees with the metric topology given by ##d(x,y)##:= length of shortest path between two points.
 
  • #22
shooride said:
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?!
What it comes down to is this: You want your n-manifold to be a finite-dimensional (n -dimensional) inner-product space, with the inner-product given by the Riemannian metric. But there is a result that every finite-dimensional normed space (over a fixed field) of dimension n is isomorphic to ##\mathbb R^n ## . This means your manifold, if given an inner-product normed space condition, will have to be homeomorphic to ## \mathbb R^n ##, since the (metric) topology generated by the norm will be homeomorphic to that of ##\mathbb R^n ##.
 
  • Like
Likes shooride
  • #23
shooride said:
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##?
Depending on what you really mean by this question, there are various answers. (Though it is not clear how you might want the Riemannian structure to relate, if at all, to the vector space structure.)

If you really mean a "vector space" structure, then this is possible on any Euclidean space Rn, just treating it as the vector space it is originally defined to be, over the field ℝ of real numbers.

In case the dimension n is even, say n = 2k, then you can also identify Rn with ℂk, the vector space of dimension k over the field of complex numbers.

If you really mean just a way to combine two elements of the manifold to get a third element of the manifold (and we will assume you want that operation to be continuous), as well as having an identity element and continuously defined inverse elements, then we are talking about what is called a "Lie group" ("Lie" rhymes with SEE). Lie groups are fascinating objects and of great important in physics, but can get quite complicated. I'll mention just a few: The circle group S1 := {z ∈ ℂ | |z| = 1} (which is also the group of rotations of the plane), the torus group T := S1×S1, and the group SO(3) of rotations of 3-space. Of these, the circle S1 and the torus T are abelian (commutative) Lie groups, but the rotation group SO(3) is not.
 
  • Like
Likes shooride

1. What is a Riemannian manifold?

A Riemannian manifold is a mathematical space that has a smooth, curved structure and allows for the measurement of distances and angles between points. It is named after the mathematician Bernhard Riemann and is a fundamental concept in differential geometry.

2. What is the significance of using a Riemannian manifold in mathematics?

Riemannian manifolds are important in mathematics because they allow for the study of curved spaces and enable the development of theories such as general relativity. They also have applications in fields such as physics, computer science, and statistics.

3. Can you explain the concept of "##x+y## on a Riemannian manifold"?

"##x+y## on a Riemannian manifold" refers to a mathematical operation that takes place on a curved space, where the addition of two vectors results in a new vector that is tangent to the manifold at the point of addition. This operation is known as the Riemannian sum and is used to define the metric structure of the manifold.

4. How is the metric structure of a Riemannian manifold defined?

The metric structure of a Riemannian manifold is defined by a metric tensor, which is a mathematical object that assigns a distance between any two points on the manifold. This distance is calculated using the tangent vectors at each point and measures the curvature of the manifold at that point.

5. What are some real-world applications of Riemannian manifolds?

Riemannian manifolds have various applications in fields such as physics, computer vision, and machine learning. For example, they are used in general relativity to model the curvature of spacetime and in computer vision to analyze shapes and objects in images. They are also used in machine learning algorithms, such as manifold learning, to find low-dimensional representations of high-dimensional data.

Similar threads

Replies
1
Views
2K
  • Differential Geometry
Replies
10
Views
661
  • Differential Geometry
Replies
20
Views
2K
  • Differential Geometry
Replies
11
Views
698
  • Differential Geometry
Replies
1
Views
1K
  • Differential Geometry
Replies
7
Views
2K
  • Differential Geometry
Replies
13
Views
2K
  • Differential Geometry
Replies
6
Views
2K
  • Differential Geometry
Replies
20
Views
2K
  • Differential Geometry
Replies
7
Views
2K
Back
Top