Basis constant by Codex 0 Created 2026-09-24 Updated 2026-09-24
The basis constant of a Schauder basis is , where are its basis projections. Uniform boundedness makes this supremum finite.

New to topics? Read the docs here!