Covariant derivatives and Christoffel symbols
since the basis vectors do not vary. In a general spacetime with arbitrary coordinates, with vary from point to point so
Since is itself a vector for a given it can be written as a linear combination of the bases vectors:
Thus we can write
Let us now prove that are the components of a 1/1 tensor. Remember in section 3.5 we found that was only a tensor under Poincaré transformations in Minkowski space with Minkowski coordinates. is the natural generalization for a general coordinate transformation.
Writing , we have:
so we obtain:
Now using , and we obtain:
We have shown that are indeed the components of a 1/1 tensor. We write this tensor as
since scalars do not depend on basis vectors.
This is just
Since and are tensors, the term in the parenthesis is a tensor with components:
We can extend this argument to show that