# General Relativity/Einstein Summation Notation

In the last sections we talked about a number of operations involving tensors. One of them is to take a covariant vector and contravariant vector and turn them into scalar. Another is to get a contravariant vector and put it into a tensor and get out a force.

Since we want to do math with these, let us try to see how we can represent these. We take as an example trying to combine a contravariant vector (v) which represents the direction and speed we are travelling in and a covariant vector (w) which represents the rate of distance at which a temperature is changing. We want to get the scale invariant quantity describing the rate of time at which the temperature is changing as we move in direction v.

Now we could do it really abstractly. For example if we want to combine a contravariant tensor and covariant tensor to get a scalar we could write...

$f = \bold{v} \cdot\bold{ w}$

This is just our old friend the dot product. This has the advantage that it is short and simple to write. However, the problem with this is that it doesn't let us know what f, v, and w are. f is a scalar. v is a contravariant tensor. w is a covariant tensor. This wasn't a problem in basic vector calculus, where we just had to deal with scalars and vectors. But it is a problem now that our mathematical zoo has more animals.

The next approach would be to write everything as a component. So we have

$f = v^1 w_1 + v^2 w_2$

The trouble with this is that it is a lot of typing of the same numbers, over and over again. Lets write it out in summation notation.

$f = \sum_{\mu=1}^2 v^\mu w_\mu$

Better... But that summation sign, do we really want to write it over and over and over and over? What does it give us? We can be really clever and just write

$f = v^\mu w_\mu$

and just know that when we see the same index on top and on the bottom, we mean to take a sum. This is called Einstein summation notation. Whenever one sees the same letter on both superscript ("upper") indices and subscript ("lower") indices in a product, one automatically sums over the indices. Note that in GR, indices usually range from 0 to 3. (Note: Greek letters typically range from 0 to 3, while Roman letters range from 1 to 3).

Here are some more examples of the Einstein summation notation being used:

1. $v^\mu \sigma_\mu = \sum_{\mu=0}^3 v^\mu \sigma_\mu = v^0 \sigma_0 + v^1 \sigma_1 + v^2 \sigma_2 + v^3 \sigma_3$

2. $T^{\alpha \beta} S_{\alpha \beta} = \sum_{\alpha , \beta =0}^3 T^{\alpha \beta} S_{\alpha \beta} = T^{ 0 0}S_{0 0} + T^{ 1 0}S_{1 0}+ T^{ 2 0}S_{2 0}+ T^{ 3 0}S_{3 0}+ T^{ 0 1}S_{0 1} + T^{ 1 1}S_{1 1} +$ etc. (16 terms total)

3. $R_{\mu \nu} = R^{\rho}_{\ \mu \rho \nu} = \sum_{\rho=0}^3 R^{\rho} _{\ \mu \rho \nu} = R^{0} _{\ \mu 0 \nu}+R^{1} _{\ \mu 1 \nu}+R^{2} _{\ \mu 2 \nu}+R^{3} _{\ \mu 3 \nu}$

## IdentitiesEdit

Several identities arise from indicial notation.

Contraction

Since $\delta^i_j=1$ if $i=j$,

$\delta^i_j\delta^j_k = \delta^i_k\,$
$\delta^i_jx_{ij}=x_{mm}=\mathrm{trace}(x_{ij})$
Differentiation
$\frac{\partial x_i}{\partial x_j} = \delta^i_j$
$\frac{\partial x_{ij}}{\partial x_{k\ell}} = \delta^i_k\delta^j_\ell$