Самое общее и абстрактное определение независимости делает это утверждение тривиальным, предоставляя важное квалифицирующее условие: две случайные переменные являются независимыми, что означает, что генерируемые ими сигма-алгебры являются независимыми. Поскольку сигма-алгебра, порожденная измеримой функцией сигма-алгебры, является подалгеброй, тем более любые измеримые функции этих случайных величин имеют независимые алгебры, откуда эти функции независимы.
(Когда функция не измерима, она обычно не создает новую случайную переменную, поэтому концепция независимости даже не применима.)
Давайте развернем определения, чтобы увидеть, насколько это просто. Напомним, что случайная величина является действительной функцией, определенной в «выборочном пространстве» (множество результатов, изучаемых с помощью вероятности).ΩИксΩ
Случайная переменная изучается с помощью вероятностей того, что ее значение лежит в различных интервалах действительных чисел (или, в более общем случае, множеств, построенных простыми способами вне интервалов: это измеримые по Борелю множества действительных чисел).Икс
В соответствии с любым Бореля измеримого множества является событие , состоящее из всех исходов , для которых лежит в .X ∗ ( I ) ω X ( ω ) Iя Икс*( Я)ωИкс( ω )я
Сигма-алгебра, порожденная , определяется совокупностью всех таких событий.Икс
Наивное определение говорит две случайные величины и являются независимыми « когда их вероятности размножаться.» То есть, когда - одно измеримое по Борелю множество, а - другое, тоY I JИксYяJ
Pr ( X( ω ) ∈ I и Y( ω ) ∈ J) = Pr ( X( ω ) ∈ I) Pr ( Y( ω ) ∈ J) .
Но на языке событий (и сигма-алгебр) это так же, как
Pr ( ω ∈ X*( Я) и ω ∈ Y*( J) ) = Pr ( ω ∈ X*(Я) ) Pr ( ω ∈ Y*(J) ) .
Теперь рассмотрим две функции и предположим, что и - случайные величины. (Круг является функциональной композицией: . Вот что означает для быть «функцией случайной величины».) Обратите внимание - это это просто элементарная теория множеств - это f ∘ X g ∘ Y ( f ∘ X ) ( ω ) = f ( X ( ω ) ) fе, г: R → Rе∘ Xг∘ Y( ф∘ X) ( ω ) = f( X( ω ) )е
( ф∘ X)*( Я) = X*( ф*( Я) ) .
Другими словами, каждое событие, генерируемое (которое слева), автоматически является событием, генерируемымXе∘ XИкс (как показано в форме правой части). Поэтому (5) автоматически выполняется для и : проверять нечего!g ∘ Yе∘ Xг∘ Y
NB. Вы можете заменить «действительные» везде на «значениями в », не изменяя что-либо еще каким-либо материальным способом. Это охватывает случай вектор-случайных переменных.рd
Рассмотрим это «менее продвинутое» доказательство:
Пусть , где - независимые случайные величины, а - измеримые функции. Тогда: Используя независимость и , X,Yf,gP{f(X)≤x и g(Y)≤у}Икс: ΩИкс→ RN, Y: ΩY→ Rм, ф: RN→ RК, г: Rм→ Rп Икс, Y е, г ХУР({Х∈{ш∈ R н :е(ш)≤х}}
Идея состоит в том, чтобы заметить, что множество поэтому свойства, которые действительны для распространяются на , и то же самое происходит на .X f ( X ) Y
источник
Да, и независимы для любых функций и до тех пор, пока и независимы. Это очень известные результаты, которые изучаются на курсах теории вероятностей. Я уверен, что вы можете найти его в любом стандартном тексте, как Биллингсли.h ( Y ) g h X Yг( X) ч ( Y) г час Икс Y
источник
Не как альтернатива, а как дополнение к предыдущим блестящим ответам, обратите внимание, что этот результат на самом деле очень интуитивен.
Обычно мы думаем, что и независимы, что означает, что знание значения дает информации о значении и наоборот. Эта интерпретация, очевидно, подразумевает, что вы не можете каким-то образом «выжать» информацию, применяя функцию (или любым другим способом на самом деле).Икс Y Икс Y
источник