CallĀ Ā the probability distribution function of the random variableĀ . For a transformation of the formĀ , we have the following holds:In other words,
e.g. Suppose . ForĀ , we haveĀ and thenĀ . MoreoverĀ , then the result is .
Cumulative Distribution Function
DefCumulative Distribution Function
The cumulative distribution function (cdf) of a real random variable , evaluated at , is the probability that will take a value less than or equal to :
Prop
is right-continuous monotone increasing
and Proof
Prop Clearly by definition of cumulative distribution function, we have
Prop The probability density function of a continuous random variable can be determined from the cumulative distribution function by differentiating:
Expected Value
Expected Value
Let be a probability space, and be a measurable real-valued random variable. The expected value of , denoted , is defined as the Lebesgue integral of with respect to the probability measure :