Rademacher system

From testwiki
Jump to navigation Jump to search

In mathematics, in particular in functional analysis, the Rademacher system, named after Hans Rademacher, is an incomplete orthonormal system of functions on the unit interval of the following form:

{t↦rn(t)=sgn⁡(sin⁡2n+1πt);t∈[0,1],n∈ℕ}.

The Rademacher system is stochastically independent, and is closely related to the Walsh system. Specifically, the Walsh system can be constructed as a product of Rademacher functions.

To see that the Rademacher system is an incomplete orthonormal system and not an orthonormal basis, consider the function on the unit interval defined by the following equation:

f(t)=4|x−12|−1

This function is orthogonal to all the functions in the Rademacher system, yet is nonzero.

Viewed as a sequence of random variables on the unit interval with the Lebesgue measure, the law of each rn is a Rademacher distribution, and the rn's are independent of each other. From Khintchine's inequality, it follows that the closed linear span of the Rademacher functions in Lp is the same as the closed linear span in L2.

References

Template:Mathanalysis-stub