ScalingStacks

Lemma 1.11 . [025T]

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 1.11.

Let f:V→Wf:V\to W be a surjective homomorphism of finite-dimensional vector spaces over kk. Let ‖.‖V\|\raisebox{1.72218pt}{.}\|_{V} and ‖.‖W\|\raisebox{1.72218pt}{.}\|_{W} be norms of VV and WW, respectively. We assume that dimkW=1\dim_{k}W=1 and ‖.‖W\|\raisebox{1.72218pt}{.}\|_{W} is the quotient norm of ‖.‖V\|\raisebox{1.72218pt}{.}\|_{V} in terms of the surjection f:V→Wf:V\to W. We set Vk′:=V⊗kk′V_{k^{\prime}}:=V\otimes_{k}k^{\prime} and Wk′:=W⊗kk′W_{k^{\prime}}:=W\otimes_{k}k^{\prime}. Let ‖.‖V,k′\|\raisebox{1.72218pt}{.}\|_{V,k^{\prime}} and ‖.‖W,k′\|\raisebox{1.72218pt}{.}\|_{W,k^{\prime}} be the norms of Vk′V_{k^{\prime}} and Wk′W_{k^{\prime}} obtained by the scalar extensions of ‖.‖V\|\raisebox{1.72218pt}{.}\|_{V} and ‖.‖W\|\raisebox{1.72218pt}{.}\|_{W}, respectively. Then ‖.‖W,k′\|\raisebox{1.72218pt}{.}\|_{W,k^{\prime}} is the quotient norm of ‖.‖V,k′\|\raisebox{1.72218pt}{.}\|_{V,k^{\prime}} in terms of the surjection fk′:=f⊗idk′:Vk′→Wk′f_{k^{\prime}}:=f\otimes\mathrm{id}_{k^{\prime}}:V_{k^{\prime}}\to W_{k^{\prime}}.

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