Введение
Понятия вероятностной сходимости, применяемые к оценке и асимптотическому анализу. В теории вероятностей существует несколько различных понятий сходимости последовательностей случайных величин, включая сходимость по вероятности, сходимость в распределении и почти достоверную сходимость. Различные понятия сходимости отражают различные свойства последовательности, при этом некоторые понятия сходимости являются более сильными, чем другие. Например, сходимость в распределении сообщает нам о предельном распределении последовательности случайных величин. Это более слабое понятие, чем сходимость по вероятности, которая сообщает нам о значении, которое принимает случайная величина, а не только о распределении. Данное понятие важно в теории вероятностей и находит применение в статистике и стохастических процессах. Те же самые понятия известны в более общей математике как стохастическая сходимость, и они формализуют идею о том, что определенные свойства последовательности по сути случайных или непредсказуемых событий иногда можно ожидать, что они стабилизируются и перейдут к поведению, которое по сути не меняется при изучении элементов, достаточно удаленных в последовательности. Различные возможные понятия сходимости связаны с тем, как можно охарактеризовать такое поведение: два легко понимаемых варианта – это когда последовательность в конечном итоге принимает постоянное значение и когда значения в последовательности продолжают меняться, но могут быть описаны неизменным распределением вероятностей.
In probability theory, there exist several different notions of convergence of sequences of random variables, including convergence in probability, convergence in distribution, and almost sure convergence. The different notions of convergence capture different properties about the sequence, with some notions of convergence being stronger than others. For example, convergence in distribution tells us about the limit distribution of a sequence of random variables. This is a weaker notion than convergence in probability, which tells us about the value a random variable will take, rather than just the distribution. The concept is important in probability theory, and its applications to statistics and stochastic processes. The same concepts are known in more general mathematics as stochastic convergence and they formalize the idea that certain properties of a sequence of essentially random or unpredictable events can sometimes be expected to settle down into a behavior that is essentially unchanging when items far enough into the sequence are studied. The different possible notions of convergence relate to how such a behavior can be characterized: two readily understood behaviors are that the sequence eventually takes a constant value, and that values in the sequence continue to change but can be described by an unchanging probability distribution.
Сближение в распределении
В широком смысле, при таком типе сходимости мы все больше ожидаем, что следующий результат в последовательности случайных экспериментов будет все точнее и точнее описываться заданным распределением вероятностей. Более точно, распределение соответствующей случайной величины в последовательности становится сколь угодно близким к заданному фиксированному распределению. Сходимость в распределении является наиболее слабой формой сходимости, обычно рассматриваемой, поскольку она вытекает из всех других типов сходимости, упомянутых в этой статье. Однако сходимость в распределении очень часто используется на практике; чаще всего она возникает при применении центральной предельной теоремы.
Сближение в вероятности
Основная идея этого типа сходимости заключается в том, что вероятность "необычного" исхода становится все меньше и меньше по мере продвижения последовательности. Понятие сходимости по вероятности очень часто используется в статистике. Например, оценку называют состоятельной, если она сходится по вероятности к оцениваемой величине. Сходимость по вероятности также является типом сходимости, устанавливаемым слабым законом больших чисел.
Свойства
Сближение в вероятности влечет за собой сближение в распределении. [доказательство]
В обратном направлении, сближение в распределении влечет за собой сближение в вероятности, когда предельная случайная величина X является константой. [доказательство]
Сближение в вероятности не влечет за собой почти достоверную сходимость. [доказательство]
Теорема о непрерывном отображении утверждает, что для любой непрерывной функции , если , то также . Сближение в вероятности определяет топологию на пространстве случайных величин над фиксированным вероятностным пространством. Эта топология метризуема метрикой Ky Fan: или, альтернативно, этой метрикой.
In the opposite direction, convergence in distribution implies convergence in probability when the limiting random variable X is a constant. [proof]
Convergence in probability does not imply almost sure convergence. [proof]
The continuous mapping theorem states that for every continuous function , if , then also Convergence in probability defines a topology on the space of random variables over a fixed probability space. This topology is metrizable by the Ky Fan metric: or alternately by this metric
Контрпримеры
Не всякая последовательность случайных величин, сходящаяся по распределению к другой случайной величине, также сходится по вероятности к этой случайной величине. В качестве примера рассмотрим последовательность стандартных нормальных случайных величин и вторую последовательность. Заметьте, что распределение равно распределению для всех , но: которое не сходится к . Следовательно, сходимости по вероятности нет.
which does not converge to So we do not have convergence in probability.
Почти наверняка.
Это тип стохастической сходимости, наиболее близкий к точечной сходимости, известной из элементарного математического анализа.
Свойства
Почти достоверная сходимость влечет за собой сходимость по вероятности (по лемме Фату) и, следовательно, влечет за собой сходимость в распределении. Это понятие сходимости используется в сильном законе больших чисел. Понятие почти достоверной сходимости не вытекает из какой-либо топологии на пространстве случайных величин. Это означает, что не существует топологии на пространстве случайных величин, для которой почти достоверно сходящиеся последовательности были бы точно сходящимися последовательностями относительно этой топологии. В частности, не существует метрики почти достоверной сходимости.
Неоспоримая или точечная конвергенция
Сказать, что последовательность случайных величин (Xn), определенная в одном и том же пространстве вероятностей (то есть случайный процесс), сходится почти наверное или везде или поточечно к X, означает
где Ω – пространство элементарных событий базового пространства вероятностей, над которым определены случайные величины. Это понятие точечной сходимости последовательности функций, расширенное на последовательность случайных величин. (Следует отметить, что сами случайные величины являются функциями). Почти наверная сходимость случайной величины подразумевает все остальные виды сходимости, упомянутые выше, однако в теории вероятностей нет преимуществ в использовании почти наверной сходимости по сравнению с использованием сходимости по вероятности. Различие между ними существует только на множествах, имеющих вероятность ноль. Именно поэтому понятие почти наверной сходимости случайных величин используется крайне редко.
Контрпримеры
Рассмотрим последовательность независимых случайных величин, таких что и Для нас имеем , которая сходится к , следовательно, сходится по вероятности. Поскольку и события независимы, то вторая лемма Бореля — Кантелли гарантирует, что , следовательно, последовательность не сходится почти всюду (фактически, множество, на котором эта последовательность не сходится к , имеет вероятность ).