Можно ли из

9

Ну, мы не можем, например, посмотреть https://en.wikipedia.org/wiki/Subindependence за интересным контрпримером. Но реальный вопрос заключается в следующем: есть ли какой-нибудь способ усилить условие, чтобы независимость следовала? Например, существует ли некоторый набор функций так что если E g i ( X ) g j ( Y ) = E g i ( X ) E g j ( Y ) для всех i , jg1,,gnEgi(X)gj(Y)=Egi(X)Egj(Y)i,jтогда независимость следует? И насколько большим должен быть такой набор функций, бесконечным?

И, кроме того, есть ли хорошая справка, которая рассматривает этот вопрос?

Къетил б Халворсен
источник
тебе повезло с этим? Я хотел бы видеть, есть ли конечный набор функций, который работает для любой пары RV, и особенно оправдание - кое-что кроме факторизации CDF
JDD
1
Я посмотрю! Я сомневаюсь, что вообще существует конечное множество, но любой набор, который является основой линейного набора функций, должен делать (так, например, если оба имеют значения в 0 , 1 , 2 , , n, то набор из n + 1 линейно независимых полиномов (или других) функций, которые должны делатьX,Y0,1,2,,nn+1
kjetil b halvorsen

Ответы:

3

Пусть - вероятностное пространство. По определению две случайные величины X , Y : Ω R независимы, если их σ- алгебры S X : = σ ( X ) и S Y : = σ ( Y ) независимы, т. Е. ∀ A S X , B S Y у нас есть P ( A (Ω,F,P)X,Y:ΩRσSX:=σ(X)SY:=σ(Y)ASX,BSY .P(AB)=P(A)P(B)

Пусть и возьмем G = { g a : a Q } (спасибо @grand_chat за указание на то, что Q достаточно). Тогда имеем E ( g a ( X ) g b ( Y ) ) = E ( I ( X a ) I ( Y b )ga(x)=I(xa)G={ga:aQ}Q и E ( g a ( X ) ) E ( g b ( Y ) ) = P ( X a ) P ( Y b ) .

E(ga(X)gb(Y))=E(I(Xa)I(Yb))=E(I(Xa,Yb))=P(XaYb)
E(ga(X))E(gb(Y))=P(Xa)P(Yb).

Если предположить, что P ( X a Y b ) = P ( X a ) P ( Y b ), то мы можем обратиться к теореме π - λ, чтобы показать, что P ( A B ) = P ( A ) P ( B )a,bQ

P(XaYb)=P(Xa)P(Yb)
πλ т.е. Х Y .
P(AB)=P(A)P(B)ASX,BSY
XY

Так что, если я не допустил ошибку, мы, по крайней мере, получили счетный набор таких функций, и это относится к любой паре случайных величин, определенных в общем вероятностном пространстве.

JLD
источник
2
XY
2
@whuber Я пытался ответить на вопрос о том, существует ли вообще такой набор функций. Я согласен, что более интересным аспектом является поиск минимального такого набора (над которым я все еще работаю)
JDD
3
Ga
@ Grand_chat замечательный момент, я обновил
JDD