Coordinate functional of a Schauder basis (source code)

= Coordinate functional of a Schauder basis
{title2=$e_n^*$}

The nth coordinate functional of a <Schauder basis> is the bounded <linear functional> $e_n^*(\sum_ka_ke_k)=a_n$.