Многомерные распределения
Независимость случайных величин
Как всегда, предполагается заданным вероятностное пространство , на котором определены все рассматриваемые случайные величины.
Определение 31. Случайные величины называют независимыми (в совокупности), если для любого набора борелевских множеств имеет место равенство
Определение 32. Случайные величины называют попарно независимыми если независимы любые две из них.
Оба этих определения годятся не только для конечного набора случайных величин, но и для их бесконечной последовательности.
Замечание Независимость случайных величин в совокупности влечет попарную независимость. Достаточно в определении независимости в качестве "лишних" борелевских множеств взять .
Пример 44. Вспомним пример Бернштейна 32. Свяжем с событиями , и случайные величины , и - индикаторы этих событий. Например, , если произошло, и , если не произошло. Случайные величины , и независимы попарно (проверить), но зависимы в совокупности:
Попарная независимость случайных величин встречается редко. Поэтому всюду, где мы будем употреблять термин "независимы", будет подразумеваться независимость в совокупности.
Определение независимости можно сформулировать в терминах функций распределения.
Определение 33. Случайные величины независимы (в совокупности), если для любых имеет место равенство
Описать независимость случайных величин с дискретным распределением можно с помощью таблицы их совместного распределения.
Определение 34. Случайные величины с дискретным распределением независимы (в совокупности), если для любых чисел имеет место равенство
Упражнение. Доказать, что из независимости в смысле определения 31 следует независимость в смысле определения 33.
Упражнение. Доказать, что для случайных величин с дискретным распределением определения 31 и 34 эквивалентны.
Для случайных величин с абсолютно непрерывными распределениями справедливо утверждение.
Теорема 25. Случайные величины с абсолютно непрерывными распределениями независимы (в совокупности) тогда и только тогда, когда плотность их совместного распределения существует и равна произведению плотностей, т.е. для любых имеет место равенство: .
Замечание Плотность распределения определяется с точностью до ее значений на множестве нулевой лебеговой меры (распределение не меняется от изменения плотности на множестве нулевой меры). Поэтому равенство плотности совместного распределения и произведения плотностей можно понимать тоже как равенство "почти всюду".
Доказательство. Пусть случайные величины независимы, т.е. для любых
Но произведение функций распределения записывается произведением интегралов, или одним -мерным интегралом: Мы представили функцию совместного распределения в виде интеграла от плотности совместного распределения, которая оказалась равной произведению плотностей частных распределений.Пусть теперь известно, что плотность совместного распределения существует и распадается в произведение плотностей. В таком случае функция совместного распределения распадается в произведение функций распределения:
т.е. случайные величины независимы согласно определению 33.