- #1
Shmi
- 12
- 0
Homework Statement
"Evaluate: [itex] g^{\mu \nu} g_{\nu \rho}[/itex] where [itex] ds^2 = g_{\mu \nu} dx^\mu dx^\nu , ds^2 = c^2 dt^2 - dx^2 - dy^2 - dz^2 [/itex]"
Homework Equations
None necessary, just a notation issue
The Attempt at a Solution
Just using raising and lowering rules, I imagine each raising and lowering the others non-summed index or "contracting" the dummy index as I've heard it called.
[tex] g^{\mu \nu} g_{\nu \rho} = g_\mu^\rho [/tex]
But that's a bit easy.
In matrix form, this new object [itex]g_\mu ^\rho[/itex] is a four by four identity matrix when you take the product of the two matrices.
This leads to me to think that [itex] g^{\mu \nu} g_{\nu \rho} = g_\mu^\rho = \delta _\mu ^\rho[/itex] is some intrinsic identity of this combination of metric tensors, and a quick google search does indeed reveal that to be the case.
What I'm really struggling with is that most sites present this as an obvious consequence of a matrix and its inverse. I can dig a matrix and it's inverse resulting in an identity, but I don't see how these matrices are inverses. Furthermore, this action produces a (1,1) tensor. Of course, given the manipulation rules, I see why it is a (1,1) but I don't see why me make the distinction for an identity matrix, or if it's just a matter of consistency.
If you could shed some insight on what's going as we raise and lower indices, I'd love to see why this result is so obvious to the authors of other literature on index notation.