Invariant subspace problem

<h2 id="history">History</h2>
The problem seems to have been stated in the mid-20th century after work by <a href="/facts/Arne_Beurling/pnIkGuwh">Beurling</a> and <a href="/facts/John_von_Neumann/aUk6urof">von Neumann</a>,<a class="footnote-ref" id="fnref:1" href="#fn:1">1</a> who found (but never published) a positive solution for the case of <a href="/facts/Compact_operator/KNkcK4mE">compact operators</a>. It was then posed by <a href="/facts/Paul_Halmos/mR11lcap">Paul Halmos</a> for the case of operators 
 
 
 
 T
 
 
 {\displaystyle T}
 
 such that 
 
 
 
 
 T
 
 2
 
 
 
 
 {\displaystyle T^{2}}
 
 is compact. This was resolved affirmatively, for the more general class of polynomially compact operators (operators 
 
 
 
 T
 
 
 {\displaystyle T}
 
 such that 
 
 
 
 p
 (
 T
 )
 
 
 {\displaystyle p(T)}
 
 is a compact operator for a suitably chosen non-zero polynomial 
 
 
 
 p
 
 
 {\displaystyle p}
 
), by Allen R. Bernstein and <a href="/facts/Abraham_Robinson/UEskqXag">Abraham Robinson</a> in 1966 (see <a href="/facts/Non-standard_analysis/lEpNpWMB">Non-standard analysis § Invariant subspace problem</a> for a summary of the proof).
For <a href="/facts/Banach_space/sDEIk7EC">Banach spaces</a>, the first example of an operator without an invariant subspace was constructed by <a href="/facts/Per_Enflo/YneYxtRn">Per Enflo</a>. He proposed a <a href="/facts/Counterexample/dnThYpHW">counterexample</a> 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<a class="footnote-ref" id="fnref:2" href="#fn:2">2</a> Enflo's long "manuscript had a world-wide circulation among mathematicians"<a class="footnote-ref" id="fnref:3" href="#fn:3">3</a> and some of its ideas were described in publications besides Enflo (1976).<a class="footnote-ref" id="fnref:4" href="#fn:4">4</a> Enflo's works inspired a similar construction of an operator without an invariant subspace for example by Bernard Beauzamy, who acknowledged Enflo's ideas.<a class="footnote-ref" id="fnref:5" href="#fn:5">5</a>
In the 1990s, Enflo developed a "constructive" approach to the invariant subspace problem on Hilbert spaces.<a class="footnote-ref" id="fnref:6" href="#fn:6">6</a>
In May 2023, a preprint of Enflo appeared on arXiv,<a class="footnote-ref" id="fnref:7" href="#fn:7">7</a> 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,<a class="footnote-ref" id="fnref:8" href="#fn:8">8</a> claiming the solution of the problem for separable Hilbert spaces.
In September 2024, a peer-reviewed article published in <a href="/facts/Axioms_(journal)/ogLq9Ylx">Axioms</a> by a team of four Jordanian academic researchers announced that they had solved the invariant subspace problem.<a class="footnote-ref" id="fnref:9" href="#fn:9">9</a> However, basic mistakes in the proof were pointed out.<a class="footnote-ref" id="fnref:10" href="#fn:10">10</a><a class="footnote-ref" id="fnref:11" href="#fn:11">11</a>

<h2 id="precise-statement">Precise statement</h2>
Formally, the invariant subspace problem for a complex <a href="/facts/Banach_space/sDEIk7EC">Banach space</a> 
 
 
 
 H
 
 
 {\displaystyle H}
 
 of <a href="/facts/Dimension_(vector_space)/z8m02A3W">dimension</a> > 1 is the question whether every <a href="/facts/Bounded_operator/LYmDTIqR">bounded linear operator</a> 
 
 
 
 T
 :
 H
 →
 H
 
 
 {\displaystyle T:H\to H}
 
 has a non-trivial <a href="/facts/Closed_set/upYnRTUj">closed</a> <a href="/facts/Invariant_subspace/51Vm1W2X">
 
 
 
 T
 
 
 {\displaystyle T}
 
-invariant subspace</a>: a closed <a href="/facts/Linear_subspace/2wtKTgHL">linear subspace</a> 
 
 
 
 W
 
 
 {\displaystyle W}
 
 of 
 
 
 
 H
 
 
 {\displaystyle H}
 
, which is different from 
 
 
 
 {
 0
 }
 
 
 {\displaystyle \{0\}}
 
 and from 
 
 
 
 H
 
 
 {\displaystyle H}
 
, such that 
 
 
 
 T
 (
 W
 )
 ⊂
 W
 
 
 {\displaystyle T(W)\subset W}
 
.
A negative answer to the problem is closely related to properties of the <a href="/facts/Orbit_(dynamics)/WBpc3bUH"> orbits</a> 
 
 
 
 T
 
 
 {\displaystyle T}
 
. If 
 
 
 
 x
 
 
 {\displaystyle x}
 
 is an element of the Banach space 
 
 
 
 H
 
 
 {\displaystyle H}
 
, the orbit of 
 
 
 
 x
 
 
 {\displaystyle x}
 
 under the action of 
 
 
 
 T
 
 
 {\displaystyle T}
 
, denoted by 
 
 
 
 [
 x
 ]
 
 
 {\displaystyle [x]}
 
, is the subspace generated by the sequence 
 
 
 
 {
 
 T
 
 n
 
 
 (
 x
 )
 
 :
 
 n
 ≥
 0
 }
 
 
 {\displaystyle \{T^{n}(x)\,:\,n\geq 0\}}
 
. This is also called the <a href="/facts/Cyclic_subspace/DbBecYez">
 
 
 
 T
 
 
 {\displaystyle T}
 
-cyclic subspace</a> generated by 
 
 
 
 x
 
 
 {\displaystyle x}
 
. From the definition it follows that 
 
 
 
 [
 x
 ]
 
 
 {\displaystyle [x]}
 
 is a 
 
 
 
 T
 
 
 {\displaystyle T}
 
-invariant subspace. Moreover, it is the minimal 
 
 
 
 T
 
 
 {\displaystyle T}
 
-invariant subspace containing 
 
 
 
 x
 
 
 {\displaystyle x}
 
: if 
 
 
 
 W
 
 
 {\displaystyle W}
 
 is another invariant subspace containing 
 
 
 
 x
 
 
 {\displaystyle x}
 
, then necessarily 
 
 
 
 
 T
 
 n
 
 
 (
 x
 )
 ∈
 W
 
 
 {\displaystyle T^{n}(x)\in W}
 
 for all 
 
 
 
 n
 ≥
 0
 
 
 {\displaystyle n\geq 0}
 
 (since 
 
 
 
 W
 
 
 {\displaystyle W}
 
 is 
 
 
 
 T
 
 
 {\displaystyle T}
 
-invariant), and so 
 
 
 
 [
 x
 ]
 ⊂
 W
 
 
 {\displaystyle [x]\subset W}
 
. If 
 
 
 
 x
 
 
 {\displaystyle x}
 
 is non-zero, then 
 
 
 
 [
 x
 ]
 
 
 {\displaystyle [x]}
 
 is not equal to 
 
 
 
 {
 0
 }
 
 
 {\displaystyle \{0\}}
 
, so its closure is either the whole space 
 
 
 
 H
 
 
 {\displaystyle H}
 
 (in which case 
 
 
 
 x
 
 
 {\displaystyle x}
 
 is said to be a <a href="/facts/Cyclic_vector/rI8wnDyD">cyclic vector</a> for 
 
 
 
 T
 
 
 {\displaystyle T}
 
) or it is a non-trivial 
 
 
 
 T
 
 
 {\displaystyle T}
 
-invariant subspace. Therefore, a counterexample to the invariant subspace problem would be a Banach space 
 
 
 
 H
 
 
 {\displaystyle H}
 
 and a bounded operator 
 
 
 
 T
 :
 H
 →
 H
 
 
 {\displaystyle T:H\to H}
 
 for which every non-zero vector 
 
 
 
 x
 ∈
 H
 
 
 {\displaystyle x\in H}
 
 is a <a href="/facts/Cyclic_vector/rI8wnDyD">cyclic vector</a> for 
 
 
 
 T
 
 
 {\displaystyle T}
 
. (Where a "cyclic vector" 
 
 
 
 x
 
 
 {\displaystyle x}
 
 for an operator 
 
 
 
 T
 
 
 {\displaystyle T}
 
 on a Banach space 
 
 
 
 H
 
 
 {\displaystyle H}
 
 means one for which the orbit 
 
 
 
 [
 x
 ]
 
 
 {\displaystyle [x]}
 
 of 
 
 
 
 x
 
 
 {\displaystyle x}
 
 is dense in 
 
 
 
 H
 
 
 {\displaystyle H}
 
.)

<h3>Known special cases</h3>
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):

<ul><li>For finite-dimensional complex vector spaces, every operator admits an eigenvector, so it has a 1-dimensional invariant subspace.</li>
<li>The conjecture is true if the Hilbert space 
 
 
 
 H
 
 
 {\displaystyle H}
 
 is not <a href="/facts/Separable_space/2bmU73bk">separable</a> (i.e. if it has an <a href="/facts/Uncountable/zl2WqyJQ">uncountable</a> <a href="/facts/Orthonormal_basis/pzfKHlJG">orthonormal basis</a>). In fact, if 
 
 
 
 x
 
 
 {\displaystyle x}
 
 is a non-zero vector in 
 
 
 
 H
 
 
 {\displaystyle H}
 
, the norm closure of the linear orbit 
 
 
 
 [
 x
 ]
 
 
 {\displaystyle [x]}
 
 is separable (by construction) and hence a proper subspace and also invariant.</li>
<li>von Neumann showed<a class="footnote-ref" id="fnref:12" href="#fn:12">12</a> that any compact operator on a Hilbert space of dimension at least 2 has a non-trivial invariant subspace.</li>
<li>The <a href="/facts/Spectral_theorem/Vqc04B21">spectral theorem</a> shows that all <a href="/facts/Normal_operator/lwtz7tuF">normal operators</a> admit invariant subspaces.</li>
<li>Aronszajn & Smith (1954) proved that every <a href="/facts/Compact_operator/KNkcK4mE">compact operator</a> on any Banach space of dimension at least 2 has an invariant subspace.</li>
<li>Bernstein & Robinson (1966) proved using <a href="/facts/Non-standard_analysis/lEpNpWMB">non-standard analysis</a> that if the operator 
 
 
 
 T
 
 
 {\displaystyle T}
 
 on a Hilbert space is polynomially compact (in other words 
 
 
 
 p
 (
 T
 )
 
 
 {\displaystyle p(T)}
 
 is compact for some non-zero polynomial 
 
 
 
 p
 
 
 {\displaystyle p}
 
) then 
 
 
 
 T
 
 
 {\displaystyle T}
 
 has an invariant subspace. Their proof uses the original idea of embedding the infinite-dimensional Hilbert space in a <a href="/facts/Hyperfinite_set/algm9nlQ">hyperfinite</a>-dimensional Hilbert space (see <a href="/facts/Non-standard_analysis/lEpNpWMB">Non-standard analysis#Invariant subspace problem</a>).</li>
<li>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.</li>
<li>Lomonosov (1973) gave a very short proof using the <a href="/facts/Schauder_fixed_point_theorem/vfgwV8Ab">Schauder fixed point theorem</a> that if the operator 
 
 
 
 T
 
 
 {\displaystyle T}
 
 on a Banach space commutes with a non-zero compact operator then 
 
 
 
 T
 
 
 {\displaystyle 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
 
 
 {\displaystyle S}
 
 commutes with a non-scalar operator 
 
 
 
 T
 
 
 {\displaystyle T}
 
 that commutes with a non-zero compact operator, then 
 
 
 
 S
 
 
 {\displaystyle S}
 
 has an invariant subspace.<a class="footnote-ref" id="fnref:13" href="#fn:13">13</a></li>
<li>The first example of an operator on a Banach space with no non-trivial invariant subspaces was found by <a href="/facts/Per_Enflo/YneYxtRn">Per Enflo</a> (1976, 1987), and his example was simplified by Beauzamy (1985).</li>
<li>The first counterexample on a "classical" Banach space was found by <a href="/facts/Charles_Read_(mathematician)/QxJyVpS2">Charles Read</a> (1984, 1985), who described an operator on the classical Banach space 
 
 
 
 
 l
 
 1
 
 
 
 
 {\displaystyle l_{1}}
 
 with no invariant subspaces.</li>
<li>Later <a href="/facts/Charles_Read_(mathematician)/QxJyVpS2">Charles Read</a> (1988) constructed an operator on 
 
 
 
 
 l
 
 1
 
 
 
 
 {\displaystyle l_{1}}
 
 without even a non-trivial closed invariant subset, that is that for every vector 
 
 
 
 x
 
 
 {\displaystyle x}
 
 the set 
 
 
 
 {
 
 T
 
 n
 
 
 (
 x
 )
 
 :
 
 n
 ≥
 0
 }
 
 
 {\displaystyle \{T^{n}(x)\,:\,n\geq 0\}}
 
 is dense, in which case the vector is called <a href="/facts/Hypercyclic_vector/rS94xQBk">hypercyclic</a> (the difference with the case of cyclic vectors is that we are not taking the subspace generated by the points 
 
 
 
 {
 
 T
 
 n
 
 
 (
 x
 )
 
 :
 
 n
 ≥
 0
 }
 
 
 {\displaystyle \{T^{n}(x)\,:\,n\geq 0\}}
 
 in this case).</li>
<li>Atzmon (1983) gave an example of an operator without invariant subspaces on a <a href="/facts/Nuclear_space/4FLPWdfp">nuclear</a> <a href="/facts/Fr%C3%A9chet_space/9gXkQu2u">Fréchet space</a>.</li>
<li>Ś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 Schikhof in 1992.</li>
<li>Argyros & Haydon (2011) 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.</li></ul>
<h2 id="notes">Notes</h2>

<ul><li>Abramovich, Yuri A.; Aliprantis, Charalambos D. (2002), An Invitation to Operator Theory, <a href="/facts/Graduate_Studies_in_Mathematics/APstozeU">Graduate Studies in Mathematics</a>, vol. 50, Providence, RI: American Mathematical Society, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1090%2Fgsm%2F050">10.1090/gsm/050</a>, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-8218-2146-6, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=1921782">1921782</a></li>
<li>Argyros, Spiros A.; Haydon, Richard G. (2011), "A hereditarily indecomposable L∞-space that solves the scalar-plus-compact problem", <a href="/facts/Acta_Math./11kbuhDT">Acta Math.</a>, 206 (1): 1–54, <a href="/facts/ArXiv_(identifier)/H6EtgnBe">arXiv</a>:<a href="https://arxiv.org/abs/0903.3921">0903.3921</a>, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2Fs11511-011-0058-y">10.1007/s11511-011-0058-y</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=2784662">2784662</a>, <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:119532059">119532059</a></li>
<li><a href="/facts/Nachman_Aronszajn/7jYonRlv">Aronszajn, N.</a>; Smith, K. T. (1954), "Invariant subspaces of completely continuous operators", <a href="/facts/Annals_of_Mathematics/CUYktUqD">Annals of Mathematics</a>, Second Series, 60 (2): 345–350, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.2307%2F1969637">10.2307/1969637</a>, <a href="/facts/JSTOR_(identifier)/YTeVmaJ7">JSTOR</a> <a href="https://www.jstor.org/stable/1969637">1969637</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0065807">0065807</a></li>
<li>Atzmon, Aharon (1983), "An operator without invariant subspaces on a nuclear Fréchet space", <a href="/facts/Annals_of_Mathematics/CUYktUqD">Annals of Mathematics</a>, Second Series, 117 (3): 669–694, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.2307%2F2007039">10.2307/2007039</a>, <a href="/facts/JSTOR_(identifier)/YTeVmaJ7">JSTOR</a> <a href="https://www.jstor.org/stable/2007039">2007039</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0701260">0701260</a></li>
<li>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, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2FBF01202903">10.1007/BF01202903</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0792905">0792905</a>, <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:121418247">121418247</a></li>
<li>Beauzamy, Bernard (1988), Introduction to operator theory and invariant subspaces, North-Holland Mathematical Library, vol. 42, Amsterdam: North-Holland, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-444-70521-1, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0967989">0967989</a></li>
<li>Bernstein, Allen R.; <a href="/facts/Abraham_Robinson/UEskqXag">Robinson, Abraham</a> (1966), <a href="http://projecteuclid.org/euclid.pjm/1102994835">"Solution of an invariant subspace problem of K. T. Smith and P. R. Halmos"</a>, <a href="/facts/Pacific_Journal_of_Mathematics/fBmfJLky">Pacific Journal of Mathematics</a>, 16 (3): 421–431, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.2140%2Fpjm.1966.16.421">10.2140/pjm.1966.16.421</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0193504">0193504</a></li>
<li><a href="/facts/Per_Enflo/YneYxtRn">Enflo, Per</a> (1976), "On the invariant subspace problem in Banach spaces", Séminaire Maurey--Schwartz (1975--1976) Espaces Lp, applications radonifiantes et géométrie des espaces de Banach, Exp. Nos. 14-15, Centre Math., École Polytech., Palaiseau, p. 7, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0473871">0473871</a></li>
<li>Enflo, Per (1987), "On the invariant subspace problem for Banach spaces", <a href="/facts/Acta_Mathematica/11kbuhDT">Acta Mathematica</a>, 158 (3): 213–313, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2FBF02392260">10.1007/BF02392260</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0892591">0892591</a></li>
<li>Enflo, Per; <a href="/facts/Victor_Lomonosov/fXXvIpCr">Lomonosov, Victor</a> (2001), "Some aspects of the invariant subspace problem", Handbook of the geometry of Banach spaces, vol. I, Amsterdam: North-Holland, pp. 533–559, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1016%2FS1874-5849%2801%2980015-2">10.1016/S1874-5849(01)80015-2</a>, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 9780444828422, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=1863701">1863701</a></li>
<li><a href="/facts/Paul_R._Halmos/mR11lcap">Halmos, Paul R.</a> (1966), <a href="http://projecteuclid.org/euclid.pjm/1102994836">"Invariant subspaces of polynomially compact operators"</a>, <a href="/facts/Pacific_Journal_of_Mathematics/fBmfJLky">Pacific Journal of Mathematics</a>, 16 (3): 433–437, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.2140%2Fpjm.1966.16.433">10.2140/pjm.1966.16.433</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0193505">0193505</a></li>
<li>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, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2FBF01080698">10.1007/BF01080698</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0420305">0420305</a>, <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:121421267">121421267</a></li>
<li>Pearcy, Carl; Shields, Allen L. (1974), "A survey of the Lomonosov technique in the theory of invariant subspaces", in C. Pearcy (ed.), Topics in operator theory, Mathematical Surveys, Providence, R.I.: American Mathematical Society, pp. 219–229, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0355639">0355639</a></li>
<li><a href="/facts/Charles_Read_(mathematician)/QxJyVpS2">Read, C. J.</a> (1984), "A solution to the invariant subspace problem", The Bulletin of the London Mathematical Society, 16 (4): 337–401, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1112%2Fblms%2F16.4.337">10.1112/blms/16.4.337</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0749447">0749447</a></li>
<li><a href="/facts/Charles_Read_(mathematician)/QxJyVpS2">Read, C. J.</a> (1985), "A solution to the invariant subspace problem on the space l1", The Bulletin of the London Mathematical Society, 17 (4): 305–317, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1112%2Fblms%2F17.4.305">10.1112/blms/17.4.305</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0806634">0806634</a></li>
<li><a href="/facts/Charles_Read_(mathematician)/QxJyVpS2">Read, C. J.</a> (1988), "The invariant subspace problem for a class of Banach spaces, 2: hypercyclic operators", <a href="/facts/Israel_Journal_of_Mathematics/mSGtfzpS">Israel Journal of Mathematics</a>, 63 (1): 1–40, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2FBF02765019">10.1007/BF02765019</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0959046">0959046</a>, <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:123651876">123651876</a></li>
<li>Radjavi, Heydar; <a href="/facts/Peter_Rosenthal/LMzB79Uw">Rosenthal, Peter</a> (1982), <a href="https://link.springer.com/article/10.1007/BF03022994">"The invariant subspace problem"</a>, <a href="/facts/The_Mathematical_Intelligencer/tr4EnU3C">The Mathematical Intelligencer</a>, 4 (1): 33–37, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2FBF03022994">10.1007/BF03022994</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0678734">0678734</a>, <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:122811130">122811130</a></li>
<li>Radjavi, Heydar; Rosenthal, Peter (2003), Invariant Subspaces (Second ed.), Mineola, NY: Dover, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-486-42822-2, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=2003221">2003221</a></li>
<li>Radjavi, Heydar; Rosenthal, Peter (2000), Simultaneous triangularization, Universitext, New York: Springer-Verlag, pp. xii+318, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2F978-1-4612-1200-3">10.1007/978-1-4612-1200-3</a>, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-387-98467-4, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=1736065">1736065</a></li>
<li>Śliwa, Wiesław (2008), <a href="https://repozytorium.amu.edu.pl/bitstream/10593/798/1/Sliwa%2031.pdf">"The Invariant Subspace Problem for Non-Archimedean Banach Spaces"</a> (PDF), <a href="/facts/Canadian_Mathematical_Bulletin/BQ9Y16hL">Canadian Mathematical Bulletin</a>, 51 (4): 604–617, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.4153%2FCMB-2008-060-9">10.4153/CMB-2008-060-9</a>, <a href="/facts/Hdl_(identifier)/rdebSxmC">hdl</a>:<a href="https://hdl.handle.net/10593%2F798">10593/798</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=2462465">2462465</a>, <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:40430187">40430187</a></li>
<li>Yadav, B. S. (2005), "The present state and heritages of the invariant subspace problem", Milan Journal of Mathematics, 73 (1): 289–316, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2Fs00032-005-0048-7">10.1007/s00032-005-0048-7</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=2175046">2175046</a>, <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:121068326">121068326</a></li></ul>

<h2 id="references">References</h2>

<ol>
<li id="fn:1">Yadav (2005), p. 292. - Yadav, B. S. (2005), "The present state and heritages of the invariant subspace problem", Milan Journal of Mathematics, 73 (1): 289–316, doi:10.1007/s00032-005-0048-7, MR 2175046, S2CID 121068326 <a href="https://doi.org/10.1007%2Fs00032-005-0048-7" target="_blank">https://doi.org/10.1007%2Fs00032-005-0048-7</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></li>
<li id="fn:2">Beauzamy (1988); Yadav (2005). - Beauzamy, Bernard (1988), Introduction to operator theory and invariant subspaces, North-Holland Mathematical Library, vol. 42, Amsterdam: North-Holland, ISBN 978-0-444-70521-1, MR 0967989 <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0967989" target="_blank">https://mathscinet.ams.org/mathscinet-getitem?mr=0967989</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></li>
<li id="fn:3">Yadav (2005), p. 292. - Yadav, B. S. (2005), "The present state and heritages of the invariant subspace problem", Milan Journal of Mathematics, 73 (1): 289–316, doi:10.1007/s00032-005-0048-7, MR 2175046, S2CID 121068326 <a href="https://doi.org/10.1007%2Fs00032-005-0048-7" target="_blank">https://doi.org/10.1007%2Fs00032-005-0048-7</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></li>
<li id="fn:4">See, for example, Radjavi & Rosenthal (1982). - Radjavi, Heydar; Rosenthal, Peter (1982), "The invariant subspace problem", The Mathematical Intelligencer, 4 (1): 33–37, doi:10.1007/BF03022994, MR 0678734, S2CID 122811130 <a href="https://link.springer.com/article/10.1007/BF03022994" target="_blank">https://link.springer.com/article/10.1007/BF03022994</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></li>
<li id="fn:5">Beauzamy (1988); Yadav (2005). - Beauzamy, Bernard (1988), Introduction to operator theory and invariant subspaces, North-Holland Mathematical Library, vol. 42, Amsterdam: North-Holland, ISBN 978-0-444-70521-1, MR 0967989 <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0967989" target="_blank">https://mathscinet.ams.org/mathscinet-getitem?mr=0967989</a> <a href="#fnref:5" class="footnote-back-ref">↩</a></li>
<li id="fn: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: MR2186363 <a href="/wiki/Mathematical_Reviews" target="_blank">/wiki/Mathematical_Reviews</a> <a href="#fnref:6" class="footnote-back-ref">↩</a></li>
<li id="fn:7">Enflo, Per H. (May 26, 2023). "On the invariant subspace problem in Hilbert spaces". arXiv:2305.15442 [math.FA]. <a href="/wiki/ArXiv_(identifier)" target="_blank">/wiki/ArXiv_(identifier)</a> <a href="#fnref:7" class="footnote-back-ref">↩</a></li>
<li id="fn:8">Neville, Charles W. (July 21, 2023). "a proof of the invariant subspace conjecture for separable Hilbert spaces". arXiv:2307.08176 [math.FA]. <a href="/wiki/ArXiv_(identifier)" target="_blank">/wiki/ArXiv_(identifier)</a> <a href="#fnref:8" class="footnote-back-ref">↩</a></li>
<li id="fn:9">Khalil, Roshdi; Yousef, Abdelrahman; Alshanti, Waseem Ghazi; Hammad, Ma’mon Abu (2024-09-02). "The Invariant Subspace Problem for Separable Hilbert Spaces". Axioms. 13 (9): 598. doi:10.3390/axioms13090598. ISSN 2075-1680. <a href="https://doi.org/10.3390%2Faxioms13090598" target="_blank">https://doi.org/10.3390%2Faxioms13090598</a> <a href="#fnref:9" class="footnote-back-ref">↩</a></li>
<li id="fn:10">Ghatasheh, Ahmed (Nov 28, 2024). "Refuting a recent proof of the invariant subspace problem". arXiv:2411.19409 [math.FA]. <a href="/wiki/ArXiv_(identifier)" target="_blank">/wiki/ArXiv_(identifier)</a> <a href="#fnref:10" class="footnote-back-ref">↩</a></li>
<li id="fn:11">See mathoverflow: [1]. <a href="https://mathoverflow.net/questions/478156/a-claim-for-a-proof-of-the-invariant-subspace-problem" target="_blank">https://mathoverflow.net/questions/478156/a-claim-for-a-proof-of-the-invariant-subspace-problem</a> <a href="#fnref:11" class="footnote-back-ref">↩</a></li>
<li id="fn:12">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. - Aronszajn, N.; Smith, K. T. (1954), "Invariant subspaces of completely continuous operators", Annals of Mathematics, Second Series, 60 (2): 345–350, doi:10.2307/1969637, JSTOR 1969637, MR 0065807 <a href="https://doi.org/10.2307%2F1969637" target="_blank">https://doi.org/10.2307%2F1969637</a> <a href="#fnref:12" class="footnote-back-ref">↩</a></li>
<li id="fn:13">See Pearcy & Shields (1974) for a review. - Pearcy, Carl; Shields, Allen L. (1974), "A survey of the Lomonosov technique in the theory of invariant subspaces", in C. Pearcy (ed.), Topics in operator theory, Mathematical Surveys, Providence, R.I.: American Mathematical Society, pp. 219–229, MR 0355639 <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0355639" target="_blank">https://mathscinet.ams.org/mathscinet-getitem?mr=0355639</a> <a href="#fnref:13" class="footnote-back-ref">↩</a></li>
</ol>

Invariant subspace problem open-in-new

Invariant subspace problem