Left-continuous cumulative function of an atomic measure

ID: left-continuous-cumulative-function-of-an-atomic-measure

For positive summable weights at points , the strict cumulative function is nondecreasing and left-continuous. A finite-head/tail argument proves left-continuity, and its right jump at an atom is the mass there. This strict convention differs at atoms from the usual right-continuous cumulative distribution function.

New to topics? Read the docs here!