При изучении стохастических процессов в математике время попадания (или время первого попадания ) — это первый момент времени, когда данный процесс «попадает» в данное подмножество пространства состояний . Времена выхода и возврата также являются примерами времен попадания.
Пусть T — упорядоченный набор индексов , такой как натуральные числа , неотрицательные действительные числа , [0, +∞) или их подмножество; элементы можно рассматривать как «времена». Учитывая вероятностное пространство (Ω, Σ, Pr) и измеримое пространство состояний S , пусть будет стохастическим процессом , и пусть A — измеримое подмножество пространства состояний S. Тогда время первого попадания — это случайная величина, определяемая как
Первое время выхода (из A ) определяется как первое время попадания для S \ A , дополнения A в S . По недоразумению, это также часто обозначается как τ A . [1]
Первое время возврата определяется как время первого попадания для набора одиночных элементов { X 0 ( ω )}, который обычно представляет собой заданный детерминированный элемент пространства состояний, например начало системы координат.
Время попадания множества F также известно как дебют F. Теорема о дебюте гласит, что время попадания измеримого множества F для прогрессивно измеримого процесса относительно непрерывной справа и полной фильтрации является временем остановки. Прогрессивно измеримые процессы включают, в частности, все прогрессивно и левонепрерывные адаптированные процессы . Доказательство того, что дебют измерим, довольно сложно и включает свойства аналитических множеств . Теорема требует, чтобы базовое вероятностное пространство было полным или, по крайней мере, универсально полным.
Обратная теорема Дебюта утверждает, что каждое время остановки , определенное относительно фильтрации по действительному индексу времени, может быть представлено временем попадания. В частности, для по существу любого такого времени остановки существует адаптированный, невозрастающий процесс с путями càdlàg (RCLL), который принимает только значения 0 и 1, так что время попадания множества {0} этим процессом является рассматриваемым временем остановки. Доказательство очень простое. [2]