Случайные величины и их распределения
Распределения случайных величин
Определение 22. Распределением случайной величины называется вероятностная мера на множестве борелевских подмножеств .
Можно представлять себе распределение случайной величины как соответствие между множествами и вероятностями .
Распределения случайных величин суть основные объекты изучения в теории вероятностей. Мы не будем, как правило, интересоваться тем, из какого множества действует функция и каким именно элементарным исходам сопоставляет свои возможные значения. Нас будет интересовать лишь, с какой вероятностью эти значения принимаются. Приведем несколько примеров совершенно разных случайных величин, имеющих одно и то же распределение (одинаково распределенных).
Пример 39. Один раз бросается правильная монета. Пространство состоит из двух элементарных исходов - герб и решка. В качестве -алгебры рассмотрим множество всех подмножеств , вероятность зададим как в классической схеме. Положим
, если , и , если
, если , и , если .
Очевидно, что для любого множества вероятности принадлежать для и для одинаковы. Тем не менее ни для одного элементарного исхода значения и не совпадают. Иными словами, и одинаково распределены, но не одинаковы как функции.
Пример 40. Точка наудачу бросается на отрезок . В этом случае есть отрезок с -алгеброй борелевских подмножеств и мерой Лебега в качестве вероятности. Читатель убедится, что две совершенно разные функции: и (расстояния до упавшей точки от левого и от правого концов отрезка соответственно) обладают одинаковыми вероятностями принимать значения внутри любых борелевских множеств . Вероятности эти равны мере Лебега пересечения множеств и . Эти случайные величины одинаково распределены, но не одинаковы: их значения совпадают лишь при одном элементарном исходе и .
Пример 41. На том же отрезке построим две функции: при всех при всех , кроме , а в точке положим .
Поскольку мера Лебега точки (она же - вероятность) равна нулю, распределения величин и одинаковы. Теперь и снова не совпадают как функции, но отличаются их значения лишь на множестве нулевой вероятности - только в точке . В этом случае говорят, что и совпадают "почти наверное": .
Опишем различные типы распределений случайных величин. Вся вероятностная масса может быть сосредоточена в нескольких точках прямой, а может быть "размазана" по некоторому интервалу или по всей прямой. В зависимости от типа множества, на котором сосредоточена вся единичная вероятностная масса, распределения делят на дискретные, абсолютно непрерывные, сингулярные и их смеси.
Определение 23. Случайная величина имеет дискретное распределение, если существует конечный или счетный набор чисел такой, что
Итак, случайная величина имеет дискретное распределение, если она принимает не более чем счетное число значений. Значения эти иначе называют атомами: имеет атом в точке , если .
Если случайная величина имеет дискретное распределение, то для любого
Дискретное распределение удобно задавать следующей таблицей, в которой :
Определение 24. Cлучайная величина имеет абсолютно непрерывное распределение, если существует неотрицательная функция такая, что для любого борелевского множества имеет место равенство: Функцию называют плотностью распределения величины .Замечание. Интеграл выше есть интеграл Лебега, а не Римана. Вполне достаточно, если читатель, не знакомый с интегралом Лебега, будет представлять его себе просто как площадь под графиком подынтегральной функции над множеством . При этом площадь над множеством , имеющим нулевую меру Лебега, равна нулю. Заметим, что любая функция, отличающаяся от функции лишь в конечном или счетном числе точек (или на множестве нулевой меры Лебега), будет являться плотностью того же распределения, так как интеграл не изменится от изменения подынтегральной функции на множестве меры нуль.
Теорема 19. Плотность распределения обладает свойствами:
(f1) для любого ;
(f2) .
Доказательство. Свойство (f1) выполнено по определению плотности, свойство (f2) также следует из определения 24. Действительно, если в качестве борелевского множества взять всю числовую прямую, получим:
Эти два свойства полностью характеризуют класс плотностей.