 Walsh–Lebesgue theorem

The Walsh–Lebesgue theorem is a result in the field of harmonic analysis and real analysis concerning the properties of functions represented by Walsh series, which are expansions using Walsh functions. Walsh functions are a specific orthonormal basis used in the space of square-integrable functions on the interval [0, 1].