## [Base de Schauder](/es/node/62523) Definición Una sucesión (x_n) en un espacio vectorial topológico tal que todo elemento del espacio admite una representación única como una serie infinita convergente (topológicamente) x = ∑_{n=1}^∞ a_n x_n de escalares, donde la convergencia se toma respecto de la topología del espacio. ## Principio Principio Expansión contable y ordenada mediante una sucesión cuyas sumas parciales finitas convergen a cada vector; las funcionales coordenadas surgen como límites de proyecciones lineales y reflejan propiedades de continuidad ligadas a la topología ambiente. ## Demostración Demostración En l^p (1 ≤ p < ∞) los vectores unitarios e_n forman una base de Schauder: toda sucesión en l^p es la suma convergente en norma de sus coordenadas por e_n, mostrando reconstrucción coordenada y operadores de proyección acotados. ## Aplicación incorrecta Aplicación incorrecta Esperar que todo espacio de Banach o vectorial topológico tenga una base de Schauder, o asumir que la serie de coeficientes converge incondicionalmente e independientemente del orden sin comprobar la propiedad más fuerte de incondicionalidad. ## Consecuencia Consecuencia Cuando existe, una base de Schauder proporciona aplicaciones coordenadas y proyecciones continuas, simplifica la representación y el cálculo, suele implicar separabilidad del espacio y permite métodos constructivos en aproximación y teoría de operadores. ## Inversión Inversión Contrastar con una base de Hamel algebraica: las expansiones de Hamel usan combinaciones lineales finitas e ignoran la topología, mientras que las de Schauder dependen de series infinitas convergentes y de la topología para que tengan sentido. ## Límite Límite La base de Schauder es un concepto topológico: su existencia depende de la topología y suele implicar separabilidad; algunos espacios de Banach de dimensión infinita no la poseen, y las bases pueden no ser incondicionales o comportarse mal bajo isomorfismos. ## Tensión semántica Tensión semántica La tensión está entre las nociones de generación algebraica (combinaciones finitas) y generación topológica (series infinitas convergentes), y entre distintas propiedades de base (Schauder vs incondicional vs ortonormal) que afectan la estabilidad y reordenamiento. ## Síntesis Síntesis Una base de Schauder es una sucesión ordenada y contable que permite desarrollos únicos en series convergentes; vincula la representación algebraica lineal con la topología ambiente y produce funcionales coordenadas y métodos prácticos de reconstrucción.