Виды сходимости случайных величин
Траектории, вероятности ошибок, законы и средние расстояния описывают разные пределы.
Чему научимся
Различение режимов не позволяет переносить пределы ожиданий или выводы о совместной близости только по сходству CDF и помогает выбирать подходящую предельную теорему.
Главная идея. Сходимость почти наверное, по вероятности, по распределению и в Lp отвечает на разные вопросы: о траекториях, вероятности большой ошибки, законах и среднем размере ошибки.
План рассуждения и проверка понимания
- Сначала назовите объект контроля: отдельные ω, вероятность события |Xn − X| > ε, CDF или ожидание |Xn − X|^p.
- Запишите соответствующее определение с квантором по ε или точкам непрерывности, не заменяя его словом «приближается».
- Используйте верные импликации: почти наверное и Lp влекут сходимость по вероятности, а она влечёт сходимость по распределению.
- Для обратного перехода ищите дополнительное условие или контрпример; особенно проверяйте равномерную интегрируемость перед пределом ожиданий.
Частая ошибка. Из Xn → 0 почти наверное автоматически заключать E[Xn] → 0 или считать визуально близкие распределения доказательством близости величин на одном пространстве.
Как проверить себя. На Ω = (0,1] с равномерной вероятностью всплеск Xn = n·1(0,1/n] сходится к нулю почти наверное, но E[Xn] = 1. Для ожиданий нужны дополнительные условия доминирования или интегрируемости.
Наглядная модель: Виды сходимости случайных величин
Траектории, вероятности ошибок, законы и средние расстояния описывают разные пределы.
- Виды сходимости случайных величин → Виды сходимости случайных величин
- Виды сходимости случайных величин → measurable-variables
- Виды сходимости случайных величин → expectation-integral
Проверка пониманияОбъясните тему своими словами
На Ω = (0,1] с равномерной вероятностью разберите Xn = n·1(0,1/n]: покажите поточечную сходимость к нулю и одновременно вычислите неизменное ожидание.
В хорошем объяснении есть:
- Для каждого фиксированного ω > 0 всплеск исчезает.
- Вероятность ненулевого значения равна 1/n.
- Высота n и ширина 1/n дают ожидание 1.
Что означает «становится близко»
У случайных величин есть значения на отдельных исходах, распределения и моменты. Поэтому одно слово «сходимость» без уточнения может скрывать разные утверждения. Численное сходство двух гистограмм не доказывает, что две величины близки при совместном наблюдении.
Четыре определения
Сходимость почти наверное означает, что для почти каждого исхода числовая последовательность Xn(ω) стремится к X(ω). Сходимость по вероятности требует исчезновения вероятности ошибки больше любого фиксированного ε>0. Сходимость в Lp при p>0 означает : степень относится к абсолютной ошибке внутри ожидания. Для p≥1 корень степени p задаёт обычную норму Lp. Сходимость по распределению проверяет CDF только в точках непрерывности предельной CDF.
Связи и набросок доказательства
Почти наверное влечёт по вероятности, а по вероятности — по распределению. Сходимость в Lp также влечёт по вероятности: примените неравенство Маркова к |Xn−X| в степени p. Обратные переходы без дополнительных условий в общем случае неверны. При пределе-константе сходимость по распределению эквивалентна сходимости по вероятности.
Контрпример для ожиданий
На Ω=(0,1] с равномерной вероятностью положим Xn=n на (0,1/n] и ноль в остальных точках. Для каждого ω>0 последовательность в конце концов равна нулю, поэтому Xn→0 почти наверное. Но E Xn=1 для всех n: сходимости в L1 к нулю нет. Узкий высокий всплеск исчезает по вероятности, но сохраняет площадь.
Предел ожиданий нельзя переносить через знак E только по графическому сходству. Для этого нужны дополнительные условия, например равномерная интегрируемость или интегрируемое доминирование.
Три примера
- Детерминированная последовательность Xn=1/n стремится к нулю почти наверное, по вероятности, по распределению и в каждом Lp.
- Если P(Xn=1)=1/n, то Xn→0 по вероятности: для 0<ε<1 вероятность ошибки равна 1/n.
- Для всплеска Xn=n·1(0,1/n] вероятность ошибки стремится к нулю, а E|Xn| остаётся 1. Слабость критерия зависит от того, что именно измеряется.
Формула, смысл и ограничения
Главные формулы с расшифровкой
Формула словами: Почти наверное означает сходимость траекторий вне нулевого множества; в Lp — E|Xn−X|^p→0; по распределению — сходимость CDF в точках непрерывности предельной CDF.
От простого к сложному
Проверьте себя
Сначала запишите решение самостоятельно. Затем можно открыть намёк, сравнить каждый переход с пошаговым разбором и только после этого посмотреть ответ. Прогресс сохраняется в этом браузере.
Открываем задание…
Открываем задание…
Открываем задание…
Источники и соглашения
Объяснения и задачи — авторские. Источники помогают проверить определения, условия и школьную привязку. Обозначения и параметризация указаны в статье.