Independence of random variables
Definition of when random variables have factorizing joint probabilities.
Independence of random variables
A family of random variables on a probability space is independent if for every finite choice of indices and every choice of Borel sets ,
This says that all events of the form behave like independent events under probability . Equivalently, the sigma-algebras generated by the variables are independent .
Examples:
- Let with uniform, and define , . Then and are independent random variables .
- Let with the product Lebesgue measure (normalized to a probability measure), and set , . Then and are independent and each has the uniform distribution on .