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

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

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

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

всех этих событий состоит из тех и только тех
, для которых
меньше любого вещественного
числа. Но для любого элементарного исхода
значение
вещественно, и не может быть меньше всех вещественных
чисел.
Иначе говоря, пересечение событий
не содержит элементарных
исходов, т.е.
.
По свойству непрерывности меры,
при
.Точно так же докажем остальные свойства.
Покажем, что
при
, т.е.
.
Обозначим через
событие
.
События
вложены:

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

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

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

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

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