2
$\begingroup$

Here is a question that has been posted on another forum (in french) that I couldn't answer and about which I'm really curious.

So here it is, let's be given as a state space $\Omega=\{f\in C([0,1],R) s.t. f(0)=0\}$ associated with the borelian $\sigma$-field $\mathcal{F}=\mathcal{B}(O)$, where $O$ is the topology over $\Omega$ defined thanks to uniform convergence norm.

Let $X_t$ be the canonical process $X_s(f)=f(s)$ for $f\in \Omega$ and let $\mathcal{F}_t=\sigma(X_s;s\le t)$ be given as the natural filtration associated with the canonical process $X$.

Is it true that $\mathcal{F}_t$ is a right-continuous filtration?

PS: The usual way to construct continuous processes is by constructing first a process that has good distributional properties then to take a filtration that is both complete and right continuous and finally take a modification of the initial process that is continuous.

Regards

  • 3
    http://mathoverflow.net/questions/46957/right-continuity-of-natural-filtrations/46962#469622011-06-14
  • 0
    Byron's link is good. As a very simple example in this case, note that $\mathcal{F}_0 = \{\Omega, \emptyset\}$. However, it shouldn't be too hard to find some other events contained in $\mathcal{F}_{0+}$.2011-06-14
  • 0
    @Byron : Thank's for the link, I only regret that you provide a counter example event without elaborating why it is in $\mathcal{F}_0^+$. Anyway George Lowther's comment gives a counter example which is almost trivial and fully answers the question. Best Regards2011-06-14
  • 0
    Hi I have a complementary quetion about Byron answer. He gives the event A=X differentiable at 0, as being in $\mathcal{F}_0^+$ but not in $\mathcal{F}_0$. By completing and taking the right continuous extension of the natural filtration of $X$, and by supposing that P(A)=1 (btw now 0-1 law applies so P(A) = 0 or 1), can we say that $X$ is not a markovian process ? Intuition behind this is that to know the transition density of $P_{0,t}(B)=P(X_t\in B)$ it is necessary to both now $X_0(=0)$ and $X'(0)$ so that $X(0)$ is not enough to caracterise the law of $X_t|\mathcal{F}_0$. Regards2011-06-15
  • 0
    In particular this would show that a differentiable process can't be markovian, which shows for example that Brownian Motion as a Markov process cannot be differentiable. So we get a proof of this without doing any calculus which would be nice.2011-06-15

1 Answers 1