Случайные величины и их распределения
Функция распределения
Описание распределения набором вероятностей не очень удобно: слишком много существует борелевских множеств. Мы описали дискретные распределения таблицей распределения, абсолютно непрерывные - плотностью распределения. Попробуем поискать какой-нибудь универсальный способ описать любое возможное распределение.
Можно поставить вопрос иначе: распределение есть набор вероятностей попадания в любые борелевские множества на прямой. Нельзя ли обойтись знанием вероятностей попадания в какой-нибудь меньший набор множеств на прямой? Борелевская -алгебра порождается интервалами (равно как и лучами ), поэтому можно ограничиться только вероятностями попадания в такие лучи для всех . А уже с их помощью можно будет определить и вероятность попасть в любое борелевское множество.
Замечание. Можно с таким же успехом ограничиться набором вероятностей попадания в интервалы , или в , или в .
Определение 27. Функцией распределения случайной величины называется функция , при каждом равная вероятности случайной величине принимать значения, меньшие :
Общие свойства функций распределения.
Теорема 21. Любая функция распределения обладает свойствами:
(F1) она не убывает: если , то
(F2) cуществуют пределы и
(F3) она в любой точке непрерывна слева
Доказательство свойства (F1) Для любых чисел событие влечет событие , т.е. . Но вероятность - монотонная функция событий, поэтому
Для доказательства остальных свойств нам понадобится свойство непрерывности вероятностной меры (теорема 7).
Доказательство свойства (F2). Заметим сначала, что существование пределов в свойствах (F2), (F3) вытекает из монотонности и ограниченности функции . Остается лишь доказать равенства , и . Для этого в каждом случае достаточно найти предел по какой-нибудь подпоследовательности , так как существование предела влечет совпадение всех частичных пределов.
Докажем, что при . Рассмотрим вложенную убывающую последовательность событий :
Пересечение всех этих событий состоит из тех и только тех , для которых меньше любого вещественного числа. Но для любого элементарного исхода значение вещественно, и не может быть меньше всех вещественных чисел. Иначе говоря, пересечение событий не содержит элементарных исходов, т.е. . По свойству непрерывности меры, при .Точно так же докажем остальные свойства.
Покажем, что при , т.е. . Обозначим через событие . События вложены:
а пересечение этих событий снова пусто: оно означает, что больше любого вещественного числа. По свойству непрерывности меры,Доказательство свойства (F3). Достаточно доказать, что при . Иначе говоря, доказать сходимость к нулю следующей разности:
Осталось обозначить событие через и снова воспользоваться свойством непрерывности меры.
Следующая теорема говорит о том, что три доказанных свойства полностью описывают класс функций распределения. То, что любая функция распределения ими обладает, мы с вами доказали, а теорема утверждает, что любая функция с такими свойствами есть функция распределения.
Теорема 22. Если функция удовлетворяет свойствам (F1)-(F3) , то есть функция распределения некоторой случайной величины , т.е. найдется вероятностное пространство и случайная величина на нем такая, что .
Помимо отмеченных в теореме 21, функции распределения обладают следующими свойствами:
Свойство 8. В любой точке разница равна . Иначе говоря, .
Это свойство получается аналогично свойствам (F2) и (F3)).
Разница между пределом при стремлении к справа и значением в точке есть величина скачка функции распределения. Эта величина равна нулю, если функция распределения непрерывна (справа) в точке . Слева функция распределения непрерывна всегда.
Замечание Очень часто функцией распределения называют . Эта функция отличается от определенной выше лишь тем, что она непрерывна справа, а не слева. И вероятность для нее равна величине скачка слева, а не справа.
Свойство 9. Для любой случайной величины
Если непрерывна в точках и , тоДоказательство. Разобьем событие в объединение несовместных событий: . По свойству аддитивности вероятности,
или , что и требовалось доказать.Функция распределения дискретного распределения.
Согласно определению дискретного распределения, его функция распределения может быть найдена по таблице распределения так:
Из свойств 8 и 9 вытекает следующее свойство.
Свойство 10. Случайная величина имеет дискретное распределение тогда и только тогда, когда функция распределения имеет в точках скачки с величиной , и растет только за счет скачков.