ScalingStacks

Lemma 2.11 . [00HF]

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

Lemma 2.11.

Let f:V→Wf:V\rightarrow W be a surjective kk-linear map of finite-dimensional vector spaces, with dimk​W=1\mathrm{dim}_{k}W=1. Let ∥⋅∥V\lVert\mathord{\cdot}\rVert_{V} be a norm on VV and let ∥⋅∥W\lVert\mathord{\cdot}\rVert_{W} be its quotient norm for ff. Then the norm ∥⋅∥W,k′\lVert\mathord{\cdot}\rVert_{W,k^{\prime}} identifies with the quotient norm of ∥⋅∥V,k′\lVert\mathord{\cdot}\rVert_{V,k^{\prime}} induced by the surjective k′k^{\prime}-linear map f⊗idk′:Vk′→Wk′f\otimes\mathrm{id}_{k^{\prime}}:V_{k^{\prime}}\rightarrow W_{k^{\prime}}. ([CMor18, Lemma 2.5])

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