Base de Schauder

Une suite (x_n) dans un espace vectoriel topologique telle que tout élément de l'espace admet une représentation unique comme série infinie convergente dans la topologie x = ∑_{n=1}^∞ a_n x_n de scalaires, la convergence étant prise pour la topologie en question.