Yanıtlar:
Varsayalım değerlerine sahiptir ayrık dağılımı , sayılabilir grubu, ve Y'nin değerleri kabul R yoğunluğu f Y ve CDF F Y .k ∈ K ( p k ) k ∈ K K
Let . Biz 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 ,
Düzenleme: "Sürekli", "bir pdf sahip" anlamına geliyor. Bunun yerine sürekli atomsuz anlamına gelirse, kanıt benzerdir; "Lebesgue null set" i aşağıdaki "singleton set" ile değiştirin.