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
Lemma 8.8.
For every , there exists
with the following properties. Let satisfy and .
Let and assume satisfies
with the corresponding group. Then if is such that
, there exists a subset
and a diffeomorphism , where , such that
if is the pullback metric, we have
|
|
|
(8.30) |