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
If dimℝS<n\dim_{\mathbb{R}}S<n, then
for any r>0r>0, where Tr(S)={p∈X|distg0(p,S)≤r}T_{r}(S)=\{p\in X|dist_{g_{0}}(p,S)\leq r\}. Let r0>r1>σr_{0}>r_{1}>\sigma such that Tr1(S)⊂Bg0(x0,r0)T_{r_{1}}(S)\subset B_{g_{0}}(x_{0},r_{0}), and Fr0,k(Tr1(S))⊃Bg~k(xk,σ)F_{r_{0},k}(T_{r_{1}}(S))\supset B_{\tilde{g}_{k}}(x_{k},\sigma) for k≫1k\gg 1. Then the inclusion maps induce homeomorphisms on cohomology groups
Thus [Ω~k|Fr0,k(Tr1(S))]≠0[\tilde{\Omega}_{k}|_{F_{r_{0},k}(T_{r_{1}}(S))}]\neq 0 in Hn(Fr0,k(Tr1(S)),ℂ)H^{n}(F_{r_{0},k}(T_{r_{1}}(S)),\mathbb{C}), which contradicts to
∎
42 source-bound objects; statement and proof tags appear beside their original text.