Problema del subespacio invariante

En el campo de las matemáticas conocido como análisis funcional , el problema del subespacio invariante es un problema parcialmente no resuelto que plantea la pregunta de si cada operador acotado en un espacio de Banach complejo envía algún subespacio cerrado no trivial a sí mismo. Se han resuelto muchas variantes del problema, restringiendo la clase de operadores acotados considerados o especificando una clase particular de espacios de Banach. El problema sigue abierto para los espacios de Hilbert separables (en otras palabras, cada ejemplo, encontrado hasta ahora, de un operador sin subespacios invariantes no triviales es un operador que actúa en un espacio de Banach que no es isomorfo a un espacio de Hilbert separable).

El problema parece haber sido planteado a mediados del siglo XX después del trabajo de Beurling y von Neumann , ^[1] quienes encontraron (pero nunca publicaron) una solución positiva para el caso de operadores compactos . Luego fue planteado por Paul Halmos para el caso de operadores tales que es compacto. Esto fue resuelto afirmativamente, para la clase más general de operadores polinomialmente compactos (operadores tales que es un operador compacto para un polinomio distinto de cero adecuadamente elegido ), por Allen R. Bernstein y Abraham Robinson en 1966 (ver Análisis no estándar § Problema del subespacio invariante para un resumen de la prueba). ${\estilo de visualización T}$$Estilo de visualización T2$${\estilo de visualización T}$${\displaystyle p(T)}$${\estilo de visualización p}$

En el caso de los espacios de Banach , el primer ejemplo de un operador sin un subespacio invariante fue construido por Per Enflo . Propuso un contraejemplo al problema del subespacio invariante en 1975, publicando un esquema en 1976. Enflo presentó el artículo completo en 1981 y la complejidad y extensión del artículo retrasaron su publicación hasta 1987 ^[2]. El largo "manuscrito" de Enflo tuvo una circulación mundial entre los matemáticos ^[1] y algunas de sus ideas fueron descritas en publicaciones además de Enflo (1976). ^[3] Los trabajos de Enflo inspiraron una construcción similar de un operador sin un subespacio invariante, por ejemplo, por Beauzamy, quien reconoció las ideas de Enflo. ^[2]

En la década de 1990, Enflo desarrolló un enfoque "constructivo" para el problema del subespacio invariante en los espacios de Hilbert. ^[4]

En mayo de 2023, apareció una preimpresión de Enflo en arXiv, ^[5] que, si es correcta, resuelve el problema de los espacios de Hilbert y completa el panorama.

En julio de 2023, apareció una segunda preimpresión independiente de Neville en arXiv, ^[6] que afirmaba la solución del problema para espacios de Hilbert separables.

En septiembre de 2024, un artículo revisado por pares publicado en la revista Axioms por un equipo de cuatro investigadores académicos jordanos anunció que habían resuelto el problema del subespacio invariante. ^[7]

Formalmente, el problema del subespacio invariante para un espacio de Banach complejo de dimensión  > 1 es la cuestión de si cada operador lineal acotado tiene un subespacio cerrado -invariante no trivial : un subespacio lineal cerrado de , que es diferente de y de , tal que . ${\estilo de visualización H}$ ${\displaystyle T:H\a H}$ ${\estilo de visualización T}$ ${\estilo de visualización W}$${\estilo de visualización H}$${\estilo de visualización \{0\}}$${\estilo de visualización H}$${\displaystyle T(W)\subconjunto W}$

Una respuesta negativa al problema está estrechamente relacionada con las propiedades de las órbitas . Si es un elemento del espacio de Banach , la órbita de bajo la acción de , denotada por , es el subespacio generado por la secuencia . Esto también se llama subespacio -cíclico generado por . De la definición se deduce que es un subespacio -invariante. Además, es el subespacio -invariante mínimo que contiene a : si es otro subespacio invariante que contiene a , entonces necesariamente para todo (ya que es -invariante), y por lo tanto . Si es distinto de cero, entonces no es igual a , por lo que su clausura es todo el espacio (en cuyo caso se dice que es un vector cíclico para ) o es un subespacio -invariante no trivial. Por lo tanto, un contraejemplo del problema del subespacio invariante sería un espacio de Banach y un operador acotado para el cual todo vector distinto de cero es un vector cíclico para . (Donde un "vector cíclico" para un operador en un espacio de Banach significa uno para el cual la órbita de es densa en .) ${\estilo de visualización T}$${\estilo de visualización x}$${\estilo de visualización H}$${\estilo de visualización x}$${\estilo de visualización T}$${\estilo de visualización [x]}$${\displaystyle \{T^{n}(x)\,:\,n\geq 0\}}$${\estilo de visualización T}$${\estilo de visualización x}$${\estilo de visualización [x]}$${\estilo de visualización T}$ ${\estilo de visualización T}$${\estilo de visualización x}$${\estilo de visualización W}$${\estilo de visualización x}$${\displaystyle T^{n}(x)\en W}$${\displaystyle n\geq 0}$${\estilo de visualización W}$${\estilo de visualización T}$${\displaystyle [x]\subconjunto W}$${\estilo de visualización x}$${\estilo de visualización [x]}$${\estilo de visualización \{0\}}$${\estilo de visualización H}$${\estilo de visualización x}$${\estilo de visualización T}$${\estilo de visualización T}$${\estilo de visualización H}$${\displaystyle T:H\a H}$${\displaystyle x\en H}$${\estilo de visualización T}$${\estilo de visualización x}$${\estilo de visualización T}$${\estilo de visualización H}$${\estilo de visualización [x]}$${\estilo de visualización x}$${\estilo de visualización H}$

Si bien el caso del problema del subespacio invariante para espacios de Hilbert separables aún está abierto, se han resuelto varios otros casos para espacios vectoriales topológicos (sobre el campo de números complejos):

• Para espacios vectoriales complejos de dimensión finita, cada operador admite un vector propio, por lo que tiene un subespacio invariante unidimensional.
• La conjetura es verdadera si el espacio de Hilbert no es separable (es decir, si tiene una base ortonormal incontable ). De hecho, si es un vector distinto de cero en , la clausura normativa de la órbita lineal es separable (por construcción) y, por lo tanto, un subespacio propio y también invariante.${\estilo de visualización H}$ ${\estilo de visualización x}$${\estilo de visualización H}$${\estilo de visualización [x]}$
• von Neumann demostró ^[8] que cualquier operador compacto en un espacio de Hilbert de dimensión al menos 2 tiene un subespacio invariante no trivial.
• El teorema espectral muestra que todos los operadores normales admiten subespacios invariantes.
• Aronszajn y Smith (1954) demostraron que cada operador compacto en cualquier espacio de Banach de dimensión al menos 2 tiene un subespacio invariante.
• Bernstein y Robinson (1966) demostraron mediante análisis no estándar que si el operador en un espacio de Hilbert es polinomialmente compacto (en otras palabras, es compacto para algún polinomio distinto de cero ), entonces tiene un subespacio invariante. Su prueba utiliza la idea original de incrustar el espacio de Hilbert de dimensión infinita en un espacio de Hilbert de dimensión hiperfinita (véase Análisis no estándar#Problema del subespacio invariante ).${\estilo de visualización T}$${\displaystyle p(T)}$${\estilo de visualización p}$${\estilo de visualización T}$
• Halmos (1966), después de haber visto la preimpresión de Robinson, eliminó el análisis no estándar y proporcionó una prueba más corta en el mismo número de la misma revista.
• Lomonosov (1973) dio una prueba muy breve utilizando el teorema del punto fijo de Schauder de que si el operador en un espacio de Banach conmuta con un operador compacto distinto de cero, entonces tiene un subespacio invariante no trivial. Esto incluye el caso de operadores polinomialmente compactos porque un operador conmuta con cualquier polinomio en sí mismo. De manera más general, demostró que si conmuta con un operador no escalar que conmuta con un operador compacto distinto de cero, entonces tiene un subespacio invariante. ^[9]${\estilo de visualización T}$${\estilo de visualización T}$${\estilo de visualización S}$${\estilo de visualización T}$${\estilo de visualización S}$
• El primer ejemplo de un operador en un espacio de Banach sin subespacios invariantes no triviales fue encontrado por Per Enflo  (1976, 1987), y su ejemplo fue simplificado por Beauzamy (1985).
• El primer contraejemplo en un espacio de Banach "clásico" fue encontrado por Charles Read  (1984, 1985), quien describió un operador en el espacio de Banach clásico sin subespacios invariantes.$estilo de visualización l_{1}}$
• Posteriormente Charles Read  (1988) construyó un operador sobre sin ni siquiera un subconjunto invariante cerrado no trivial , es decir que para cada vector el conjunto es denso, en cuyo caso el vector se llama hipercíclico (la diferencia con el caso de los vectores cíclicos es que no estamos tomando el subespacio generado por los puntos en este caso).$estilo de visualización l_{1}}$${\estilo de visualización x}$ ${\displaystyle \{T^{n}(x)\,:\,n\geq 0\}}$${\displaystyle \{T^{n}(x)\,:\,n\geq 0\}}$
• Atzmon (1983) dio un ejemplo de un operador sin subespacios invariantes en un espacio nuclear de Fréchet .
• Śliwa (2008) demostró que cualquier espacio de Banach de dimensión infinita de tipo numerable sobre un cuerpo no arquimediano admite un operador lineal acotado sin un subespacio invariante cerrado no trivial. Esto resuelve completamente la versión no arquimediana de este problema, planteada por van Rooij y Schikhof en 1992.
• Argyros y Haydon (2011) dieron la construcción de un espacio de Banach de dimensión infinita tal que cada operador continuo es la suma de un operador compacto y un operador escalar, por lo que en particular cada operador tiene un subespacio invariante.

• Abramovich, Yuri A.; Aliprantis, Charalambos D. (2002), Una invitación a la teoría de operadores , Graduate Studies in Mathematics , vol. 50, Providence, RI: American Mathematical Society, doi : 10.1090/gsm/050 , ISBN 978-0-8218-2146-6, Sr.  1921782
• _{Argyros, Spiros A.; Haydon, Richard G. (2011), "Un espacio L ∞} hereditariamente indecomponible que resuelve el problema escalar-más-compacto", Acta Math. , 206 (1): 1–54, arXiv : 0903.3921 , doi :10.1007/s11511-011-0058-y, MR  2784662, S2CID  119532059
• Aronszajn, N. ; Smith, KT (1954), "Subespacios invariantes de operadores completamente continuos", Anales de Matemáticas , Segunda Serie, 60 (2): 345–350, doi :10.2307/1969637, JSTOR  1969637, MR  0065807
• Atzmon, Aharon (1983), "Un operador sin subespacios invariantes en un espacio nuclear de Fréchet", Anales de Matemáticas , Segunda Serie, 117 (3): 669–694, doi :10.2307/2007039, JSTOR  2007039, MR  0701260
• Beauzamy, Bernard (1985), "Un operador sin subespacio invariante: simplificación del ejemplo de P. Enflo" [Un operador sin subespacio invariante: simplificación del ejemplo de P. Enflo], Integral Equations and Operator Theory (en francés), 8 (3): 314–384, doi :10.1007/BF01202903, MR  0792905, S2CID  121418247
• Beauzamy, Bernard (1988), Introducción a la teoría de operadores y subespacios invariantes , North-Holland Mathematical Library, vol. 42, Ámsterdam: North-Holland, ISBN 978-0-444-70521-1, Sr.  0967989
• Bernstein, Allen R.; Robinson, Abraham (1966), "Solución de un problema de subespacio invariante de KT Smith y PR Halmos", Pacific Journal of Mathematics , 16 (3): 421–431, doi : 10.2140/pjm.1966.16.421 , MR  0193504
• Enflo, Per (1976), "Sobre el problema del subespacio invariante en espacios de Banach", Séminaire Maurey--Schwartz (1975--1976) Espaces L ^p , aplicaciones radonifiantes et géométrie des espaces de Banach, Exp. Nos. 14-15 , Centre Math., École Polytech., Palaiseau, p. 7, SEÑOR  0473871
• Enflo, Per (1987), "Sobre el problema del subespacio invariante para espacios de Banach", Acta Mathematica , 158 (3): 213–313, doi : 10.1007/BF02392260 , MR  0892591
• Enflo, Per; Lomonosov, Victor (2001), "Algunos aspectos del problema del subespacio invariante", Manual de la geometría de los espacios de Banach , vol. I, Ámsterdam: Holanda Septentrional, págs. 533–559, doi :10.1016/S1874-5849(01)80015-2, ISBN 9780444828422, Sr.  1863701
• Halmos, Paul R. (1966), "Subespacios invariantes de operadores polinomialmente compactos", Pacific Journal of Mathematics , 16 (3): 433–437, doi : 10.2140/pjm.1966.16.433 , MR  0193505
• Lomonosov, VI (1973), "Subespacios invariantes de la familia de operadores que conmutan con un operador completamente continuo", Akademija Nauk SSSR. Funkcional' Nyi Analiz I Ego Prilozenija , 7 (3): 55–56, doi :10.1007/BF01080698, MR  0420305, S2CID  121421267
• Pearcy, Carl; Shields, Allen L. (1974), "Un estudio de la técnica de Lomonosov en la teoría de subespacios invariantes", en C. Pearcy (ed.), Temas de teoría de operadores , Mathematical Surveys, Providence, RI: American Mathematical Society, págs. 219–229, MR  0355639
• Read, CJ (1984), "Una solución al problema del subespacio invariante", The Bulletin of the London Mathematical Society , 16 (4): 337–401, doi :10.1112/blms/16.4.337, MR  0749447
• Read, CJ (1985), "Una solución al problema del subespacio invariante en el espacio l ₁ ", The Bulletin of the London Mathematical Society , 17 (4): 305–317, doi :10.1112/blms/17.4.305, MR  0806634
• Read, CJ (1988), "El problema del subespacio invariante para una clase de espacios de Banach, 2: operadores hipercíclicos", Israel Journal of Mathematics , 63 (1): 1–40, doi : 10.1007/BF02765019 , MR  0959046, S2CID  123651876
• Radjavi, Heydar; Rosenthal, Peter (1982), "El problema del subespacio invariante", The Mathematical Intelligencer , 4 (1): 33–37, doi :10.1007/BF03022994, MR  0678734, S2CID  122811130
• Radjavi, Heydar; Rosenthal, Peter (2003), Subespacios invariantes (segunda edición), Mineola, NY: Dover, ISBN 978-0-486-42822-2, Sr.  2003221
• Radjavi, Heydar; Rosenthal, Peter (2000), Triangularización simultánea , Universitext, Nueva York: Springer-Verlag, pp. xii+318, doi :10.1007/978-1-4612-1200-3, ISBN 978-0-387-98467-4, Sr.  1736065
• Śliwa, Wiesław (2008), "El problema del subespacio invariante para espacios de Banach no arquimedianos" (PDF) , Canadian Mathematical Bulletin , 51 (4): 604–617, doi :10.4153/CMB-2008-060-9, hdl : 10593/798 , MR  2462465, S2CID  40430187
• Yadav, BS (2005), "El estado actual y las herencias del problema del subespacio invariante", Milan Journal of Mathematics , 73 (1): 289–316, doi :10.1007/s00032-005-0048-7, MR  2175046, S2CID  121068326