Remark
Tag 02BX, permanent. Cite it as [Bourbaki, Tag 02BX].
Théories spectrales, chapter I, § 5. Algèbres de Banach commutatives régulières
Let be the Banach algebra deduced from A by adjunction of a unit element . Condition (ii) of prop. 1 shows that if is regular, then A is regular. Suppose that A is regular and let us show that is regular. Consider subsets F and of which are disjoint and weakly closed (hence weakly compact) and construct an such that vanishes on F, and is equal to 1 on . Let be the character which is zero on A. If , there exists, according to condition (iii) of prop. 1 and the assumption on A, an element such that vanishes on F and is equal to 1 on . If , we have ; there exists therefore an element such that vanishes on and is equal to 1 on F. The element of then has the required property.
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.