Dual sequence of a Schauder basis (source code)

= Dual sequence of a Schauder basis
{title2=$(e_n^*)$}

The dual sequence consists of the coordinate functionals $(e_n^*)$ in $X^*$. It is always a <basic sequence>, though it need not span the entire dual space.