ScalingStacks

Definition 1.8 . [025N]

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

Definition 1.8.

Let k′k^{\prime} be an extension field of kk, and let |.|′|\raisebox{1.72218pt}{.}|^{\prime} be a complete absolute value of k′k^{\prime} which is an extension of |.||\raisebox{1.72218pt}{.}|. We set Vk′:=V⊗kk′V_{k^{\prime}}:=V\otimes_{k}k^{\prime}. Identifying Vk′V_{k^{\prime}} with

Homk​(Homk​(V,k),k′),\mathrm{Hom}_{k}(\mathrm{Hom}_{k}(V,k),k^{\prime}),

we can give a norm ‖.‖k′\|\raisebox{1.72218pt}{.}\|_{k^{\prime}} of Vk′V_{k^{\prime}}, that is,

‖v′‖k′=sup{|(ϕ⊗1)​(v′)|′‖ϕ‖∨|ϕ∈V∨}.\|v^{\prime}\|_{k^{\prime}}=\sup\left\{\frac{|(\phi\otimes 1)(v^{\prime})|^{\prime}}{\|\phi\|^{\vee}}\,\Big|\,\phi\in V^{\vee}\right\}.

The norm ‖.‖k′\|\raisebox{1.72218pt}{.}\|_{k^{\prime}} is called the scalar extension of ‖.‖\|\raisebox{1.72218pt}{.}\|. Note that ‖v⊗1‖k′=‖v‖\|v\otimes 1\|_{k^{\prime}}=\|v\| for v∈Vv\in V. Indeed, by Corollary 1.7,

‖v⊗1‖k′=sup{|ϕ⁡(v)|‖ϕ‖∨|ϕ∈V∨}=‖v‖.\|v\otimes 1\|_{k^{\prime}}=\sup\left\{\frac{|\phi(v)|}{\|\phi\|^{\vee}}\,\Big|\,\phi\in V^{\vee}\right\}=\|v\|.

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