Principio de acotación uniforme , la enciclopedia libre

En matemáticas, el principio de acotación uniforme (también conocido como teorema de Banach-Steinhaus) es uno de los resultados fundamentales en análisis funcional. Junto con el teorema de Hahn–Banach y el teorema de la aplicación abierta, se considera una de las piedras angulares del campo. En su forma básica, afirma que para una familia de operadores lineales continuos (y por lo tanto, de operadores lineales acotados) cuyo dominio es un espacio de Banach, la acotación puntual es equivalente a la acotación uniforme según una norma operativa.

El teorema fue publicado por primera vez en 1927 por Stefan Banach y Hugo Steinhaus, pero Hans Hahn también lo demostró de forma independiente.

La integridad de ${\displaystyle X}$ permite plantear la siguiente breve prueba, utilizando el teorema de categorías de Baire.

También hay demostraciones sencillas que no utilizan el teorema de Baire (Sokal, 2011).

El corolario anterior no afirma que ${\displaystyle T_{n}}$ converge a ${\displaystyle T}$ en la norma del operador, es decir, uniformemente en conjuntos acotados. Sin embargo, dado que ${\displaystyle \left\{T_{n}\right\}}$ está acotado en la norma del operador y el operador límite ${\displaystyle T}$ es continuo, una estimación estándar "${\displaystyle 3\varepsilon }$" muestra que ${\displaystyle T_{n}}$ converge a ${\displaystyle T}$ de manera uniforme en conjuntos compactos.

De hecho, los elementos de ${\displaystyle S}$ definen una familia acotada puntualmente de formas lineales continuas en el espacio de Banach ${\displaystyle X:=Y'}$, que es el espacio dual de ${\displaystyle Y}$. Por el principio de acotación uniforme, las normas de los elementos de ${\displaystyle S,}$ como funcionales en ${\displaystyle X}$, es decir, las normas en el segundo dual ${\displaystyle Y''}$ están acotadas. Pero para cada ${\displaystyle s\in S,}$ la norma en el segundo dual coincide con la norma en ${\displaystyle Y}$, como una consecuencia del teorema de Hahn–Banach.

Sean ${\displaystyle L(X,Y)}$ los operadores continuos de ${\displaystyle X}$ a ${\displaystyle Y}$, dotados de norma de operador. Si la colección ${\displaystyle F}$ no está acotada en ${\displaystyle L(X,Y)}$, entonces el principio de acotación uniforme implica que:

${\displaystyle R=\left\{x\in X\ :\ \sup \nolimits _{T\in F}\|Tx\|_{Y}=\infty \right\}\neq \varnothing .}$

De hecho, ${\displaystyle R}$ es denso en ${\displaystyle X}$. El complemento de ${\displaystyle R}$ en ${\displaystyle X}$ es la unión contable de conjuntos cerrados ${\textstyle \bigcup X_{n}}$. Según el argumento utilizado para demostrar el teorema, cada ${\displaystyle X_{n}}$ es denso en ninguna parte, es decir, el subconjunto ${\textstyle \bigcup X_{n}}$ es de primera categoría. Por lo tanto, ${\displaystyle R}$ es el complemento de un subconjunto de primera categoría en un espacio de Baire. Por definición de un espacio de Baire, estos conjuntos (llamados exiguos o residuales) son densos. Tal razonamiento conduce al principio de condensación de singularidades, que puede formularse de la siguiente manera:

Demostración

El complemento de ${\displaystyle R}$ es la unión numerable ${\displaystyle \bigcup _{n,m}\left\{x\in X\ :\ \sup _{T\in F_{n}}\|Tx\|_{Y_{n}}\leq m\right\}}$ de conjuntos de primera categoría. Por lo tanto, su conjunto residual ${\displaystyle R}$ es denso.

Sea ${\displaystyle \mathbb {T} }$ el círculo y sea ${\displaystyle C(\mathbb {T} )}$ el espacio de Banach de funciones continuas en ${\displaystyle \mathbb {T} ,}$ con norma del supremo. Utilizando el principio de acotación uniforme, se puede demostrar que existe un elemento en ${\displaystyle C(\mathbb {T} )}$ para el cual la serie de Fourier no converge puntualmente.

Para ${\displaystyle f\in C(\mathbb {T} ),}$ su serie de Fourier está definida por

${\displaystyle \sum _{k\in \mathbb {Z} }{\hat {f}}(k)e^{ikx}=\sum _{k\in \mathbb {Z} }{\frac {1}{2\pi }}\left(\int _{0}^{2\pi }f(t)e^{-ikt}dt\right)e^{ikx},}$

y la N-ésima suma parcial simétrica es

${\displaystyle S_{N}(f)(x)=\sum _{k=-N}^{N}{\hat {f}}(k)e^{ikx}={\frac {1}{2\pi }}\int _{0}^{2\pi }f(t)D_{N}(x-t)\,dt,}$

donde ${\displaystyle D_{N}}$ es el ${\displaystyle N}$-ésimo núcleo de Dirichlet. Ajústese ${\displaystyle x\in \mathbb {T} }$ y considérese la convergencia de ${\displaystyle \left\{S_{N}(f)(x)\right\}.}$ El funcional ${\displaystyle \varphi _{N,x}:C(\mathbb {T} )\to \mathbb {C} }$ definido por

${\displaystyle \varphi _{N,x}(f)=S_{N}(f)(x),\qquad f\in C(\mathbb {T} ),}$

está ligado.

La norma de ${\displaystyle \varphi _{N,x},}$ en el dual de ${\displaystyle C(\mathbb {T} ),}$ es la norma de la medida signada ${\displaystyle (2(2\pi )^{-1}D_{N}(x-t)dt,}$ a saber

${\displaystyle \left\|\varphi _{N,x}\right\|={\frac {1}{2\pi }}\int _{0}^{2\pi }\left|D_{N}(x-t)\right|\,dt={\frac {1}{2\pi }}\int _{0}^{2\pi }\left|D_{N}(s)\right|\,ds=\left\|D_{N}\right\|_{L^{1}(\mathbb {T} )}.}$

Se puede comprobar que

${\displaystyle {\frac {1}{2\pi }}\int _{0}^{2\pi }|D_{N}(t)|\,dt\geq {\frac {1}{2\pi }}\int _{0}^{2\pi }{\frac {\left|\sin \left((N+{\tfrac {1}{2}})t\right)\right|}{t/2}}\,dt\to \infty .}$

Entonces, la colección ${\displaystyle \left(\varphi _{N,x}\right)}$ es ilimitada en ${\displaystyle C(\mathbb {T} )^{\ast },}$ el dual de ${\displaystyle C(\mathbb {T} ).}$ Por lo tanto, según el principio de acotación uniforme, para cualquier ${\displaystyle x\in \mathbb {T} ,}$ el conjunto de funciones continuas cuya serie de Fourier diverge en ${\displaystyle x}$ es denso en ${\displaystyle C(\mathbb {T} ).}$

Se puede concluir más aplicando el principio de condensación de singularidades. Sea ${\displaystyle \left(x_{m}\right)}$ una secuencia densa en ${\displaystyle \mathbb {T} .}$ Defínase ${\displaystyle \varphi _{N,x_{m}}}$ de forma similar a la anterior. El principio de condensación de singularidades dice entonces que el conjunto de funciones continuas cuya serie de Fourier diverge en cada ${\displaystyle x_{m}}$ es denso en ${\displaystyle C(\mathbb {T} )}$ (sin embargo, la serie de Fourier de una función continua ${\displaystyle f}$ converge a ${\displaystyle f(x)}$ para casi cada ${\displaystyle x\in \mathbb {T} ,}$ por el teorema de Carleson).

En un espacio vectorial topológico (EVT) ${\displaystyle X}$, el término "subconjunto acotado" se refiere específicamente a la noción de subconjunto acotado de von Neumann. Si ${\displaystyle X}$ también es normado o seminormado, supóngase que con (semi)norma ${\displaystyle \|\cdot \|}$, entonces un subconjunto ${\displaystyle B}$ está acotado (según von Neumann) si y solo si es una norma acotada, que por definición significa que ${\textstyle \sup _{b\in B}\|b\|<\infty .}$

Los intentos de encontrar clases de espacios localmente convexos en las que se cumpla el principio de acotación uniforme finalmente condujeron a los espacios barrilados. Es decir, el escenario menos restrictivo para el principio de acotación uniforme es un espacio barrilado, en el que se cumple la siguiente versión generalizada del teorema (Bourbaki, 1987, Theorem III.2.1):

Se dice que una familia ${\displaystyle {\mathcal {B}}}$ de subconjuntos de un espacio vectorial topológico ${\displaystyle Y}$ es uniformemente acotada en ${\displaystyle Y}$, si existe algún subconjunto acotado ${\displaystyle D}$ de ${\displaystyle Y}$ tal que

${\displaystyle B\subseteq D\quad {\text{ para cada }}B\in {\mathcal {B}},}$

lo que sucede si y solo si

${\displaystyle \bigcup _{B\in {\mathcal {B}}}B}$

es un subconjunto acotado de ${\displaystyle Y}$. Si ${\displaystyle Y}$ es un espacio vectorial normado, entonces esto sucede si y solo si existe algún ${\displaystyle M\geq 0}$ real tal que ${\textstyle \sup _{\stackrel {b\in B}{B\in {\mathcal {B}}}}\|b\|\leq M.}$ En particular, si ${\displaystyle H}$ es una familia de aplicaciones de ${\displaystyle X}$ a ${\displaystyle Y}$ y si ${\displaystyle C\subseteq X}$, entonces la familia ${\displaystyle \{h(C):h\in H\}}$ está uniformemente acotada en ${\displaystyle Y}$ si y solo si existe algún subconjunto acotado ${\displaystyle D}$ de ${\displaystyle Y}$ tal que ${\displaystyle h(C)\subseteq D{\text{ para todo }}h\in H,}$ lo que ocurre si y solo si ${\textstyle H(C):=\bigcup _{h\in H}h(C)}$ es un subconjunto acotado de ${\displaystyle Y.}$

Aunque la noción de un conjunto no exiguo se utiliza en la siguiente versión del principio acotado uniforme, se supone que el dominio ${\displaystyle X}$ no es un espacio de Baire.

Cada subespacio vectorial propio de un EVT ${\displaystyle X}$ tiene un interior vacío en ${\displaystyle X}$.^[3]​ Entonces, en particular, cada subespacio vectorial propio que está cerrado no es denso en ninguna parte en ${\displaystyle X}$, y por lo tanto, de la primera categoría (exiguo) en ${\displaystyle X}$ (y lo mismo también es cierto para todos sus subconjuntos). En consecuencia, cualquier subespacio vectorial de un EVT ${\displaystyle X}$ que sea de segunda categoría (no exiguo) en ${\displaystyle X}$ debe ser un subconjunto denso de ${\displaystyle X}$ (ya que de lo contrario, su cierre en ${\displaystyle X}$ sería un subespacio vectorial propio cerrado de ${\displaystyle X}$, y por lo tanto, de primera categoría).^[3]​

Demostración[2]​

Demostración de que ${\displaystyle H}$ es equicontinuo: Sean ${\displaystyle W,V\subseteq Y}$ entornos equilibrados del origen en ${\displaystyle Y}$ que satisfacen ${\displaystyle {\overline {V}}+{\overline {V}}\subseteq W}$. Se debe demostrar que existe un entorno ${\displaystyle N\subseteq X}$ del origen en ${\displaystyle X}$ tal que ${\displaystyle h(N)\subseteq W}$ para cada ${\displaystyle h\in H.}$ Sea ${\displaystyle C~:=~\bigcap _{h\in H}h^{-1}\left({\overline {V}}\right)}$, que es un subconjunto cerrado de ${\displaystyle X}$ (porque es una intersección de subconjuntos cerrados) que para cada ${\displaystyle h\in H,}$ también satisface ${\displaystyle h(C)\subseteq {\overline {V}}}$ y ${\displaystyle h(C-C)~=~h(C)-h(C)~\subseteq ~{\overline {V}}-{\overline {V}}~=~{\overline {V}}+{\overline {V}}~\subseteq ~W}$ (como se mostrará, el conjunto ${\displaystyle C-C}$ es de hecho un entorno del origen en ${\displaystyle X}$ porque el interior topológico de ${\displaystyle C}$ en ${\displaystyle X}$ no está vacío). Si ${\displaystyle b\in B}$, entonces ${\displaystyle H(b)}$ está limitado en ${\displaystyle Y}$, lo que implica que existe algún número entero ${\displaystyle n\in \mathbb {N} }$ tal que ${\displaystyle H(b)\subseteq nV}$, por lo que si ${\displaystyle h\in H,}$ entonces ${\displaystyle b~\in ~h^{-1}\left(nV\right)~=~nh^{-1}(V).}$ Dado que ${\displaystyle h\in H}$ era arbitrario, ${\displaystyle b~\in ~\bigcap _{h\in H}nh^{-1}(V)~=~n\bigcap _{h\in H}h^{-1}(V)~\subseteq ~nC.}$ Esto prueba que ${\displaystyle B~\subseteq ~\bigcup _{n\in \mathbb {N} }nC.}$ Debido a que ${\displaystyle B}$ es de segunda categoría en ${\displaystyle X}$, lo mismo debe ser cierto para al menos uno de los conjuntos ${\displaystyle nC}$ para algún ${\displaystyle n\in \mathbb {N} .}$ La aplicación ${\displaystyle X\to X}$ definida por ${\textstyle x\mapsto {\frac {1}{n}}x}$ es un homeomorfismo (sobreyectivo), por lo que el conjunto ${\textstyle {\frac {1}{n}}(nC)=C}$ es necesariamente de segunda categoría en ${\displaystyle X}$. Debido a que ${\displaystyle C}$ está cerrado y es de segunda categoría en ${\displaystyle X}$, su interior en ${\displaystyle X}$ no está vacío. Elíjase ${\displaystyle c\in \operatorname {Int} _{X}C}$. Debido a que la aplicación ${\displaystyle X\to X}$ definida por ${\displaystyle x\mapsto c-x}$ es un homeomorfismo, el conjunto ${\displaystyle N~:=~c-\operatorname {Int} _{X}C~=~\operatorname {Int} _{X}(c-C)}$ es un entorno de ${\displaystyle 0=c-c}$ en ${\displaystyle X}$, lo que implica que lo mismo ocurre con su superconjunto ${\displaystyle C-C.}$ Y así, por cada ${\displaystyle h\in H,}$ ${\displaystyle h(N)~\subseteq ~h(c-C)~=~h(c)-h(C)~\subseteq ~{\overline {V}}-{\overline {V}}~\subseteq ~W.}$ Esto demuestra que ${\displaystyle H}$ es equicontinuo. Q.E.D. Demostración de que ${\displaystyle B=X}$: Debido a que ${\displaystyle H}$ es equicontinuo, si ${\displaystyle S\subseteq X}$ está acotado en ${\displaystyle X}$, entonces ${\displaystyle H(S)}$ está acotado uniformemente en ${\displaystyle Y}$. En particular, para cualquier ${\displaystyle x\in X}$, dado que ${\displaystyle S:=\{x\}}$ es un subconjunto acotado de ${\displaystyle X}$, ${\displaystyle H(\{x\})=H(x)}$ es un subconjunto uniformemente acotado de ${\displaystyle Y}$. Por lo tanto, ${\displaystyle B=X}$. Q.E.D.

El siguiente teorema establece condiciones para que el límite puntual de una secuencia de aplicaciones lineales continuas sea en sí mismo continuo.

Si además el dominio es un espacio de Banach y el codominio es un espacio vectorial normado, entonces ${\displaystyle \|h\|\leq \liminf _{n\to \infty }\left\|h_{n}\right\|<\infty .}$

Dieudonné (1970) demostró una forma más débil de este teorema con un espacio de Fréchet en lugar de los habituales espacios de Banach.

• Espacio barrilado
• Teorema de Ursescu

• Banach, Stefan; Steinhaus, Hugo (1927). «Sur le principe de la condensation de singularités». Fundamenta Mathematicae 9. pp. 50-61. doi:10.4064/fm-9-1-50-61. .
• Banach, Stefan (1932). Théorie des Opérations Linéaires [Theory of Linear Operations]. Monografie Matematyczne (en francés) 1. Warszawa: Subwencji Funduszu Kultury Narodowej. Zbl 0005.20901. Archivado desde el original el 11 de enero de 2014. Consultado el 11 de julio de 2020. 
• Bourbaki, Nicolas (1987) [1981]. Topological Vector Spaces: Chapters 1–5 (Eggleston, H.G.; Madan, S., trad.). Elementos de matemática. Berlin New York: Springer-Verlag. ISBN 3-540-13627-4. OCLC 17499190. 
• Dieudonné, Jean (1970). Treatise on analysis, Volume 2. Academic Press. .
• Husain, Taqdir; Khaleelulla, S. M. (1978). Barrelledness in Topological and Ordered Vector Spaces. Lecture Notes in Mathematics 692. Berlin, New York, Heidelberg: Springer Science+Business Media. ISBN 978-3-540-09096-0. OCLC 4493665. 
• Khaleelulla, S. M. (1982). Counterexamples in Topological Vector Spaces. Lecture Notes in Mathematics 936. Berlin, Heidelberg, New York: Springer Science+Business Media. ISBN 978-3-540-11565-6. OCLC 8588370. 
• Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second edición). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. 
• Rudin, Walter (1973). Functional Analysis. International Series in Pure and Applied Mathematics 25 (First edición). New York, NY: McGraw Hill Education. ISBN 9780070542259. 
• Rudin, Walter (1991). Functional Analysis. International Series in Pure and Applied Mathematics 8 (Second edición). New York, NY: McGraw Hill Education. ISBN 978-0-07-054236-5. OCLC 21163277. 
• Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM 8 (Second edición). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135. 
• Schechter, Eric (1996). Handbook of Analysis and Its Foundations. San Diego, CA: Academic Press. ISBN 978-0-12-622760-4. OCLC 175294365. 
• Shtern, A.I. (2001), «Principio de acotación uniforme», en Hazewinkel, Michiel, ed., Encyclopaedia of Mathematics (en inglés), Springer, ISBN 978-1556080104 .
• Sokal, Alan (2011). «A really simple elementary proof of the uniform boundedness theorem». Amer. Math. Monthly 118 (5). pp. 450-452. S2CID 41853641. arXiv:1005.1585. doi:10.4169/amer.math.monthly.118.05.450. .
• Trèves, François (2006) [1967]. Topological Vector Spaces, Distributions and Kernels. Mineola, N.Y.: Dover Publications. ISBN 978-0-486-45352-1. OCLC 853623322. 
• Wilansky, Albert (2013). Modern Methods in Topological Vector Spaces. Mineola, New York: Dover Publications, Inc. ISBN 978-0-486-49353-4. OCLC 849801114.