Mfcttrf

As you may know, if $(Omega,mathcalF,mathbbP)$ is a probability space and $XcolonOmegatomathbbR^k$ is a random variable, then the cumulative distribution function of $X$ is defined as
$$F_X(a):=mathbbP(omegainOmega,colon X(omega)leq a)=mathbbPBig(X^-1Big(prod_iin [k](-infty,a_i]Big)Big),,text for each ainmathbbR^k.$$

This function is always right-continuous. That is, for each $xinmathbbR^k$ we have $lim_adownarrow xF_X(a)=F_X(x)$.

My question is: Why is this property important? Is there any capital result in probability theory that depends on it?

Well, in a finite measure (by which I mean a finite $sigma$-additive measure) space, if $A_i_iinBbb N$ is a sequence of measurable sets such that $A_isupseteq A_i+1$ for all $i$, then $muleft(bigcap_ninBbb NA_iright)=inf_ninBbb N mu(A_i)=lim_ntoinfty mu(A_i)$. In your special case where all the $A_i$-s are hyperrectangle in the form $Rleft(a^(i)right)=left(-infty,a^(i)_1right]timescdotstimesleft(-infty, a^(i)_kright]$ and $mu=Bbb P_X$, this translates to $$mathbb P_Xleft(R(a)right)=mathbb P_Xleft(bigcap_iinBbb N Rleft(a^(i)right)right)=lim_ntoinfty mathbb P_Xleft(Rleft(a^(i)right)right)$$ for all $a^(i)searrow a$. Which is in fact continuity on the right of the CDF.

This can be proven from the "continuity of probability" result for events that shrink to a limiting event:
$$A_nsearrow A implies P[A_n]rightarrow P[A]$$
(and this is derived from the countable additivity axiom).

One reason this is important is that it helps students to be precise when they draw pictures of CDF functions. They need to learn to be detail-oriented enough to respect this issue when points of discontinuity arise.

Another reason for importance is that it relates to this question:

Question: "What functions $F:mathbbRrightarrowmathbbR$ are valid CDF functions?"

Answer: A function $F(x)$ is a valid CDF, meaning that there exists a random variable $X$ for which $P[Xleq x] = F(x)$ for all $x in mathbbR$, if and only if these four criteria are satisfied:

• 
  $F(x)$ is nondecreasing.


• 
  $lim_xrightarrow-infty F(x) = 0$.


• 
  $lim_xrightarrowinfty F(x)=1$.


• 
  $F(x)$ is right-continuous.

So the right-continuous property has a place of prominence in this fundamental question.

This fact is useful to resolve this natural question: Let $X_i_i=1^infty$ be i.i.d. random variables uniform over $[-1,1]$. Define
$$ L_n = frac1nsum_i=1^n X_i quad forall n in 1, 2, 3, ...$$
Does there exist a random variable $Y$ for which the distribution of $L_n$ converges to the distribution of $Y$? The answer is "no" because:
$$ lim_nrightarrowinfty P[L_nleq x] = left{beginarrayll
1 & mbox if $x >0$\
1/2 & mbox if $x=0$\
0 & mbox if $x<0$
endarrayright.$$
and, because this is not right-continuous, this is not a valid CDF function for any random variable.

Of course, the CDF of the always-zero random variable $0$ is the right-continuous unit step function, which differs from the above function only at the point of discontinuity at $x=0$. Such issues are the reason why the definition of "$Y_nrightarrow Y$ in distribution" has the caveat that the convergence $P[Y_nleq y] rightarrow P[Yleq y]$ only needs to take place at points $y$ where $P[Yleq y]$ is continuous. With this caveat in mind, it is correct to say that $L_nrightarrow 0$ in distribution (and of course we also know $L_nrightarrow 0$ with probability 1 by the law of large numbers).

It doesn't "have" to be. A distribution function is defined either as
$$F_X(x)=mathbbP_X((-infty,x])=mathbbP(Xleq x)$$

Then it is right continuous (follows from continuity of measures from above). It could be defined as
$$F_X(x)=mathbbP_X((-infty,x))=mathbbP(X<x)=1-mathbbP(Xgeq x)$$
Then it is left continuous, which again follows from continuity of measures.