ScalingStacks

Proof. [0264]

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.

The first assertion is obvious because, for a∈k×a\in k^{\times}, a​v∈𝒱av\in\mathscr{V} if and only if ‖v‖≤|a|−1\|v\|\leq|a|^{-1}.

For v∈Vv\in V, let a∈k×a\in k^{\times} with a​v∈𝒱av\in\mathscr{V}. Then ‖a​v‖≤1\|av\|\leq 1, that is, ‖v‖≤|a|−1\|v\|\leq|a|^{-1}, and hence ‖v‖≤‖v‖𝒱\|v\|\leq\|v\|_{\mathscr{V}}.

Finally we consider the second inequality, that is, ‖v‖𝒱≤|α|​‖v‖\|v\|_{\mathscr{V}}\leq|\alpha|\|v\| for v∈Vv\in V. Clearly we may assume that v≠0v\not=0. As |α|−1<1|\alpha|^{-1}<1, there is ϵ>0\epsilon>0 with |α|−1​eϵ<1|\alpha|^{-1}e^{\epsilon}<1. By the first assertion, we can choose b∈k×b\in k^{\times} such that ‖v‖≤|b|≤eϵ​‖v‖𝒱\|v\|\leq|b|\leq e^{\epsilon}\|v\|_{\mathscr{V}}. If ‖v‖<|b​α−1|\|v\|<|b\alpha^{-1}|, then

‖v‖𝒱≤|b|​|α|−1≤eϵ​‖v‖𝒱​|α|−1.\|v\|_{\mathscr{V}}\leq|b||\alpha|^{-1}\leq e^{\epsilon}\|v\|_{\mathscr{V}}|\alpha|^{-1}.

Thus 1≤eϵ​|α|−11\leq e^{\epsilon}|\alpha|^{-1}. This is a contradiction, so that ‖v‖≥|b​α−1|\|v\|\geq|b\alpha^{-1}|. Therefore,

‖v‖𝒱≤|b|≤|α|​‖v‖,\|v\|_{\mathscr{V}}\leq|b|\leq|\alpha|\|v\|,

as required. ∎

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