World Library  
Flag as Inappropriate
Email this Article

Invariant subspace problem

Article Id: WHEBN0000691927
Reproduction Date:

Title: Invariant subspace problem  
Author: World Heritage Encyclopedia
Language: English
Subject: Per Enflo, Invariant subspace, Functional analysis, Unsolved problems in mathematics, WikiProject Mathematics/PlanetMath Exchange/46-XX Functional analysis
Collection:
Publisher: World Heritage Encyclopedia
Publication
Date:
 

Invariant subspace problem

The vector x is an eigenvector of the matrix A. Every operator on a non-trivial finite dimensional vector space has an eigenvector, solving the invariant subspace problem for these spaces.

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 Banach space sends some non-trivial closed subspace to itself. The original form of the problem as posed by Paul Halmos was in the special case of polynomials with compact square. This was resolved affirmatively, for a more general class of polynomially compact operators, by Allen R. Bernstein and Abraham Robinson in 1966 (see Non-standard analysis#Invariant subspace problem for a summary of the proof).

Contents

  • Precise statement 1
  • History 2
    • Known special cases 2.1
  • Notes 3
  • References 4

Precise statement

More formally, the invariant subspace problem for a complex Banach space H of dimension > 1 is the question whether every bounded linear operator T : H → H has a non-trivial closed T-invariant subspace (a closed linear subspace W of H which is different from {0} and H such that T(W) ⊆ W).

To find a "counterexample" to the invariant subspace problem, means to answer affirmatively the following equivalent question: does there exist a bounded linear operator T : H → H such that for every non-zero vector x, the vector space generated by the sequence {T n(x) : n ≥ 0} is norm dense in H? Such operators are called cyclic.

History

The problem seems to have been stated in the mid-1900's after work by Beurling and von Neumann.[1]

For Banach spaces, the first example of an operator without an invariant subspace was constructed by Enflo. (For Hilbert spaces, the invariant subspace problem remains open.)

Per Enflo 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"[3] and some of its ideas were described in publications besides Enflo (1976).[4][5] 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.[6]

Known special cases

While the general case of the invariant subspace problem is still open, several special cases have been settled for topological vector spaces (over the field of complex numbers):

  • For non-zero finite-dimensional vector spaces every operator admits an eigenvector, so it has a 1-dimensional invariant subspace.
  • The conjecture is true if the Hilbert space H is not separable (i.e. if it has an uncountable orthonormal basis). In fact, if x is a non-zero vector in H, the norm closure of the vector space generated by the infinite sequence {T n(x) : n ≥ 0} is separable and hence a proper subspace and also invariant.
  • von Neumann showed[7] that any compact operator on a Hilbert space of dimension at least 2 has a non-trivial invariant subspace.
  • The spectral theorem shows that all normal operators admit invariant subspaces.
  • Aronszajn & Smith (1954) proved that every compact operator on any Banach space of dimension at least 2 has an invariant subspace.
  • Bernstein & Robinson (1966) proved using non-standard analysis that if the operator T on a Hilbert space is polynomially compact (in other words P(T) is compact for some non-zero polynomial P) then T has an invariant subspace. Their proof uses the original idea of embedding the infinite-dimensional Hilbert space in a hyperfinite-dimensional Hilbert space (see Non-standard analysis#Invariant subspace problem).
  • Halmos (1966), after having seen Robinson's preprint, eliminated the non-standard analysis from it and provided a shorter proof in the same issue of the same journal.
  • Lomonosov (1973) gave a very short proof using the Schauder fixed point theorem that if the operator T on a Banach space commutes with a non-zero compact operator then T has a non-trivial invariant subspace. This includes the case of polynomially compact operators because an operator commutes with any polynomial in itself. More generally, he showed that if S commutes with a non-scalar operator T that commutes with a non-zero compact operator, then S has an invariant subspace.[8]
  • The first example of an operator on a Banach space with no invariant subspaces was found by Per Enflo (1976, 1987), and his example was simplified by Beauzamy (1985).
  • The first counterexample on a "classical" Banach space was found by Charles Read (1984, 1985), who described an operator on the classical Banach space l1 with no invariant subspaces.
  • Later Charles Read (1988) constructed an operator on l1 without even a non-trivial closed invariant subset, that is, with every vector hypercyclic, solving in the negative the invariant subset problem for the class of Banach spaces.
  • Atzmon (1983) gave an example of an operator without invariant subspaces on a nuclear Fréchet space.
  • Śliwa (2008) proved that any infinite dimensional Banach space of countable type over a non-Archimedean field admits a bounded linear operator without a non-trivial closed invariant subspace. This completely solves the non-Archimedean version of this problem, posed by van Rooij and Shikhof in 1992.
  • Argyros & Haydon (2009) gave the construction of an infinite-dimensional Banach space such that every continuous operator is the sum of a compact operator and a scalar operator, so in particular every operator has an invariant subspace.

Notes

  1. ^ Yadav, page 292.
  2. ^ a b Beauzamy 1988; Yadav.
  3. ^ Yadav, page 292.
  4. ^ For example, Radjavi and Rosenthal (1982).
  5. ^ Heydar Radjavi and Peter Rosenthal (March 1982). "The invariant subspace problem". The Mathematical Intelligencer 4 (1): 33–37.  
  6. ^ Page 401 in Foiaş, Ciprian; Jung, Il Bong; Ko, Eungil; Pearcy, Carl (2005). "On quasinilpotent operators. III". Journal of Operator Theory 54 (2): 401–414. . Enflo's method of ("forward") "minimal vectors" is also noted in the review of this research article by Gilles Cassier in Mathematical Reviews: MR 2186363
  7. ^ Von Neumann's proof was never published, as relayed in a private communication to the authors of Aronszajn & Smith (1954). A version of that proof, independently discovered by Aronszajn, is included at the end of that paper.
  8. ^ See Pearcy & Shields (1974) for a review.

References

  • Abramovich, Yuri A.; Aliprantis, Charalambos D. (2002), An Invitation to Operator Theory,  
  • Argyros, Spiros A.; Haydon, Richard G. (2011), "A hereditarily indecomposable L-space that solves the scalar-plus-compact problem",  
  •  
  • Atzmon, Aharon (1983), "An operator without invariant subspaces on a nuclear Fréchet space",  
  • Beauzamy, Bernard (1985), "Un opérateur sans sous-espace invariant: simplification de l'exemple de P. Enflo" [An operator with no invariant subspace: simplification of the example of P. Enflo], Integral Equations and Operator Theory (in French) 8 (3): 314–384,  
  • Beauzamy, Bernard (1988), Introduction to operator theory and invariant subspaces, North-Holland Mathematical Library 42, Amsterdam: North-Holland,  
  • Bernstein, Allen R.;  
  •  
  • Enflo, Per (1987), "On the invariant subspace problem for Banach spaces",  
  • Enflo, Per; Lomonosov, Victor (2001), "Some aspects of the invariant subspace problem", Handbook of the geometry of Banach spaces I, Amsterdam: North-Holland, pp. 533–559,  
  •  
  • Lomonosov, V. I. (1973), "Invariant subspaces of the family of operators that commute with a completely continuous operator", Akademija Nauk SSSR. Funkcional' nyi Analiz i ego Prilozenija 7 (3): 55–56,  
  • Pearcy, Carl; Shields, Allen L. (1974), "A survey of the Lomonosov technique in the theory of invariant subspaces", in C. Pearcy, Topics in operator theory, Mathematical Surveys (13), Providence, R.I.: American Mathematical Society, pp. 219–229,  
  •  
  •  
  •  
  • Radjavi, Heydar;  
  • Radjavi, Heydar; Rosenthal, Peter (2003), Invariant Subspaces (Second ed.), Mineola, NY: Dover,  
  • Radjavi, Heydar; Rosenthal, Peter (2000), Simultaneous triangularization, Universitext, New York: Springer-Verlag, pp. xii+318,  
  • Śliwa, Wiesław (2008), "The Invariant Subspace Problem for Non-Archimedean Banach Spaces", Canadian Mathematical Bulletin 51 (4): 604–617,  
  • Yadav, B. S. (2005), "The present state and heritages of the invariant subspace problem", Milan Journal of Mathematics 73 (1): 289–316,  
This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
 
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
 
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.
 


Copyright © World Library Foundation. All rights reserved. eBooks from Project Gutenberg are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.