Example
Tag 028O, permanent. Cite it as [Bourbaki, Tag 028O].
Théories spectrales, chapter I, § 3. Algèbres de Banach commutatives
Let K be a compact subset. Let be the family in of the restrictions to K of the coordinate functions of . Then the joint spectrum Sp is equal to K. In fact, by Corollary 2 of I, p. 32, every character of is of the form for an element , and 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.