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

Covariant and Contravariant Kronecker Delta operating on Tensor

  1. Aug 22, 2011 #1
    I am aware that the following operation:

    [itex] mathbf{M}_{ij} \delta_{ij} [/itex]


    [itex] mathbf{M}_{ii} or mathbf{M}_jj[/itex]

    However, if we have the following operation:

    [itex] mathbf{M}_{ij} \delta^i{}_j [/itex]

    will the tensor M be transformed at all?

    Thank you for your time.
  2. jcsd
  3. Aug 22, 2011 #2


    User Avatar
    Science Advisor

    I can't read your latex well but [itex]M_{ij}\delta _{ij} \neq M_{ii}, M_{ij}\delta _{ij} \neq M_{jj}[/itex] as there is no implied summation. In order to contract indeces you have to employ the summation convention i.e. [itex]M_{ij}\delta ^{ij} = M^{i}_{i} = M^{j}_{j}[/itex] which is just the trace of the tensor M and [itex]M_{ij}\delta ^{i}_{j} = M_{jj}[/itex].
  4. Aug 22, 2011 #3
    is M_{ij}\delta ^{i}_{j} = M_{ii} also valid?
  5. Aug 22, 2011 #4


    User Avatar
    Science Advisor

    No, [itex]M_{ij}\delta ^{i}_{j}\neq M_{ii} [/itex] because you are contracting with the i index which is what the summation is implied over; contract the i's and move in the j where the i is. However, [itex]M_{ij}\delta ^{j}_{i}= M_{ii} [/itex].
  6. Aug 23, 2011 #5
    Ok thanks, got it. By the way, how come your Latex is showing and mine isn't?
  7. Aug 23, 2011 #6


    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    You typed the tags wrong in the first post and used no tags at all in the second. You need to type itex or tex, not latex. Hit the quote button next to a post with math, and you'll see how it's done.

    That first claim is wrong. [itex]M_{ij}\delta ^{i}_{j}[/itex] is definitely [itex]=M_{ii} [/itex]. Edit: Uh, wait, if the convention is that there's no implied summation when both indices are downstairs, you're right and I was wrong. We have [itex]M_{ij}\delta^i_j=M_{jj}[/itex].
  8. Aug 24, 2011 #7
    Thanks - I have another question if you don't mind- Is [tex]\delta_{i}^{i}[/tex] summed over? i.e Is the above equal to [tex]\displaystyle\sum\limits_{i=0}^n \delta_{i}^{i}[/tex] If so what determines n?
  9. Aug 24, 2011 #8


    User Avatar
    Science Advisor
    Homework Helper

    Usually yes, the summation is assumed. The dimension of the vector space (or the upper limit of summation) should also be specified.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook