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 .