Dual sequence of a Schauder basis ($(e_n^{\ast })$)

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.

A Schauder basis is shrinking when its dual sequence is a Schauder basis of the whole dual space. Every Schauder basis of a reflexive Banach space is shrinking.