If X and Y are independent, are X^k and Y?

1. Sep 25, 2011

AxiomOfChoice

The definition of independence of random variables from a measure-theoretic standpoint is so confusing (independence of generated sigma-algebras, etc.) that I cannot answer this seemingly simple question...So if $X,Y$ are independent random variables, does that mean $X,X^2,X^3,X^4,\ldots$ and $Y,Y^2,Y^3,\ldots$ are each pairwise independent?

2. Sep 25, 2011

AxiomOfChoice

Okay...just looked this up in a book. In fact, if $X,Y$ are independent, then we have $E[f(X)g(Y)] = E[f(X)]E[g(Y)]$ for "any" functions f and g. But the proof is from a non-measure-theoretic probability book. Is there anyone who can explain why this holds from a measure-theoretic standpoint?

3. Sep 25, 2011

mathman

Expectations can be expressed as integrals involving the probability density functions. Since X and Y are independent, their joint density is simply the product of their individual densities, so the expectations involving functions of the random variables end up as the product of the individual expectations.

4. Sep 26, 2011

Stephen Tashi

I don't know what that result has to do with your original question. The conclusion deals with the expectations of f(x) and g(y) not with their independence. Random variables can be uncorrelated and still be dependent.

I'm not an expert on measure theory but I did take the course years ago. I think answering your original post ( which concerns functions of a random variable) in detail is complicated. For example, not all functions are "measureable". The one's you listed are. How do we prove they are? Are you wanting an explanation that begins at elementary points like that? Or do you simply want a theorem from measure theory that answers your question as a special case?

5. Sep 26, 2011

bpet

It's probably easier to use P[X<=x,Y<=y] = P[X<=x]P[Y<=y] (which can be obtained from the measure-theoretic definition of independence by considering generators of the Borel sigma algebras for R and R^2).

6. Dec 24, 2011

cockroachzl

Let X and Y be independent random variable and f and g be borel-measurable functions on R, there is a measure-theoretic way of proof that f(X) and g(Y) are independent r.v. in Shreve's book "Stochastic Calculus for Finance II", see Theorem 2.2.5