Types of Stopping Times
Stopping times, with time index set I = [0,∞), are often divided into one of several types depending on whether it is possible to predict when they are about to occur.
A stopping time is predictable if it is equal to the limit of an increasing sequence of stopping times n satisfying n < whenever > 0. The sequence n is said to announce, and predictable stopping times are sometimes known as announceable. Examples of predictable stopping times are hitting times of continuous and adapted processes. If is the first time at which a continuous and real valued process X is equal to some value a, then it is announced by the sequence n, where n is the first time at which X is within a distance of 1/n of a.
Accessible stopping times are those that can be covered by a sequence of predictable times. That is, stopping time is accessible if, P(=n for some n) = 1, where n are predictable times.
A stopping time is totally inaccessible if it can never be announced by an increasing sequence of stopping times. Equivalently, P( = σ < ∞) = 0 for every predictable time σ. Examples of totally inaccessible stopping times include the jump times of Poisson processes.
Every stopping time can be uniquely decomposed into an accessible and totally inaccessible time. That is, there exists a unique accessible stopping time σ and totally inaccessible time υ such that = σ whenever σ < ∞, = υ whenever υ < ∞, and = ∞ whenever σ = υ = ∞. Note that in the statement of this decomposition result, stopping times do not have to be almost surely finite, and can equal ∞.
Read more about this topic: Stopping Time
Famous quotes containing the words types of, types, stopping and/or times:
“The wider the range of possibilities we offer children, the more intense will be their motivations and the richer their experiences. We must widen the range of topics and goals, the types of situations we offer and their degree of structure, the kinds and combinations of resources and materials, and the possible interactions with things, peers, and adults.”
—Loris Malaguzzi (1920–1994)
“He types his laboured column—weary drudge!
Senile fudge and solemn:
Spare, editor, to condemn
These dry leaves of his autumn.”
—Robertson Davies (b. 1913)
“Hamlet. To what base uses we may return, Horatio! Why may
not imagination trace the noble dust of Alexander, till a
find it stopping a bung-hole?
Horatio. ‘Twere to consider too curiously to consider so.”
—William Shakespeare (1564–1616)
“Seven times tried that judgment is
That did never choose amiss.
Some there be that shadows kiss,
Such have but a shadow’s bliss.”
—William Shakespeare (1564–1616)