Proposition 3
Tag 02C2, permanent. Cite it as [Bourbaki, Tag 02C2].
Théories spectrales, chapter I, § 5. Algèbres de Banach commutatives régulières
Let A be a commutative regular Banach algebra, I an ideal of A and K a compact subset of disjoint from V(I). There exists an element such that for every in K.
This is a special case of prop. 15 of I, p. 81 taking into account the fact that the Jacobson topology coincides with the weak topology on .
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.