a question about measurablity Let $X$ be a stochastic process with every sample path RCLL(right continuous on $[0,\infty)$ and with left-hand finite limits on $(0,\infty)$). Let $A$ be an event that $X$ is continuous on $[0,t_0)$. Show $A\in\mathcal{F}_{t_0}^X$.
For $(t_n)_n$ a dense sequence contained in $(0,t_0)$, if we can show
$$A=\{\omega: \lim_{s\rightarrow t_n-}X_s(\omega)=X_{t_n}(\omega),\ \ \forall n\geq 1,\ \ t_n<t\}$$
then  $A\in\mathcal{F}_{t_0}^X$ since every $\{\omega: \lim_{s\rightarrow t_n-}X_s(\omega)=X_{t_n}(\omega)\}\in\mathcal{F}_{t_0}^X$. Could someone show how to prove
$$A=\{\omega: \lim_{s\rightarrow t_n-}X_s(\omega)=X_{t_n}(\omega),\ \ \forall n\geq 1,\ \ t_n<t\}$$
 A: Thanks to Nate Eldredge, I could have a solution here.
Set $\{t_n\}_{n\geq 1}=\mathbb{Q}\cap [0,t_0)$, then we firstly we prove $X$ is continuous on $[0,t_0)$ if and only if its restriction on $\{t_n\}_{n\geq 1}$ is uniformly continuous:
if $X$ is continuous on $[0,t_0)$, by definition we can extend $X$ on $[0,t_0]$ by defining $X_{t_0}:=\lim_{t\rightarrow t_0-}X_t$, then $X$ is continuous on $[0,t_0]$ and so it is uniformly continuous on $[0,t_0]$;
if $X$ is uniformly continous on $\{t_n\}_{n\geq 1}$, then by Cauchy's criterion, we can define $\widetilde{X}$ on $[0,t_0]$ by 
$$\widetilde{X}_t:=\lim_{s\rightarrow t, s\in\{t_n\}_{n\geq 1}}X_s$$
Evidently $\widetilde{X}$ is continuous. For $X$ is right-continuous, we have necessarily $X=\widetilde{X}$, so $X$ is continuous on $[0,t_0)$.
Secondly by an argument largely used to describe the continuity of a function, we have
\begin{eqnarray}
A&=&\{\omega: X(\omega) \text{ is uniformly continuous on } \{t_n\}_{n\geq 1}\}\\
&=&\bigcap_{m\geq 1}\bigcup_{k\geq 1}\bigcap_{n\geq 1}\{\omega: |X_t(\omega)-X_{t_n}(\omega)|<\frac{1}{m},\ \ \forall t\in \{t_l\}_{l\geq 1} \text{ with } |t-t_n|<\frac{1}{k}\}
\end{eqnarray}
So $A$ is measuralbe $\clubsuit$
