5
$\begingroup$

Can anyone suggest how to prove a right continuous stochastic process is measurable?

Thanks Indrajit

1 Answers 1

5

Let $(X_t)_{t\geq 0}$ be a right-continuous stochastic process. For every $n\in\mathbb{N}$ we define a process $(X_t^n)_{t\geq 0}$ given by $$ X_t^n(\omega)=X_{i/2^n}(\omega)\quad \text{if } \tfrac{i-1}{2^n}\leq t<\tfrac{i}{2^n}\; \text{and } i\geq 1. $$

Show that for each $n\in\mathbb{N}$ the process $(X_t^n)_{t\geq 0}$ is indeed a measurable process.

Convince yourself that the right-continuity ensures that $X_t(\omega)=\lim_{n\to\infty} X_t^n(\omega)$ for every $(t,\omega)\in [0,\infty)\times \Omega$. Conclude.


To show that $(X_t^n)_{t\geq 0}$ is a measurable process for every $n\in\mathbb{N}$ we note that $$ \{(t,\omega)\mid X_t^n(\omega)\in B\}=\bigcup_{i=1}^\infty \left[ \tfrac{i-1}{2^n},\tfrac{i}{2^n}\right[\times \{X_{i/2^n}\in B\} $$ for every $B\in\mathcal{B}(\mathbb{R})$.

  • 0
    Since i just started to learn stochastic process, could you please elaborate a bit on how show that $X^n(\omega)$ is measurable. I was able to convince the limit part but could establish how it ensure measurability of $(X_t)$2012-09-25
  • 0
    I have added something to the measurability part. Hope it helps.2012-09-25
  • 0
    Thanks Stefan, this makes much easier. One more issue given we establish the measurability of $X_t^n(\omega)$ and showing $X_t^n()$ converges to $X_t$, which argument are we using to show $X_t$ is measurable?2012-09-25
  • 0
    We are using that taking limit preserves measurability. In general if $(X,\mathcal{E})$ is a measurable space and $(f_n)_{n\in \mathbb{N}}$ is a sequence of measurable functions converging pointwise to a function $f$, i.e. $f_n(x)\to f(x)$ for all $x \in X$, then $f$ is also measurable. Here we have $X=[0,\infty)\times \Omega$ and $\mathcal{E}=\mathcal{B}(\mathbb{R}_+)\otimes \mathcal{F}$.2012-09-25
  • 0
    Thanks for the explanations, this is a point that pose me some troubles, on an intuitive level... I have a question regarding the strict inequality (w.r.t t) being on the right and sometime on the left side, is there a problem if for example both inequality are strict ?2014-11-04
  • 0
    @zebullon: If the inequalities in the definition of $X_t^n$ are strict, then $X_t^n$ is not defined for $t=0,\tfrac{1}{2^n},\tfrac{2}{2^n},\ldots$.2014-11-04
  • 0
    @StefanHansen: well... that's embarrassingly obvious now :) Thanks.2014-11-04