We write the full matrix expression of the metric as
| (3.53) |
|
|
|
where . We denote by and the inverse matrix of and respectively.
Then by elementary consideration
| (3.74) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Notice the third term does not have off-diagonal contributions, so the inverse matrix satisfies
| (3.75) |
|
|
|
|
| (3.76) |
|
|
|
|
| (3.77) |
|
|
|
|
where we used Lemma 3.4.
The definition of requires , which implies that
| (3.78) |
|
|
|
Let be the inverse of the matrix
with such that .
Multiplying by , we have
| (3.79) |
|
|
|
and hence
| (3.80) |
|
|
|
We claim that for any ,
| (3.81) |
|
|
|
In fact, since
| (3.82) |
|
|
|
Multipling by the inverse of the submatrix ,
| (3.83) |
|
|
|
So this implies that
| (3.84) |
|
|
|
Therefore, combining (3.75),(3.77), (3.80) and (3.84), we obtain
| (3.85) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∎