ScalingStacks

Proof. [0266]

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.

(1) Let (e1′,…,er′)(e^{\prime}_{1},\ldots,e^{\prime}_{r}) be an orthogonal basis of VV with respect to ‖.‖𝒱\|\raisebox{1.72218pt}{.}\|_{\mathscr{V}} (cf. Proposition 1.3). As |.||\raisebox{1.72218pt}{.}| is discrete, there is λi∈k×\lambda_{i}\in k^{\times} with |λi|=‖ei′‖𝒱|\lambda_{i}|=\|e^{\prime}_{i}\|_{\mathscr{V}}. If we set ei=λi−1​ei′e_{i}=\lambda_{i}^{-1}e^{\prime}_{i} for i=1,…,ri=1,\ldots,r, then (e1,…,er)(e_{1},\ldots,e_{r}) forms an orthonormal basis of VV with respect to ‖.‖𝒱\|\raisebox{1.72218pt}{.}\|_{\mathscr{V}}. Therefore,

𝒱⊆(V,‖.‖𝒱)≤1=𝔬k​e1+⋯+𝔬k​er.\mathscr{V}\subseteq(V,\|\raisebox{1.72218pt}{.}\|_{\mathscr{V}})_{\leq 1}=\mathfrak{o}_{k}e_{1}+\cdots+\mathfrak{o}_{k}e_{r}.

Thus we have (1) because 𝔬k\mathfrak{o}_{k} is noetherian.

(2) follows from Lemma 1.16. ∎

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