espacio de Banach
Se llama espacio de Banach a un espacio vectorial normado en el que toda sucesión de Cauchy (cuyos elementos se aproximan entre sí indefinidamente) converge a un límite que pertenece al mismo espacio. Es un concepto clave del análisis funcional. Ejemplos: espacios de funciones sumables L^p y de funciones continuas C[a,b]. En estos espacios se estudian operadores lineales y sus espectros, con aplicaciones en muchas áreas.
History
Nombrado en honor a Stefan Banach, matemático polaco que introdujo este concepto en su tesis doctoral en 1920. Su trabajo sentó las bases del análisis funcional.
How it works
La norma permite medir distancias entre elementos. La completitud significa que las aproximaciones no nos sacan del espacio: mejorando infinitamente la aproximación de una función compleja con funciones simples, al final obtenemos una función del mismo conjunto. Esto garantiza que la cantidad aproximada realmente tiene una «estación final».
💡 El teorema de Hahn–Banach afirma que cualquier funcional lineal definido en un subespacio puede extenderse a todo el espacio sin aumentar su norma. Es como poder extender la medición de longitudes de un pequeño fragmento a toda la figura sin errores.