Basic sequence (source code)

= Basic sequence
{wiki}

A basic sequence in a Banach space is a sequence that is a <Schauder basis> for its closed linear span.