Example 4.17 . [052N] Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Source coverage notes Source fidelity gap: the original arXiv HTML omits an author TeX footnote attached to equation e:def-omega, including its reference to Remark r:error-function. The retained HTML is preserved as published; the original author TeX remains available. TeX correspondence is not complete. Complete original source context · Original author HTML
Example 4.17 .
Let ( M n , g ) (M^{n},g) satisfy | Rm g | ≤ 1 |\Rm_{g}|\leq 1 in B 2 ( p ) B_{2}(p) , then the following holds:
(1)
there exists a dimensional constant r 0 ( n ) > 0 r_{0}(n)>0 such that r 1 , α ( x ) ≥ r 0 ( n ) > 0 r_{1,\alpha}(x)\geq r_{0}(n)>0 for all x ∈ B 1 ( p ) x\in B_{1}(p) and α ∈ ( 0 , 1 ) \alpha\in(0,1) . Moreover,
r 1 , α ( p ) ≥ r 0 ( n ) ⋅ r | Rm | ( p ) > 0 r_{1,\alpha}(p)\geq r_{0}(n)\cdot r_{|\Rm|}(p)>0 , where
(4.182)
r | Rm | ( p ) ≡ sup { r > 0 | | Rm | C 0 ( B r ( p ) ) ≤ r − 2 } r_{|\Rm|}(p)\equiv\sup\Big\{r>0\Big||\Rm|_{C^{0}(B_{r}(p))}\leq r^{-2}\Big\}
denotes the curvature scale at p p .
(2)
In particular, if Rm g ≡ 0 \Rm_{g}\equiv 0 on a complete manifold M n M^{n} , then r k , α ( x ) = + ∞ r_{k,\alpha}(x)=+\infty for all x ∈ M n x\in M^{n} , k ∈ ℤ + k\in\mathbb{Z}_{+} and α ∈ ( 0 , 1 ) \alpha\in(0,1) .