Base de Schauder

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.