Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2016/iii/paper-309/1/i/solution

Use signature , so the future-directed unit normal obeys . The spatial projection tensor and the induced metric are
Indeed and : this is an idempotent linear map onto the tangent space of the spatial hypersurface. For a covariant tensor both slots must be projected:
Contracting either slot with supplies the vanishing factor . Thus both normal contractions vanish, without requiring symmetry of .

New to topics? Read the docs here!