Time change of a continuous process (source code)

= Time change of a continuous process

If $X$ has continuous paths and $\tau_s$ is a finite continuous increasing family of random times, then $X_{\tau_s}$ also has continuous paths. A strictly increasing continuous clock that tends to infinity has a continuous inverse.