Example 2
Tag 02EE, permanent. Cite it as [Bourbaki, Tag 02EE].
Théories spectrales, chapter I, § 6. Algèbres stellaires
Let A be a commutative involutive algebra. Let be in A. Since Sp is the union of and of the image of the Gelfand transform (prop. 6 of I, p. 37), the element is positive if, and only if, the Gelfand transform is a positive function.
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.