5. Функция распределения и ее свойства
Рассмотрим вероятностное пространство
, образованное случайной величиной .Определение. Функцией распределения случайной величины
называется функция действительного переменного , определяющая вероятность того, что случайная величина примет в результате реализации эксперимента значение, меньшее некоторого фиксированного числа : (1)Там где понятно, о какой случайной величине
, или идет речь, вместо будем писать . Если рассматривать случайную величину как случайную точку на оси , то функция распределения с геометрической точки зрения это вероятность того, что случайная точка в результате реализации эксперимента попадет левее точки .Очевидно что функция
при любом удовлетворяет неравенству . Функция распределения случайной величины имеет следующие свойства:2) Функция распределения — неубывающая функция
, т.е. для любых и , таких что , имеет место неравенство .Доказательство. Пусть
и и . Событие, состоящее в том, что примет значение, меньшее, чем , представим в виде объединения двух несовместных событий и : .Тогда согласно аксиоме 3 Колмогорова,
или по формуле (1) , (2)откуда
, так как . Свойство доказано.Теорема. Для любых
и вероятность неравенства вычисляется по формуле (3)Доказательство. Справедливость формулы (3) следует из соотношения (2). Таким образом, вероятность попадания случайной величины
в полуинтервал равна разности значений функции распределения вычисленных на концах полуинтервала и .2)
; .Доказательство. Пусть
и — две монотонные числовые последовательности, причем , при . Событие состоит в том, что . Достоверное событие эквивалентно объединению событий : ; .Так как
, то по свойству вероятностей , т.е. .Принимая во внимание определение предела, получаем
;3) Функция
непрерывна слева в любой точке ,Доказательство. Пусть
— любая возрастающая последовательность чисел, сходящаяся к . Тогда можно записать:На основании аксиомы 3
Так как ряд справа состоит из положительных чисел и сходится к
, то остаток ряда, начиная с некоторого номера , будет меньше , (теорема об остатке ряда) .Используя формулу (3), выразим вероятности событий через функцию распределения. Получим
,откуда
или , а это означает, что .Из рассмотренных свойств следует, что каждая функция распределения
является 1) неубывающей, 2) непрерывной слева и 3) удовлетворяет условию и . И, обратно, каждая функция, обладающая свойствами 1), 2), 3), может рассматриваться как функция распределения некоторой случайной величины.Теорема. Вероятность того, что значение случайной величины больше действительного числа
, вычисляется по формуле .