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
Suppose two maps f0:A^(1,100)→B(q,200)f_{0}:\hat{A}(1,100)\rightarrow B(q,200), f1:A^(1−δ,100+δ)→B(q,200)f_{1}:\hat{A}(1-\delta,100+\delta)\rightarrow B(q,200) satisfy that for i=0,1i=0,1 and some r>0r>0, (1−ϵ)|x|≤10ir−1d(q,fi(x))≤(1+ϵ)|x|,(1-\epsilon)|x|\leq 10^{i}r^{-1}d(q,f_{i}(x))\leq(1+\epsilon)|x|, and |102ir−2fi∗g−g0|C4≤ϵ|10^{2i}r^{-2}f_{i}^{*}g-g_{0}|_{C^{4}}\leq\epsilon on A^(10i,10i+1)\hat{A}(10^{i},10^{i+1}). Then there is a constant G=G(ϵ)G=G(\epsilon) with limϵ→0G(ϵ)=0\lim_{\epsilon\rightarrow 0}G(\epsilon)=0, a rotation R∈O(4)R\in O(4), and a map f:A^(10−1,100)→B(q,200)f:\hat{A}(10^{-1},100)\rightarrow B(q,200), with f(x)=f0(x)f(x)=f_{0}(x) on A^(9,100)\hat{A}(9,100), f(x)=f1(10R−1(x))f(x)=f_{1}(10R^{-1}(x)) on A^(10−1,2)\hat{A}(10^{-1},2), and |r−2f∗g−g0|C2≤C(ϵ)|r^{-2}f^{*}g-g_{0}|_{C^{2}}\leq C(\epsilon) on A^(10−1,100)\hat{A}(10^{-1},100).
82 source-bound objects; statement and proof tags appear beside their original text.