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

MTW: Exer. 8.12, pg. 215

  1. Sep 2, 2010 #1
    In this problem the authors state:

    I know that the first expression evaluates to the Kronecker delta in [tex]\alpha[/tex] and [tex]\beta[/tex] but the other expression is a 2x2 tensor. So how is the first (the identity tensor) the contraction (implying one less index) of the second, which is a 2nd rank tensor??

    Thanks in advance for any help you may give me.

    -LD
     
  2. jcsd
  3. Sep 2, 2010 #2

    phyzguy

    User Avatar
    Science Advisor

    It is confusing at first, but you need to understand the notation. The bold-faced quantities, omega and e, are one-forms and vectors, respectively. But their subscripts and superscripts do not refer to the components of omega and e, but are indices to denote which vector you are talking about. This is explained (briefly!) on page 51. Thus
    [tex]\omega^{\alpha}[/tex]
    does not refer to the four components of a single one-form, but to a set of four one-forms. Then
    [tex]<\omega^{\alpha},e_{\beta}>[/tex]
    is a set of 16 scalars, each of which is the innerproduct of one vector (one of the e's) and one one-form (one of the omegas). But the quantity:
    [tex]\omega^{\alpha}\otimes e_{\beta}[/tex]
    is a set of 16 rank two tensors, each of which is the outer product of one e and one omega. So when I contract the rank-2 tensors on the RHS, I get a set of 16 scalar equations. Does this make sense?
     
  4. Sep 2, 2010 #3
    The 2nd throws me off a bit. I understand both descriptions of these two expressions. What I am missing is how
    [tex]<\bold{\omega}^{\alpha},\bold{e}_{\beta}>[/tex]
    is a contraction of
    [tex]\bold{\omega}^{\alpha}\otimes \bold{e}_{\beta}[/tex].

    E.g.

    [tex]<\bold{\omega}^{0},\bold{e}_{0}> = 1[/tex]

    but

    [tex]\bold{\omega}^{\alpha}\otimes\bold{e}_{\beta} = \left(\begin{array}{cccc}1&0&0&0\\0&1&0&0\\0&0&1&0\\0&0&0&1\end{array}\right)[/tex]

    So a contraction on the 2nd expression would yield [tex]tr(\bold{\omega}^{\alpha}\otimes\bold{e}_{\beta}) = 4[/tex]
    Your reply has helped. I did forget that the indices are indicating which 4-component geometric object is being considered. Does the vector and 1-form have 4 components in the 1st expression, but only one in the 2nd??

    Wait a second... I just re-read your 2nd statement:

    "But the quantity [tex]\omega^{\alpha}\otimes e_{\beta}[/tex] is a set of 16 rank two tensors, ..."

    It is a set of 16 tensors, each of rank 2! So then the contraction is done on each of these 16 tensors of rank 2. So [tex]\bold{e}_{0}[/tex] and [tex]\bold{\omega}^{0}[/tex] both have 4 components. When you take their direct product you get a 4x4 tensor. Ok, now what is the contraction on these tensors? The same as the inner product?? (I think I am beginning to see...)
     
    Last edited: Sep 2, 2010
  5. Sep 2, 2010 #4

    phyzguy

    User Avatar
    Science Advisor

    So you have:
    [tex]<\bold{\omega}^0,\bold{e}_0>=1[/tex]
    and:
    [tex]\bold{\omega}^0\otimes\bold{e}_0 = \left(\begin{array}{cccc}1&0&0&0\\0&0&0&0\\0&0&0&0 \\0&0&0&0\end{array}\right)[/tex]
    So when you contract the rank two tensor you get a scalar.
    [tex]\bold{\omega}^{\alpha}\otimes\bold{e}_{\beta}[/tex]
    Is a set of 16 such tensors.
     
  6. Sep 2, 2010 #5
    [tex]\bold{\omega}^0\otimes\bold{e}_1 = \left(\begin{array}{cccc}0&1&0&0\\0&0&0&0\\0&0&0&0 \\0&0&0&0\end{array}\right)[/tex]

    [tex]\bold{\omega}^1\otimes\bold{e}_2 = \left(\begin{array}{cccc}0&0&0&0\\0&0&1&0\\0&0&0&0 \\0&0&0&0\end{array}\right)[/tex]

    [tex]\bold{\omega}^2\otimes\bold{e}_3 = \left(\begin{array}{cccc}0&0&0&0\\0&0&0&0\\0&0&0&1 \\0&0&0&0\end{array}\right)[/tex]

    etc...

    So if I contract any of these 2nd rank tensors I will get '1' when the indices are along the diagonal (just as when I take the inner-product of any [tex]<\bold{\omega}^{\alpha},\bold{e}_{\alpha}>[/tex]) and '0' when they aren't - like the ones I wrote above.

    OHhhhh... I see now my confusion. I thought that the direct product yielded a 16 element tensor with ... "dyadic" type elements in their respective slots!!! Wow. They're not - they're those things above.

    Thanks ever so much for all your help and patience with me phyzguy. May God richly bless you, in Jesus' name, amen.

    -joe
     
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook