Corollary 3
Tag 02OT, permanent. Cite it as [Bourbaki, Tag 02OT].
Théories spectrales, chapter III, § 1. Applications linéaires compactes
Let E be a separated locally convex space over the field and a compact endomorphism of E. If E is of dimension at least 2, there exists a closed vector subspace F of E, distinct from and from E, such that .
The case is immediate. The case follows from Cor. 2 by taking .
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.