ScalingStacks

Proof. [025S]

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.

For ϵ>0\epsilon>0, let (e1,…,er)(e_{1},\ldots,e_{r}) be an e−ϵe^{-\epsilon}-orthogonal basis of VV with respect to ‖.‖\|\raisebox{1.72218pt}{.}\|. Then, by Proposition 1.9, (e1,…,er)(e_{1},\ldots,e_{r}) forms an e−ϵe^{-\epsilon}-orthogonal basis of Vk′V_{k^{\prime}} and Vk′′V_{k^{\prime\prime}} with respect to ‖.‖k′\|\raisebox{1.72218pt}{.}\|_{k^{\prime}} and ‖.‖k′′\|\raisebox{1.72218pt}{.}\|_{k^{\prime\prime}}, respectively, so that (e1,…,er)(e_{1},\ldots,e_{r}) is also an e−ϵe^{-\epsilon}-orthogonal basis of Vk′′V_{k^{\prime\prime}} with respect to ‖.‖k′,k′′\|\raisebox{1.72218pt}{.}\|_{k^{\prime},k^{\prime\prime}}. Note that ‖ei‖=‖ei‖k′′=‖ei‖k′,k′′\|e_{i}\|=\|e_{i}\|_{k^{\prime\prime}}=\|e_{i}\|_{k^{\prime},k^{\prime\prime}} for all i=1,…,ri=1,\ldots,r. Thus, for a1′′,…,ar′′∈k′′a^{\prime\prime}_{1},\ldots,a^{\prime\prime}_{r}\in k^{\prime\prime},

‖a1′′​e1+…+ar′′​er‖k′,k′′≤max⁡{|a1′′|′′​‖e1‖,…,|ar′′|′′​‖er‖}≤eϵ​‖a1′′​e1+…+ar′′​er‖k′′\|a^{\prime\prime}_{1}e_{1}+\ldots+a^{\prime\prime}_{r}e_{r}\|_{k^{\prime},k^{\prime\prime}}\leq\max\{|a^{\prime\prime}_{1}|^{\prime\prime}\|e_{1}\|,\ldots,|a^{\prime\prime}_{r}|^{\prime\prime}\|e_{r}\|\}\\ \leq e^{\epsilon}\|a^{\prime\prime}_{1}e_{1}+\ldots+a^{\prime\prime}_{r}e_{r}\|_{k^{\prime\prime}}

and

‖a1′′​e1+…+ar′′​er‖k′′≤max⁡{|a1′′|′′​‖e1‖,…,|ar′′|′′​‖er‖}≤eϵ​‖a1′′​e1+…+ar′′​er‖k′,k′′.\|a^{\prime\prime}_{1}e_{1}+\ldots+a^{\prime\prime}_{r}e_{r}\|_{k^{\prime\prime}}\leq\max\{|a^{\prime\prime}_{1}|^{\prime\prime}\|e_{1}\|,\ldots,|a^{\prime\prime}_{r}|^{\prime\prime}\|e_{r}\|\}\\ \leq e^{\epsilon}\|a^{\prime\prime}_{1}e_{1}+\ldots+a^{\prime\prime}_{r}e_{r}\|_{k^{\prime},k^{\prime\prime}}.

Thus, we have the assertion by taking ϵ→0\epsilon\to 0. ∎

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