 Dual sequence of a Schauder basis

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