Teorema de aplicación abierta (análisis funcional)

En el análisis funcional , el teorema de aplicación abierta , también conocido como teorema de Banach-Schauder o teorema de Banach ^[1] (llamado así por Stefan Banach y Juliusz Schauder ), es un resultado fundamental que establece que si un operador lineal acotado o continuo entre espacios de Banach es sobreyectivo , entonces es una aplicación abierta .

Un caso especial también se denomina teorema inverso acotado (también llamado teorema de aplicación inversa o teorema de isomorfismo de Banach), que establece que un operador lineal acotado biyectivo de un espacio de Banach a otro tiene inverso acotado . ${\estilo de visualización T}$$Estilo de visualización T-1$

La prueba aquí utiliza el teorema de categorías de Baire y la completitud de ambos es esencial para el teorema. El enunciado del teorema ya no es verdadero si se supone que cualquiera de los espacios es solo un espacio vectorial normado ; véase § Contraejemplo. ${\estilo de visualización E}$${\estilo de visualización F}$

La demostración se basa en los siguientes lemas, que también tienen cierto interés independiente. Se dice que una función lineal entre espacios vectoriales topológicos es casi abierta si, para cada entorno de cero, el cierre contiene un entorno de cero. El siguiente lema puede considerarse una versión débil del teorema de funciones abiertas. ${\displaystyle f:E\to F}$${\estilo de visualización U}$${\displaystyle {\overline {f(U)}}}$

Demostración: Al encoger , podemos suponer que es una bola abierta centrada en cero. Tenemos . Por lo tanto, alguna contiene un punto interior ; es decir, para algún radio , ${\estilo de visualización U}$${\estilo de visualización U}$${\displaystyle f(E)=f\left(\bigcup _{n\in \mathbb {N} }nU\right)=\bigcup _{n\in \mathbb {N} }f(nU)}$${\displaystyle {\overline {f(nU)}}}$${\estilo de visualización y}$${\displaystyle r>0}$

${\displaystyle B(y,r)\subset {\overline {f(nU)}}.}$

Entonces, para cualquier en con , por linealidad, convexidad y , ${\estilo de visualización v}$${\estilo de visualización F}$${\displaystyle \|v\|<r}$${\displaystyle (-1)U\subconjunto U}$

${\displaystyle v=v-y+y\in {\overline {f(-nU)}}+{\overline {f(nU)}}\subset {\overline {f(2nU)}}}$,

lo que demuestra el lema dividiendo por . (La misma prueba funciona si son espacios pre-Fréchet). ${\estilo de visualización 2n}$${\displaystyle \cuadrado}$${\estilo de visualización E,F}$

La integridad del dominio permite entonces una actualización prácticamente abierta.

Demostración: Sea en y en alguna sucesión. Tenemos: . Por lo tanto, para cada y en , podemos encontrar un con y en . Por lo tanto, tomando , encontramos un tal que ${\displaystyle y}$${\displaystyle B(0,\delta )}$${\displaystyle c_{n}>0}$${\displaystyle {\overline {B(0,\delta )}}\subset {\overline {f(B(0,1))}}}$${\displaystyle \epsilon >0}$${\displaystyle z}$${\displaystyle F}$${\displaystyle x}$${\displaystyle \|x\|<\delta ^{-1}\|z\|}$${\displaystyle z}$${\displaystyle B(f(x),\epsilon )}$${\displaystyle z=y}$${\displaystyle x_{1}}$

${\displaystyle \|y-f(x_{1})\|<c_{1},\,\|x_{1}\|<\delta ^{-1}\|y\|.}$

Aplicando el mismo argumento con , encontramos entonces un tal que ${\displaystyle z=y-f(x_{1})}$${\displaystyle x_{2}}$

${\displaystyle \|y-f(x_{1})-f(x_{2})\|<c_{2},\,\|x_{2}\|<\delta ^{-1}c_{1}}$

donde observamos . Entonces así sucesivamente. Por lo tanto, si , encontramos una secuencia tal que converge y . Además, ${\displaystyle \|x_{2}\|<\delta ^{-1}\|z\|<\delta ^{-1}c_{1}}$${\displaystyle c:=\sum c_{n}<\infty }$${\displaystyle x_{n}}$${\displaystyle x=\sum _{1}^{\infty }x_{n}}$${\displaystyle f(x)=y}$

${\displaystyle \|x\|\leq \sum _{1}^{\infty }\|x_{n}\|\leq \delta ^{-1}\|y\|+\delta ^{-1}c.}$

Dado que , al hacer lo suficientemente pequeño, podemos lograr . (Nuevamente, la misma prueba es válida si son espacios pre-Fréchet). ${\displaystyle \delta ^{-1}\|y\|<1}$${\displaystyle c}$${\displaystyle \|x\|<1}$${\displaystyle \square }$${\displaystyle E,F}$

Demostración del teorema: según el teorema de categorías de Baire, se aplica el primer lema. Luego, la conclusión del teorema se sigue del segundo lema.${\displaystyle \square }$

En general, una biyección continua entre espacios topológicos no es necesariamente un homeomorfismo. El teorema de aplicación abierta, cuando se aplica, implica que la biyectividad es suficiente:

Aunque el teorema inverso acotado anterior es un caso especial del teorema de aplicación abierta, el teorema de aplicación abierta a su vez se deduce de él. De hecho, un operador lineal sobreyectivo se factoriza como ${\displaystyle T:E\to F}$

${\displaystyle T:E{\overset {p}{\to }}E/\operatorname {ker} T{\overset {T_{0}}{\to }}F.}$

Aquí, es biyectiva y, por lo tanto, es un homeomorfismo según el teorema del inverso acotado; en particular, es una aplicación abierta. Como una aplicación cociente para grupos topológicos es abierta, entonces es abierta. ${\displaystyle T_{0}}$${\displaystyle T}$

Debido a que el teorema de aplicación abierta y el teorema inverso acotado son esencialmente el mismo resultado, a menudo se los denomina simplemente teorema de Banach .

Aquí se presenta una formulación del teorema de aplicación abierta en términos de la transposición de un operador.

Demostración: La idea de 1. 2. es demostrar: y que esto se sigue del teorema de Hahn-Banach . 2. 3. es exactamente el segundo lema en § Enunciado y demostración. Finalmente, 3. 4. es trivial y 4. 1. se sigue fácilmente del teorema de aplicación abierta.${\displaystyle \Rightarrow }$${\displaystyle y\notin {\overline {T(B_{X})}}\Rightarrow \|y\|>\delta ,}$${\displaystyle \Rightarrow }$${\displaystyle \Rightarrow }$${\displaystyle \Rightarrow }$${\displaystyle \square }$

Alternativamente, 1. implica que es inyectiva y tiene imagen cerrada y luego por el teorema de rango cerrado , eso implica que tiene imagen densa e imagen cerrada, respectivamente; es decir, es sobreyectiva. Por lo tanto, el resultado anterior es una variante de un caso especial del teorema de rango cerrado. ${\displaystyle T^{*}}$${\displaystyle T}$${\displaystyle T}$

Terence Tao da la siguiente formulación cuantitativa del teorema: ^[9]

Demostración: 2. 1. es el teorema de aplicación abierta habitual. ${\displaystyle \Rightarrow }$

1. 4.: Para algunos , tenemos donde significa una pelota abierta. Luego para algunos en . Es decir, con . ${\displaystyle \Rightarrow }$${\displaystyle r>0}$${\displaystyle B(0,2)\subset T(B(0,r))}$${\displaystyle B}$${\displaystyle {\frac {f}{\|f\|}}=T\left({\frac {u}{\|f\|}}\right)}$${\displaystyle {\frac {u}{\|f\|}}}$${\displaystyle B(0,r)}$${\displaystyle Tu=f}$${\displaystyle \|u\|<r\|f\|}$

4. 3.: Podemos escribir con en el subespacio denso y la suma converge en la norma. Entonces, como es completo, con y es una solución requerida. Finalmente, 3. 2. es trivial.${\displaystyle \Rightarrow }$${\displaystyle f=\sum _{0}^{\infty }f_{j}}$${\displaystyle f_{j}}$${\displaystyle E}$${\displaystyle u=\sum _{0}^{\infty }u_{j}}$${\displaystyle \|u_{j}\|\leq C\|f_{j}\|}$${\displaystyle Tu_{j}=f_{j}}$${\displaystyle \Rightarrow }$${\displaystyle \square }$

El teorema de aplicación abierta puede no ser válido para espacios normados que no sean completos. Una forma más rápida de ver esto es notar que el teorema de grafo cerrado , una consecuencia del teorema de aplicación abierta, falla sin completitud. Pero aquí hay un contraejemplo más concreto. Consideremos el espacio X de sucesiones x  :  N  →  R con solo un número finito de términos distintos de cero equipados con la norma suprema . La función T  :  X  →  X definida por

${\displaystyle Tx=\left(x_{1},{\frac {x_{2}}{2}},{\frac {x_{3}}{3}},\dots \right)}$

es acotado, lineal e invertible, pero T ⁻¹ no es acotado. Esto no contradice el teorema del inverso acotado, ya que X no es completo y, por lo tanto, no es un espacio de Banach. Para ver que no es completo, considere la secuencia de secuencias x ^{( n )}  ∈  X dada por

${\displaystyle x^{(n)}=\left(1,{\frac {1}{2}},\dots ,{\frac {1}{n}},0,0,\dots \right)}$

converge cuando n  → ∞ a la secuencia x ^(∞) dada por

${\displaystyle x^{(\infty )}=\left(1,{\frac {1}{2}},\dots ,{\frac {1}{n}},\dots \right),}$

que tiene todos sus términos distintos de cero y, por lo tanto, no se encuentra en X .

La completitud de X es el espacio${\displaystyle c_{0}}$ de todas las sucesiones que convergen a cero, que es un subespacio (cerrado) del espacio ℓ _p ℓ _∞ ( N ), que es el espacio de todas las sucesiones acotadas. Sin embargo, en este caso, la función T no es sobreyectiva y, por lo tanto, no es una biyección. Para ver esto, basta con observar que la sucesión

${\displaystyle x=\left(1,{\frac {1}{2}},{\frac {1}{3}},\dots \right),}$

es un elemento de , pero no está en el rango de . El mismo razonamiento se aplica a show tampoco es sobre en , por ejemplo no está en el rango de . ${\displaystyle c_{0}}$${\displaystyle T:c_{0}\to c_{0}}$${\displaystyle T}$${\displaystyle l^{\infty }}$${\displaystyle x=\left(1,1,1,\dots \right)}$${\displaystyle T}$

El teorema de aplicación abierta tiene varias consecuencias importantes:

• Si es un operador lineal continuo biyectivo entre los espacios de Banach y entonces el operador inverso también es continuo (esto se llama teorema del inverso acotado ). ^[10]${\displaystyle T:X\to Y}$${\displaystyle X}$${\displaystyle Y,}$ ${\displaystyle T^{-1}:Y\to X}$
• Si es un operador lineal entre los espacios de Banach y y si para cada secuencia en con y se deduce que entonces es continua (el teorema del grafo cerrado ). ^[11]${\displaystyle T:X\to Y}$${\displaystyle X}$${\displaystyle Y,}$ ${\displaystyle \left(x_{n}\right)}$${\displaystyle X}$${\displaystyle x_{n}\to 0}$${\displaystyle Tx_{n}\to y}$${\displaystyle y=0,}$${\displaystyle T}$
• Dado un operador acotado entre espacios normados, si la imagen de es no exigua y si es completa, entonces es abierta y sobreyectiva y es completa (para ver esto, use los dos lemas en la prueba del teorema). ^[12]${\displaystyle T:E\to F}$${\displaystyle T}$${\displaystyle E}$${\displaystyle T}$${\displaystyle F}$
• Una secuencia exacta de espacios de Banach (o más generalmente de espacios de Fréchet) es topológicamente exacta.
• El teorema de rango cerrado , que dice que un operador (bajo algún supuesto) tiene imagen cerrada si y sólo si su transpuesta tiene imagen cerrada (ver teorema de rango cerrado#Esquema de prueba ).

El teorema de aplicación abierta no implica que un operador lineal sobreyectivo continuo admita una sección lineal continua. Lo que tenemos es: ^[9]

• Un operador lineal continuo sobreyectivo entre espacios de Banach admite una sección lineal continua si y sólo si el núcleo está complementado topológicamente.

En particular, lo anterior se aplica a un operador entre espacios de Hilbert o a un operador con núcleo de dimensión finita (por el teorema de Hahn-Banach ). Si se descarta el requisito de que una sección sea lineal, un operador lineal continuo sobreyectivo entre espacios de Banach admite una sección continua; este es el teorema de Bartle-Graves. ^{[13] [14]}

La convexidad local de o  no es esencial para la prueba, pero la completitud sí lo es: el teorema sigue siendo válido en el caso en que y sean F-espacios . Además, el teorema se puede combinar con el teorema de categorías de Baire de la siguiente manera: ${\displaystyle X}$${\displaystyle Y}$${\displaystyle X}$${\displaystyle Y}$

(La prueba es esencialmente la misma que en los casos de Banach o Fréchet; modificamos ligeramente la prueba para evitar el uso de la convexidad).

Además, en este último caso, si es el núcleo de entonces hay una factorización canónica de en la forma donde es el espacio cociente (también un F-espacio) de por el subespacio cerrado . La aplicación del cociente es abierta, y la aplicación es un isomorfismo de espacios vectoriales topológicos . ^[16]${\displaystyle N}$${\displaystyle A,}$${\displaystyle A}$$${\displaystyle X\to X/N{\overset {\alpha }{\to }}Y}$$${\displaystyle X/N}$${\displaystyle X}$${\displaystyle N.}$${\displaystyle X\to X/N}$${\displaystyle \alpha }$

Un caso especial importante de este teorema también puede enunciarse como

Por otra parte, se puede dar una formulación más general, que implica la primera:

Mapas lineales casi/casi abiertos

Un mapa lineal entre dos espacios vectoriales topológicos (TVS) se denomina${\displaystyle A:X\to Y}$Mapa casi abierto (o a veces, un mapa casi abierto ) si para cada entornodel origen en el dominio, el cierre de su imagenes un entorno del origen en^[18] Muchos autores usan una definición diferente de "mapa casi/casi abierto" que requiere que el cierre desea un entorno del origen enen lugar de en^[18]pero para mapas sobreyectivos estas definiciones son equivalentes. Un mapa lineal biyectivo es casi abierto si y solo si su inverso es continuo.^[18] Todo mapa lineal sobreyectivo deTVS localmente convexosobreTVS abarriladoes casi abierto.^[19]Lo mismo es cierto para todo mapa lineal sobreyectivo de un TVS sobre unde Baire.^[19]${\displaystyle U}$${\displaystyle \operatorname {cl} A(U)}$${\displaystyle Y.}$${\displaystyle A(U)}$${\displaystyle A(X)}$${\displaystyle Y,}$

Los espacios reticulados son una clase de espacios vectoriales topológicos para los cuales se cumplen el teorema de aplicación abierta y el teorema de gráfico cerrado .

• Mapa lineal casi abierto  – Mapa que satisface una condición similar a la de ser un mapa abierto.Pages displaying short descriptions of redirect targets
• Teorema inverso acotado  : condición para que un operador lineal sea abiertoPages displaying short descriptions of redirect targets
• Grafo cerrado  – Gráfica de un mapa cerrado en el espacio del productoPages displaying short descriptions of redirect targets
• Teorema de grafos cerrados  – Teorema que relaciona la continuidad con los grafos
• Teorema de grafos cerrados (análisis funcional)  : teoremas que conectan la continuidad con el cierre de grafos
• Teorema de aplicación abierta (análisis complejo)  : teorema que sostiene que las funciones holomorfas en dominios complejos son aplicaciones abiertasPages displaying wikidata descriptions as a fallback
• Sobreyección de espacios de Fréchet  – Caracterización de la sobreyección
• Teorema de Ursescu  : generalización del grafo cerrado, aplicación abierta y teorema de acotación uniforme
• Espacio en red  : espacio donde se cumplen los teoremas de mapeo abierto y grafos cerrados

• Adasch, Norbert; Ernst, Bruno; Keim, Dieter (1978). Espacios vectoriales topológicos: la teoría sin condiciones de convexidad . Apuntes de clase en matemáticas. Vol. 639. Berlín, Nueva York: Springer-Verlag . ISBN. 978-3-540-08662-8.OCLC 297140003  .
• Banach, Stefan (1932). Théorie des Opérations Linéaires [ Teoría de las operaciones lineales ] (PDF) . Monografie Matematyczne (en francés). vol. 1. Varsovia: Subwencji Funduszu Kultury Narodowej. Zbl  0005.20901. Archivado desde el original (PDF) el 11 de enero de 2014 . Consultado el 11 de julio de 2020 .
• Berberian, Sterling K. (1974). Lecciones de análisis funcional y teoría de operadores . Textos de posgrado en matemáticas. Vol. 15. Nueva York: Springer. ISBN. 978-0-387-90081-0.OCLC 878109401  .
• Bourbaki, Nicolás (1987) [1981]. Espacios vectoriales topológicos: capítulos 1 a 5 . Elementos matemáticos . Traducido por Eggleston, HG; Madan, S. Berlín Nueva York: Springer-Verlag. ISBN 3-540-13627-4.OCLC 17499190  .
• Conway, John (1990). Un curso de análisis funcional . Textos de posgrado en matemáticas . Vol. 96 (2.ª ed.). Nueva York: Springer-Verlag . ISBN. 978-0-387-97245-9.OCLC 21195908  .
• Dieudonné, Jean (1970). Tratado de Análisis, Volumen II . Prensa académica.
• Edwards, Robert E. (1995). Análisis funcional: teoría y aplicaciones . Nueva York: Dover Publications. ISBN 978-0-486-68143-6.OCLC 30593138  .
• Grothendieck, Alexander (1973). Espacios vectoriales topológicos . Traducido por Chaljub, Orlando. Nueva York: Gordon and Breach Science Publishers. ISBN 978-0-677-30020-7.OCLC 886098  .
• Jarchow, Hans (1981). Espacios localmente convexos . Stuttgart: BG Teubner. ISBN 978-3-519-02224-4.OCLC 8210342  .
• Köthe, Gottfried (1983) [1969]. Espacios vectoriales topológicos I. Grundlehren der mathematischen Wissenschaften. vol. 159. Traducido por Garling, DJH Nueva York: Springer Science & Business Media. ISBN 978-3-642-64988-2. Sr.  0248498. OCLC  840293704.
• Narici, Lawrence; Beckenstein, Edward (2011). Espacios vectoriales topológicos . Matemáticas puras y aplicadas (segunda edición). Boca Raton, FL: CRC Press. ISBN 978-1584888666.OCLC 144216834  .
• Robertson, Alex P.; Robertson, Wendy J. (1980). Espacios vectoriales topológicos . Cambridge Tracts in Mathematics. Vol. 53. Cambridge, Inglaterra: Cambridge University Press . ISBN 978-0-521-29882-7.OCLC 589250  .
• Rudin, Walter (1973). Análisis funcional . Serie internacional de matemáticas puras y aplicadas. Vol. 25 (primera edición). Nueva York, NY: McGraw-Hill Science/Engineering/Math . ISBN 9780070542259.
• Rudin, Walter (1991). Análisis funcional. Serie internacional de matemáticas puras y aplicadas. Vol. 8 (segunda edición). Nueva York, NY: McGraw-Hill Science/Engineering/Math . ISBN 978-0-07-054236-5.OCLC 21163277  .
• Schaefer, Helmut H. ; Wolff, Manfred P. (1999). Espacios vectoriales topológicos . GTM . Vol. 8 (Segunda ed.). Nueva York, NY: Springer New York Imprenta Springer. ISBN 978-1-4612-7155-0.OCLC 840278135  .
• Swartz, Charles (1992). Introducción al análisis funcional . Nueva York: M. Dekker. ISBN 978-0-8247-8643-4.OCLC 24909067  .
• Trèves, François (2006) [1967]. Espacios vectoriales topológicos, distribuciones y núcleos . Mineola, NY: Dover Publications. ISBN 978-0-486-45352-1.OCLC 853623322  .
• Vogt, Dietmar (2000). «Conferencias sobre los espacios de Fréchet» (PDF) . Bergische Universität Wuppertal.
• Wilansky, Albert (2013). Métodos modernos en espacios vectoriales topológicos . Mineola, Nueva York: Dover Publications, Inc. ISBN 978-0-486-49353-4.OCLC 849801114  .

Este artículo incorpora material de Prueba del teorema de mapeo abierto en PlanetMath , que se encuentra bajo la licencia Creative Commons Attribution/Share-Alike License .

• "¿Cuándo un complejo de espacios de Banach es tan exacto como un grupo abeliano condensado?". MathOverflow . 6 de febrero de 2021.