Probability Density Function

Transformation of PDF

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

Def Cumulative 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 :