2
$\begingroup$

Suppose we define for $A\in \mathcal{B}(\mathbb{R^n})$ the first hitting time

$ T_A:= \inf\{t\ge 0;X_t(\omega)\in A\}$

where $X=(X_t)$ is a stochastic process, adapted to a Filtration and with right-continuous paths. Now suppose that $A$ is open then I want to show:

$\{T_A

for all $t\ge0$ and where $\mathcal{F}_t$ is a element of the filtration. In the book there's a hint, we should show $\{T_A. One inclusion, i.e $\supset$,is obvious. Unfortunately I got stuck at the other. Since the paths are right continuous, my first thought was to construct a sequence of rational decreasing to $T_A$, however I do not see why such a sequence should exist and I do not see how I should use that $A$ is open. Some help would be appreciated!

hulik

  • 0
    Of course I means $(j+1)2^{-m}$ in the last comment. Openness is need to ensure us that $X_{r_n}(\omega)\in A$ for $n$ large enough.2012-02-29

1 Answers 1

2

Hint: Consider the following: $\{T_A The first equation is easy, but the second equation is troubling you. You should try to understand why if $X_s\in A$ for some real value $s\in[0,t)$, then also $X_q\in A$ for some rational $q\in[0,t)$. This is where you use the fact that $A$ is open and that the sample path is right-continuous.

  • 1
    @hulik Yes, it is crucial! The sample path $s\mapsto |s-\sqrt{2}|$ hits the set $A=\{0\}$, but *not* at any rational time.2012-02-29