English
Under suitable hypotheses, spectrum 𝕜 f equals the preimage of the range under the algebra map, and in particular equals the range when the target 𝕜 is complete.
Русский
При соответствующих предпосылках спектр 𝕜 f совпадает с предобразом диапазона под алгебраическим отображением; в частности совпадает с диапазоном при полноте 𝕜.
LaTeX
$$$\mathrm{spectrum}_{\mathbb{K}}(f) = (\mathrm{algebraMap}_{\mathbb{K},R})^{-1}(\mathrm{range}(f)).$$$
Lean4
@[inherit_doc ZeroAtInftyContinuousMap, scoped term_parser 1000]
public meta def «term_→C₀_» : Lean.TrailingParserDescr✝ :=
ParserDescr.trailingNode✝ `ZeroAtInfty.«term_→C₀_» 1022 0
(ParserDescr.binary✝ `andthen (ParserDescr.symbol✝ " →C₀ ") (ParserDescr.cat✝ `term 0))
