Случайные величины и их распределения
Случайные величины
Мы уже видели, что для многих экспериментов нет никаких различий в подсчете вероятностей событий, тогда как элементарные исходы в этих экспериментах очень различаются. Но нас и должны интересовать именно вероятности событий, а не структура пространства элементарных исходов. Поэтому пора во всех таких "похожих" экспериментах вместо самых разных исходов использовать, например, числа. Иначе говоря, каждому элементарному исходу поставить в соответствие некоторое вещественное число, и работать только с числами.
Пусть задано вероятностное пространство .
Определение 20.
Функция называется случайной
величиной если для любого борелевского множества
множество
является событием, т.е. принадлежит
-алгебре
.
Множество ,
состоящее из тех элементарных исходов
,
для которых
принадлежит
, называется
полным
прообразом множества
.
Замечание.
Вообще, пусть функция действует из множества
в множество
, и заданы
-алгебры
и
подмножеств
и
соответственно. Функция
называется измеримой,
если для любого множества
его полный прообраз
принадлежит
.
Попробуем понять, зачем случайной величине нужна измеримость.
Если задана случайная величина , нам может потребоваться
вычислить
вероятности вида
,
,
,
и вообще самые разные
вероятности попадания в борелевские множества на прямой.
Это возможно лишь если множества, стоящие под знаком вероятности,
являются событиями - ведь
вероятность есть функция, определенная только на
-алгебре
событий.
Требование измеримости равносильно тому, что для любого борелевского множества
определена вероятность
.
Можно потребовать в определении 20 чего-нибудь другого.
Например, чтобы событием было попадание в любой интервал: ,
или в любой полуинтервал:
.
Определение 21.
Функция называется случайной величиной,
если для любых вещественных
множество
принадлежит
-алгебре
.
Доказательство. Докажем эквивалентность определений 20 и 21.
Если - случайная величина в смысле определения 20, то
она будет случайной величиной и в смысле определения 21,
поскольку любой интервал
является борелевским множеством.
Докажем, что верно и обратное.
Пусть для любого интервала выполнено
.
Мы должны доказать, что то же самое верно
для любых борелевских множеств. Соберем в множестве
все
такие подмножества
вещественной прямой, что их прообразы
являются
событиями. По определению,
тогда и только тогда,
когда множество
принадлежит
.
Множество уже содержит все интервалы
.
Покажем, что множество
является
-алгеброй.
- Убедимся, что
. Но
и, следовательно,
.
- Убедимся, что
для любого
. Пусть
. Тогда
, так как
-
-алгебра.
- Убедимся, что
для любых
. Пусть
для всех
. Но
-
-алгебра, поэтому
Мы доказали, что -
-алгебра и
содержит все интервалы
на прямой. Но
- наименьшая из
-алгебр,
содержащих все интервалы на прямой. Следовательно,
.
Приведем примеры измеримых и неизмеримых функций.
Пример 37.
Подбрасываем кубик. Пусть
и две функции
из
в
заданы так:
,
.
Пока не задана -алгебра
,
нельзя говорить
об измеримости. Функция, измеримая относительно какой-то
-алгебры
,
может не быть таковой для другой
.
- Если
есть множество всех подмножеств
, то
и
являются случайными величинами, поскольку любое множество элементарных исходов принадлежит
, в том числе и
или
. Можно записать соответствие между значениями случайных величин
и
и вероятностями принимать эти значения в виде таблицы распределения вероятностей или, короче, таблицы распределения:
Здесь.
- Пусть
-алгебра событий
состоит из четырех множеств:
т.е. событием является, кроме достоверного и невозможного событий, выпадение четного или нечетного числа очков. Убедимся, что при такой сравнительно бедной( 6.1) -алгебре ни
, ни
, не являются случайными величинами. Возьмем, скажем,
. Видим, что
и
.
Пример 38.
Пусть ,
- сигма-алгебра борелевских
подмножеств отрезка
,
-
геометрическая вероятность на
и
- неизмеримое множество Витали, построенное нами
в примере 21.
Функция





Познакомимся с важным понятием - "распределение" случайной величины и опишем различные типы распределений случайных величин.