ScalingStacks

Definition 2.28 . [00I0]

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

The spectral algebra seminorm ⦀⋅⦀sp\vvvert\mathord{\cdot}\vvvert_{\mathrm{sp}} of an algebra seminorm ⦀⋅⦀\vvvert\mathord{\cdot}\vvvert on a kk-algebra AA is the one defined by

∀f∈𝒜,⦀f⦀sp:=limn→∞⦀fn⦀1n.\forall f\in\mathcal{A},\quad\vvvert f\vvvert_{\mathrm{sp}}:=\lim_{\begin{subarray}{c}n\to\infty\end{subarray}}\vvvert f^{n}\vvvert^{\frac{1}{n}}.

Note that the triangle inequality for ⦀⋅⦀sp\vvvert\mathord{\cdot}\vvvert_{\mathrm{sp}} follows from sub-multiplicativity of ⦀⋅⦀\vvvert\mathord{\cdot}\vvvert. In general, ⦀⋅⦀sp\vvvert\mathord{\cdot}\vvvert_{\mathrm{sp}} is only a seminorm even if ⦀⋅⦀\vvvert\mathord{\cdot}\vvvert is a norm.

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