Случайные величины и их распределения
Теорема 20. Если функция обладает свойствами (f1) и (f2), то существует вероятностное пространство и случайная величина на нем, для которой является плотностью распределения.
Доказательство. Пусть - область, заключенная между осью абсцисс и графиком функции . Площадь области равна единице по свойству (f2). Возьмем в качестве множество борелевских подмножеств , а в качестве вероятности - меру Лебега (площадь) на множествах из . И пусть случайная величина - абсцисса точки, наудачу брошенной в эту область. Тогда для любого выполнено
( 6.2) |
Здесь область есть криволинейная трапеция с основанием под графиком плотности ( рис. 6.1). По определению, равенство (6.2) означает, что функция является плотностью распределения величины .
Отметим полезное свойство абсолютно непрерывных распределений.
Свойство 7. Если случайная величина имеет абсолютно непрерывное распределение, то для любого .
Доказательство сразу следует из определения 24 и следующего за ним замечания: интеграл по области интегрирования, состоящей из одной точки, равен нулю.
Можно выделить еще один особый класс распределений, сосредоточенных, в отличие от абсолютно непрерывных распределений, на множестве нулевой меры Лебега, но не имеющих, в отличие от дискретных, атома ни в одной точке этого множества.
Определение 25. Случайная величина имеет сингулярное распределение, если существует борелевское множество с нулевой лебеговой мерой такое, что , но при этом для любой точки .
Можно отметить следующее свойство сингулярных распределений. Множество , на котором сосредоточено все распределение, не может состоять из конечного или счетного числа точек. Действительно, если конечно или счетно, то , где суммирование ведется по всем . Последняя сумма равна нулю как сумма счетного числа нулей, что противоречит предположению .
Таким образом, любое сингулярное распределение сосредоточено на несчетном множестве с нулевой мерой Лебега. Примером такого множества может служить канторовское совершенное множество, а примером такого распределения - лестница Кантора (см. ниже).
Наконец, распределение может быть выпуклой линейной комбинацией дискретного, абсолютно непрерывного и сингулярного распределений.
Определение 26. Случайная величина имеет смешанное распределение, если найдутся такие случайные величины , и - с дискретным, абсолютно непрерывным и сингулярным распределениями соответственно (или такие три распределения), и числа , , что для любого имеет место равенство
По заданным на одном вероятностном пространстве случайным величинам , , и числам можно построить случайную величину со смешанным распределением так: пусть - случайная величина на том же вероятностном пространстве с дискретным распределением для , и пусть при любом и любом события и независимы.
Построим случайную величину так: если , то положим . Ее распределение найдем по формуле полной вероятности:
В силу независимости событий под знаком каждой из вероятностей, Никаких других видов распределений, кроме перечисленных выше, не существует ( доказано Лебегом ).