Lemma 2
Tag 028I, permanent. Cite it as [Bourbaki, Tag 028I].
Théories spectrales, chapter I, § 3. Algèbres de Banach commutatives
Let A be a commutative Banach algebra. Let M be a subset of . Then M is closed for the Jacobson topology if and only if, for every character - M, there exists an element of A such that is zero on M and nonzero at .
Let Υ(M) be the intersection of the kernels of the elements of M. The set M is closed for the Jacobson topology if and only if M = V(Υ(M)) (cf. I, p. 13 and I, p. 30). This condition is equivalent to saying that the elements of M are precisely the characters which vanish on Υ(M). Consequently M is closed if and only if for every character , there exists such that . This translates into and .
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.