Відповіді:
Нехай приймає значення K ∈ K з дискретним розподілом ( р K ) K ∈ K , де K є рахункове безліч, а Y приймає значення в R з щільністю ф Y і CDF F Y .
Нехай . Маємо 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 ,
Тепер нехай і припустимо p 0 = 0 . Тоді P ( R ≤ r ) = P ( X Y ≤ r ) = ∑ k ∈ K P ( Y ≤ r / X ) P ( X = k ) = ∑ k ∈ K F Y ( r / k ) p k ,
Однак якщо , то P ( X Y = 0 ) ≥ P ( X = 0 ) = p 0 > 0 , що показує, що в цьому випадку X Y має атом при 0.
Нехай - дискретна випадкова величина з функцією маси ймовірності p X : X → [ 0 , 1 ] , де X - дискретний набір (можливо, незліченно нескінченний). Випадкова величина X може розглядатися як безперервна випадкова величина з наступною функцією щільності ймовірності
де - дельта-функція Дірака.
Редагувати: Я припускаю, що "безперервний" означає "мати PDF." Якщо безперервний замість цього означає атомарний, доказ подібний; просто замініть "нульовий набір Lebesgue" на "одиночний набір" у наступному.