Teorema del análisis funcional que afirma que, para una familia de operadores lineales continuos de un espacio de Banach a un espacio normado, la acotación puntual en el espacio de Banach implica acotación uniforme en algún conjunto abierto no vacío (y, en formulaciones estándar, acotación en todo el espacio si la familia está puntualmente acotada en un conjunto con interior no vacío).

Principio

La acotación punto por punto de una familia de operadores lineales continuos (es decir, cada vector tiene imágenes uniformemente acotadas) fuerza una cota uniforme de las normas de operador en al menos una vecindad no trivial, reflejando la interacción de la completitud y la linealidad.

Demostración

Tomar una sucesión de funcionales lineales continuos en un espacio de Banach que está acotada en cada vector fijo; el teorema asegura que existe una bola abierta donde sus normas de operador están uniformemente acotadas, impidiendo un crecimiento arbitrario de las normas localizado en los mismos puntos.

Aplicación incorrecta

Suponer la conclusión sin completitud (por ejemplo en espacios normados no completos) o eliminar las hipótesis de linealidad/continuidad puede fallar; interpretar 'acotación puntual' para familias no numerables sin cuidado topológico puede inducir a error.

Consecuencia

Impone regularidad: las familias de operadores que parecen controladas en cada vector no pueden ser globalmente descontroladas; se usa para probar resultados de cerradura y acotación y para deducir estimaciones uniformes en análisis.

Inversión

La conversión es falsa en general: una familia uniformemente acotada es puntualmente acotada, pero la existencia de cotas uniformes no caracteriza las sutiles condiciones de completitud topológica que exige el principio de acotación uniforme.

Límite

Requiere dominio Banach (completitud), linealidad y continuidad de los operadores, y una topología adecuada; no se aplica directamente a aplicaciones no lineales, operadores discontinuos ni a espacios normados incompletos sin modificaciones.

Tensión semántica

Se sitúa entre la convergencia/acotación puntual y el control uniforme de las normas de operador; a menudo se contrasta con fenómenos donde la convergencia puntual no produce convergencia uniforme: aquí la completitud aporta el enlace.

Síntesis

El principio de acotación uniforme enlaza el control puntual local de una familia de operadores lineales continuos con cotas uniformes globales de las normas de operador en un marco de Banach: la completitud y la linealidad convierten la disciplina por punto en regularidad uniforme.