Distribution Functions

Cumulative Distribution Function

Definition (Cumulative distribution function)

The distribution is often given in terms of the distribution function, or cumulative distribution function (CDF), which is the function , defined by

The CDF effectively contains all the information about the random variable.

Theorem

Let have CDF and let have CDF . If for all , then for all .

Note that satisfies the following:

  • is a non-decreasing function
  • is right continuous, i.e, for every , F(x)

Probability Mass Function

Definition (Probability mass function)

is discrete if it takes countably many values. The probability function or probability mass function (PMF) of a discrete random variable is the function .

The PMF must satisfy that for all , and that . The CDF of is related to by

Probability Density Function

Definition (Probability density function)

A random variable is continuous if there exists a function such that for all , , and for every ,

The function is called the probability density function (PDF). If the density exists, then we have that

and at all points at which is differentiable.

A density satisfies

Note that if is continuous, then for every . It is not valid to think of as ; only for discrete random variables. We get probabilities from PDF by integrating. A PDF can be bigger than 1, unlike the mass function.

Lemma

Let be the CDF for a random variable . Then:

Quantile Function

Definition (Quantile function)

Let be a random variable with CDF . The inverse CDF or quantile function is defined by

for . If is strictly increasing and continuous, then is the unique real number such that .