## [Espacio de Banach](/es/node/62505) Definición Un espacio de Banach es un espacio vectorial sobre los números reales o complejos provisto de una norma en el que toda sucesión de Cauchy converge; equivalentemente, un espacio vectorial normado completo cuya topología viene dada por la norma. ## Principio Principio La propiedad organizadora es la completitud respecto a la métrica definida por la norma: la norma induce una topología lineal compatible y la completitud garantiza la existencia de límites para sucesiones de Cauchy y la aplicación de teoremas fundamentales del análisis funcional. ## Demostración Demostración Ejemplos clásicos son los espacios de sucesiones ℓ^p (1 ≤ p ≤ ∞) y los espacios de funciones L^p(μ) sobre un espacio medible, cada uno con su norma p estándar; estos son completos y por tanto espacios de Banach. El espacio de funciones continuas en un compacto con la norma sup también es un ejemplo estándar. ## Aplicación incorrecta Aplicación incorrecta Tratar cualquier espacio normado como Banach sin comprobar la completitud (por ejemplo, el espacio de polinomios con la norma sup en un intervalo, que no es completo) o confundir espacios de Banach con espacios de Hilbert cuando se requiere un producto interno. ## Consecuencia Consecuencia La completitud da lugar al teorema de extensión de Hahn–Banach, a los teoremas de la aplicación abierta y del grafo cerrado, al principio de acotación uniforme y a una teoría de dualidad bien desarrollada; estos resultados sostienen gran parte del análisis funcional y la teoría de operadores en espacios de Banach. ## Inversión Inversión Un espacio normado que no es completo carece de muchos de los teoremas útiles y puede requerir su completación; el contraste pone de relieve cómo pasar a la completación de Banach altera el comportamiento analítico y topológico y restaura límites faltantes. ## Límite Límite El concepto exige una norma y completitud; excluye espacios vectoriales topológicos no normables (p. ej. ciertos espacios de Fréchet) y espacios sobre cuerpos no aritméticos sin adaptación. Los espacios normados de dimensión finita son automáticamente de Banach, mientras que la dimensión infinita implica la teoría analítica completa. ## Tensión semántica Tensión semántica A menudo se compara con los espacios de Hilbert: ambos son espacios normados completos, pero los espacios de Hilbert poseen un producto interno que proporciona ortogonalidad y herramientas de proyección ausentes en espacios de Banach generales; la teoría de Banach es más amplia pero carece de algunas estructuras específicas de Hilbert. ## Síntesis Síntesis Un espacio de Banach es el marco normado completo fundamental del análisis funcional: la norma confiere una estructura métrica lineal y la completitud asegura estabilidad analítica, permitiendo resultados de extensión, acotamiento y aplicaciones abiertas esenciales para el análisis y la teoría de operadores.