Proposition 6
Tag 026M, permanent. Cite it as [Bourbaki, Tag 026M].
Théories spectrales, chapter I, § 2. Algèbres normées
Let A be a unital Banach algebra and B a closed unital subalgebra of A. For every , one has Sp Sp, and the boundary of Sp in contains the boundary of Sp in . In particular, if Sp, then one has Sp Sp.
One has Sp Sp (remark 6 of I, p. 3). If is a point of the boundary of Sp in , there exists a sequence of points exterior to Sp tending to . Then is invertible in B and tends to , which is not invertible in B; hence is a left or right topological zero divisor in B (Proposition 4 of I, p. 24), hence in A. Thus, Sp. But since Sp Sp, the complex number Fr(Sp) cannot be interior to Sp, and therefore belongs to its boundary.
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.