Ver el código de «Principio de acotación uniforme»

<!-- {{otros usos|para=la definición de funciones uniformemente acotadas|Acotación uniforme}}
{{otros usos|para=las conjeturas en teoría de números y geometría algebraica|Conjetura de acotación uniforme (desambiguación)}} -->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 función abierta|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 [[operador lineal continuo|operadores lineales continuos]] (y por lo tanto, de [[operador lineal acotado|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.

==Teorema==
{{teorema|título=Principio de acotación uniforme|1=
Sea <math>X</math> un [[espacio de Banach]], <math>Y</math> un [[espacio vectorial normado]] y <math>B(X,Y)</math> el espacio de todos los [[operadores lineales continuos]] desde <math>X</math> hasta <math>Y</math>. Supóngase que <math>F</math> es una colección de operadores lineales continuos de <math>X</math> a <math>Y</math>. Si

:<math>\sup_{T \in F} \|T(x)\|_Y  < \infty \quad \text{ para todo } x \in X</math>,

entonces

:<math>\sup_{\stackrel{T \in F,}{\|x\|\leq 1}} T(x)_Y= _T F T_B(X,Y) < \infty</math>.

En el caso de que <math>X</math> no sea el espacio vectorial trivial, entonces la semidesigualdad utilizada en el supremo del primer término de esta última cadena de igualdades (que tiene un rango de <math>x</math> sobre la ''bola'' cerrada unidad) puede reemplazarse por una igualdad propia (que tiene un rango <math>x</math> sobre la ''esfera'' unitaria cerrada).
}}

La integridad de <math>X</math> permite plantear la siguiente breve prueba, utilizando el [[teorema de categorías de Baire]].

{{demostración|1=
Sea {{mvar|X}} un espacio de Banach.
Supóngase que por cada <math>x \in X</math>

:<math>\sup_{T \in F} \|T(x)\|_Y < \infty</math>

Para cada número entero <math>n \in \N,</math> sea

:<math>X_n= \left\{x \in X \ : \ \sup_{T \in F} \|T (x)\|_Y \leq n \right\}</math>

Cada conjunto <math>X_n</math> es un [[conjunto cerrado]] y, según el supuesto,

:<math>\bigcup_{n \in \N} X_n= X \neq \varnothing.</math>

Por el [[teorema de categorías de Baire]] para un [[espacio métrico completo]] no vacío <math>X</math>, existe algún <math>m \in \N</math> tal que
<math>X_m</math> tiene [[Interior (topología)|interior]] no vacío; es decir, existen <math>x_0 \in X_m</math> y <math>\varepsilon > 0</math> tales que

:<math>\overline{B_\varepsilon (x_0)} ~:=~ \left\{x \in X \,:\, \|x - x_0\|\leq \varepsilon \right\} ~\subseteq~ X_m</math>

Sea <math>u \in X</math> con <math>\|u\|\leq 1</math> y <math>T \in F</math>
Entonces:

:<math>\begin{align}
\|T(u)\|_Y &= \varepsilon^{-1}\left\|T\left(x_0 + \varepsilon u\right) - T\left(x_0\right)\right\|_Y & [\text{ por la linealidad de } T ] \\
&\leq \varepsilon^{-1}\left(\left\|T (x_0 + \varepsilon u) \right\|_Y + \left\|T(x_0)\right\|_Y \right ) \\
&\leq \varepsilon^{-1}(m + m). & [ \text{ dado que } \ x_0 + \varepsilon u, \ x_0 \in X_m ] \\
\end{align}</math>

Tomando el supremo sobre <math>u</math> en la bola unitaria de <math>X</math> y sobre <math>T \in F</math> se deduce que

:<math>\sup_{T \in F} \|T\|_{B(X,Y)} ~\leq~ 2 \varepsilon^{-1} m ~ < ~ \infty</math>.
}}

También hay demostraciones sencillas que no utilizan el teorema de Baire {{harv|Sokal|2011}}.

==Corolarios==

{{teorema|título=Corolario|1=
Si una secuencia de operadores acotados <math>\left(T_n\right)</math> converge puntualmente, es decir, el límite de <math>\left(T_n(x)\right)</math> existe para todos los <math>x \in X</math>, entonces estos límites puntuales definen un operador lineal acotado <math>T</math>.
}}

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

{{demostración|1=
Esencialmente, se considera lo mismo que en la demostración de que una secuencia convergente puntual de funciones uniformemente continuas en un conjunto compacto converge en una función continua.

Por el principio de acotación uniforme, sea <math>M= \max\{\sup_n \|T_n\|, T\}</math> un límite superior uniforme de las normas del operador.

Se fija un <math>K\subset X</math> compacto cualquiera. A continuación, para cualquier <math>\epsilon > 0</math>, se recubre finitamente (recurriendo a su compacidad) <math>K</math> con un conjunto finito de bolas abiertas <math>\{B(x_i, r)\}_{i=1, ..., N}</math> de radio <math>r= \frac{\epsilon}{M}</math>

Dado que <math>T_n \to T</math> es puntual para cada <math>x_1, ..., x_N</math>, para todos los <math>n</math> grandes, <math>\|T_n(x_i) - T(x_i)\|\leq \epsilon</math> es para todos los <math>i= 1,..., N</math>.

En consecuencia, por la desigualdad triangular, se tiene que para todo <math>n</math> grande, <math>\forall x\in K, \|T_n(x) - T(x)\|\leq 3\epsilon</math>.
}}

{{teorema|título=Corolario|1=
Cualquier subconjunto <math>S \subseteq Y</math> débilmente acotado en un espacio normado <math>Y</math> está acotado.
}}

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

Sean <math>L(X, Y)</math> los operadores continuos de <math>X</math> a <math>Y</math>, dotados de [[norma de operador]].
Si la colección <math>F</math> no está acotada en <math>L(X, Y)</math>, entonces el principio de acotación uniforme implica que:

:<math>R= \left \{x \in X \ : \ \sup\nolimits_{T \in F} \|Tx\|_Y= \infty \right\} \neq \varnothing.</math>

De hecho, <math>R</math> es denso en <math>X</math>. El complemento de <math>R</math> en <math>X</math> es la unión contable de conjuntos cerrados <math display="inline">\bigcup X_n</math>.
Según el argumento utilizado para demostrar el teorema, cada <math>X_n</math> es [[denso en ninguna parte]], es decir, el subconjunto <math display="inline">\bigcup X_n</math> es {{enf|de primera categoría}}.
Por lo tanto, <math>R</math> 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 {{enf|[[conjunto exiguo|exiguos]]}} o {{enf|residuales}}) son densos.
Tal razonamiento conduce al {{enf|principio de condensación de singularidades}}, que puede formularse de la siguiente manera:

{{teorema|1=
Sea <math>X</math> un espacio de Banach, <math>\left(Y_n\right)</math> una secuencia de espacios vectoriales normados, y para cada <math>n,</math> sea <math>F_n</math> una familia ilimitada en <math>L\left(X, Y_n\right).</math> Entonces, el conjunto

:<math>R := \left\{x \in X \ : \ \text{ para todo } n \in \N , \sup_{T \in F_n} \|Tx\|_{Y_n}= \infty\right\}</math>

es un conjunto residual y, por lo tanto, denso en <math>X.</math>
}}

{{demostración|1= 
El complemento de <math>R</math> es la unión numerable

:<math>\bigcup_{n,m} \left\{x \in X \ : \ \sup_{T \in F_n} \|Tx\|_{Y_n} \leq m\right\}</math>

de conjuntos de primera categoría. Por lo tanto, su conjunto residual <math>R</math> es denso.
}}

==Ejemplo: convergencia puntual de la serie de Fourier==

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

Para <math>f \in C(\mathbb{T}),</math> su [[serie de Fourier]] está definida por

:<math>\sum_{k \in \Z} \hat{f}(k) e^{ikx}= \sum_{k \in \Z} \frac{1}{2\pi} \left (\int_0 ^{2 \pi} f(t) e^{-ikt} dt \right) e^{ikx},</math>

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

:<math>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,</math>

donde <math>D_N</math> es el <math>N</math>-ésimo [[núcleo de Dirichlet]]. Ajústese <math>x \in \mathbb{T}</math> y considérese la convergencia de <math>\left\{S_N(f)(x)\right\}.</math>
El funcional <math>\varphi_{N,x} : C(\mathbb{T}) \to \Complex</math> definido por

:<math>\varphi_{N, x}(f)= S_N(f)(x), \qquad f \in C(\mathbb{T}),</math>

está ligado.

La norma de <math>\varphi_{N,x},</math> en el dual de <math>C(\mathbb{T}),</math> es la norma de la medida signada <math>(2(2 \pi)^{-1} D_N(x - t) d t,</math> a saber

:<math>\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})}.</math>

Se puede comprobar que

:<math>\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.</math>

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

Se puede concluir más aplicando el principio de condensación de singularidades.
Sea <math>\left(x_m\right)</math> una secuencia densa en <math>\mathbb{T}.</math>
Defínase <math>\varphi_{N, x_m}</math> 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 <math>x_m</math> es denso en <math>C(\mathbb{T})</math> (sin embargo, la serie de Fourier de una función continua <math>f</math> converge a <math>f(x)</math> para casi cada <math>x \in \mathbb{T},</math> por el [[teorema de Carleson]]).

==Generalizaciones==

En un [[espacio vectorial topológico]] (EVT) <math>X</math>, el término "subconjunto acotado" se refiere específicamente a la noción de [[Conjunto acotado (espacio vectorial topológico)|subconjunto acotado de von Neumann]]. Si <math>X</math> también es normado o [[seminorma|seminormado]], supóngase que con [[Seminorma|(semi)norma]] <math>\|\cdot\|</math>, entonces un subconjunto <math>B</math> está acotado (según von Neumann) si y solo si es una {{enf|norma acotada}}, que por definición significa que <math display="inline">\sup_{b \in B} \|b\|< \infty.</math>

===Espacios barrilados===
{{AP|Espacio barrilado}}

Los intentos de encontrar clases de [[espacio localmente convexo|espacios localmente convexos]] en las que se cumpla el principio de acotación uniforme finalmente condujeron a los [[espacio barrilado|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 {{harv|Bourbaki|1987|loc=Theorem III.2.1}}:

{{teorema|1=
Dado un espacio barrilado <math>X</math> y un [[espacio localmente convexo]] <math>Y</math>, cualquier familia de [[operador lineal continuo|operadores lineales continuos]] acotados puntualmente desde <math>X</math> a <math>Y</math> es [[equicontinuidad|equicontinua]] (e incluso [[equicontinuidad|uniformemente equicontinua]]).

Alternativamente, la afirmación también es válida siempre que <math>X</math> sea un [[espacio de Baire]] e <math>Y</math> sea un espacio localmente convexo.{{sfn|Shtern|2001}}
}}

===Acotación uniforme en espacios vectoriales topológicos===
{{AP|Conjunto acotado (espacio vectorial topológico)}}

Se dice que una [[Familia de conjuntos|familia]] <math>\mathcal{B}</math> de subconjuntos de un [[espacio vectorial topológico]] <math>Y</math> es {{enf|[[Conjunto acotado (espacio vectorial topológico)|uniformemente acotada]]}} en <math>Y</math>, si existe algún [[Conjunto acotado (espacio vectorial topológico)|subconjunto acotado]] <math>D</math> de <math>Y</math> tal que

:<math>B \subseteq D \quad \text{ para cada } B \in \mathcal{B},</math>

lo que sucede si y solo si

:<math>\bigcup_{B \in \mathcal{B}} B</math>

es un subconjunto acotado de <math>Y</math>.
Si <math>Y</math> es un [[espacio vectorial normado]], entonces esto sucede si y solo si existe algún <math>M \geq 0</math> real tal que <math display="inline">\sup_{\stackrel{b \in B}{B \in \mathcal{B}}} \|b\|\leq M.</math>
En particular, si <math>H</math> es una familia de aplicaciones de <math>X</math> a <math>Y</math> y si <math>C \subseteq X</math>, entonces la familia <math>\{h(C) : h \in H\}</math> está uniformemente acotada en <math>Y</math> si y solo si existe algún subconjunto acotado <math>D</math> de <math>Y</math> tal que <math>h(C) \subseteq D \text{ para todo } h \in H,</math> lo que ocurre si y solo si <math display=inline>H(C) := \bigcup_{h \in H} h(C)</math> es un subconjunto acotado de <math>Y.</math>

{{teorema|título= Proposición{{sfn|Rudin|1991|pp=42−47}}|1=
Sea <math>H \subseteq L(X, Y)</math> un conjunto de operadores lineales continuos entre dos [[espacio vectorial topológico|espacios vectoriales topológicos]], <math>X</math> e <math>Y</math>, y sea <math>C \subseteq X</math> cualquier [[Conjunto acotado (espacio vectorial topológico)|subconjunto acotado]] de <math>X.</math>
Entonces, la [[familia de conjuntos]] <math>\{h(C) : h \in H\}</math> está uniformemente acotada en <math>Y</math> si se cumple alguna de las siguientes condiciones:
# <math>H</math> es equicontinuo.
# <math>C</math> es un [[espacio compacto]] y [[Convexidad|convexo]] de Hausdorff [[Topología traza|subespacio]] de <math>X</math>, y para cada <math>c \in C</math>, la órbita <math>H(c) := \{h(c) : h \in H\}</math> es un subconjunto acotado de <math>Y</math>.
}}

===Generalizaciones que involucran subconjuntos no exiguos===

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 <math>X</math> {{enf|no}} es un [[espacio de Baire]].

{{teorema|título=Teorema{{sfn|Rudin|1991|pp=42−47}}|1=
Sea <math>H \subseteq L(X, Y)</math> un conjunto de [[operador lineal continuo|operadores lineales continuos]] entre dos [[espacio vectorial topológico|espacios vectoriales topológicos]], <math>X</math> e <math>Y</math> (no necesariamente de [[Espacio de Hausdorff|Hausdorff]] o localmente convexos).
Para cada <math>x \in X,</math> se denota la [[Acción (matemática)|órbita]] de <math>x</math> por

:<math>H(x) := \{h(x) : h \in H\}</math>

y sea <math>B</math> el conjunto de todos los <math>x \in X</math>, cuya órbita <math>H(x)</math> es un [[Conjunto acotado (espacio vectorial topológico)|subconjunto acotado]] de <math>Y.</math>
Si <math>B</math> es de [[segunda categoría]] (es decir, no exiguo) en <math>X</math>, entonces <math>B= X</math> y <math>H</math> son equicontinuos.
}}

Cada subespacio vectorial propio de un EVT <math>X</math> tiene un interior vacío en <math>X</math>.{{sfn|Rudin|1991|p=46}} Entonces, en particular, cada subespacio vectorial propio que está cerrado no es denso en ninguna parte en <math>X</math>, y por lo tanto, de la primera categoría (exiguo) en <math>X</math> (y lo mismo también es cierto para todos sus subconjuntos).
En consecuencia, cualquier subespacio vectorial de un EVT <math>X</math> que sea de segunda categoría (no exiguo) en <math>X</math> debe ser un [[Conjunto denso|subconjunto denso]] de <math>X</math> (ya que de lo contrario, su cierre en <math>X</math> sería un subespacio vectorial propio cerrado de <math>X</math>, y por lo tanto, de primera categoría).{{sfn|Rudin|1991|p=46}}

{{demostración|título= Demostración{{sfn|Rudin|1991|pp=42−47}}|1=
{{enf|Demostración de que <math>H</math> es equicontinuo:}}

Sean <math>W, V \subseteq Y</math> entornos [[Conjunto equilibrado|equilibrados]] del origen en <math>Y</math> que satisfacen <math>\overline{V} + \overline{V} \subseteq W</math>. Se debe demostrar que existe un entorno <math>N \subseteq X</math> del origen en <math>X</math> tal que <math>h(N) \subseteq W</math> para cada <math>h \in H.</math>

Sea

:<math>C ~:=~ \bigcap_{h \in H} h^{-1}\left(\overline{V}\right)</math>,

que es un subconjunto cerrado de <math>X</math> (porque es una intersección de subconjuntos cerrados) que para cada <math>h \in H,</math> también satisface <math>h(C) \subseteq \overline{V}</math> y

:<math>h(C - C) ~=~ h(C) - h(C) ~\subseteq~ \overline{V} - \overline{V} ~=~ \overline{V} + \overline{V} ~\subseteq~ W</math>

(como se mostrará, el conjunto <math>C - C</math> es de hecho un entorno del origen en <math>X</math> porque el interior topológico de <math>C</math> en <math>X</math> no está vacío).
Si <math>b \in B</math>, entonces <math>H(b)</math> está limitado en <math>Y</math>, lo que implica que existe algún número entero <math>n \in \N</math> tal que <math>H(b) \subseteq n V</math>, por lo que si <math>h \in H,</math> entonces <math>b ~\in~ h^{-1}\left(n V\right) ~=~ n h^{-1}(V).</math>
Dado que <math>h \in H</math> era arbitrario,

:<math>b ~\in~ \bigcap_{h \in H} nh^{-1}(V) ~=~ n \bigcap_{h \in H} h^{-1}(V) ~\subseteq~ n C.</math>

Esto prueba que

:<math>B ~\subseteq~ \bigcup_{n \in \N} n C.</math>

Debido a que <math>B</math> es de segunda categoría en <math>X</math>, lo mismo debe ser cierto para al menos uno de los conjuntos <math>n C</math> para algún <math>n \in \N.</math>
La aplicación <math>X \to X</math> definida por <math display="inline">x \mapsto \frac{1}{n} x</math> es un [[homeomorfismo]] ([[Función sobreyectiva|sobreyectivo]]), por lo que el conjunto <math display="inline">\frac{1}{n} (n C)= C</math> es necesariamente de segunda categoría en <math>X</math>.
Debido a que <math>C</math> está cerrado y es de segunda categoría en <math>X</math>, su [[interior (topología)|interior]] en <math>X</math> no está vacío.
Elíjase <math>c \in \operatorname{Int}_X C</math>.
Debido a que la aplicación <math>X \to X</math> definida por <math>x \mapsto c - x</math> es un homeomorfismo, el conjunto

:<math>N ~:=~ c - \operatorname{Int}_X C ~=~ \operatorname{Int}_X (c - C)</math>

es un entorno de <math>0= c - c</math> en <math>X</math>, lo que implica que lo mismo ocurre con su superconjunto <math>C - C.</math>
Y así, por cada <math>h \in H,</math>

:<math>h(N) ~\subseteq~ h(c - C) ~=~ h(c) - h(C) ~\subseteq~ \overline{V} - \overline{V} ~\subseteq~ W.</math>

Esto demuestra que <math>H</math> es equicontinuo.
Q.E.D.

----

{{enf|Demostración de que <math>B= X</math>:}}

Debido a que <math>H</math> es equicontinuo, si <math>S \subseteq X</math> está acotado en <math>X</math>, entonces <math>H(S)</math> está acotado uniformemente en <math>Y</math>.
En particular, para cualquier <math>x \in X</math>, dado que <math>S := \{x\}</math> es un subconjunto acotado de <math>X</math>, <math>H(\{x\})= H(x)</math> es un subconjunto uniformemente acotado de <math>Y</math>. Por lo tanto, <math>B= X</math>.
Q.E.D.
}}

===Secuencias de aplicaciones lineales continuas===

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

{{teorema|título= Teorema{{sfn|Rudin|1991|pp=45−46}}|1=
Supóngase que <math>h_1, h_2, \ldots</math> es una secuencia de aplicaciones lineales continuas entre dos [[espacios vectoriales topológicos]], <math>X</math> e <math>Y</math>.

# Si el conjunto <math>C</math> de todos los <math>x \in X</math> para los cuales <math>h_1(x), h_2(x), \ldots</math> es una secuencia de Cauchy en <math>Y</math> de segunda categoría en <math>X</math>, entonces <math>C= X.</math>
# Si el conjunto <math>L</math> de todos los <math>x \in X</math> en el que existe el límite <math>h(x) := \lim_{n \to \infty} h_n(x)</math> en <math>Y</math> es de segunda categoría en <math>X</math> y si <math>Y</math> es un  [[espacio vectorial topológico metrizable]] [[Espacio vectorial topológico completo|completo]] (como un [[espacio de Fréchet]] o un [[espacio F]]), entonces <math>L= X</math> y <math>h : X \to Y</math> son una aplicación lineal continua.
}}

{{teorema|título=Teorema{{sfn|Rudin|1991|p=46}}|1=
Si <math>h_1, h_2, \ldots</math> es una secuencia de aplicaciones lineales continuas desde un [[espacio F]] <math>X</math> a un espacio vectorial topológico de Hausdorff <math>Y</math> tal que para cada <math>x \in X,</math> el límite

:<math>h(x) ~:=~ \lim_{n \to \infty} h_n(x)</math>

existe en <math>Y</math>, entonces <math>h : X \to Y</math> es una aplicación lineal continua y las aplicaciones <math>h, h_1, h_2, \ldots</math> son equicontinuas.
}}

Si además el dominio es un [[espacio de Banach]] y el codominio es un [[espacio vectorial normado]], entonces <math>\|h\|\leq \liminf_{n \to \infty} \left\|h_n\right\|< \infty.</math>

====Dominio metrizable completo====

{{harvtxt|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.

{{teorema|título=Teorema{{sfn|Rudin|1991|pp=42−47}}|1=
Sea <math>H \subseteq L(X, Y)</math> un conjunto de operadores lineales continuos desde un [[espacio vectorial topológico metrizable]] [[Espacio vectorial topológico completo|completo]] <math>X</math> (como un [[espacio de Fréchet]] o un [[espacio F]]) a un [[espacio vectorial topológico]] de [[Espacio de Hausdorff|Hausdorff]] <math>Y</math>.
Si por cada <math>x \in X</math>, la [[Acción (matemática)|órbita]]

:<math>H(x) := \{h(x) : h \in H\}</math>

es un [[Conjunto acotado (espacio vectorial topológico)|subconjunto acotado]] de <math>Y</math>, entonces <math>H</math> es equicontinuo.

De esta manera, en particular, si <math>Y</math> es también un [[espacio vectorial normado]] y si

:<math>\sup_{h \in H} \|h(x)\|< \infty \quad \text{ para cada } x \in X,</math>

entonces <math>H</math> es equicontinuo.
}}

==Véase también==
*[[Espacio barrilado]]
*[[Teorema de Ursescu]]

==Referencias==
{{listaref}}

==Bibliografía==
* {{cita libro|apellido1=Banach|nombre1=Stefan|enlace-autor1=Stefan Banach|apellido2=Steinhaus|nombre2=Hugo|enlace-autor2=Hugo Steinhaus|url=http://matwbn.icm.edu.pl/ksiazki/fm/fm9/fm918.pdf|título=Sur le principe de la condensation de singularités|journal=[[ Fundamenta Mathematicae]]|volume=9|pages=50–61|año=1927|doi=10.4064/fm-9-1-50-61}}.
* {{cita libro|apellido=Banach|nombre=Stefan|enlace-autor=Stefan Banach|language=fr|trans-title=Theory of Linear Operations|título=Théorie des Opérations Linéaires|editorial=Subwencji Funduszu Kultury Narodowej|ubicación=Warszawa|año=1932|volume=1|series=Monografie Matematyczne|zbl=0005.20901|url=http://kielich.amu.edu.pl/Stefan_Banach/pdf/teoria-operacji-fr/banach-teorie-des-operations-lineaires.pdf|access-date=2020-07-11|archive-url=https://web.archive.org/web/20140111122706/http://kielich.amu.edu.pl/Stefan_Banach/pdf/teoria-operacji-fr/banach-teorie-des-operations-lineaires.pdf|archive-date=2014-01-11}}
* {{cita libro|apellido=Bourbaki|nombre=Nicolas|enlace-autor=Nicolas Bourbaki|traductor=Eggleston, H.G.; Madan, S.|título=Topological Vector Spaces: Chapters 1–5|url=https://archive.org/details/topologicalvecto0000nbou|editorial=Springer-Verlag|ubicación=Berlin New York|año=1987|año-original=1981|series=[[Elementos de matemática]]|isbn=3-540-13627-4|oclc=17499190}}
* {{cita libro|apellido=Dieudonné|nombre=Jean|enlace-autor=Jean Dieudonné|título=Treatise on analysis, Volume 2|año=1970|editorial=Academic Press}}.
* {{cita libro|apellido1=Husain|nombre1=Taqdir|apellido2=Khaleelulla|nombre2=S. M.|título=Barrelledness in Topological and Ordered Vector Spaces|editorial=[[Springer Science+Business Media]]|ubicación=Berlin, New York, Heidelberg|año=1978|volume=692|series=[[ Lecture Notes in Mathematics]]|isbn=978-3-540-09096-0|oclc=4493665}}
* {{cita libro|apellido=Khaleelulla|nombre=S. M.|título=Counterexamples in Topological Vector Spaces|editorial=[[Springer Science+Business Media]]|ubicación=Berlin, Heidelberg, New York|año=1982|volume=936|series=[[ Lecture Notes in Mathematics]]|isbn=978-3-540-11565-6|oclc=8588370}}
* {{cita libro|apellido=Narici|nombre=Lawrence|apellido2=Beckenstein|nombre2=Edward|título=Topological Vector Spaces|edición=Second|editorial=CRC Press|ubicación=Boca Raton, FL|año=2011|series=Pure and applied mathematics|isbn=978-1584888666|oclc=144216834}}
* {{cita libro|apellido=Rudin|nombre=Walter|enlace-autor=Walter Rudin|título=Functional Analysis|edición=First|volume=25|editorial=[[McGraw Hill Education]]|ubicación=New York, NY|año=1973|series=International Series in Pure and Applied Mathematics|isbn=9780070542259|url=https://archive.org/details/functionalanalys00rudi}}
* {{cita libro|apellido=Rudin|nombre=Walter|enlace-autor=Walter Rudin|título=Functional Analysis|edición=Second|volume=8|editorial=[[McGraw Hill Education]]|ubicación=New York, NY|año=1991|series=International Series in Pure and Applied Mathematics|isbn=978-0-07-054236-5|oclc=21163277|url=https://archive.org/details/functionalanalys00rudi}}
* {{cita libro|apellido=Schaefer|nombre=Helmut H.|enlace-autor=Helmut H. Schaefer|apellido2=Wolff|nombre2=Manfred P.|título=Topological Vector Spaces|edición=Second|volume=8|editorial=Springer New York Imprint Springer|ubicación=New York, NY|año=1999|series=[[ Graduate Texts in Mathematics|GTM]]|isbn=978-1-4612-7155-0|oclc=840278135}}
* {{cita libro|apellido1=Schechter|nombre1=Eric|enlace-autor=Eric Schechter|título=Handbook of Analysis and Its Foundations|editorial=Academic Press|ubicación=San Diego, CA|año=1996|isbn=978-0-12-622760-4|oclc=175294365}}
* {{springer|Banach–Steinhaus theorem|first=A.I.|last=Shtern|year=2001|id=b/b015200}}
* {{cita libro|apellido=Sokal|nombre=Alan|enlace-autor=Alan Sokal|título=A really simple elementary proof of the uniform boundedness theorem|journal=Amer. Math. Monthly|volume=118|pages=450–452|año=2011|issue=5|arxiv=1005.1585|doi=10.4169/amer.math.monthly.118.05.450|s2cid=41853641}}.
* {{cita libro|apellido=Trèves|nombre=François|enlace-autor=François Trèves|título=Topological Vector Spaces, Distributions and Kernels|editorial=Dover Publications|ubicación=Mineola, N.Y.|año=2006|año-original=1967|isbn=978-0-486-45352-1|oclc=853623322}}
* {{cita libro|apellido=Wilansky|nombre=Albert|enlace-autor=Albert Wilansky|título=Modern Methods in Topological Vector Spaces|editorial=Dover Publications, Inc|ubicación=Mineola, New York|año=2013|isbn=978-0-486-49353-4|oclc=849801114}}

{{Control de autoridades}}
[[Categoría:Análisis funcional]]
[[Categoría:Principios matemáticos]]
[[Categoría:Teoremas en análisis funcional]]