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, each example, found so far, of an operator with no non-trivial invariant subspaces is an operator that acts on a Banach space that is not isomorphic to a separable Hilbert space).
The problem seems to have been stated in the mid-20th century 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 such that is compact. This was resolved affirmatively, for the more general class of polynomially compact operators (operators such that is a compact operator for a suitably chosen non-zero polynomial ), 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]
In May 2023, a preprint of Enflo appeared on arXiv, [5] which, if correct, solves the problem for Hilbert spaces and completes the picture.
In July 2023, a second and independent preprint of Neville appeared on arXiv, [6] claiming the solution of the problem for separable Hilbert spaces.
Formally, the invariant subspace problem for a complex Banach space of dimension > 1 is the question whether every bounded linear operator has a non-trivial closed -invariant subspace: a closed linear subspace of , which is different from and from , such that .
A negative answer to the problem is closely related to properties of the orbits . If is an element of the Banach space , the orbit of under the action of , denoted by , is the subspace generated by the sequence . This is also called the -cyclic subspace generated by . From the definition it follows that is a -invariant subspace. Moreover, it is the minimal-invariant subspace containing : if is another invariant subspace containing , then necessarily for all (since is -invariant), and so . If is non-zero, then is not equal to , so its closure is either the whole space (in which case is said to be a cyclic vector for ) or it is a non-trivial -invariant subspace. Therefore, a counterexample to the invariant subspace problem would be a Banach space and a bounded operator for which every non-zero vector is a cyclic vector for . (Where a "cyclic vector" for an operator on a Banach space means one for which the orbit of is dense in .)
While the case of the invariant subspace problem for separable Hilbert spaces is still open, several other cases have been settled for topological vector spaces (over the field of complex numbers):
In mathematics, more specifically in functional analysis, a Banach space is a complete normed vector space. Thus, a Banach space is a vector space with a metric that allows the computation of vector length and distance between vectors and is complete in the sense that a Cauchy sequence of vectors always converges to a well-defined limit that is within the space.
Functional analysis is a branch of mathematical analysis, the core of which is formed by the study of vector spaces endowed with some kind of limit-related structure and the linear functions defined on these spaces and suitably respecting these structures. The historical roots of functional analysis lie in the study of spaces of functions and the formulation of properties of transformations of functions such as the Fourier transform as transformations defining, for example, continuous or unitary operators between function spaces. This point of view turned out to be particularly useful for the study of differential and integral equations.
In mathematics, a topological space is called separable if it contains a countable, dense subset; that is, there exists a sequence of elements of the space such that every nonempty open subset of the space contains at least one element of the sequence.
In mathematics, particularly linear algebra and functional analysis, a spectral theorem is a result about when a linear operator or matrix can be diagonalized. This is extremely useful because computations involving a diagonalizable matrix can often be reduced to much simpler computations involving the corresponding diagonal matrix. The concept of diagonalization is relatively straightforward for operators on finite-dimensional vector spaces but requires some modification for operators on infinite-dimensional spaces. In general, the spectral theorem identifies a class of linear operators that can be modeled by multiplication operators, which are as simple as one can hope to find. In more abstract language, the spectral theorem is a statement about commutative C*-algebras. See also spectral theory for a historical perspective.
In the area of mathematics known as functional analysis, a reflexive space is a locally convex topological vector space for which the canonical evaluation map from into its bidual is a homeomorphism. A normed space is reflexive if and only if this canonical evaluation map is surjective, in which case this evaluation map is an isometric isomorphism and the normed space is a Banach space. Those spaces for which the canonical evaluation map is surjective are called semi-reflexive spaces.
In mathematics, a von Neumann algebra or W*-algebra is a *-algebra of bounded operators on a Hilbert space that is closed in the weak operator topology and contains the identity operator. It is a special type of C*-algebra.
In functional analysis, a branch of mathematics, a compact operator is a linear operator , where are normed vector spaces, with the property that maps bounded subsets of to relatively compact subsets of . Such an operator is necessarily a bounded operator, and so continuous. Some authors require that are Banach, but the definition can be extended to more general spaces.
In mathematics, an invariant subspace of a linear mapping T : V → V i.e. from some vector space V to itself, is a subspace W of V that is preserved by T. More generally, an invariant subspace for a collection of linear mappings is a subspace preserved by each mapping individually.
In mathematics, especially in functional analysis, the Tsirelson space is the first example of a Banach space in which neither an ℓ p space nor a c0 space can be embedded. The Tsirelson space is reflexive.
In mathematics, specifically functional analysis, a Banach space is said to have the approximation property (AP), if every compact operator is a limit of finite-rank operators. The converse is always true.
In mathematics, the spectrum of a C*-algebra or dual of a C*-algebraA, denoted Â, is the set of unitary equivalence classes of irreducible *-representations of A. A *-representation π of A on a Hilbert space H is irreducible if, and only if, there is no closed subspace K different from H and {0} which is invariant under all operators π(x) with x ∈ A. We implicitly assume that irreducible representation means non-null irreducible representation, thus excluding trivial (i.e. identically 0) representations on one-dimensional spaces. As explained below, the spectrum  is also naturally a topological space; this is similar to the notion of the spectrum of a ring.
In mathematics, a Schauder basis or countable basis is similar to the usual (Hamel) basis of a vector space; the difference is that Hamel bases use linear combinations that are finite sums, while for Schauder bases they may be infinite sums. This makes Schauder bases more suitable for the analysis of infinite-dimensional topological vector spaces including Banach spaces.
An infinite-dimensional Lebesgue measure is a type of measure defined on an infinite-dimensional normed vector space, especially a Banach space, that shares properties with the Lebesgue measure on finite-dimensional spaces.
In the mathematical discipline of functional analysis, the concept of a compact operator on Hilbert space is an extension of the concept of a matrix acting on a finite-dimensional vector space; in Hilbert space, compact operators are precisely the closure of finite-rank operators in the topology induced by the operator norm. As such, results from matrix theory can sometimes be extended to compact operators using similar arguments. By contrast, the study of general operators on infinite-dimensional spaces often requires a genuinely different approach.
Per H. Enflo is a Swedish mathematician working primarily in functional analysis, a field in which he solved problems that had been considered fundamental. Three of these problems had been open for more than forty years:
In mathematics, Hilbert spaces allow the methods of linear algebra and calculus to be generalized from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise naturally and frequently in mathematics and physics, typically as function spaces. Formally, a Hilbert space is a vector space equipped with an inner product that induces a distance function for which the space is a complete metric space. A Hilbert space is a special case of a Banach space.
In mathematics, especially functional analysis, a hypercyclic operator on a topological vector space X is a continuous linear operator T: X → X such that there is a vector x ∈ X for which the sequence {Tnx: n = 0, 1, 2, …} is dense in the whole space X. In other words, the smallest closed invariant subset containing x is the whole space. Such an x is then called hypercyclic vector. There is no hypercyclic operator in finite-dimensional spaces, but the property of hypercyclicity in spaces of infinite dimension is not a rare phenomenon: many operators are hypercyclic.
In mathematics, a singular trace is a trace on a space of linear operators of a separable Hilbert space that vanishes on operators of finite rank. Singular traces are a feature of infinite-dimensional Hilbert spaces such as the space of square-summable sequences and spaces of square-integrable functions. Linear operators on a finite-dimensional Hilbert space have only the zero functional as a singular trace since all operators have finite rank. For example, matrix algebras have no non-trivial singular traces and the matrix trace is the unique trace up to scaling.
In mathematics, the Calkin correspondence, named after mathematician John Williams Calkin, is a bijective correspondence between two-sided ideals of bounded linear operators of a separable infinite-dimensional Hilbert space and Calkin sequence spaces. The correspondence is implemented by mapping an operator to its singular value sequence.
This is a glossary for the terminology in a mathematical field of functional analysis.