Uncorrelatedness implies independence under some condition? How would I go about proving the following statement:
Given two random variables, $X$ and $Y$,
if $E(h(X)g(Y)) = E(h(X))E(g(Y))$ for all bounded and continuous $h$ and $g$,
then $X$ and $Y$ are independent.
I have no idea how to begin the proof.  Please provide any pertinent references.
 A: Looks like a measure theoretic homework. Here are some tips to construct your proof.
Work Backwards. Below you have suggestions for last, penultimate, antepenultimate, etc, steps.
The last step of the proof should be
$$
  P\{X\leq x,Y\leq y\} = P\{X\leq x\}P\{Y\leq y\} \, ,
$$
for every  $x,y\in\mathbb{R}$. This is our goal because it is equivalent, as you may check in any measure theoretic probability textbook, to the usual definition of independence between $X$ and $Y$ in terms of the independence between the sigma-fields generated by $X$ and $Y$.
The penultimate step should be the same thing stated in terms of expectations and indicators:
$$
  \mathrm{E}\left[ I_{(-\infty,x]}(X)I_{(-\infty,y]}(Y)\right] = \mathrm{E}\left[I_{(-\infty,x]}(X)\right] \mathrm{E}\left[I_{(-\infty,y]}(Y)\right] \, .
$$
Can you check that this implies the last step?
Now, if, for arbitrary ("fixed") $x,y\in\mathbb{R}$, we define $g(t)=I_{(-\infty,x]}(t)$ and $h(t)=I_{(-\infty,y]}(t)$, the penultimate step can be rewritten as
$$
  \mathrm{E}\left[ g(X)h(Y)\right] = \mathrm{E}\left[g(X)\right] \mathrm{E}\left[h(Y)\right] \, .
$$
Unfortunately, we can't say that this holds by hypothesis, because our $g$ and $h$ are not continuous.
But, if you draw the graph of, for example, $g$, you will figure out that $g$ can be approximated (pointwise) by a (monotone) sequence $\{g_n\}_{n=1}^\infty$ of bounded continuous (nonnegative) functions. 

So, building the analogous sequence $\{h_n\}_{n=1}^\infty$, we know, by hypothesis, that
$$
  \mathrm{E}\left[ g_n(X)h_n(Y)\right] = \mathrm{E}\left[g_n(X)\right] \mathrm{E}\left[h_n(Y)\right] \, , \qquad (*)
$$
for every $n\geq 1$.
If we call the lhs of $(*)$ by $a_n$, and the rhs by $b_n$, we have two sequences of real numbers $\{a_n\}_{n=1}^\infty$ and $\{b_n\}_{n=1}^\infty$ such that $a_n=b_n$ for every $n\geq 1$. What can we say about the limits of the sequences $\{a_n\}_{n=1}^\infty$ and $\{b_n\}_{n=1}^\infty$?
Now, to finish (begin?) the proof: What theorems have you studied that allow you to interchange the order of taking limits with expectation? Will one of them do the job?
P.S. Of course, this "Work Backwards" idea is a heuristic strategy. At the end you must rewrite the proof in the right order, from beginning to end. Please, don't present it in the heuristic order
$$
  Z \Leftarrow \dots \Leftarrow B \Leftarrow A \, .
$$
You have to present it formally, with all the details, as
$$
  A \Rightarrow B \Rightarrow \dots \Rightarrow Z \, .
$$
Your teacher will not accept your "reversed" draft, probably.
A: $$P(X \leq x) = E(1_{(-\infty, x]}(X)) \leq E(g_{x,\epsilon}(X)) \leq E(1_{(-\infty, x+\epsilon]}(X))=P(X \leq x+\epsilon)$$,
where $$ g_{x,\epsilon}(z)=\left\{\begin{array}{clcr} 1,\mbox{ if }z\leq x\\ \mbox{linear,     } \mbox{ if }x<z<x+\epsilon \\ 0, \mbox{ if }z\geq x+\epsilon.\end{array}\right.$$
Silmiarly, 
$$ P(Y \leq y) = E(1_{(-\infty, y]}(Y)) \leq E(h_{y,\epsilon}(Y)) \leq E(1_{(-\infty, y+\epsilon]}(Y))=P(Y \leq y+\epsilon)$$, where
 $$ h_{y,\epsilon}(z)=\left\{\begin{array}{clcr} 1,\mbox{ if }z\leq y\\ \mbox{linear,     } \mbox{ if }y<z<y+\epsilon \\ 0, \mbox{ if }z\geq y+\epsilon.\end{array}\right.$$, 
and 
$$ P(X \leq x, Y \leq y) = E(1_{(-\infty, x]}(X)1_{(-\infty, y]}(Y)) \leq E(g_{x,\epsilon}(X)h_{y,\epsilon}(Y)) \leq E(1_{(-\infty, x+\epsilon]}(X)1_{(-\infty, y+\epsilon]}(Y))=P(X \leq x+\epsilon,Y \leq y+\epsilon).$$
Letting $\epsilon \to 0$, since $h$, and $g$ are bounded and continuous, by the dominated convergence theorem, 
      $$E(g_{x,\epsilon}(X)) \to P(X \leq x) $$
       $$E(h_{y,\epsilon}(Y)) \to P(Y \leq y) $$
     $$E(g_{x,\epsilon}(X))E(h_{y,\epsilon}(Y))=E(g_{x,\epsilon}(X)h_{y,\epsilon}(Y)) \to P(X \leq x, Y \leq y). $$
Hence,
$$P(X \leq x)P(Y \leq y)\to P(X \leq x, Y \leq y), $$
i.e. X and Y are independent.
