78e58fa3bb584b25.tex
1: \begin{definition} We call any point $x$ with $\mu_{\infty}({x})=0$ a {\em continuity point}. Note that if $x \notin [0,1]$ then $x$ is automatically a continuity point. An interval $[a,b]$ is a {\em continuity interval} if both $a$ and $b$ are continuity points. Having established Theorem \ref{weakconv}, we know that for any continuity interval $I$, $\mu_t(I) \rightarrow \mu_{\infty}(I)$.  
2: \end{definition}}