0

This refers to the following formula on this wiki page:

$$\Gamma^i_{ki}=\frac{1}{2}g^{im}\frac{\partial g_{im}}{\partial x^k}$$

Shouldn't it be $$\Gamma^{i}_{ki}=\frac{1}{2}g^{im}(\frac{\partial g_{mi}}{\partial x_k}+\frac{\partial g_{mk}}{\partial x_i}-\frac{\partial g_{ki}}{\partial x_m})$$ Why do the other terms disappear?

2 Answers2

1

In your expression : $\Gamma^{i}_{ki}=\frac{1}{2}g^{im}(\frac{\partial g_{mi}}{\partial x^k}+\frac{\partial g_{mk}}{\partial x^i}-\frac{\partial g_{ki}}{\partial x^m})$ the terms $\frac{\partial g_{mk}}{\partial x^i}-\frac{\partial g_{ki}}{\partial x^m}$ cancel each other out because of the symmetry of the metric tensor.

So (using Einstein summation convention):

$g^{im}\frac{\partial g_{mk}}{\partial x^i}-g^{im}\frac{\partial g_{ki}}{\partial x^m}=g^{im}\frac{\partial g_{mk}}{\partial x^i}-g^{mi}\frac{\partial g_{ki}}{\partial x^m}=$ (relabeling dummy indices) $\implies =g^{im}\frac{\partial g_{mk}}{\partial x^i}-g^{im}\frac{\partial g_{km}}{\partial x^i}=g^{im}\frac{\partial g_{mk}}{\partial x^i}-g^{im}\frac{\partial g_{mk}}{\partial x^i}=0$

giving the formula.

Rutger Moody
  • 2,487
  • I understand that $g_{ij}=g_{ji}$. However, I don't understand how we can just exchange $i$ and $m$ in this expression. What symmetry are you referring to? –  Mar 21 '19 at 17:45
  • @fierydemon added some clarification, hope that helps – Rutger Moody Mar 21 '19 at 18:28
0

Yes that's true. But note that by the symmetry of $g$, $$g^{im}\partial_ig_{mk}=g^{mi}\partial_mg_{ik}=g^{im}\partial_mg_{ki}$$ so the last two terms cancel.

Edit: To clarify, the $i,m$ indices are just labels for summation. They can be relabeled at will to any other distinct letters. For example, $$g^{im}\partial_ig_{mk}=g^{ab}\partial_ag_{bk}$$ $$g^{mi}\partial_mg_{ik}=g^{ab}\partial_ag_{bk}$$ where in the first identity $i\to a$, $m\to b$, while in the second, $i\to b$, $m\to a$.

Chrystomath
  • 10,798
  • I understand the symmetry that $g_{ij}=g_{ji}$. I don't understand how we can exchange $i$ and $m$ in $g^{im}\partial_ig_{mk}$ –  Mar 21 '19 at 17:41