Случайные величины и их распределения
Функция распределения
Описание распределения набором вероятностей не
очень удобно: слишком много
существует борелевских множеств. Мы описали дискретные распределения таблицей
распределения, абсолютно непрерывные - плотностью распределения.
Попробуем поискать какой-нибудь универсальный
способ описать любое возможное распределение.
Можно поставить вопрос иначе: распределение есть набор вероятностей
попадания в любые борелевские множества на прямой.
Нельзя ли обойтись знанием вероятностей попадания в какой-нибудь
меньший набор множеств на прямой? Борелевская -алгебра
порождается интервалами (равно как и лучами
),
поэтому можно ограничиться
только вероятностями попадания в такие лучи для всех
.
А уже с их помощью можно будет определить и вероятность попасть в любое
борелевское множество.
Замечание.
Можно с таким же успехом ограничиться набором вероятностей попадания
в интервалы , или в
, или
в
.
Определение 27.
Функцией распределения
случайной величины называется функция
, при каждом
равная
вероятности
случайной величине
принимать значения, меньшие
:

Общие свойства функций распределения.
Теорема 21. Любая функция распределения обладает свойствами:
(F1)
она не убывает:
если , то
(F2) cуществуют пределы и
(F3) она в любой точке непрерывна слева

Доказательство свойства (F1)
Для любых чисел событие
влечет
событие
, т.е.
.
Но вероятность - монотонная функция событий, поэтому

Для доказательства остальных свойств нам понадобится свойство непрерывности вероятностной меры (теорема 7).
Доказательство свойства (F2).
Заметим сначала, что существование пределов в свойствах (F2), (F3) вытекает из
монотонности
и ограниченности функции . Остается лишь доказать
равенства
,
и
.
Для этого в каждом случае достаточно найти предел по какой-нибудь
подпоследовательности
, так как существование предела
влечет совпадение всех частичных пределов.
Докажем, что при
.
Рассмотрим вложенную убывающую последовательность событий
:










Точно так же докажем остальные свойства.
Покажем, что при
, т.е.
.
Обозначим через
событие
.
События
вложены:




Доказательство свойства (F3).
Достаточно доказать, что при
.
Иначе говоря, доказать сходимость к нулю следующей разности:

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





Доказательство.
Разобьем событие в объединение несовместных событий:
.
По свойству аддитивности вероятности,


Функция распределения дискретного распределения.
Согласно определению дискретного распределения, его функция распределения может быть найдена по таблице распределения так:

Из свойств 8 и 9 вытекает следующее свойство.
Свойство 10.
Случайная величина имеет дискретное распределение тогда
и только тогда, когда функция распределения
имеет
в точках
скачки с величиной
,
и растет только за счет скачков.