Proposition 7 [03X0]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Proposition 7
Suppose that the metric and field described above are such that for any there exists such that
where is the normal unit vector to directed inside and is the covariant derivative of the metric considered as a symmetric tensor on the cotangent bundle.
Then the Assumption A2 is satisfied.