Question 8.1.17: Let us toss a biased coin that comes up heads with probabili......

Let us toss a biased coin that comes up heads with probability p and assume the validity of the Strong Law of Large Numbers as described in Exercise 15.Then, with probability 1,

\frac{s_n}{n}\rightarrow p

as n →∞.If f(x) is a continuous function on the unit interval, then we also have

f\left(\frac{S_n}{n}\right) \rightarrow f(p).

Finally, we could hope that

E\left(f\left(\frac{S_n}{n}\right)\right) \rightarrow E (f(p))=f(p).

Show that, if all this is correct, as in fact it is, we would have proven that any continuous function on the unit interval is a limit of polynomial functions. This is a sketch of a probabilistic proof of an important theorem in mathematics called the Weierstrass approximation theorem.

The blue check mark means that this solution has been answered and checked by an expert. This guarantees that the final answer is accurate.
Learn more on how we answer questions.

For x ∈ [0, 1], let us toss a biased coin that comes up heads with probability x. Then

E\left(\frac{f(S_n)}{n} \right)\rightarrow f(x).

But

E\left(\frac{f(S_n)}{n} \right)=\sum\limits_{k=0}^{n}{f\left(\frac{k}{n} \right)\left(\begin{matrix} n \\ k \end{matrix} \right) x^k(1-x)^{n-k} } .

The right side is a polynomial, and the left side tends to f(x). Hence

\sum\limits_{k=0}^{n}{f\left(\frac{k}{n} \right)\left(\begin{matrix} n \\ k \end{matrix} \right) x^k(1-x)^{n-k} } \rightarrow f(x).

This shows that we can obtain obtain any continuous function f(x) on [0,1] as a limit of polynomial functions.

Related Answered Questions

Question: 8.2.5

Verified Answer:

(a) 1, 1/4, 1/9 (b) 1 vs. .3173, .25 vs. .0455, .1...
Question: 8.1.11

Verified Answer:

No, we cannot predict the proportion of heads that...
Question: 8.1.15

Verified Answer:

Take as Ω the set of all sequences of 0’s and 1’s,...
Question: 8.2.1

Verified Answer:

(a) 1 (b) 1 (c) 100/243 (d) 1/12
Question: 8.2.17

Verified Answer:

E(X) =ʃ∞−∞ xp(x)dx. Since X is non-negative, we ha...
Question: 8.2.3

Verified Answer:

f(x)\begin{cases} 1-x/10, & if    0 ≤ x...
Question: 8.2.9

Verified Answer:

(a) 0 (b) 7/12 (c) 11/12