Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

If R.V. A is independent of a random vector (B,C), is A necessarily independent of C?

share|cite|improve this question
Write down the definition of independence, and you will successfully formalize a result quite intuitively obvious (if you are independent of what happens to $(B,C)$, you are independent of what happens to $C$). – Davide Giraudo Oct 22 '12 at 13:03
By the way, welcome to math.stackexchange. – Davide Giraudo Oct 22 '12 at 13:04
Thank you, I integrated both sides of the definition over variable B to get the result. – Kevin Oct 22 '12 at 15:01
You can answer your own question. – Davide Giraudo Oct 22 '12 at 15:01

By independence of a and vector (b,c), we have $$f(a,b,c)=f(a)f(b,c)$$ So, integrating out b, $$\int_{-\infty}^{\infty} f(a,b,c)\,db = \int_{-\infty}^{\infty} f(a)f(b,c)\,db \implies f(a,c)=f(a)f(c) $$

share|cite|improve this answer

If you go back to the definition of independence, you can prove this statement without assuming the joint distribution of $(A,B,C)$ to be continuous.

$A$ and $(B,C)$ are independent if every $A$-measurable event is independent of every $(B,C)$-measurable event. Since every $C$-measurable event is $(B,C)$-measurable, conclude that every $A$-measurable event is independent of every $C$-measurable event. That is, $A$ and $C$ are independent.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.