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!