Source: wikibot/walsh-lebesgue-theorem
= Walsh–Lebesgue theorem
{wiki=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\].