Corollary 2
Tag 02TU, permanent. Cite it as [Bourbaki, Tag 02TU].
Théories spectrales, chapter III, § 5. Perturbation par une application linéaire compacte
Let E be a separated locally convex space, a Riesz endomorphism of E and a compact linear mapping. If and commute, then is a Riesz endomorphism of E.
Let be the canonical quasi-inverse of . It commutes with and with III, p. 47, prop. 6), hence with . The endomorphism of E is the sum of the continuous linear mapping of finite rank and the compact linear mapping , hence is compact. It follows that is a Riesz endomorphism of E (corollary 1).
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.