The map takes one covector argument and returns two vector slots, so has two contravariant and one covariant index. Its tensor type is
or type , with components .
The covariant derivative adds one covariant index, so has type . The outer product of two tensors adds their index counts. Hence
Let
The Euler-Lagrange equation gives
Since and , this becomes
Expanding the derivative, multiplying by the inverse metric, and using the Christoffel symbol
gives the geodesic equation

Articles by others on the same topic (0)

There are currently no matching articles.