ScalingStacks

Proof. [025I]

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.

Fix α∈(0,1)\alpha\in(0,1). Let (e1,…,er)(e_{1},\ldots,e_{r}) be an α\alpha-orthogonal basis of VV (cf. Proposition 1.3). We set

C1=max⁡{‖ϕ⁡(e1)‖′,…,‖ϕ⁡(er)‖′}andC2=min⁡{‖e1‖,…,‖er‖}.C_{1}=\max\{\|\phi(e_{1})\|^{\prime},\ldots,\|\phi(e_{r})\|^{\prime}\}\quad\text{and}\quad C_{2}=\min\{\|e_{1}\|,\ldots,\|e_{r}\|\}.

Then, for v=a1​e1+⋯+ar​er∈V∖{0}v=a_{1}e_{1}+\cdots+a_{r}e_{r}\in V\setminus\{0\},

‖ϕ⁡(v)‖′‖v‖\displaystyle\frac{\|\phi(v)\|^{\prime}}{\|v\|} ≤max⁡{|a1|​‖ϕ⁡(e1)‖′,…,|ar|​‖ϕ⁡(er)‖′}α​max⁡{|a1|​‖e1‖,…,|ar|​‖er‖}\displaystyle\leq\frac{\max\{|a_{1}|\|\phi(e_{1})\|^{\prime},\ldots,|a_{r}|\|\phi(e_{r})\|^{\prime}\}}{\alpha\max\{|a_{1}|\|e_{1}\|,\ldots,|a_{r}|\|e_{r}\|\}}
≤max⁡{|a1|​C1,…,|ar|​C1}α​max⁡{|a1|​C2,…,|ar|​C2}=C1α​C2,\displaystyle\leq\frac{\max\{|a_{1}|C_{1},\ldots,|a_{r}|C_{1}\}}{\alpha\max\{|a_{1}|C_{2},\ldots,|a_{r}|C_{2}\}}=\frac{C_{1}}{\alpha C_{2}},

as desired. ∎

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