Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2014/iii/paper-53/1/a/i/solution

Write for the positive spatial metric tensor and for its inverse. Expanding the 3+1 decomposition gives , and . The inverse is
For example, , and . The spatial block similarly gives . These checks determine all blocks without treating the spatial block alone as the inverse of the four-metric.
Raising the normal covector with this inverse metric tensor yields
Take so it is future-pointing. Its norm is . The spatial projection tensor obeys , and multiplication gives
Thus it is an idempotent linear projection onto vectors tangent to the spatial hypersurface. The negative spatial components of the spacetime metric tensor do not change this idempotence.

New to topics? Read the docs here!