Bon en fait y a que très peu de cas, car
*P(W=1)=P(X>0)=P(X<0)=(1-q)/2
*P(W=-1)=P(X<0)=(1-q)/2
*P(W=0)=P(X=0)= q.
De plus, P(|x|=k) = 2P(X=k) si k > 0, q si k=0 , 0 si k < 0.
Comparons avec la proba des différentes intersections possibles:
Si k 0, P(|X|=k et W=1) = P(|X|=k et W=-1) = P(|X|=k et W=0) = 0 et c'est toujours égal au produit des deux probas.
Si k > 0,
* P(|X|=k et W=1) = P(X=k) ; on compare à P(|X|=k)P(W=1) = 2P(X=k)(1-q)/2 = P(X=k)(1-q)
Donc il est nécessaire que q=0 ou que pour tout k > 0, P(X=k) = 0 (ce qui équivaut à dire que soit P(X=0) = 0, soit, par symétrie de X, que tous les P(X=k) avec k non nul sont nuls).
* P(|X|=k et W=-1) = P(X=-k) = P(X=k) ; on compare à P(|X|=k)P(W=-1) = P(X=k)(1-q)
et on retombe sur le même cas qu'avant.
* P(|X|=k et W=0) = 0 ; on compare avec P(|X|=k)P(W=0) = 2qP(X=k).
Là encore, ces deux résultats sont égaux ssi q=0 ou si pour tout k non nul, P(X=k)=0.
Remarquons que ces deux conditions sont exclusives l'une de l'autre puisqu'il faut que la somme des P(X=k) lorsque k décrit Z soit égale à 1.
La réciproque est évidente.
Conclusion : |X| et W sont indépendantes ssi P(X=0) = 0 ou pour tout k non nul, P(X=k) = 0.