Réponses:
Supposons que prend des valeurs avec une distribution discrète , où est un ensemble dénombrable, et prend des valeurs dans avec la densité et CDF .
Laissez . On a P ( Z ≤ z ) = P ( X + Y ≤ z ) = ∑ k ∈ K P ( Y ≤ z - X ∣ X = k ) P ( X = k ) = ∑ k ∈ K F Y ( z - k ) p k ,
Soit maintenant et supposons que p 0 = 0 . Alors P ( R ≤ r ) = P ( X Y ≤ r ) = ∑ k ∈ K P ( Y ≤ r / X ) P ( X = k ) = ∑ k ∈ K F Y ( r / k ) p k ,
Cependant si , alors P ( X Y = 0 ) ≥ P ( X = 0 ) = p 0 > 0 , ce qui montre que dans ce cas X Y a un atome à 0.
Edit: je suppose que "continu" signifie "avoir un pdf". Si continu est plutôt destiné à signifier sans atome, la preuve est similaire; remplacez simplement "Lebesgue null set" par "singleton set" dans ce qui suit.