Peut-on conclure de que sont indépendants?

9

Eh bien, nous ne pouvons pas, voir par exemple https://en.wikipedia.org/wiki/Subindependence pour un contre-exemple intéressant. Mais la vraie question est: existe-t-il un moyen de renforcer la condition pour que l'indépendance suive? Par exemple, existe-t-il un ensemble de fonctions sorte que si pour tout alors l'indépendance suit? Et, quelle taille doit avoir un tel ensemble de fonctions, infini?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

Et, en plus, y a-t-il une bonne référence qui traite cette question?

kjetil b halvorsen
la source
avez-vous eu de la chance avec ça? Je serais ravi de voir s'il existe un ensemble fini de fonctions qui fonctionne pour n'importe quelle paire de véhicules récréatifs, et surtout la justification est autre chose que la factorisation CDF
juillet 2017
1
Je vais y jeter un œil! Je doute qu'il existe en général un ensemble fini, mais tout ensemble qui est la base d'un ensemble linéaire de fonctions devrait le faire (ainsi, par exemple, si ont tous deux des valeurs de alors un un ensemble de polynômes linéairement indépendantes (ou autres) devrait faire l' 0 , 1 , 2 , , n n + 1X,Y0,1,2,,nn+1
affaire

Réponses:

3

Soit un espace de probabilité. Par définition, deux variables aléatoires sont indépendantes si leurs -algèbres et sont indépendantes, c'est-à-dire nous avons .X , Y : Ω R σ S X : = σ ( X ) S Y : = σ ( Y ) A S X , B S Y P ( A B ) = P ( A ) P ( B )(Ω,F,P)X,Y:ΩRσSX:=σ(X)SOui: =σ(Oui)UNESX,BSOuiP(UNEB)=P(UNE)P(B)

Soit et prenons (merci à @grand_chat d'avoir souligné que suffit). On a alors et G = { g a : a Q } Q E ( g a ( X ) g b ( Y ) ) = E ( I ( X a ) I ( Y b ) ) = E ( I ( X a ,gune(X)=je(Xune)g={gune:uneQ}Q

E(gune(X)gb(Oui))=E(je(Xune)je(Ouib))=E(je(Xune,Ouib))=P(XuneOuib)
E(gune(X))E(gb(Oui))=P(Xune)P(Ouib).

Si nous supposons que alors nous pouvons faire appel au théorème à démontrer que ie . P ( X a Y b ) = P ( X a ) P ( Y b ) π - λ P ( A B ) = P ( A ) P ( B )une,bQ

P(XuneOuib)=P(Xune)P(Ouib)
π-λ X Y
P(UNEB)=P(UNE)P(B)UNESX,BSOui
XOui

Donc, sauf erreur, nous avons au moins une collection dénombrable de ces fonctions et cela s'applique à toute paire de variables aléatoires définies sur un espace de probabilité commun.

jld
la source
2
Qu'avez-vous montré, en fait? Bien que vous ayez défini un nombre incalculable de fonctions, où avez-vous démontré qu'elles sont toutes nécessaires? Il est difficile d'imaginer qu'une telle quantité de fonctions serait nécessaire lorsque et ont chacun des ensembles finis de valeurs possibles, par exemple. YXOui
whuber
2
@whuber, j'essayais de répondre à la question de savoir s'il existe ou non une telle collection de fonctions. Je suis d'accord que l'aspect le plus intéressant est de trouver un tel ensemble minimal (sur lequel je travaille toujours)
juillet
3
Vous pouvez réduire à un ensemble dénombrable en considérant simplement rationnelle . agune
grand_chat
@grand_chat grand point, j'ai mis à jour
jld