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

Physical meaning of index gymnastics

  1. Dec 21, 2009 #1
    What is the physical meaning of raising/lowering indexes?

    From a mathematical standpoint, I clearly understand what an expression like [tex]v_a = v^bg_{ab}[/tex] means. But let's assume that [tex]v^a[/tex] is, say, a 4-velocity: can I say that [tex]v_a[/tex] is a 4-velocity as well? Or is it something different?

    Not to speak of things like [tex]\nabla^av_a[/tex], which can be obtained with some index maths from [tex]\nabla_av^a[/tex]. In my mind, [tex]\nabla_a[/tex] is associated with the idea of covariant derivative, but what about [tex]\nabla^a[/tex]?

    Thanks to whoever could shed some light on this.
     
  2. jcsd
  3. Dec 22, 2009 #2

    Mentz114

    User Avatar
    Gold Member

    There is a geometrical meaning that is straightforward. Think of a two orthogonal axes (x, y) in two dimensions. The coordinates of a point are defined unambiguously by drawing a perpendicular to each axis. Now let the axes bend, and perhaps no longer intersect at a right angle.

    We can define a set of coordinates by the method above, but they suffer from the failure to make the distance between points invariant under coordinate transformations.

    We can define a second set of coordinates for a point by projecting a line through the point parallel to one axis and taking our value where this line cuts the other axis. So every point can be given 2 sets of coords, the perpendicular and the parallel-projection type.

    It happens that if we have two points A, B then the quantity

    [tex]
    (x_{A,para}-x_{B,para})(x_{A,perp}-x_{B,perp})+(y_{A,para}-y_{B,para})(y_{A,perp}-y_{B,perp})
    [/tex]

    is invariant under coordinate transformations. You'll have worked out that the perpendicular and parallel-projection coords are respectively the components of a covariant and contravariant vector. Those terms come from the fact that the inner product defined as above varies with the covariant components, but against the contravariant components. If a coordinate transformation increases the value of the covariant components, then the corresponding contravariant component must decrease, in order that the length stays the same.

    The physical usefulness comes from the invariance of scalars formed by contracting tensors.
     
  4. Dec 22, 2009 #3
    Thanks for the clarification. So, if I wanted to rephrase it using my terms [tex]v^a[/tex] and [tex]v_a[/tex] are just two different ways of expressing the same entity (in my example, a 4-velocity), as viewed under different coordinate types. If the reference frame is cartesian and orthogonal, the two "views" coincide, and [tex]v^a=v_a[/tex].

    Did I get it right?
     
  5. Dec 22, 2009 #4

    Mentz114

    User Avatar
    Gold Member

    Yes.

    Of course, the inner-product of [tex]v^a[/tex] and [tex]v_a[/tex] is [tex]c^2[/tex] the best known invariant.
     
  6. Dec 22, 2009 #5

    haushofer

    User Avatar
    Science Advisor

    I never really got into the precise geometrical picture of "contravariant" and "covariant" components, altough I've seen how you could depict them. I like to think of them mathematically; if you use vectors in a certain vector space to describe physical things, then there is also a corresponding dual vector space. If you want to describe scalar things, you need a vector from the vector space, and a covector from the covector space.

    Because these two spaces are diffeomorphic, there is a correspondence between the two. That's the metric.
     
  7. Dec 22, 2009 #6

    atyy

    User Avatar
    Science Advisor

    Roughly the down and up index vectors are row and column vectors, which are different spaces. They are different spaces. You can multiply row and column vectors to get a number, even without a metric. You cannot multiple two column vectors unless you have a metric. If you have a metric, then you can multiply two column vectors.

    I am not sure about this, but I believe that without a metric, there is no correspondence between row and column vectors. However, if you specify a basis for the column space, even without a metric, that specifies a dual basis for the row space, which changes with every different basis for the column space. In the presence of a metric, there is a correpondence between row and vector spaces. Upon Rn, one can put many different metrics.
     
  8. Dec 22, 2009 #7

    bcrowell

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    But keep in mind that there can be a useful distinction between [itex]v^a[/itex] and [itex]v_a[/itex] even in one dimension, even though there is no useful distinction between row vectors and column vectors in one dimension.

    The way I like to think about it is this. Suppose you have a one-dimensional space labeled by a coordinate x, with differences in x not necessarily corresponding to metric distances in any simple or linear way. Suppose you have points P and Q, separated by an infinitesimally small difference in x, dx. Now given dx, you want to find out the squared metric distance [itex]ds^2[/itex] between P and Q. There has to be some conversion factor that fills in the blank in the relationship [itex]ds^2=(\ldots)dx[/itex]. Since we're in one dimension, the superscripts and subscripts can only take on a single value, say 1. Then the thing we've been referring to as dx can be notated as [itex]dx^1[/itex], and the mysterious conversion factor can be notated as [itex]dx_1[/itex].

    In principle, the distinction between a vector [itex]u_a[/itex] and its dual [itex]u^a[/itex] is completely arbitrary. You could take every single equation in a general relativity book and swap the upper indices to lower and lower indices to upper, and everything would be just as valid as before. The only thing is that there's a convention that if we start talking about coordinates like t, x, etc., these are to be construed as components of the upper-index version of the vector.
     
  9. Dec 23, 2009 #8
    Thanks everybody for your comments. There is still a point, though, on which I'm not so sure, and it was hinted at in the last part of my original post.

    Let's start with [tex]\nabla_av^a[/tex]. The effect of the co-variant derivative [tex]\nabla_a[/tex] is to turn the vector [tex]v^a[/tex] into a (1,1) tensor. At this point, I can raise and lower indexes, and get another (1,1) tensor, for instance:

    [tex]\nabla_av^a=\nabla_av^ag^{ab}g_{ab}=\nabla^bv_b[/tex]

    From a tensor perspective, this looks fine. But is [tex]\nabla^b[/tex] still a derivative? Perhaps a contra-variant derivative (not sure if this term has any meaning at all)?. Or has the index gym turned [tex]\nabla_a[/tex] into something completely different?
     
  10. Dec 23, 2009 #9

    bcrowell

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    You may be getting confused by the confusing way the term "covariant" is used. In the term "covariant derivative," what "covariant" means is that it respects the fundamental invariance of GR under arbitrary smooth, one-to-one coordinate transformations; this property of the theory is known as general covariance. The use of the terms "covariant" and "contravariant" for upper and lower indices is only vaguely related to the former usage. Yes, [tex]\nabla^b[/tex] is a perfectly reasonable derivative operator.
     
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook