ScalingStacks

Proof. [05E9]

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

Proof.

By Theorem 6.1, we have

V​o​lh1​(Bh1​(r))≤V​o​lg​(Bg​(p,r)∩L)≤V​o​lg​(L)=∫LΘ,Vol_{h_{1}}(B_{h_{1}}(r))\leq Vol_{g}(B_{g}(p,r)\cap L)\leq Vol_{g}(L)=\int_{L}\Theta,

for any r≤min⁡{ig​(p),π2}r\leq\min\{i_{g}(p),\frac{\pi}{2}\}, where h1h_{1} denotes the standard metric on SnS^{n} with constant curvature 1, and Bh1​(r)B_{h_{1}}(r) denotes a metric rr-ball in SnS^{n}. Since h1=d​r2+sin2⁡r​hSn−1h_{1}=dr^{2}+\sin^{2}rh_{S^{n-1}} where hSn−1h_{S^{n-1}} is the standard metric on Sn−1S^{n-1} with constant curvature 1, we obtain sin⁡r≥2π​r\sin r\geq\frac{2}{\pi}r, and

2n−1n​πn−1​rn​ϖn−1≤∫0rsinn−1⁡r​𝑑r​ϖn−1=V​o​lh1​(Bh1​(r))≤∫LΘ.\frac{2^{n-1}}{n\pi^{n-1}}r^{n}\varpi_{n-1}\leq\int_{0}^{r}\sin^{n-1}rdr\varpi_{n-1}=Vol_{h_{1}}(B_{h_{1}}(r))\leq\int_{L}\Theta.

If ig​(p)≥π2i_{g}(p)\geq\frac{\pi}{2}, by letting r=π2r=\frac{\pi}{2}, we obtain

π2​n​ϖn−1≤∫LΘ<π2​n​ϖn−1,\frac{\pi}{2n}\varpi_{n-1}\leq\int_{L}\Theta<\frac{\pi}{2n}\varpi_{n-1},

which is a contradiction. Thus ig​(p)<π2i_{g}(p)<\frac{\pi}{2}. By letting r=ig​(p)r=i_{g}(p), we obtain

ig​(p)n≤n​πn−12n−1​ϖn−1​∫LΘ.i_{g}(p)^{n}\leq\frac{n\pi^{n-1}}{2^{n-1}\varpi_{n-1}}\int_{L}\Theta.

∎

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.