ScalingStacks

Proof. [025Q]

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.

Let (e1∨,…,er∨)(e_{1}^{\vee},\ldots,e_{r}^{\vee}) be the dual basis of (e1,…,er)(e_{1},\ldots,e_{r}). For a1,…,ar∈ka_{1},\ldots,a_{r}\in k with ai≠0a_{i}\not=0,

|(ei∨)​(a1​e1+⋯+ar​er)|‖a1​e1+⋯+ar​er‖≤|ai|α​max⁡{|a1|​‖e1‖,…,|ar|​‖er‖}≤|ai|α​|ai|​‖ei‖=1α​‖ei‖,\frac{|(e_{i}^{\vee})(a_{1}e_{1}+\cdots+a_{r}e_{r})|}{\|a_{1}e_{1}+\cdots+a_{r}e_{r}\|}\leq\frac{|a_{i}|}{\alpha\max\{|a_{1}|\|e_{1}\|,\ldots,|a_{r}|\|e_{r}\|\}}\leq\frac{|a_{i}|}{\alpha|a_{i}|\|e_{i}\|}=\frac{1}{\alpha\|e_{i}\|},

and hence ‖ei∨‖∨≤(α​‖ei‖)−1\|e_{i}^{\vee}\|^{\vee}\leq(\alpha\|e_{i}\|)^{-1}. Therefore, for a1′,…,ar′∈k′a^{\prime}_{1},\ldots,a^{\prime}_{r}\in k^{\prime},

‖a1′​e1+⋯+ar′​er‖\displaystyle\|a^{\prime}_{1}e_{1}+\cdots+a^{\prime}_{r}e_{r}\| ≥|(ei∨⊗1)​(a1′​e1+⋯+ar′​er)|′‖ei∨‖∨\displaystyle\geq\frac{|(e_{i}^{\vee}\otimes 1)(a^{\prime}_{1}e_{1}+\cdots+a^{\prime}_{r}e_{r})|^{\prime}}{\|e_{i}^{\vee}\|^{\vee}}
=|ai′|′‖ei∨‖∨≥|ai′|′(α​‖ei‖)−1=α​|ai′|′​‖ei‖.\displaystyle=\frac{|a^{\prime}_{i}|^{\prime}}{\|e_{i}^{\vee}\|^{\vee}}\geq\frac{|a^{\prime}_{i}|^{\prime}}{(\alpha\|e_{i}\|)^{-1}}=\alpha|a^{\prime}_{i}|^{\prime}\|e_{i}\|.

Thus we have the assertion. ∎

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