Basis constant (source code)

= Basis constant

The basis constant of a <Schauder basis> is $\sup_n\lVert P_n\rVert$, where $P_n$ are its <basis projection>[basis projections]. Uniform boundedness makes this supremum finite.