Lemma 3
Tag 026L, permanent. Cite it as [Bourbaki, Tag 026L].
Théories spectrales, chapter I, § 2. Algèbres normées
Let and be compact subsets of . If is contained in and if the boundary of in is contained in , then is the union of and of certain bounded connected components of the complement of in .
Let U be a connected component of . Every boundary point of in the open set U is also a boundary point of in , hence belongs to by hypothesis; since , one sees that has no boundary point in the space U. Since U is connected, the intersection is either empty or equal to U (TG, I, p. 82, cor.), and the lemma results.
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.