Curvature of Manifolds: Understanding Relative Concepts

In summary, the concept of a manifold being curved is relative to the chosen coordinate system. However, geodesics themselves are coordinate independent and can be defined as the unique path that minimizes the distance between two points. The use of an elastic band as an analogy for geodesics can be trusted because it tends to the state of lowest energy, which is equivalent to the state of lowest distance. This is true for any manifold, not just those with a metric. A simple example in Euclidean space demonstrates that geodesics are not dependent on coordinates, but rather on the geometric properties of the manifold itself.
  • #1
Benjam:n
28
0
The main problem is when we say a manifold is curved surely this is a relative concept - curved relative to what? I've looked at lots of threads asking similar questions and the answer which keeps coming up is that you can tell if a manifold is curved if you are within that manifold, for instance by constructing a triangle and the angles adding up to more than 180degrees.

My problem with this is surely geodesics are coordinate dependant. For instance if I take a piece of elastic and stretch it between two points that will give the geodesic relative to normal Cartesian coordinates. But if I change coordinates to say spherical coordinates the path of the elastic relative to spherical coordinates would surely be curved and no longer represent the geodesic relative to spherical coordinates. So the elastic band only works for he Cartesian coordinate system.

Why do we trust the elastic band basically, when we look at say a paraboloid and say its curved, how do we know its not us which is curved and the paraboloid which is flat.
 
Physics news on Phys.org
  • #2
Benjam:n said:
The main problem is when we say a manifold is curved surely this is a relative concept - curved relative to what? I've looked at lots of threads asking similar questions and the answer which keeps coming up is that you can tell if a manifold is curved if you are within that manifold, for instance by constructing a triangle and the angles adding up to more than 180degrees.

My problem with this is surely geodesics are coordinate dependant.
No
For instance if I take a piece of elastic and stretch it between two points that will give the geodesic relative to normal Cartesian coordinates. But if I change coordinates to say spherical coordinates the path of the elastic relative to spherical coordinates would surely be curved and no longer represent the geodesic relative to spherical coordinates.

So the elastic band only works for he Cartesian coordinate system.
No, the elastic band works for all coordinate systems, as long as it minimizes(**) the distance between the two points (more on this later).

The description in terms of coordinates of the path followed by the elastic band will vary depending on your coordinates, but the unique(*) path that minimizes(**) the distance will be the unique(*) geodesic between two points

Why do we trust the elastic band basically, when we look at say a paraboloid and say its curved, how do we know its not us which is curved and the paraboloid which is flat.

There formal statement is that we want the curve that minimizes(**) the distance. The elastic band tends to go to the state of lowest energy(***), and since the energy of the band goes up the longer it is stretched, the state of lowest energy and the state of lowest distance are the same.

* The geodesic is actually only unique if the two points are "near enough". The details of "near enough" are technical. At the moment I don't think it's warranted to get too distracted by these technicalities, so I won't spell them out.

** Minimize is somewhat inexact for reasons related to the point about uniqueness. The details of why "extremized" is preferred over "minimized" are again, technical and distracting.

*** We need to assume the system is static - or at least close enough to being static - so that the inertia of the elastic band is irrelevant for the elastic band to work.
 
  • #3
Geodesics are not coordinate dependent. You are thinking of the coordinate representation of a geodesic in a given coordinate system as opposed to the geometric definition of a geodesic. More precisely, if we have a manifold ##M## and a derivative operator ##\nabla_{a}##, we say a curve ##\gamma## with tangent ##\xi^{a}## is a geodesic if ##\xi^{a}\nabla_{a}\xi^{b} = 0## i.e. the curve parallel transports its own tangent vector. Clearly this is a coordinate independent statement! What does it mean intuitively? All we're saying is that the tangent vector to a geodesic remains constant along the geodesic which is the natural generalization to manifolds of the primitive statement that a curve has no acceleration if it has a constant tangent vector. Note that some GR texts may define a geodesic as an arc-length extremizing curve; this is only true for manifolds that have a metric. On the other hand, the definition I wrote above holds for any manifold in general; in the general case we refer to such geodesics as affine geodesics.

Let me give a simple example to help try and clear up your possible confusion. Let ##M = \mathbb{R}^{2}##. Notice that even before I introduce coordinates, it is obvious that since this space is flat the geodesics will just be straight lines in the plane Euclidean sense. This is a geometric fact independent of any appeal to coordinates.

Now, in cartesian coordinates ##(x,y)## the Christoffel symbols ##\Gamma ^{i}_{jk} = 0## identically so the above geodesic equation simply becomes ##\ddot{x}^{i} + \Gamma ^{i}_{jk}\dot{x}^{j}\dot{x}^{k} = \ddot{x}^{i} = 0## i.e. we just have a straight line ##ax + by = c##, as we would expect. Let's now switch over to polar coordinates ##(r,\theta)##. Here there are two indepdendent non-vanishing Christoffel symbol components ##\Gamma ^{\theta}_{r\theta} = \frac{1}{r}, \Gamma ^{r}_{\theta\theta} = -r##. We end up with the following differential equations, after some work: ##\ddot{r} = r\dot{\theta}^{2}## and ##r^{2}\dot{\theta} = \text{const.}##. You might recognize these from Newton's 2nd law in polar coordinates for a non-accelerating particle. The solution to this set of differential equations is given implicitly by ##arcos\theta + brsin\theta = c## (as you can check yourself) which is of course a straight line, yet again.
 
Last edited:
  • #4
Benjam:n said:
My problem with this is surely geodesics are coordinate dependant. For instance if I take a piece of elastic and stretch it between two points that will give the geodesic relative to normal Cartesian coordinates. But if I change coordinates to say spherical coordinates the path of the elastic relative to spherical coordinates would surely be curved and no longer represent the geodesic relative to spherical coordinates. So the elastic band only works for he Cartesian coordinate system.

Geodesics are not coordinate-dependent. The equation that describes a geodesic will be different in different coordinate systems, but that doesn't make the geodesic coordinate-dependent; I can pick two points and stretch an elastic band between them without ever choosing any coordinate system.

For example: In flat two-dimensional space, ##y=2x+1## describes a geodesic using Cartesian coordinates. The exact same geometric object is described in polar coordinates by ##Rsin\theta=1+2Rcos\theta##. Which one I use is completely my choice, based on whichever is more convenient for the problem at hand, but it's the same line either way.
 
  • #5
Thanks for the help, but I still don't understand.
If I had say polar coordinates and we had two points, which relative to the Cartesian coordinate system are (1,0) and (0,1). Then in the Cartesian coordinates the geodesic is y=-x+1. But surely in the polar coordinates the geodesic is r=1, i.e. x^2+y^2=1 relative to the Cartesian coordinates. Because this is a straight line relative to the polar coordinates. I thought coordinate systems were all equivalent, so why are preferencing (I'm sure this is a real word but its got a red line) straight lines relative to the Cartesian coordinates?

I really don't understand how you can define the notion of quickest path without coordinates. Surely everything we know about the world comes from making measurements and to make measurements you need coordinates.
 
  • #6
Benjam:n said:
Thanks for the help, but I still don't understand.
If I had say polar coordinates and we had two points, which relative to the Cartesian coordinate system are (1,0) and (0,1). Then in the Cartesian coordinates the geodesic is y=-x+1. But surely in the polar coordinates the geodesic is r=1, i.e. x^2+y^2=1 relative to the Cartesian coordinates. Because this is a straight line relative to the polar coordinates. I thought coordinate systems were all equivalent, so why are preferencing (I'm sure this is a real word but its got a red line) straight lines relative to the Cartesian coordinates?

I really don't understand how you can define the notion of quickest path without coordinates. Surely everything we know about the world comes from making measurements and to make measurements you need coordinates.

Why do you think the geodesic is ##r=1## in polar coordinates?
 
  • #7
Benjam:n said:
Thanks for the help, but I still don't understand.
If I had say polar coordinates and we had two points, which relative to the Cartesian coordinate system are (1,0) and (0,1). Then in the Cartesian coordinates the geodesic is y=-x+1. But surely in the polar coordinates the geodesic is r=1, i.e. x^2+y^2=1 relative to the Cartesian coordinates. Because this is a straight line relative to the polar coordinates. I thought coordinate systems were all equivalent, so why are preferencing (I'm sure this is a real word but its got a red line) straight lines relative to the Cartesian coordinates?
That is not a straight line. ##r = 1## is a circle. Again, a straight line is a geometric notion in plane Euclidean geometry. Coordinates have absolutely no relevance; lines are not different in different coordinate systems on the same geometric space. Coordinates don't change the fact that the underlying space is the Euclidean plane.

Benjam:n said:
I really don't understand how you can define the notion of quickest path without coordinates. Surely everything we know about the world comes from making measurements and to make measurements you need coordinates.
We have operational devices for measuring certain physical quantities; we can measure acceleration (or lack thereof) using an accelerometer.
 
  • #8
micromass said:
Why do you think the geodesic is ##r=1## in polar coordinates?

Because surely that is the straight line between those two points relative to those coordinates. In the Cartesian coordinates if you stay on a line of constant coordinate say x=3, then you move on a straight line. If all coordinates are equivalent then the polar coordinates are equivalent to Cartesian coordinates so why would it be any different?

Also ∫(1+(dr/dθ)^2)^1/2dθ is minimized for r=1.
 
  • #9
Benjam:n said:
Because surely that is the straight line between those two points relative to those coordinates.
Yet again, straight lines are intrinsic to the underlying Euclidean space; they have nothing to do with coordinates. Obviously the arc of a circle doesn't minimize the arc-length between two points; the shortest distance between any two points in Euclidean space is a straight line. This is a coordinate independent fact; I can draw the arc of a circle between two points as well as a straight line between those two points and use basic Euclidean geometry to show that the straight line minimizes the arc-length amongst the two. There are no coordinates involved whatsoever. All I need is a ruler (to measure the length of the line segment), a protractor (to measure the angle subtended by the arc which I can then use to find the arc-length by measuring the radius of the arc using the ruler), and then I just have to compare the two.
 
  • #10
WannabeNewton said:
That is not a straight line. ##r = 1## is a circle. Again, a straight line is a geometric notion in plane Euclidean geometry. Coordinates have absolutely no relevance; lines are not different in different coordinate systems on the same geometric space. Coordinates don't change the fact that the underlying space is the Euclidean plane.
.

But how do you define a straight line without coordinates?
 
  • #11
Benjam:n said:
But how do you define a straight line without coordinates?

WbN gave a definition in post ##3##.

I know this might be a bit difficult. So I highly suggest that you get some differential geometry book and work through that. Something like Do Carmo's curves and surfaces, or O'Neill's Elementary Differential Geometry is very good.
 
  • #12
Benjam:n said:
I really don't understand how you can define the notion of quickest path without coordinates. Surely everything we know about the world comes from making measurements and to make measurements you need coordinates.

Put a cat at point A and a piece of catnip at point B. The cat follows the shortest path between point A and point B, regardless of whether you've drawn a Cartesian grid or a set of circles and radial lines on the floor underneath. Cats don't know anything about coordinate systems. At least, I don't think they do. :uhh:
 
  • Like
Likes 2 people
  • #13
Benjam:n said:
But how do you define a straight line without coordinates?

Did you see my remarks about a geodesic being the shortest distance between two points? Or did you miss them?

If so, compute the length of the two versions of the straight line. Are they the same length? If not, which one is shorter?

Wannabe Newton's defintions are more precise, the above is (I feel) more likely to be understandable at what I'm guessing is your level of math.

You can work out the equations of a straight line in any coordinate system knowing "only" the calculus of variations, something that's usually presented welll before you get to differential geometry.

Try http://en.wikipedia.org/wiki/Calculus_of_variations for starters. You can work out the curve that minimizes/ extremizes distance in any coordinate system, as long as you have a metric for it.

Wiki said:
Example

In order to illustrate this process, consider the problem of finding the extremal function y = f (x) , which is the shortest curve that connects two points (x1 , y1) and (x2 , y2) . The arc length of the curve is given by
 
  • #14
Benjam:n said:
If I had say polar coordinates and we had two points, which relative to the Cartesian coordinate system are (1,0) and (0,1). Then in the Cartesian coordinates the geodesic is y=-x+1. But surely in the polar coordinates the geodesic is r=1, i.e. x^2+y^2=1 relative to the Cartesian coordinates.

No, it is ##Rsin\theta = 1-Rcos\theta##. I got this by using the relationship between polar and Cartesian coordinates: ##x=Rcos\theta## and ##y=Rsin\theta## and substituting into ##y=-x+1##

Take a sheet of paper; that's a flat two-dimensional surface. Put two tacks in it; those are your two points. Stretch a taut string between the tacks; that's a geodesic. Now you can grab a pencil and a ruler and draw a Cartesian coordinate grid on the paper. You might draw your grid in such a way that one tack is at (1,0) and the other is at (0,1) and then the quation of the geodesic through the two tacks will be ##y=-x+1##; but if you draw a different grid, or draw polar coordinates instead of Cartesian, you'll get a different equation, although it's the same line between the same two points.

The important thing here is that the tacks and the string between them came first. You added the coordinate grid afterwards, and only so that you could write down an equation that described the position of the string.
 
  • #15
WannabeNewton said:
Geodesics are not coordinate dependent. You are thinking of the coordinate representation of a geodesic in a given coordinate system as opposed to the geometric definition of a geodesic. More precisely, if we have a manifold ##M## and a derivative operator ##\nabla_{a}##, we say a curve ##\gamma## with tangent ##\xi^{a}## is a geodesic if ##\xi^{a}\nabla_{a}\xi^{b} = 0## i.e. the curve parallel transports its own tangent vector. Clearly this is a coordinate independent statement!

Ill try and say what I understand from this. If we have some space let's keep it 2D. We can define independent of coordinates a path through that space, i.e. a sequence of points through which the path goes one after the other. So then the tangent vector at a point is the vector going from that point to the infinitesimally close point in our continuous sequence of points. This is where I can't go any further if you tried to take a derivative like notion then you'd go forward to the infinitesimally close point take its tangent vector and subtract the tangent vector at your original point. Now how do you combine these abstract objects One is the link from your infinitesimally close point to the original point and the other is the link from the infinitesimally close point to the infinitesimally close point beyond that.
 
  • #16
Yes if we are working in Euclidean space, that is a perfectly fine way to look at the tangent vectors. They are just infinitesimal arrows from a point on the curve to an infinitesimally separated point on the curve. Now if the curve is to be a geodesic, it is sufficient to check if the tangent vector remains constant along the curve. If this tangent vector is a kind of velocity vector, then this is the rather intuitive statement that the velocity vector is constant along the curve i.e. there is no acceleration along the curve. Now, what are the only curves in the euclidean plane that have constant tangent vectors along them? Just picture everything geometrically.
 
  • #17
WannabeNewton said:
Yes if we are working in Euclidean space, that is a perfectly fine way to look at the tangent vectors. They are just infinitesimal arrows from a point on the curve to an infinitesimally separated point on the curve. Now if the curve is to be a geodesic, it is sufficient to check if the tangent vector remains constant along the curve. If this tangent vector is a kind of velocity vector, then this is the rather intuitive statement that the velocity vector is constant along the curve i.e. there is no acceleration along the curve. Now, what are the only curves in the euclidean plane that have constant tangent vectors along them? Just picture everything geometrically.
But how do you know if the vectors are the same if we haven't got coordinates? All we have at the moment is little links between infinitesimally close points in a continuous sequence of points.
 
  • #18
We can define the derivative of a tangent vector along a curve. In Euclidean space this is just the ordinary derivative. On general manifolds it is given by the derivative operator ##\nabla_{a}##. This is how we check if the tangent vector is changing along the curve or not. A derivative does not require coordinates to define in any sense; in Euclidean space it is defined using the ##\epsilon-\delta## definition of a limit and for general manifolds ##\nabla_{a}## is defined as an abstract map satisfying certain properties similar to what regular derivatives satisfy (e.g. Leibniz rule).
 
  • Like
Likes 2 people
  • #19
Nugatory said:
No, it is ##Rsin\theta = 1-Rcos\theta##. I got this by using the relationship between polar and Cartesian coordinates: ##x=Rcos\theta## and ##y=Rsin\theta## and substituting into ##y=-x+1##

Take a sheet of paper; that's a flat two-dimensional surface. Put two tacks in it; those are your two points. Stretch a taut string between the tacks; that's a geodesic. Now you can grab a pencil and a ruler and draw a Cartesian coordinate grid on the paper. You might draw your grid in such a way that one tack is at (1,0) and the other is at (0,1) and then the quation of the geodesic through the two tacks will be ##y=-x+1##; but if you draw a different grid, or draw polar coordinates instead of Cartesian, you'll get a different equation, although it's the same line between the same two points.

The important thing here is that the tacks and the string between them came first. You added the coordinate grid afterwards, and only so that you could write down an equation that described the position of the string.

I know this sounds childish, but I'm quite serious. How do we know that the elastic band isn't only a valid description of a geodesic relative to the Cartesian coordinate system?
 
  • #20
Benjam:n said:
But how do you define a straight line without coordinates?
Despite Euclid Geometry being mentioned numerous times already in this thread...here is what is referred to...the [STRIKE]axioms[/STRIKE] postulates (why not an axiom?). Here is some for straight lines. Basically just think of a straight line as a straight line.

Properly defined a few hundred years before Christ. Pulled today from wiki.

"Let the following be postulated":

"To draw a straight line from any point to any point."
"To produce [extend] a finite straight line continuously in a straight line."Re iterated in language I can even understand from some website

Look at the link to see the illustration of two points & a straight line between them. I believe GR defines straight lines as the shortest "path"/measurement, however probably as time/length; spacetime. So not just familiar length paths, but time paths also.

When discussing physics, allot of terminology & concepts are presumed to be understood based on the initial question. If asking about straight lines/metrics/manifolds in GR, why not know of straight lines in olden days.
 
Last edited:
  • #21
I think it is not general relativity that confuses you, it is geometry. May be you should read up on it.
 
  • #22
WannabeNewton said:
We can define the derivative of a tangent vector along a curve. In Euclidean space this is just the ordinary derivative. On general manifolds it is given by the derivative operator ##\nabla_{a}##. This is how we check if the tangent vector is changing along the curve or not. A derivative does not require coordinates to define in any sense; in Euclidean space it is defined using the ##\epsilon-\delta## definition of a limit and for general manifolds ##\nabla_{a}## is defined as an abstract map satisfying certain properties similar to what regular derivatives satisfy (e.g. Leibniz rule).

Ok, so in the little world, which is two dimensional, were we have the same number of points as in R2, i.e. we could set up a mapping which maps every point in our manifold to a point on R2. But at the moment I haven't defined anything, so there's no order to the points - its just a set of points. Even without any order I could still define a path, as a continuous sequence of these points. Then I could construct tangent vectors and derivatives in the way I described in the last post. I really cannot see from what I've created so far, that you could decide whether those tangent vectors were all the same. What condition are you using?
 
  • #23
martinbn said:
I think it is not general relativity that confuses you, it is geometry. May be you should read up on it.

I really don't like books.
 
  • #24
All I need is the fact that ##\mathbb{R}^{n}## is a normed vector space; there are no coordinates being invoked here. As a normed vector space, I can use the norm to define a metric (in the analysis sense). Using the metric I can define what a limit is and using the notion of a limit I can define what a derivative is. Then the rest follows.
 
  • #25
WannabeNewton said:
All I need is the fact that ##\mathbb{R}^{n}## is a normed vector space; there are no coordinates being invoked here. As a normed vector space, I can use the norm to define a metric (in the analysis sense). Using the metric I can define what a limit is and using the notion of a limit I can define what a derivative is. Then the rest follows.

But wouldn't a vector space have an order to the points?
 
  • #26
There is no a priori order relation imposed on vector spaces; there is nothing in the definition of a vector space that requires an order relation. Regardless, I don't see what that has to do with coordinate-free definitions.
 
  • #27
Benjam:n said:
I know this sounds childish, but I'm quite serious. How do we know that the elastic band isn't only a valid description of a geodesic relative to the Cartesian coordinate system?

The geodesic is a description of the elastic band and not the other way around. The elastic band and jtbell's cat in post #12 don't care what kind of coordinate axes you draw around them.
 
  • #28
Benjam:n said:
I really don't like books.

Yes, it's not the books per-se, it's the concepts within the books. So you really don't like concepts, specifically reading about them...there is some irony here somewhere :tongue2:
 
  • #29
Benjam:n said:
Also ∫(1+(dr/dθ)^2)^1/2dθ is minimized for r=1.

Yes, but that's not the function you need to minimize. What you've written there is minimizing the integral of the square root of (dr)^2 + (dtheta)^2, as if that represents the incremental distance ds along a path of dr and dtheta. But that's wrong, because we can actually perform measurements of the distance ds along a path for a given dr and dtheta, and we find that the actual relationship (called the metric) is (ds)^2 = (dr)^2 + r^2 (dtheta)^2. Notice the r^2 multiplying the dtheta term. So to find a geodesic path we need to find a path along which the integral of the square root of this expression is minimized. The solutions are the same paths you get if you minimize the integral of the square root of (dx)^2 + (dy)^2 in Cartesian coordinates. For any given system of coordinates there is a corresponding metric which gives the incremental path length in terms of incremental changes in the coordinates.

Benjam:n said:
I really don't understand how you can define the notion of quickest path without coordinates. Surely everything we know about the world comes from making measurements and to make measurements you need coordinates.

Sure, and the measurements give you the ds corresponding to any incremental changes in your coordinates, which represents the metric for those coordinates, and you can then determine the curvature at any location from that metric, which answers your original question.
 
Last edited:
  • #30
Can I ask someone to really clearly define what the notion of two parallel vectors is in curved spaces. Straight lines no longer exist in curved spaces, except infinitesimal ones - so we changed the useful concept to geodesics. Parallel vectors (infinitesimal vectors) surely also won't exist in curved spaces, except at the same point - so what concept is it replaced with?

Also with regards to christoffel symbols/symmetric portion of connection, I know how to calculate them, but all my understanding of them is that they are about a coordinate system (y) as seen relative to another coordinate system (x) i.e. d2xi/dyndym, where I, n and m are indexs. However I know the formula by which they are given in terms of the metric so are they deeper than that, i.e. is it possible to define them on a manifold without coordinates and if so why, what really are they describing about that space?
 
  • #31
Benjam:n said:
Can I ask someone to really clearly define what the notion of two parallel vectors is in curved spaces. Straight lines no longer exist in curved spaces - so we changed the useful concept to geodesics.

It's hand waving, but those "curved" lines are actually geometrically straight in 4D (or at least temporally & spatially).

It depends on what the illustration of "curved" geodesics is illustrating, but the curve maybe just in time, just in space, or a combination of the two...that said if it's geodesic...it's straight...

For parallel I'd assume the space time interval between the lines is constant.

Re-reading your post The Big words make me think you know better then me...
 
Last edited:
  • #32
Benjam:n said:
Can I ask someone to really clearly define what the notion of two parallel vectors is in curved spaces. Straight lines no longer exist in curved spaces - so we changed the useful concept to geodesics. Parallel vectors surely also won't exist in curved spaces, except at the same point - so what concept is it replaced with?
Precisely, the classical Euclidean notion of parallelism only exists at a single point on curved manifolds. There is simply no notion of vectors at different points of space-time being parallel in the Euclidean sense because they live in different vector spaces which have different inner products. What we can do however is parallel transport a vector along some curve from one point to another and then compare the transported vector at the terminal point to vectors that live at the terminal point. What does it mean to parallel transport a vector along a curve? Well let's say ##M## is a smooth manifold and ##\nabla_{a}## is a derivative operator on ##M##. If ##\gamma## is a curve and ##V^{a}## is a vector at some point ##p## that the curve passes through, we say it is parallel transported along ##\gamma## if ##\xi^{a}\nabla_{a}V^{b} = 0## where ##\xi^{a}## is the tangent vector to ## \gamma##.

Benjam:n said:
...i.e. is it possible to define them on a manifold without coordinates and if so why, what really are they describing about that space?
Christoffel symbols only have meaning if you are given a coordinate chart.
 
  • Like
Likes 1 person
  • #33
Benjam:n said:
Can I ask someone to really clearly define what the notion of two parallel vectors is in curved spaces. Straight lines no longer exist in curved spaces, except infinitesimal ones - so we changed the useful concept to geodesics. Parallel vectors (infinitesimal vectors) surely also won't exist in curved spaces, except at the same point - so what concept is it replaced with?
Google around for "parallel transport" and "tangent space".

We can attach a flat surface (two-dimensional plane if you're working with a curved two-dimensional surface like the surface of a sphere, which you've been doing throughout much of this thread) to each point on the curved surface, work with straight lines and non-infinitesimal vectors in this tangent space. The trick is that each point on the curved surface has its own tangent space, so if we want to compare two vectors at two different points for parallelism, we have to use a mathematical procedure called parallel transport to properly transform one of them into the other one's tangent space. (WannaBeNewton will be gagging at this point, but you did ask for a qualitative answer here:smile:).
 
Last edited:
  • Like
Likes 1 person
  • #34
Nugatory said:
(WannaBeNewton will be gagging at this point, but you did ask for a qualitative answer here:smile:).
lmfao! Well we both said the same exact thing so yey :smile:!
 
  • #35
Benjam:n said:
Can I ask someone to really clearly define what the notion of two parallel vectors is in curved spaces. Straight lines no longer exist in curved spaces, except infinitesimal ones - so we changed the useful concept to geodesics. Parallel vectors (infinitesimal vectors) surely also won't exist in curved spaces, except at the same point - so what concept is it replaced with?

Instead of parallel vectors, in curved space you have parallel transport. Parallel transport transports a vector along a curve. There is a geometric interpretation of this in the absence of torsion called Schild's ladder.

See https://www.physicsforums.com/showthread.php?p=4214084#post4214084 for a brief description.

In a flat space, if you parallel transport a vector along two different paths, you get the same vector. Hence you have a general and path-independent notion of what it means to be parallel. In a curved space, parallel transporting a vector along two different paths does not give the same result.

Also with regards to christoffel symbols/symmetric portion of connection, I know how to calculate them, but all my understanding of them is that they are about a coordinate system (y) as seen relative to another coordinate system (x) i.e. d2xi/dyndym, where I, n and m are indexs. However I know the formula by which they are given in terms of the metric so are they deeper than that, i.e. is it possible to define them on a manifold without coordinates and if so why, what really are they describing about that space?

Christoffel symbols rely on coordinates for their definition AFAIK. I believe that the coordinate independent notion equivalent to a Christoffel symbol is called a connection and/or a fiber bundle.
 
  • Like
Likes 1 person

Similar threads

Replies
40
Views
2K
  • Special and General Relativity
Replies
7
Views
1K
  • Special and General Relativity
Replies
6
Views
1K
  • Special and General Relativity
6
Replies
186
Views
7K
  • Special and General Relativity
Replies
3
Views
1K
  • Special and General Relativity
2
Replies
38
Views
2K
  • Special and General Relativity
3
Replies
78
Views
4K
  • Special and General Relativity
Replies
1
Views
2K
  • Special and General Relativity
Replies
22
Views
1K
  • Special and General Relativity
Replies
30
Views
630
Back
Top