##### Actions

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

The orthonormal system on . It was introduced by H. Rademacher . The functions are defined by the equations Another definition of the Rademacher function is obtained by considering the binary expansions of numbers in : If there is a 0 in the -th place of the binary expansion of , then put , if there is a 1, then put , if or if admits two expansions, then put . According to this definition the interval is partitioned into equal subintervals, in each of which the function takes alternately the values and , and at the end points of the subintervals .

The system is a typical example of a system of stochastically-independent functions and has applications both in probability theory and in the theory of orthogonal series.

One of the major properties of the Rademacher series is shown by Rademacher's theorem: If , then the series converges almost-everywhere on ; and the Khinchin–Kolmogorov theorem: If , then the series diverges almost-everywhere on .

Since the Rademacher functions take only the values on the dyadic irrational points of , the consideration of the series means that a distribution of signs is chosen for the terms of the series , depending on . If is the representation of as an infinite dyadic fraction, then for a sign is placed in front of and for a sign.

In probabilistic terminology the theorem above means that if , then converges for almost-all distributions of signs (converges with probability 1), and if , then diverges for almost-all distributions of signs (diverges with probability 1).

Conversely, a number of theorems in probability theory can be formulated in terms of Rademacher functions. For example, Cantelli's theorem (that for the game of "heads and tails" with stake 1, the average gain tends to zero with probability 1) means that almost-everywhere on the equality is satisfied.

How to Cite This Entry: