# Invariant subspace problem

In the field of mathematics known as functional analysis, the invariant subspace problem is a partially unresolved problem asking whether every bounded operator on a complex Banach space sends some non-trivial closed subspace to itself. Many variants of the problem have been solved, by restricting the class of bounded operators considered or by specifying a particular class of Banach spaces. The problem is still open for separable Hilbert spaces (in other words, all the examples found of operators with no non-trivial invariant subspaces act on Banach spaces which are not separable Hilbert spaces).

Contents 1 History 2 Precise statement 2.1 Known special cases 3 Notes 4 References History The problem seems to have been stated in the mid-1900s after work by Beurling and von Neumann,[1] who found (but never published) a positive solution for the case of compact operators. It was then posed by Paul Halmos for the case of operators {displaystyle T} such that {displaystyle T^{2}} is compact. This was resolved affirmatively, for the more general class of polynomially compact operators (operators {displaystyle T} such that {displaystyle p(T)} is a compact operator for a suitably chosen non-zero polynomial {displaystyle p} ), by Allen R. Bernstein and Abraham Robinson in 1966 (see Non-standard analysis § Invariant subspace problem for a summary of the proof).

For Banach spaces, the first example of an operator without an invariant subspace was constructed by Per Enflo. He proposed a counterexample to the invariant subspace problem in 1975, publishing an outline in 1976. Enflo submitted the full article in 1981 and the article's complexity and length delayed its publication to 1987[2] Enflo's long "manuscript had a world-wide circulation among mathematicians"[1] and some of its ideas were described in publications besides Enflo (1976).[3] Enflo's works inspired a similar construction of an operator without an invariant subspace for example by Beauzamy, who acknowledged Enflo's ideas.[2] In the 1990s, Enflo developed a "constructive" approach to the invariant subspace problem on Hilbert spaces.[4] Precise statement Formally, the invariant subspace problem for a complex Banach space {displaystyle H} of dimension > 1 is the question whether every bounded linear operator {displaystyle T:Hto H} has a non-trivial closed {displaystyle T} -invariant subspace: a closed linear subspace {displaystyle W} of {displaystyle H} , which is different from {displaystyle {0}} and from {displaystyle H} , such that {displaystyle T(W)subset W} .