Введение и обзор теории вероятностей
[48/100%]Пусть и — произвольные события; покажите, что . Объясните, какие части пространства элементарных событий учитываются дважды в обеих частях этого равенства, а какие — один раз.
Эта задача выводит вероятность произвольного (не обязательно непересекающегося) объединения событий, выводит границу объединения (union bound) и выводит несколько полезных предельных выражений.
Для двух произвольных событий и покажите, что
Покажите, что и не пересекаются.
Для произвольной последовательности событий пусть , а для каждого определим . Покажите, что — непересекающиеся события, и покажите, что для каждого выполняется .
Покажите, что
Покажите, что для каждого выполняется . Используйте это, чтобы показать, что
Покажите, что . Заметьте, что это утверждение означает, что вероятность предела объединений равна пределу вероятностей. Это может показаться очевидным и без доказательства, но далее вы встретите ситуации, где подобные, на первый взгляд аналогичные, перестановки предела и вероятности недопустимы.
Покажите, что .
Именно для этого и были придуманы диаграммы Венна.
Используйте индукцию.
Вспомните равенства де Моргана.
Найдите вероятность того, что покерная рука из пяти карт, выбранная случайным образом из колоды в 52 карты, содержит все четыре туза. То есть, если все расположений колоды карт равновероятны, какова вероятность того, что все четыре туза окажутся среди первых пяти карт колоды.
Рассмотрим пространство элементарных событий, состоящее из восьми равновероятных точек, и пусть — три события, каждое из которых имеет вероятность , такие что .
Постройте пример, в котором , но .
Покажите, что в вашем примере и не являются независимыми. Заметьте, что определение статистической независимости выглядело бы весьма странно, если бы оно допускало независимость при зависимости и . Это иллюстрирует, почему определение независимости требует совместной факторизации для всех подмножеств событий, а не только попарной факторизации для каждой пары событий.
Составьте таблицу со строкой для каждой элементарной точки и столбцом для каждого из трёх указанных выше событий и попробуйте разные способы отнесения точек к событиям (ответ не единственен).
Эта задача показывает, что для всех случайных величин функция непрерывна справа.
Для произвольной случайной величины , произвольного действительного числа и каждого целого пусть , и покажите, что . Используя это и следствия из аксиом вероятности, покажите, что .
Покажите, что и что .
Покажите, что при выполняется .
Определим . Покажите, что непрерывна слева. Другими словами, непрерывность справа для функции распределения возникает из почти произвольного (но общепринятого) выбора определения функции распределения как , а не как .
Покажите, что для непрерывной неотрицательной с.в.
Пусть и — дискретные с.в. с ФРВ . Покажите (рисунок поможет), что это связано с совместной ФР соотношением
Вариант Примера 1.5.1 состоит в том, чтобы пусть — с.в., принимающая как положительные, так и отрицательные значения, с ФРВ
Другими словами, симметрична относительно 0, а имеет ту же ФРВ, что и неотрицательная с.в. из Примера 1.5.1 (с.в. с ФР для каждого целого , ФРВ и ).
Покажите, что и . (Тем самым покажите, что математическое ожидание не только не существует, но и не определено даже как расширенное вещественное число.)
Предположим, что члены суммы суммируются в порядке два положительных члена на один отрицательный (т.е. в порядке ). Найдите предельное значение частичных сумм этого ряда.
Повторите (б), где для произвольного заданного целого порядок суммирования — положительных членов на один отрицательный.
Вам может пригодиться знание того, что
где — постоянная Эйлера--Маскерони, .
Теорема 1.4.1: Пусть — ФРВ биномиального распределения для базовой бинарной ФРВ , , и пусть . Тогда для каждого целого , ,
где — бинарная дивергенция Кульбака--Лейблера (относительная энтропия). Кроме того, со строгим неравенством для всех .
Границы для биномиального распределения в этой теореме основаны на границах Стирлинга. Они утверждают, что для всех величина ограничена сверху и снизу так:
Отношение первых двух членов монотонно возрастает с ростом к пределу 1, а отношение монотонно убывает к 1. Верхняя граница точнее, но нижняя граница проще и известна как приближение Стирлинга.
Покажите, исходя из приведённых выше границ Стирлинга и из свойства монотонности, что
Используя результат (а), оцените сверху выражением
Покажите, что это эквивалентно верхней границе в Теореме 1.4.1.
Покажите, что
Выведите нижнюю границу в Теореме 1.4.1.
Покажите, что равно 0 при и неотрицательно всюду.
Пусть — тернарная случайная величина, принимающая три значения 0, 1, 2 с вероятностями соответственно. Найдите медиану в каждом из случаев ниже.
, , .
, , .
, , .
Теперь предположим, что неотрицательна и непрерывна с плотностью при и при . Нам известно, что положительна при всех , но в остальном неизвестна. Найдите медиану или интервал медиан.
Медиану иногда (неверно) определяют как такое , для которого . Покажите, что возможен случай, когда такого не существует.
Замечание 1: медиана не единственна в случае (в). Найдите интервал значений, являющихся медианами. Замечание 2: некоторые авторы делают медиану единственной, определяя её как середину интервала, удовлетворяющего данному здесь определению.
Для произвольной заданной случайной величины выразите через и .
Для некоторой заданной случайной величины с пусть . Используя (а), покажите, что
Покажите, что минимизируется по при выборе равным медиане . Будьте внимательны и покажите, что когда медиана является интервалом, все точки этого интервала достигают минимума.
Пусть — случайная величина с функцией распределения . Найдите функцию распределения следующих случайных величин.
Максимума н.о.р. случайных величин, каждая с функцией распределения .
Минимума н.о.р. случайных величин, каждая с функцией распределения .
Разности случайных величин, определённых в (а) и (б); предположите, что имеет плотность .
Пусть и — случайные величины на некотором пространстве элементарных событий , и пусть , т.е. для каждого выполняется . Цель этого упражнения — показать, что является случайной величиной. Это математическая тонкость, которую многие читатели могут предпочесть просто принять без доказательства.
Покажите, что множество тех , для которых , имеет вероятность 0.
Чтобы показать, что является случайной величиной, нужно показать, что для каждого вещественного числа множество является событием. Действуем косвенно. Для произвольного положительного целого и произвольного целого положим . Пусть ; покажите, что является событием.
На двумерном чертеже для заданного покажите значения и , для которых .
Покажите, что
Объясните, почему это показывает, что является случайной величиной.
Объясните, почему из (г) следует, что если и — случайные величины, то — тоже случайная величина.
Это множество значений должно быть ограничено ступенчатой функцией.
Достаточно одной-двух строк объяснения.
Пусть — случайные величины с математическими ожиданиями . Покажите, что . Можете предполагать, что случайные величины имеют совместную плотность, но не предполагайте, что они независимы.
Теперь предположите, что статистически независимы, и покажите, что математическое ожидание произведения равно произведению математических ожиданий.
Снова предполагая, что статистически независимы, покажите, что дисперсия суммы равна сумме дисперсий.
Пусть и , где — единичный скачок, т.е. при и при . Используя определение интеграла Стилтьеса как предела римановых сумм по разбиениям с , измельчаемым по мере того, как диаметр разбиения , покажите, что не существует.
Пусть и , где и принадлежат . Покажите, что существует тогда и только тогда, когда . Покажите, что интеграл равен 1 при и равен 0 при . Обоснуйте, что этот результат остаётся верным и в пределе интегрирования по .
Пусть и — независимые дискретные случайные величины, каждая с конечным множеством возможных значений. Покажите, что , определённый как интеграл Стилтьеса, равен функции распределения в каждой точке , отличной от возможных значений выборки , и не определён в каждом значении выборки .
Эта неудача интегрирования по Стилтьесу не является серьёзной проблемой; — ступенчатая функция, и интеграл не определён в точках её разрыва. Мы автоматически доопределяем в этих ступенчатых значениях так, чтобы была функцией распределения (т.е. непрерывной справа). Эта проблема не возникает, если или непрерывна.
Пусть — последовательность НОР непрерывных случайных величин с общей плотностью ; заметим, что для всех и что для всех . Для назовём рекордом на текущий момент последовательности, если для всех .
Найдите вероятность того, что является рекордом на текущий момент. Используйте симметрию, чтобы получить числовой ответ без вычислений. Одной-двух строк объяснения должно быть достаточно.
Найдите вероятность того, что является рекордом на текущий момент, как функцию от . Снова используйте симметрию.
Найдите простое выражение для ожидаемого числа рекордов на текущий момент, встречающихся за первые испытаний, при любом заданном целом . Покажите, что это ожидаемое число бесконечно в пределе .
Пусть — индекс первого рекорда на текущий момент в последовательности. Найдите для каждого .
Покажите, что является случайной величиной.
Покажите, что .
Пусть — индекс второго рекорда на текущий момент в последовательности. Покажите, что является случайной величиной. Находить функцию распределения здесь не требуется.
Сопоставьте ваш результат в (в) с результатом упражнения 1.16(в), утверждающим, что ожидаемое число рекордов на текущий момент бесконечно на бесконечном числе испытаний. Примечание: это может показаться шокирующим для вашей интуиции — бесконечное ожидаемое время ожидания первого события из бесконечной последовательности событий, каждое из которых рано или поздно должно произойти.
Для любого заданного найдите вероятность того, что и обе являются рекордами на текущий момент.
Является ли событие, что — рекорд на текущий момент, статистически независимым от события, что — рекорд на текущий момент?
Найдите ожидаемое число соседних пар рекордов на текущий момент по последовательности .
Предположим, что — неотрицательная дискретная св, принимающая значения , и пусть для некоторой неотрицательной функции . Пусть , , — -е значение, принимаемое . Покажите, что . Найдите пример, где существует, но .
Пусть — неотрицательная непрерывная св с плотностью , и пусть дифференцируема, неотрицательна и строго возрастает по . Пусть , т.е. — приближение порядка к интегралу Стилтьеса . Покажите, что если , то . Покажите из этого, что сходится к конечному значению. Замечание: это очень частный случай, но его можно распространить на многие представляющие интерес случаи. Представляется более разумным рассматривать эти вопросы сходимости по мере необходимости, а не в общем виде.
Рассмотрим положительную целочисленную св, чья ФР задана в целых точках формулой
Используя (уравнение (1.30)), покажите, что .
Найдите ЗРВ величины и используйте её для проверки значения .
Пусть — другая положительная целочисленная св. Предположим, что её условная ЗРВ задана формулой
Найдите и покажите, что . Попробуйте найти , пока не убедитесь, что использование условного математического ожидания для вычисления значительно проще, чем использование .
Пусть — другая целочисленная св с условной ЗРВ
Найдите для каждого целого и найдите .
Покажите, что для некоррелированных св математическое ожидание произведения равно произведению математических ожиданий (по определению, и некоррелированы, если ).
Покажите, что если и некоррелированы, то дисперсия равна дисперсии плюс дисперсия .
Покажите, что если некоррелированы, то дисперсия суммы равна сумме дисперсий.
Покажите, что независимые св некоррелированы.
Пусть — одинаково распределённые троичные св с ЗРВ ; . Найдите простое совместное распределение вероятностей такое, что и некоррелированы, но зависимы.
Вы видели, что МПФ суммы независимых св равна произведению индивидуальных МПФ. Приведите пример, где это неверно, если переменные некоррелированы, но зависимы.
Предположим, что имеет пуассоновскую ЗРВ при , а имеет пуассоновскую ЗРВ при . Предположим, что и независимы. Покажите, что является пуассоновской св, и найдите условное распределение при условии .
Предположим, что и — бинарные случайные величины, каждая из которых принимает значение 0 с вероятностью и значение 1 с вероятностью . Найдите простой пример, в котором статистически зависимы, но попарно статистически независимы (т.е. статистически независимы, статистически независимы и статистически независимы). Приведите для вашего примера.
Достаточно ли попарной статистической независимости для того, чтобы
для набора случайных величин ?
Покажите, что есть значение , минимизирующее .
Для каждой из следующих случайных величин найдите концы интервала и , на котором существует производящая функция моментов . В каждом случае определите, существует ли в точках и . Для пунктов (а) и (б) вам также следует найти и построить эскиз графика . Для пунктов (в) и (г) не имеет замкнутой формы.
Пусть — положительные числа, и пусть имеет плотность
Пусть — гауссовская случайная величина со средним и дисперсией .
Пусть — неотрицательная случайная величина с плотностью
где и .
Для из пункта (в) найдите предел при , стремящемся к снизу. Затем замените на в определении и и покажите, будет ли указанный предел при этом конечным или нет.
Предположим, что производящая функция моментов случайной величины существует (т.е. конечна) на интервале , , и предположим, что везде далее. Для любой конечной константы выразите производящую функцию моментов , т.е. , через производящую функцию моментов и покажите, что . Объясните, почему .
Покажите, что .
Используя (а) и (б), покажите, что . Пусть ; покажите, что .
Предположим, что недетерминирована, т.е. не существует такого значения , что . Покажите, что знак неравенства «» может быть заменён на «» всюду в (а), (б) и (в).
Компьютерная система обслуживает пользователей, каждый со своим уникальным именем и паролем. Из-за программной ошибки паролей были случайным образом переставлены внутри системы (т.е. каждая из возможных перестановок равновероятна). Только те пользователи, которым посчастливилось, что их пароль не изменился при перестановке, могут продолжать пользоваться системой.
Какова вероятность того, что конкретный пользователь, скажем пользователь 1, сможет продолжить пользоваться системой?
Каково ожидаемое число пользователей, способных продолжить пользоваться системой?
Предположим, что случайная величина непрерывна и имеет функцию распределения . Рассмотрим другую случайную величину . То есть для каждой элементарной точки такой, что , мы имеем . Покажите, что равномерно распределена на интервале от 0 до 1.
Пусть — целочисленная св с ФРВ при . Найдите среднее, дисперсию и производящую функцию моментов .
Пусть — неотрицательная св и — некоторое фиксированное число. Пусть — событие . Покажите, что (т.е. что это неравенство выполнено для любого ).
Используя результат (а), докажите неравенство Маркова.
Минимизируйте по всем неотрицательным св, для которых при некоторых заданных и . Какая св достигает минимума?
Используя (а), докажите неравенство Маркова, а также укажите распределение, для которого неравенство обращается в равенство.
Это неравенство утверждает, что если св с нулевым средним имеет дисперсию , то она удовлетворяет неравенству
причём равенство при некотором достигается только если бинарна и . Мы докажем это здесь тем же методом, что и в упражнении 1.31. Пусть — св с нулевым средним, удовлетворяющая при некоторых заданных и . Дисперсию величины можно записать как
Сначала мы минимизируем по всем св с нулевым средним, удовлетворяющим .
Покажите, что второй интеграл выше удовлетворяет .
Покажите, что первый интеграл выше ограничен условиями
Минимизируйте первый интеграл при ограничениях из (б).
Объедините результаты (а) и (в), чтобы показать, что . Найдите минимизирующее распределение.
Используя (г), установите приведённое выше одностороннее неравенство Чебышёва. Также покажите (тривиально), что если имеет среднее и дисперсию , то .
Здесь мы покажем, что если — св с нулевым средним и дисперсией , то медиана удовлетворяет .
Одностороннее неравенство Чебышёва (упражнение 1.32) утверждает, что для св с нулевым средним и дисперсией выполнено при любом , причём равенство при некотором достигается только если бинарна и .
Сначала покажите, что для особого случая, когда бинарна с равновероятными значениями .
Для всех св с нулевым средним и дисперсией , отличных от особого случая в (а), покажите, что
Покажите, что . Помимо особого случая из (а), покажите, что отсюда следует .
Помимо особого случая из (а), покажите, что . Тем самым вы показали, что с равенством только в бинарном случае со значениями . Для св с ненулевым средним отсюда следует, что .
Мы подчёркивали важность среднего значения св в связи с его отношением к выборочному среднему через ЗБЧ. Здесь мы покажем, что существует форма ЗБЧ для медианы и для всей ФР, скажем , случайной величины , использующая достаточно много независимых выборочных значений .
Для заданного пусть — индикаторная функция события , где — независимые одинаково распределённые св с ФР . Сформулируйте ЗБЧ для независимых одинаково распределённых св .
Требует ли ответ в пункте (а) наличия у среднего значения или дисперсии?
Предложите процедуру для оценки медианы по выборочным значениям . Предположите, что — непрерывная св и что её ПРВ положительна в некоторой открытой окрестности медианы. Точность не требуется, но постарайтесь тщательно продумать этот вопрос.
То, что вы здесь увидели, не сформулировав это точно и не доказав, — это то, что для медианы также существует связанный с ней закон больших чисел, утверждающий, что выборочная медиана независимых одинаково распределённых выборок св с высокой вероятностью близка к истинной медиане.
Покажите, что для любых целых
Обобщите (а), показав, что для всех
Пусть и . Пусть — сумма независимых одинаково распределённых бинарных св с и . Покажите, что для всех
Для покажите, что
Теперь пусть фиксировано, а для фиксированного такого, что . Обоснуйте, что при
где означает, что .
Последовательность вещественных чисел имеет предел 0, если для всех существует такое, что для всех . Покажите, что последовательности в пунктах (а) и (б) ниже удовлетворяют условию , а последовательность в пункте (в) не имеет предела.
при для каждого положительного целого и в остальных случаях.
Покажите, что определение можно изменить (без изменения смысла), заменив на либо на для каждого положительного целого .
Представим MGF случайной величины в виде
В каждой из следующих частей можете считать либо дискретной, либо непрерывной — как вам удобнее.
Покажите, что первый интеграл всегда существует (т.е. конечен) при , а второй интеграл всегда существует при .
Покажите, что если второй интеграл существует при некотором , то он существует также и при всех из диапазона .
Покажите, что если первый интеграл существует при некотором , то он существует также и при всех из диапазона .
Покажите, что область значений , при которых существует , представляет собой интервал от некоторого до некоторого (интервал может включать или не включать каждую из границ, а величина любой из границ или обеих может равняться 0, или любой точке между ними).
Найдите пример, в котором , а MGF не существует при . Найдите ещё один пример, в котором , но MGF существует при .
Пусть — последовательность независимых, но не одинаково распределённых случайных величин. Будем говорить, что для этой последовательности выполняется закон больших чисел в слабой форме (ЗБЧ), если при всех
Покажите, что ЗБЧ выполняется, если существует такая константа , что при всех .
Предположим, что для некоторого , , и при всех . Покажите, что в этом случае ЗБЧ также выполняется.
Пусть — независимые одинаково распределённые бинарные случайные величины. Пусть , . Пусть . Пусть — произвольное, но фиксированное положительное целое число. Подумайте! Затем вычислите следующее и объясните свои ответы:
.
.
.
Говорят, что для последовательности с нулевым средним выполняется ЗБЧ, если
Говорят, что для выполняется ЦПТ, если при некотором и всех
где — нормальная функция распределения. Покажите, что если выполняется ЦПТ, то выполняется и ЗБЧ.
Примечание 1: если вы не любите рассуждения с , вам не понравится и это. Примечание 2: облегчить задачу, вероятно, поможет переформулировка утверждения ЗБЧ в следующем виде: для каждых существует такое , что при каждом
Покажите, что если независимы и одинаково распределены (н.о.р.), то усечённые версии также н.о.р.
Покажите, что каждая имеет конечное среднее и конечную дисперсию . Покажите, что дисперсия ограничена сверху вторым моментом относительно исходного среднего , т.е. покажите, что .
Предположим, что — это , усечённая до . Покажите, что и что . Используйте это, чтобы показать, что .
Пусть и покажите, что для любого
Используя тот факт, что и имеют одинаковую функцию распределения от до , вместе с , покажите, что для всех достаточно больших выполняется . Используйте это, чтобы показать, что
Используйте следующее равенство, чтобы обосновать применение метода усечения, а именно то, что и имеют одинаковое предельное поведение.
Пусть — н.о.р. случайные величины с нулевым средним и бесконечной дисперсией. Предположим, что для некоторого заданного , , и некоторого конечного . Пусть .
Покажите, что .
Пусть — усечённые случайные величины, определённые как
Покажите, что .
Пусть . Покажите, что .
Покажите, что
Оптимизируйте свою оценку по . Насколько быстро эта оптимизированная оценка стремится к 0 с ростом ?
Предположим, что — последовательность случайных величин, а — число, обладающее тем свойством, что .
Пусть произвольно, и покажите, что для каждого
Для указанного выше пусть произвольно. Покажите, что существует целое число такое, что для всех .
Покажите, что отсюда следует сходимость по вероятности.
Пусть — последовательность н.о.р. случайных величин, каждая со средним 0 и дисперсией . Пусть для всех , и рассмотрим случайную величину . Найдите предельную функцию распределения для этой последовательности случайных величин при . Смысл этого упражнения — ясно увидеть, что функция распределения величины сходится при росте , но что сама последовательность случайных величин не сходится ни в каком разумном смысле.
Проверьте, что , если и .
Покажите, что .
Рассмотрим дискретную случайную величину с ПМФ
Найдите среднее значение и дисперсию . Предполагая, что — это НОРС-последовательность с распределением и что для каждого , найдите среднее значение и дисперсию . (Пояснений не требуется.)
Пусть ; опишите словами событие . Найдите точное выражение для .
Найдите способ использовать оценку объединения, чтобы получить простую верхнюю оценку и приближение для .
Изобразите набросок ФРВ для при . Вы можете выбрать горизонтальную ось для своего наброска так, чтобы она шла от до , или от до , или от до , или от 0 до — в зависимости от того, что, по вашему мнению, лучше всего описывает эту ФРВ.
Теперь пусть . Приведите точное выражение для и покажите, что его можно приблизить величиной . Изобразите набросок ФРВ для при , используя горизонтальную ось, идущую от значения чуть ниже 0 до значения чуть больше .
Можете ли вы сделать качественное утверждение о том, как ФРВ случайной величины влияет на требуемый размер , прежде чем СЗБЧ и ЦПТ начнут давать сколько-нибудь заметное представление о .
Пусть — последовательность случайных величин, и предположим, что . Покажите, что сходится к 0 по вероятности.