Abstract
Compact operators (on a complex Banach space of dimension greater than 1) have a nontrivial invariant subspace; a nontrivial hyperinvariant subspace, actually, if it is nonscalar. The definitive result in this line is due to Lomonosov [40]: An operator has a nontrivial invariant subspace if it commutes with a nonscalar operator that commutes with a nonzero compact operator. In fact, every nonscalar operator that commutes with a nonscalar compact operator (itself, in particular) has a nontrivial hyperinvariant subspace. Recall that on an infinite-dimensional formed space the only scalar compact operator is the null operator; on a finite-dimensional formed space every operator is compact.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
