Verifying That a Given Time Is a Stopping Time
[8/75%]Construct an example of a real-valued process of càdlàg type (but not continuous) and a closed set such that a.s., where and are defined in the proof of Theorem 3.
Theorem 3. Let be a random function taking values (for each ) in a metric space . Suppose the sample paths of are almost surely continuous. Then for every closed set the time
is a Markov time with respect to the natural filtration of the process (it is assumed that if for all ).
In the proof of Theorem 3 one sets , where the open sets form, as grows, shrinking neighborhoods of . Clearly, , whence for all , . Therefore for each there exists
Let be a sequence of real-valued random variables and let a set be given. Let be the first hitting time of the set , defined by formula (I.49).
Formula (I.49):
( if for all ).
We have already seen (see §3) that is a Markov time with respect to the natural filtration of the process . Now introduce
(in the definition of the times and it is assumed that if the set in curly braces is empty for some point , then the value of the quantity under consideration at this point is taken to be ). Prove that is a Markov time with respect to the natural filtration of the process . Construct an example of a sequence and a set for which the time is a Markov time with respect to the natural filtration, and also an example of and for which is not such a time.
Let be a sequence of non-negative independent random variables and let . Show that is a stopping time with respect to a suitable filtration to be specified.
Let be a simple symmetric random walk on the positive and negative integers, with . For each of the following random variables, determine whether or not it is a stopping time and find its mean:
,
,
.
Let be a - dimensional stochastic process and . Then
implies and ;
and ;
and ;
, then and ;
where ;
find an example of a set such that .
Let be an open set and assume that is a stochastic process with continuous paths. Show that .
Let be a continuous adapted process with values in and a.s. increasing sample paths. Set for
Show that
and .
is an stopping time and is an stopping time.
is right continuous and is left continuous.
.
are continuous, if is strictly increasing.
Show that, in Theorem 19.17, the quadratic variation is a stopping time.