Corollary 1
Tag 02TT, permanent. Cite it as [Bourbaki, Tag 02TT].
Théories spectrales, chapter III, § 5. Perturbation par une application linéaire compacte
Let E be a separated locally convex space and let . In order that be a Riesz endomorphism, it is necessary and sufficient that there exist an element of which commutes with and such that is compact.
Since every continuous linear mapping of finite rank is compact, the condition is necessary (III, p. 47, prop. 6 d)). Let us prove that it is sufficient. Let be an element of which commutes with and such that the endomorphism of E is compact. There exist a Banach space G, a continuous linear mapping and a compact linear mapping such that III, p. 5, prop. 5). The endomorphism of G is compact. According to prop. 2, the linear mapping is a Riesz endomorphism of G. But then is a Riesz endomorphism of E (III, p. 49, prop. 10, g)). Since and commute, is a Riesz endomorphism of E (III, p. 49, prop. 9).
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.