ScalingStacks

Proof. [025K]

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},\ldots,e_{r}) be an α\alpha-orthogonal basis of VV such that W=k​e1+⋯+k​elW=ke_{1}+\cdots+ke_{l} (cf. Proposition 1.3). We define φ∈V∨\varphi\in V^{\vee} to be

φ⁡(a1​e1+⋯+ar​er):=ψ⁡(a1​e1+⋯+al​el)\varphi(a_{1}e_{1}+\cdots+a_{r}e_{r}):=\psi(a_{1}e_{1}+\cdots+a_{l}e_{l})

for a1,…,ar∈ka_{1},\ldots,a_{r}\in k. Then φ|W=ψ\left.{\varphi}\right|_{{W}}=\psi. Moreover, note that

α​‖a1​e1+⋯+al​el‖≤α​max⁡{|a1|​‖e1‖,…,|al|​‖el‖}≤α​max⁡{|a1|​‖e1‖,…,|ar|​‖er‖}≤‖a1​e1+⋯+ar​er‖,\alpha\|a_{1}e_{1}+\cdots+a_{l}e_{l}\|\leq\alpha\max\{|a_{1}|\|e_{1}\|,\ldots,|a_{l}|\|e_{l}\|\}\\ \leq\alpha\max\{|a_{1}|\|e_{1}\|,\ldots,|a_{r}|\|e_{r}\|\}\leq\|a_{1}e_{1}+\cdots+a_{r}e_{r}\|,

so that

|φ⁡(a1​e1+⋯+ar​er)|‖a1​e1+⋯+ar​er‖≤α−1​|ψ⁡(a1​e1+⋯+al​el)|‖a1​e1+⋯+al​el‖≤α−1​‖ψ‖∨\frac{|\varphi(a_{1}e_{1}+\cdots+a_{r}e_{r})|}{\|a_{1}e_{1}+\cdots+a_{r}e_{r}\|}\leq\alpha^{-1}\frac{|\psi(a_{1}e_{1}+\cdots+a_{l}e_{l})|}{\|a_{1}e_{1}+\cdots+a_{l}e_{l}\|}\leq\alpha^{-1}\|\psi\|^{\vee}

for all a1,…,ar∈ka_{1},\ldots,a_{r}\in k with (a1,…,al)≠(0,…,0)(a_{1},\ldots,a_{l})\not=(0,\ldots,0). Thus the assertion follows. ∎

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