ScalingStacks

Proof. [025F]

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 us consider a map β:V∖{0}→ℝ>0/|k×|\beta:V\setminus\{0\}\to{\mathbb{R}}_{>0}/|k^{\times}| given by

β⁡(v)=the class of ‖v‖ in ℝ>0/|k×|.\beta(v)=\text{the class of $\|v\|$ in ${\mathbb{R}}_{>0}/|k^{\times}|$}.

It is sufficient to see that β⁡(V∖{0})\beta(V\setminus\{0\}) is finite. Let β1,…,βl\beta_{1},\ldots,\beta_{l} be distinct elements of β⁡(V∖{0})\beta(V\setminus\{0\}). We choose v1,…,vl∈V∖{0}v_{1},\ldots,v_{l}\in V\setminus\{0\} with β⁡(vi)=βi\beta(v_{i})=\beta_{i} for i=1,…,li=1,\ldots,l. If i≠ji\not=j, then ‖ai​vi‖≠‖aj​vj‖\|a_{i}v_{i}\|\not=\|a_{j}v_{j}\| for all ai,aj∈k×a_{i},a_{j}\in k^{\times}. Therefore, we obtain

‖a1​v1+⋯+al​vl‖=max⁡{‖a1​v1‖,…,‖a1​vl‖}\|a_{1}v_{1}+\cdots+a_{l}v_{l}\|=\max\{\|a_{1}v_{1}\|,\ldots,\|a_{1}v_{l}\|\}

for all a1,…,al∈ka_{1},\ldots,a_{l}\in k. In particular, v1,…,vlv_{1},\ldots,v_{l} are linearly independent. Therefore, we have #⁡(β⁡(V∖{0}))≤dimkV\#(\beta(V\setminus\{0\}))\leq\dim_{k}V. ∎

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