A random variable is a function from the sample space to .
Random Variable Function Composition
Suppose that is a random varaible and that is a function, then we define where
Note that when we compose a real valued function with a random varaible, we obtain a new random varaible.
Random Variable and Binary Operation Syntax Sugar
Random Variable and Binary Operation Syntax Sugar: Suppose that is a random variable and that is a binary operation, then for any we define
The main thing to note with the above definition is that when we write something of the form , then this is a subset of our sample space and therefore we can take the probability of it.
Discrete Random Variable
A random variable is discrete if
Probability Function
For a discrete random variable , it's probability function is the function
Independent Random Variables
Given two random varaibles on the same sample space we say that is independent of and write iff for any we have
Note that above simply says that given any the events and
Independence as a Product
Independence is Reflexive
Follows from the previous corollary.
Independence Practice
Suppose that are two events such that and :
Determine
Obtain the probabilities
Determine the conditional probability
We start by determining , firstly we know that therefore we deduce that
Multivariate Random Variable
Suppose that we have a finite collection of random varaibles each with their own sample space then the tuple is said to be a multivariate random variable and is a function from
Collection of Independent Events
Suppose we have some collection of events for some index set , then we say that this collection of events are independent if