Вероятностные пространства
[24/0%]Пусть — вероятностное распределение на с . Найдите два различных вероятностных распределения на с и в качестве набора маргинальных распределений.
Пусть , а — мера Лебега на . Пусть и . Найдите и и вычислите , применив формулу замены переменных (предложение 6.2.1).
В формуле замены переменных один из трёх интегралов обычно легче вычислить, чем два других. В этой задаче, в пункте (a), первый интеграл легче вычислить, чем два других, тогда как в пункте (b) легче второй.
Пусть и .
(i) Найдите распределения и на .
(ii) Вычислите интегралы
где . Убедитесь, что все три интеграла совпадают.
Пусть — н.о.р. случайные величины . Пусть и .
(i) Найдите распределения и .
(ii) Вычислите , и .
Пусть — независимые биномиальные случайные величины. Пусть .
(i) Найдите распределение величины .
(ii) Вычислите и .
Пусть — случайная величина, такая что при для некоторого .
Покажите, что для всех и .
Покажите, что , -я производная при , удовлетворяет
Проверьте (2.25). (Указание:
(i) Сначала покажите, что для существует , такое что и при некотором для всех в .
(ii) Убедитесь, что для всех . Теперь используйте (i) и теорему о мажорированной сходимости, чтобы показать, что дифференцируема и для всех . Теперь завершите доказательство по индукции.)
Пусть — случайная величина.
Покажите, что не убывает на .
Покажите, что выпукла на , если .
Пусть . Покажите, что
(i) .
(ii) . (Указание: при заметьте, что для любого .)
Покажите, что если в (2.20) выполняется равенство, то существуют такие константы и , что .
Явно определите и его базу в примерах 6.3.3 и 6.3.4.
Покажите, что в примере 6.3.5 не является конечномерным цилиндрическим множеством. (Указание: заметьте, что не определяется значениями лишь конечного числа .)
Найдите ещё три таких примера множеств в , не являющихся конечномерными цилиндрическими множествами.
Установите утверждение из замечания 6.3.3, выполнив следующие шаги:
Покажите, что координатное отображение из в непрерывно относительно метрики из (3.3). (Заключите, используя пример 1.1.6, что .)
Пусть и . Покажите, что .
Покажите, что , показав, что каждое открытое множество в является счётным объединением открытых шаров.
Покажите, что семейство , определённое в (3.12), удовлетворяет условиям согласованности (3.1) и (3.2) теоремы 6.3.1.
Убедитесь, что семейство конечномерных распределений, определённое правой частью (3.14), удовлетворяет условиям теоремы 6.3.4.
Убедитесь, что семейство распределений, определённое в (3.18), удовлетворяет условиям (3.1) и (3.2) теоремы 6.3.1.
Покажите, что множество непрерывных функций из в не принадлежит -алгебре .
Покажите, что не принадлежит .
Пусть — последовательность вероятностных распределений на , и пусть — вероятностное распределение на с .
Убедитесь, что — вероятностное распределение на .
(i) Покажите, что существует вероятностное пространство и набор независимых случайных величин на , такие что для каждого имеет распределение , а .
(ii) Пусть , то есть . Покажите, что — случайная величина на , и .
Пусть — функция распределения на , разложенная как
где и , а — дискретная, абсолютно непрерывная и сингулярно непрерывная функции распределения на (ср. (4.5.3)). Покажите, что существуют независимые случайные величины и на некотором вероятностном пространстве, такие что , и , где означает «имеет функцию распределения».
Пусть — вероятностная мера на . Пусть для каждого в , — функция распределения на . Пусть , для в . Предположим, что измерима. Пусть и — независимые случайные величины на некотором вероятностном пространстве , такие что и равномерное .
Покажите, что — случайная величина.
Покажите, что . (Распределение называется смесью распределений со смешивающим распределением . Это имеет значение в байесовском статистическом выводе.)
Пусть — два измеримых пространства. Пусть — вероятностная мера на , и пусть таково, что для каждого в — вероятностная мера на , а для каждого в является -измеримой. Определим
на . Покажите, что можно продолжить до вероятностной меры на .
Пусть и такие же, как в примере 6.3.8 (ср. (3.16)). Для каждого пусть — функция множества, определённая рекурсивной схемой
Покажите, что для каждого можно продолжить до вероятностной меры на . (Таким образом, правая часть (3.16) определяется как .)
(Байесовская парадигма). Рассмотрим постановку задачи 6.18 (a). Пусть для всех в .
Убедитесь, что — вероятностная мера на .
Теперь зафиксируем в . Покажите, что существует функция , , являющаяся -измеримой, такая что
(Указание: примените теорему Радона-Никодима к паре и .
Пусть . Для положим и . Будем рассматривать как параметр, как данные, как распределение при заданном как априорное распределение , а как апостериорную вероятность того, что лежит в при заданных данных . Вычислите , когда , .
Пусть — случайная величина на некотором вероятностном пространстве . Напомним, что случайная величина называется
-
дискретной, если существует конечное или счётное множество такое, что ,
-
непрерывной, если для каждого , или, что эквивалентно, непрерывна на всём ,
-
абсолютно непрерывной, если существует неотрицательная борелевски измеримая функция на такая, что для любых ,
или, что эквивалентно, индуцированная мера удовлетворяет ,
-
сингулярной, если , или, что эквивалентно, п.в. ,
-
сингулярно непрерывной, если она сингулярна и непрерывна.
Пусть борелевски измерима и .
Покажите, что если дискретна, то и дискретна, но не наоборот.
Покажите, что если непрерывна и взаимно однозначна на множестве значений , то непрерывна.
Покажите, что если абсолютно непрерывна с плотностью и абсолютно непрерывна на ограниченных интервалах, причём п.в. , то также абсолютно непрерывна с плотностью
Пусть такая же, как в пункте (c). Предположим, что абсолютно непрерывна на ограниченных интервалах и существуют непересекающиеся интервалы , , такие, что и для каждого либо п.в. на , либо п.в. на . Покажите, что также абсолютно непрерывна с плотностью
где .
Используя (c), вычислите плотность , когда
(i) .
(ii) .
(iii) .
(iv) .
(Простая случайная выборка без возвращения). Пусть . Зафиксируем . Выберем элемент из так, что вероятность того, что , равна для всех . Затем выберем элемент из так, что вероятность того, что , равна для . Продолжим эту процедуру шагов. Запишем результат в виде упорядоченного вектора .
Определите пространство элементарных исходов , -алгебру и вероятностную меру для этого эксперимента.
Покажите, что для любой перестановки множества случайный вектор имеет то же распределение, что и .
Заключите, что одинаково распределены и что не зависят от и , и вычислите их.
Ответьте на те же вопросы (a)-(c), если выборка производится с возвращением, т.е. на каждом шаге вероятность того, что для всех .
В пункте (d) пусть — число различных единиц в выборке. Найдите и .
Пусть — неотрицательная случайная величина. Покажите, что
(Заметьте, что выпукла на и ограничена .)
Пусть и — неотрицательные случайные величины, заданные на вероятностном пространстве . Предположим, что п.н. Покажите, что
Пусть — вероятностная мера на . Покажите, что существует случайная величина на лебеговом пространстве такая, что , где — мера Лебега. Распространите это на , где — целое число . (Замечание: это верно для любого польского пространства, т.е. полного сепарабельного метрического пространства, см. Billingsley (1968).)