- #36
- 10,322
- 1,496
joneall said:I tried to in the last message. I know this is dragging out and I am sorry about that. I will soon give up.
I don't see why setting the directional derivative of a vector in the tangent direction to zero is equivalent to parallel transport, dragging a vector along a path in such a way as to keep it parallel to itself. I'm not even sure that "to itself" is correct, since I'm not sure how you define parallelism in curved coordinates. It has been stated that this is the definition of parallel transport. But that does not say what its physical significance is or why we do it.
I'd have to agree that the definition of parallel transport based on the vanishing of the directional derivative in the direction of transport is not all that intuitive, though it's mathematically valid and an accepted definition of parallel transport.
Personally I prefer thinking of parallel transport with more intuitive constructs, though these more intuitive constructions are specific to using the Levi-Civita connection. This can be a problem if one wants to move on to theories (other than GR) that use connections other than the Levi-Civita connection.
One example of a more intuitive construction of parallel transport of this that hasn't (as far as I know) been mentioned in this thread is Schild's ladder <<wiki link>>. Though it is more or less equivalent ideas have been presented.
The physical construction of the Schild's ladder is based on the idea that if you make a quadrilateral with equal sides (of course, you need a metric to find the length of the sides), the opposite sides should be "parallel". Or rather, parallel transported.
The subject of proving that these intuitive or semi-intuitive constructions are equivalent to the definition in terms of the vanishing of the directional derivative (which I use routinely, but don't think about much) is one that I'd have to think about more. But I'm mostly interested in trying to motivate the idea of parallel transport rather than provide hard proofs.
There's one other issue that's worth exploring. If you have a vector field ##u^b##, and it's gradient ##\nabla_a u^b## is zero at that point, so that the directional derivative vanishes in all directions, I'm reasonably certain that this implies that the space is flat at that point.
Trying to impose the condition that the gradient of the vector vanishes in all direction over-specifies the problem. If you have a surface that's curved at some point, the best you can do is make the gradient vanish in one direction. When you do this, you've parallel transported the vector in the direction that the gradient vanishes.
The argument for saying that the total vanishing of the gradient ##\nabla_a u^b## implies the surface is flat requires knowing that parallel transporting a vector around a loop on a curved surface rotates the vector. I'm not sure we ever got this far, because we've been mostly talking abut the definition of parallel transport, rather than using it and exploring the consequences. Though you might want to read back over stevedaryl's post, I think he does something similar with a sphere.
If the gradient can be made to vanish in all directions, then you can transport the vector "up", "right", "down", "left", around a small closed quadrilaterial, and the vector will never rotate. Thus the vector must come back to its starting point unrotated. Which is only possible if the space is flat at that point.