22 1 Continuous-Path Random Processes: Mathematical Prerequisites
If the filtration F is right-continuous, it is equivalent to demand that {τ<t}
belongs to F
t
for every t, or that the left-continuous process 1
]0,τ]}
(t)isan
F-adapted process). If F ⊂ G,anyF-stopping time is a G-stopping time.
If τ is an F-stopping time, the σ-algebra of events prior to τ , F
τ
is defined
as:
F
τ
= {A ∈F
∞
: A ∩{τ ≤ t}∈F
t
, ∀t}.
If X is F-progressively measurable and τ a F-stopping time, then the r.v. X
τ
is F
τ
-measurable on the set {τ<∞}.
The σ-algebra F
τ−
is the smallest σ-algebra which contains F
0
and all the
sets of the form A ∩{t<τ},t >0forA ∈F
t
.
Definition 1.2.3.1 A stopping time τ is predictable if there exists an
increasing sequence (τ
n
) of stopping times such that almost surely
(i) lim
n
τ
n
= τ ,
(ii) τ
n
<τ for every n on the set {τ>0}.
A stopping time τ is totally inaccessible if P(τ = ϑ<∞)=0for any
predictable stopping time ϑ (or, equivalently, if for any increasing sequence of
stopping times (τ
n
,n≥ 0), P({lim τ
n
= τ}∩A)=0where A = ∩
n
{τ
n
<τ}).
If X is an F-adapted process and τ a stopping time, the (F-adapted)
process X
τ
where X
τ
t
:= X
t∧τ
is called the process X stopped at τ.
Example 1.2.3.2 If τ is a random time, (i.e., a positive random variable),
the smallest filtration with respect to which τ is a stopping time is the
filtration generated by the process D
t
= 1
{τ≤t}
. The completed σ-algebra
D
t
is generated by the sets {τ ≤ s},s ≤ t or, equivalently, by the random
variable τ ∧t. This kind of times will be of great importance in Chapter 7
to model default risk events.
Example 1.2.3.3 If X is a continuous process, and a a real number, the
first time T
+
a
(resp. T
−
a
)whenX is greater (resp. smaller) than a,isanF
X
-
stopping time
T
+
a
=inf{t : X
t
≥ a}, resp. T
−
a
=inf{t : X
t
≤ a}.
From the continuity of the process X, if the process starts below a (i.e., if
X
0
<a), one has T
+
a
= T
a
where T
a
=inf{t : X
t
= a},andX
T
a
= a (resp.
if X
0
>a, T
−
a
= T
a
). Note that if X
0
≥ a,thenT
+
a
=0,andT
a
> 0.
More generally, if X is a continuous R
d
-valued processes, its first
entrance time into a closed set F , i.e., T
F
=inf{t : X
t
∈ F },isa
stopping time (see [RY], Chapter I, Proposition 4.6.). If a real-valued process
is progressive with respect to a standard filtration, the first entrance time of
a Borel set is a stopping time.