Schauder basis (source code)

= Schauder basis
{c}
{wiki}

A Schauder basis of a <Banach space> $X$ is a sequence $(e_n)$ such that every $x\in X$ has a unique norm-convergent expansion $x=\sum_{n=1}^\infty a_ne_n$.