Loi conditionnelle et densité conditionnelle

Variables aléatoires discrètes

Supposons que Z = ( X ; Y ) Z=( X;Y ) soit un vecteur dans n × m setR ^n times setR ^m de variables aléatoires discrètes, prenant ses valeurs sur un ensemble fini ou dénombrable

D tel que : z D , P z ( { z } ) > 0 forall z in D , P_z( lbrace z rbrace ) > 0

Notons respectivement I et J, parties de n setR ^n et  m setR ^m les ensembles des atomes des lois P X P_X et  P Y P_Y , i.e.

x I : P X ( { x } ) > 0 forall x in I :P_X ( lbrace x rbrace ) > 0 x = ( x 1 , , x n ) x=( x_1 , dotsaxis ,x_n )

et y J : P Y ( { y } ) > 0 forall y in J :P_Y ( lbrace y rbrace ) > 0 y = ( y 1 , , y m ) y=( y_1 , dotsaxis , y_m )

Pour tout  x x dans I I , la mesure discrète définie sur  J J par :

P y ( X = x ) ( { y } ) = P ( Y = y / X = x ) = P ( Y = y X = x ) P ( X = x ) P_y ^(X=x)( lbrace y rbrace )=P (Y=y/ X=x)= {P (Y=y intersection X=x)} over {P(X=x)}

est une probabilité discrète sur m setR ^m de support J J .

Définition

Pour tout x x dans I I , la fonction P Y ( X = x ) P_Y ^ (X=x) définie sur  J J et à valeurs dans [ 0,1 ] [0,1] est appelée loi de probabilité de  Y Y conditionnelle à X = x X=x :

On peut, bien sûr, de manière symétrique définir la loi de probabilité de X X conditionnelle à Y = y Y=y

Variables aléatoires continues

Soit Z = ( X ; Y ) Z=( X;Y ) une variable aléatoire à valeurs dans n × m setR ^n times setR ^m de loi absolument continue et de densité f Z f_Z . On a vu que les v.a.r.  X X et  Y Y sont

également absolument continues et possèdent donc des densités  f X f_X et f Y f_Y   .

Posons

A = { x n : f X ( x ) > 0 } A= lbrace x in setR ^n :f_X(x) >0 rbrace

Ayant trivialement

P ( X n ) = P ( X A ) + P ( X A ¯ ) P( X in setR ^n )=P( X in A )+P( X in bar A )

et

P ( X A ¯ ) = A ¯ f X ( x 1 , , x n ) dx 1 , , dx n = 0 P( X in bar A )= int from{bar A} f^X( x_1 ,dotsaxis,x_n )dx_1 , dotsaxis ,dx_n=0

puisque la densité  f X f_X est identiquement nulle sur A ¯ bar A , on a

P ( X A ) = P ( X n ) = 1 P( X in A )=P( X in setR^n)=1

Ainsi, pour tout x x dans A ; donc pour P X P_X -presque-tout  x x dans n setR ^n , on peut considérer l'application

m + setR^m toward setR ^ +

y f Z ( x , y ) f X ( x ) y toward {f_Z(x,y)} over {f_X(x)}

Cette fonction est positive, mesurable et intégrale sur  m setR ^m telle que :

m f Z ( x , y ) f X ( x ) dy = 1 f X ( x ) m f Z ( x , y ) dy = 1 int from{setR^m}{{ f_Z(x,y)} over {f_X(x)} }dy= {1} over {f_X(x)} int from{setR^m} f_Z(x,y )dy=1

C'est donc une densité de probabilité sur ( m , β ( m ) ) ( setR ^{m} ,%beta _(setR ^{m}))

Définition

La fonction

f Y ( X = x ) : m + f_Y^( X=x ): setR^m rightarrow setR^+

y f Z ( x , y ) f X ( x ) y toward {f_Z(x,y)} over {f_X(x)}

est une densité de probabilité sur m setR ^m et est appelée densité conditionnelle de  Y Y sachant que X = x X=x : On note P Y ( X = x ) P_Y ^ (X=x) la loi de probabilité associée, appelée loi de Y Y sachant que X = x X=x :

Bien sûr, on définit de manière tout à fait similaire la loi de X X sachant que Y = y Y=y .

Il résulte de cette définition que, pour -presque-tout x x de n setR ^n , on a :

f Z ( x , y ) = f y ( X = x ) ( y ) f X ( x ) f_Z( x,y )=f_y^( X=x )( y )f_X( x )

Ainsi, si on connaît la densité marginale f X f_X et la densité conditionnelle f Y ( X = x ) f_Y^( X=x )

on a immédiatement l'expression de la densité conjointe f Z ( x , y ) f_Z( x,y ) .

Nous attirons l'attention du lecteur sur le fait que bien que l'on dise densité de Y Y   sachant que X = x X=x ou loi de Y Y sachant que X = x X=x , il ne s'agit pas d'une probabilité conditionnelle à l'événement { X = x } lbrace X=x rbrace car celui-ci est de probabilité nulle. Cela n'aurait pas de sens.

vecteurs aléatoires