First of all notice that after replacing
with a slightly smaller open
set, the semi-flat metric is uniformly equivalent to , which implies that
| (4.4) |
|
|
|
for all small .
Thanks to Lemma 4.1 on we have that
|
|
|
and since is uniformly equivalent to we also have that
| (4.5) |
|
|
|
and combining (4.4) and (4.5) we get
| (4.6) |
|
|
|
on .
If we pull back (4.6) by we get
| (4.7) |
|
|
|
on all of .
We claim that on the whole of we have that
| (4.8) |
|
|
|
In fact, the construction of in section 3 gives that
for a function on
that satisfies
| (4.9) |
|
|
|
for all in and any .
It follows then that
| (4.10) |
|
|
|
as claimed.
Combining (4.7) and (4.8) we get the bound (4.3).
∎