Lemma 5.13 . [02D0] 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 1 original proof heading/text diagnostics lack independently established complete proof boundaries; diagnostic occurrences may overlap and are not a count of distinct proofs. Complete original source context · Original author HTML
Lemma 5.13 .
There is a sequence ϵ i → 0 \epsilon_{i}\rightarrow 0 and a sequence of smooth embeddings f i f_{i} from S 3 S^{3} to B B with the properties
(1)
d G H ( S i , ∂ B ( i − 1 ) ) ≤ i − 1 ϵ i d_{GH}(S_{i},\partial B(i^{-1}))\leq i^{-1}\epsilon_{i} where S i = f i ( S 3 ) S_{i}=f_{i}(S^{3}) .
(2)
| i 2 f i ∗ g − h 0 | C h 0 4 ≤ ϵ i |i^{2}f_{i}^{*}g-h_{0}|_{C^{4}_{h_{0}}}\leq\epsilon_{i} , where h 0 h_{0} is the standard round metric on S 3 S^{3} .
(3)
| i − 1 A S i + I d | C h 0 3 ≤ ϵ i , |i^{-1}A_{S_{i}}+Id|_{C^{3}_{h_{0}}}\leq\epsilon_{i}, where A S i : T S i → T S i A_{S_{i}}:TS_{i}\rightarrow TS_{i} is the shape operator.