Topics: Distribution Function - Probability Measure - Probability


(theorem)

Let be a random variable, and a distribution function.

From the definition of a distribution function at (denoted ) and the definition of a distribution function at from the left (denoted ), we get that:

And that:

Additionally:

Note that the distribution function is continuous at if and only if .