Example 1
Tag 02DW, permanent. Cite it as [Bourbaki, Tag 02DW].
Théories spectrales, chapter I, § 6. Algèbres stellaires
Suppose that there exists such that Sp is reduced to . Then one has . In fact, the identity function of Sp is equal to , therefore its image under the functional calculus mapping, that is to say , is equal to .
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.