Remark
Tag 02EB, permanent. Cite it as [Bourbaki, Tag 02EB].
Théories spectrales, chapter I, § 6. Algèbres stellaires
Let A be a unital involutive algebra and let be the unital involutive algebra deduced from A by adjunction of a unit element . For every , one has Sp Sp. Let be a normal element of A. Then it is a normal element of , and therefore one has two mappings of functional calculus in A, the first defined on (Sp) and the second on (Sp). Let (Sp); if denotes its restriction to Sp, one then has .
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.