3
$\begingroup$

When I have shown, for $s\le t$ and for two continuous stochastic process an inequality:

$$ X_s \le Y_t$$ P-a.s.

How can I deduce that this P-a.s. simultaneously for all rational $s\le t$ ? Thank you for your help

EDIT: According to Ilya's answer, I see that we have $$P(X_s\le Y_t\text{ simultaneously for all rationals }s\le t) = 1.$$ How could we use continuity of $X,Y$ to deduce $P(X_s\le Y_t,s\le t)=1$. Of course we take sequences of rational, however I mess up the details. So a detailed answer how to do this, would be appreciated.

  • 0
    Hint: there are countably many pairs of rationals $s \le t$.2012-05-07
  • 0
    I have updated my answer, using outcome-wise approach.2012-06-26
  • 0
    I think, now it is very explicit.2012-06-26

2 Answers 2

1

If I got you correct, you have $P(X_s\leq Y_t) = 1$ for all $s\leq t$. Recall that if $P(A_n) $ for all $n\in \mathbb N$ then also you have $P(\bigcap_n A_n) = 1$ since $$ P(\bigcap_n A_n) = 1-P(\bigcup_n A^c_n)\geq 1-\sum\limits_n P(A^c_n) =1. $$ Now take $s_n$ be the $n$-th rational number that is less or equal to $t$ and $A_n=\{X_{s_n}\leq Y_t\}$. You can even use continuity of $X,Y$ to show that $P(X_s\leq Y_t,s\leq t) = 1$.

To show the latter, consider two sets: $$ C = \{\omega\in \Omega: X_t(\omega),Y_t(\omega)\text{ are continuous }\} $$ $$ D = \{\omega\in \Omega:X_s(\omega)\leq Y_t(\omega) \text{ simultaneously for all rational }s\leq t\}. $$

It is given to us that $\mathsf P(C) = 1$ and we have proved above that $\mathsf P(D) = 1$. As a result, $$ \mathsf P(C\cap D) = 1-\mathsf P(C^c\cup D^c)\geq 1-\mathsf P(C^c)-\mathsf P(D^c) = 1. $$

Consider now any $\omega\in C\cap D$.

  1. It holds that for this $\omega$: $X_s(\omega)\leq Y_t(\omega)$ for all rational $s\leq t$. Since both $X,Y$ are continuous on $\omega$, it follows that $X_s(\omega)\leq Y_t(\omega)$ for all $s\leq t$. Indeed, if that would not be true, i.e. for some $s'\leq t$ you have $X_{s'}(\omega)>Y_{t}(\omega)$ then $X_s(\omega)>Y_t(\omega)$ in the neighborhood of $s'$ which cannot happen since there will be at least one rational number $s$.

  2. Thus, for any $\omega\in C\cap D$ the desired relation holds: $C\cap D \subseteq \{X_s\leq Y_t,s\leq t\}$, so that $$ 1 =\mathsf P(C\cap D) \leq \mathsf P\{X_s\leq Y_t,s\leq t\}. $$

  • 0
    @ Ilya: So I agree we have $P(X_s\le Y_t \mbox{ simultaneously for all rational $s\le t$})$. But how could I use continuity of $X,Y$ to deduce $P(X_s\le Y_t,s\le t)=1$? If you could this explain in a more detailed way, I will accept your answer. Thank you for your help. Sorry for the late response!2012-06-25
  • 0
    @hulik: You show that $\{X_s\leq Y_t, s\leq t, s\in\mathbb{Q}\}\subseteq \{X_s\leq Y_t,s\leq t\}$. Pick an $\omega$ in the left-hand set. Then $X_s(\omega)\leq Y_t(\omega)$ for all $s\leq t$ with $s\in\mathbb{Q}$. Now suppose that $u\leq t$ is arbitrary. Then we pick a sequence $(u_n)\subseteq \mathbb{Q}$ such that $u_n\to u$ for $n\to\infty$. Since $X_{u_n}(\omega)\leq Y_t(\omega)$ for all $n$, the continuity gives that $X_u(\omega)=\lim_{n\to\infty} X_{u_n}(\omega) \leq Y_t(\omega)$ and hence $\omega$ is in the right-hand set.2012-06-25
  • 0
    @ Stefan Hansen: If I understand you right, you want to show, that $\{X_s\le Y_t,s\le t,s,t\in \mathbb{Q}\}=\{X_s\le Y_t,s\le t\}$ and the first set has measure 1. But why do you take just the set $\{X_s\le Y_t,s\le t,s\in \mathbb{Q}\}$? Thanks for your help2012-06-25
  • 0
    @ Ilya: Thanks for your updated answer. However, please I would like to have a detailed answer of this. I totally agree that the intersection has probability one. But somewhere you need a careful approximation argument as Stefan Hansen suggested. Sorry for nit-picking! But I have troubles showing these things in a detailed way.2012-06-26
  • 0
    @hulik: please, tell me - is anything unclear in the new version2012-06-27
  • 0
    @ Ilya: Just one thing: about this rational in a neighborhood of $s'$. Why is it not possible to this rational $s$, $X_s=Y_t$? Why do you have also for this rational in the neighborhood the strict inequality?2012-06-27
  • 0
    @hulik: there is a theorem in basic math analysis: if for $f\in C([a,b])$ holds that $f(c)>0$ for some $c\in (a,b)$ then for some $\delta >0$ it holds that $f(x)>0$ for all $|x-c|<\delta$. Should I fish it for you?2012-06-27
  • 0
    @Ilya: Sorry I made a bad error in reasoning.2012-06-27
0

This follows from the fact that the complement of the event $[\forall s\leqslant t,\,X_s\leqslant Y_t]$ is the event $$ \left[\exists s\leqslant t,\,X_s\gt Y_t\right]\ =\left[\exists n\in\mathbb N,\,\exists s\in\mathbb Q,\,\exists t\in\mathbb Q,\,s\leqslant t,\,X_s\geqslant Y_t+\frac1n\right], $$ hence $$ \left[\exists s\leqslant t,\,X_s\gt Y_t\right]\ =\bigcup\limits_{s\leqslant t,\, s\in\mathbb Q,\,t\in \mathbb Q}\ \bigcup_{n\geqslant1}\ \left[X_s\geqslant Y_t+\frac1n\right]. $$ Since $\mathrm P(X_s\leqslant Y_t)=1$ for every $s\leqslant t$, $\mathrm P(X_s\geqslant Y_t+\frac1n)=0$ for every $n\geqslant1$. The union on the RHS of the displayed identity above is countable hence $\mathrm P(\exists s\leqslant t,\,X_s\gt Y_t)=0$. Considering the complement, one gets $$ \mathrm P(\forall s\leqslant t,\,X_s\leqslant Y_t)=1. $$

  • 1
    I do not see how I can use this to conclude that $P(X_s\le X_t,s\le t)$ a.s. And shouldn't it be an intersection over $n$ instead of an union?2012-06-26
  • 0
    The union is correct. See Edit.2012-06-26