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

Why the metric is covariantly constant?

  1. Nov 22, 2007 #1
    you can show that the metric is covariantly constant by writing:

    for linearity V_a;b=(g_acV^c);b=g_ac;bV^c+g_acV^c;b

    than must be g_ac;b=0

    is there an alternative argument (even shorter than this) that show that the metric is covariantly constant?

    if I calculate g_ac;b considering that g_ac is a (0,2) tensor than I will write the 2 connections in form of the metric, but I have obtained this form using the fact that g_ac;b=0 so it seems to me like I'm just turning around

    any help?
  2. jcsd
  3. Nov 22, 2007 #2
    This isn't a proof that the metric is covariantly constant because in the first step you have assumed that [itex]g_{ac;b}=0[/itex], which is equivalent to assuming that the metric is covariantly constant.

    More formally, saying that the metric is covariantly constant means that the inner product between vectors is constant along a path of parallel transport. In particular, suppose that [itex]X,Y[/itex] are two vector fields, [itex]g[/itex] is a metric, and [itex]\nabla[/itex] is a connection. Then suppose that [itex]V[/itex] is a tangent vector to a path along which [itex]X[/itex] and [itex]Y[/itex] are parallel transported. If the metric is covariantly constant we must have

    [tex]\nabla_Vg(X,Y) = V^iX^jY^k(\nabla_ig)_{jk} = 0[/tex]

    Since this holds for any such vectors and any path of parallel transport, the condition for the metric to be covariantly constant is

  4. Nov 22, 2007 #3


    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    Strictly speaking, I think that you have to spell out the meaning of ; , i.e., specify the derivative operator (or the connection). At face value, [tex]\nabla_a g_{bc}[/tex] is a nonzero tensor of type (0,3) that could be used to define a "nonmetricity tensor" [which is zero in the case of semi-Riemannian geometry].
  5. Nov 22, 2007 #4
    ;b is the covariant derivative with respect to b
  6. Nov 22, 2007 #5


    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    That is not a sufficient definition.
    What are its DEFINING properties (as you are presenting them)?
    Without them, you can't prove anything.

    What is the level of this course you are taking?
    Maybe the answer to your question (with what you have given) is the Leibniz rule.
  7. Nov 22, 2007 #6
    1 in general for a tensor T of upper indices a... and lower indices b....

    So for (0,1) tensor: V_a;b=V_a,b-GAMMA^c_ab*V_c.....

    where GAMMA is the connection and ,b indicates the derivative with respect to b.

    2 It's a Master course for Physics and Mathematics

    3 I've used the Leibniz rule i.e property of linearity in what I have written in the first post. Now I need an alternative and shorter argument
  8. Nov 22, 2007 #7
    I've taken the liberty of translating the above into proper [itex]\TeX[/itex] (and more importantly, what I've written is correct: what you had written was not).

    You used this expression for the covariant derivative to "prove" that the metric was covariantly constant. I've pointed out to you that this isn't a proof at all since in your "proof" you made the implicit assumption that [itex]g_{ab;c}=0[/itex] -- which is precisely the thing that you were trying to prove!

    I've already explained to you that the argument you gave in the first post is incorrect. What's more, I've actually given you a correct argument in my first reply. In case this isn't enough for you, see any book on elementary differential geometry such as Nakahara or Frankel.

    Alternatively, you could have used the search function to find posts in which the defining properties of the connection are discussed, such as this post in this thread.
    Last edited: Nov 22, 2007
  9. Nov 26, 2007 #8
    Here the solution of my teacher:

    Since g_ac is a (0,2) tensor than g_ac;b= g_ac,b-GAMMA^d_ab*g_dc-GAMMA^d_cb*g_ad

    In a Local Inertial Frame g_ac,b=0 in a point P, than since the connection depends on the first partial derivatives of the metric GAMMA^d_ab=GAMMA^d_cb=0 in P.

    So we have in a LIF: g_ac;b=0 in P
    This is a tensor equation and it is valid in all frames since we have demonstrated its validity in one frame (LIF).

    So g_ac;b=0 in all frames
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook