Каноническая модель
[9/100%]Пусть — функция распределения.
Покажите, что существует вероятностное пространство и случайная величина такие, что .
Покажите, что существует вероятностное пространство и независимая одинаково распределённая последовательность случайных величин такие, что .
Сформулируйте и докажите соответствующие утверждения для - мерного случая.
Покажите, что существует случайный процесс такой, что случайные величины независимы и распределены как . Этот процесс также удовлетворяет
Пусть — произвольное множество, а — семейство подмножеств . Докажите, что
Пусть содержит не менее двух элементов, и пусть — произвольное индексное множество. Обозначим через произведение пространств , которое мы наделяем естественной топологией произведения (т.е. тогда и только тогда, когда для каждого . Тогда мы можем определить борелевскую - алгебру и - алгебру произведения , где — каноническая проекция на -ю координату.
Покажите, что для каждого существует счётное множество и множество такие, что — координатная проекция .
Если несчётно, то каждое несчётно.
Покажите, что .
Если несчётно, то .
Если счётно, то .
Пусть — вероятностная мера на , и рассмотрим -мерный стохастический процесс , на вероятностном пространстве . Дайте интерпретацию , если для некоторого , и найдите семейство конечномерных распределений .
Пусть — , и положим , где .
Покажите, что — гауссовский процесс с нулевым средним, и найдите его ковариационную функцию.
Пусть . Покажите, что закон имеет плотность вида
где — плотность .
Покажите, что закон совпадает с законом , обусловленным событием . Сравните это с упражнением 2.9(b).
Покажите, что процессы и имеют одинаковый вероятностный закон.
Пусть — каноническое пространство Винера (предполагаем ). Теперь мы рассмотрим пространство , снова наделённое метрикой локально равномерной сходимости и борелевской - алгеброй . Несложно проверить, что
Лемма 4.1 остаётся справедливой в этом контексте. Определим как координатную проекцию , где , и соответствующие - алгебры
Пусть . (Канонический) оператор сдвига — это отображение , т.е. .
Покажите, что . Найдите для .
Покажите, что является - и - измеримым.
Обозначим через и положим . Найдите выражение для и покажите, что , если нам известно, что .
Продолжим работу с постановкой, введённой в задаче 7. Обозначим через каноническое пространство Винера и положим , для , и определим для каждой вероятностной меры на вероятностную меру на ), сначала на «цилиндрических множествах»
где и . Затем мера продолжается, по теореме Колмогорова (теорема 4.8), на .
Покажите, что отображение измеримо.
Покажите, что , относительно при , является броуновским движением, начатым в , т.е. процессом, удовлетворяющим (B1), (B2), (B4) и вместо (B0), и вместо (B3).
Дайте интерпретацию того, что означает на уровне траекторий.
Пусть — каноническое на пространстве Винера и — фильтрация, порождённая . Покажите, что для следующие утверждения эквивалентны:
;
Пусть и . Если для всех выполнено , то .
Замечание. Эта тема будет продолжена в задаче 5.23. Данный тест на самом деле справедлив для всех процессов с непрерывными траекториями (с тем же рассуждением, что и для броуновского движения), и, с некоторыми дополнительными шагами, его можно ослабить до процессов, чьи траектории непрерывны справа и имеют конечные левые пределы.