Show: $forall k in Bbb{Z}:P(X+Y=k)= sum_{lin Bbb{Z}}P(X=l)cdot P(Y=k-l)$Inequality with $|cdot|_p$...

Is there a problem with hiding "forgot password" until it's needed?

Have I saved too much for retirement so far?

Simulating a probability of 1 of 2^N with less than N random bits

Why are on-board computers allowed to change controls without notifying the pilots?

Can I Retrieve Email Addresses from BCC?

Taylor series of product of two functions

Is it okay / does it make sense for another player to join a running game of Munchkin?

Hostile work environment after whistle-blowing on coworker and our boss. What do I do?

Teaching indefinite integrals that require special-casing

I2C signal and power over long range (10meter cable)

Installing PowerShell on 32-bit Kali OS fails

Is a naturally all "male" species possible?

What to do when my ideas aren't chosen, when I strongly disagree with the chosen solution?

What will be the temperature on Earth when Sun finishes its main sequence?

Lifted its hind leg on or lifted its hind leg towards?

Did US corporations pay demonstrators in the German demonstrations against article 13?

Indicating multiple different modes of speech (fantasy language or telepathy)

What is the term when two people sing in harmony, but they aren't singing the same notes?

Stereotypical names

The most efficient algorithm to find all possible integer pairs which sum to a given integer

My boss asked me to take a one-day class, then signs it up as a day off

Why does this part of the Space Shuttle launch pad seem to be floating in air?

Golf game boilerplate

Should a half Jewish man be discouraged from marrying a Jewess?



Show: $forall k in Bbb{Z}:P(X+Y=k)= sum_{lin Bbb{Z}}P(X=l)cdot P(Y=k-l)$


Inequality with $|cdot|_p$ normdistribution of the indicator function of poissonCompute $Bbb E [(n-S_n)^+]$ where $S_n$ is a sum of i.i.d Poisson random variables.Show that the random variables $Y_1$ and $Y_2$ are independentConditional Probability of $k$ independent Poisson DistributionsCounterexample: $Bbb{E}[frac {X_1} {X_1+…+X_n}]nefrac{1}{n}$ if $X_1,…,X_n$ not independentShowing $P(S_m<m, forall 1leq mleq n | S_n)=max{0, 1-S_n/n}$Show that there exist $ b in (0, infty)$ such that $lim_{n to infty} exp(bn) cdot P((1/n)cdot sum_{i=1}^n X_i >a)=0$Expectation of $ | { j in Bbb N : sum_{i=1}^j alpha_i leq t } |$ , $alpha_i$ iid RV on $[0,infty)$Show that $X$, $Y$, and $Z$ are pairwise independent. Are they independent?













0












$begingroup$


Let $X,Y$ be independent random variables with values in $Bbb{Z}$
. Show:
$$forall k in Bbb{Z}:P(X+Y=k)= sum_{lin Bbb{Z}}P(X=l)cdot P(Y=k-l)$$



My attempt:



begin{aligned}
sum_{lin Bbb{Z}}P(X=l)cdot P(Y=k-l) &= sum_{lin Bbb{Z}}P(X=l cap Y=k-X) = sum_{lin Bbb{Z}}P(X=l cap Y+X=k)\[1em] &=P(Xin Z cap Y+X=k)=P(Y+X=k)
end{aligned}






probability measure-theory







share|cite|improve this question











$endgroup$












  • $begingroup$
    You need to take into account both $X$ and $Y$ have to be positive. In particular the upper limit on the sum has to be $k-1$.
    $endgroup$
    – herb steinberg
    Mar 14 at 21:27












  • $begingroup$
    @herbsteinberg sorry i dont understand. Where exactly is my mistake ?
    $endgroup$
    – asddf
    Mar 14 at 21:34










  • $begingroup$
    I wouldn't say it is a mistake. You just have to realize for $lge k$, $P(Y=k-l)=0$.
    $endgroup$
    – herb steinberg
    Mar 15 at 0:24


















0












$begingroup$


Let $X,Y$ be independent random variables with values in $Bbb{Z}$
. Show:
$$forall k in Bbb{Z}:P(X+Y=k)= sum_{lin Bbb{Z}}P(X=l)cdot P(Y=k-l)$$



My attempt:



begin{aligned}
sum_{lin Bbb{Z}}P(X=l)cdot P(Y=k-l) &= sum_{lin Bbb{Z}}P(X=l cap Y=k-X) = sum_{lin Bbb{Z}}P(X=l cap Y+X=k)\[1em] &=P(Xin Z cap Y+X=k)=P(Y+X=k)
end{aligned}






probability measure-theory







share|cite|improve this question











$endgroup$












  • $begingroup$
    You need to take into account both $X$ and $Y$ have to be positive. In particular the upper limit on the sum has to be $k-1$.
    $endgroup$
    – herb steinberg
    Mar 14 at 21:27












  • $begingroup$
    @herbsteinberg sorry i dont understand. Where exactly is my mistake ?
    $endgroup$
    – asddf
    Mar 14 at 21:34










  • $begingroup$
    I wouldn't say it is a mistake. You just have to realize for $lge k$, $P(Y=k-l)=0$.
    $endgroup$
    – herb steinberg
    Mar 15 at 0:24
















0












0








0





$begingroup$


Let $X,Y$ be independent random variables with values in $Bbb{Z}$
. Show:
$$forall k in Bbb{Z}:P(X+Y=k)= sum_{lin Bbb{Z}}P(X=l)cdot P(Y=k-l)$$



My attempt:



begin{aligned}
sum_{lin Bbb{Z}}P(X=l)cdot P(Y=k-l) &= sum_{lin Bbb{Z}}P(X=l cap Y=k-X) = sum_{lin Bbb{Z}}P(X=l cap Y+X=k)\[1em] &=P(Xin Z cap Y+X=k)=P(Y+X=k)
end{aligned}






probability measure-theory







share|cite|improve this question











$endgroup$




Let $X,Y$ be independent random variables with values in $Bbb{Z}$
. Show:
$$forall k in Bbb{Z}:P(X+Y=k)= sum_{lin Bbb{Z}}P(X=l)cdot P(Y=k-l)$$



My attempt:



begin{aligned}
sum_{lin Bbb{Z}}P(X=l)cdot P(Y=k-l) &= sum_{lin Bbb{Z}}P(X=l cap Y=k-X) = sum_{lin Bbb{Z}}P(X=l cap Y+X=k)\[1em] &=P(Xin Z cap Y+X=k)=P(Y+X=k)
end{aligned}






probability measure-theory




probability measure-theory






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Mar 14 at 21:42









MarianD

1,5891617




1,5891617










asked Mar 14 at 21:19









asddfasddf

820720




820720












  • $begingroup$
    You need to take into account both $X$ and $Y$ have to be positive. In particular the upper limit on the sum has to be $k-1$.
    $endgroup$
    – herb steinberg
    Mar 14 at 21:27












  • $begingroup$
    @herbsteinberg sorry i dont understand. Where exactly is my mistake ?
    $endgroup$
    – asddf
    Mar 14 at 21:34










  • $begingroup$
    I wouldn't say it is a mistake. You just have to realize for $lge k$, $P(Y=k-l)=0$.
    $endgroup$
    – herb steinberg
    Mar 15 at 0:24




















  • $begingroup$
    You need to take into account both $X$ and $Y$ have to be positive. In particular the upper limit on the sum has to be $k-1$.
    $endgroup$
    – herb steinberg
    Mar 14 at 21:27












  • $begingroup$
    @herbsteinberg sorry i dont understand. Where exactly is my mistake ?
    $endgroup$
    – asddf
    Mar 14 at 21:34










  • $begingroup$
    I wouldn't say it is a mistake. You just have to realize for $lge k$, $P(Y=k-l)=0$.
    $endgroup$
    – herb steinberg
    Mar 15 at 0:24


















$begingroup$
You need to take into account both $X$ and $Y$ have to be positive. In particular the upper limit on the sum has to be $k-1$.
$endgroup$
– herb steinberg
Mar 14 at 21:27






$begingroup$
You need to take into account both $X$ and $Y$ have to be positive. In particular the upper limit on the sum has to be $k-1$.
$endgroup$
– herb steinberg
Mar 14 at 21:27














$begingroup$
@herbsteinberg sorry i dont understand. Where exactly is my mistake ?
$endgroup$
– asddf
Mar 14 at 21:34




$begingroup$
@herbsteinberg sorry i dont understand. Where exactly is my mistake ?
$endgroup$
– asddf
Mar 14 at 21:34












$begingroup$
I wouldn't say it is a mistake. You just have to realize for $lge k$, $P(Y=k-l)=0$.
$endgroup$
– herb steinberg
Mar 15 at 0:24






$begingroup$
I wouldn't say it is a mistake. You just have to realize for $lge k$, $P(Y=k-l)=0$.
$endgroup$
– herb steinberg
Mar 15 at 0:24












1 Answer
1






active

oldest

votes


















0












$begingroup$

Let $(Omega,mathcal{F},P)$ be the underlying probability space.
Let $A={omegainOmegamid X(omega)+Y(omega)=k}$. For each $ninmathbb{Z}$,
let $B_{n}={omegainOmegamid X(omega)=n}$ and $C_{n}={omegainOmegamid Y(omega)=k-n}$.
It is routine to check that $A=bigcup_{ninmathbb{Z}}left(B_{n}cap C_{n}right)$.
Moreover, for any $m,ninmathbb{Z}$ with $mneq n$, $(B_{m}cap C_{m})bigcap(B_{n}cap C_{n})=emptyset$.
Therefore
begin{eqnarray*}
P(A) & = & sum_{ninmathbb{Z}}Pleft(B_{n}cap C_{n}right)\
& = & sum_{ninmathbb{Z}}P(B_{n})P(C_{n})\
& = & sum_{ninmathbb{Z}}Pleft(left[X=nright]right)Pleft(left[Y=k-nright]right).
end{eqnarray*}
Note that, the second equality follows from the fact that $X$ and
$Y$ are independent.






share|cite|improve this answer









$endgroup$













    Your Answer





    StackExchange.ifUsing("editor", function () {
    return StackExchange.using("mathjaxEditing", function () {
    StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
    StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
    });
    });
    }, "mathjax-editing");

    StackExchange.ready(function() {
    var channelOptions = {
    tags: "".split(" "),
    id: "69"
    };
    initTagRenderer("".split(" "), "".split(" "), channelOptions);

    StackExchange.using("externalEditor", function() {
    // Have to fire editor after snippets, if snippets enabled
    if (StackExchange.settings.snippets.snippetsEnabled) {
    StackExchange.using("snippets", function() {
    createEditor();
    });
    }
    else {
    createEditor();
    }
    });

    function createEditor() {
    StackExchange.prepareEditor({
    heartbeatType: 'answer',
    autoActivateHeartbeat: false,
    convertImagesToLinks: true,
    noModals: true,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    imageUploader: {
    brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
    contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
    allowUrls: true
    },
    noCode: true, onDemand: true,
    discardSelector: ".discard-answer"
    ,immediatelyShowMarkdownHelp:true
    });


    }
    });














    draft saved

    draft discarded


















    StackExchange.ready(
    function () {
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3148527%2fshow-forall-k-in-bbbzpxy-k-sum-l-in-bbbzpx-l-cdot-py-k-l%23new-answer', 'question_page');
    }
    );

    Post as a guest















    Required, but never shown

























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    0












    $begingroup$

    Let $(Omega,mathcal{F},P)$ be the underlying probability space.
    Let $A={omegainOmegamid X(omega)+Y(omega)=k}$. For each $ninmathbb{Z}$,
    let $B_{n}={omegainOmegamid X(omega)=n}$ and $C_{n}={omegainOmegamid Y(omega)=k-n}$.
    It is routine to check that $A=bigcup_{ninmathbb{Z}}left(B_{n}cap C_{n}right)$.
    Moreover, for any $m,ninmathbb{Z}$ with $mneq n$, $(B_{m}cap C_{m})bigcap(B_{n}cap C_{n})=emptyset$.
    Therefore
    begin{eqnarray*}
    P(A) & = & sum_{ninmathbb{Z}}Pleft(B_{n}cap C_{n}right)\
    & = & sum_{ninmathbb{Z}}P(B_{n})P(C_{n})\
    & = & sum_{ninmathbb{Z}}Pleft(left[X=nright]right)Pleft(left[Y=k-nright]right).
    end{eqnarray*}
    Note that, the second equality follows from the fact that $X$ and
    $Y$ are independent.






    share|cite|improve this answer









    $endgroup$


















      0












      $begingroup$

      Let $(Omega,mathcal{F},P)$ be the underlying probability space.
      Let $A={omegainOmegamid X(omega)+Y(omega)=k}$. For each $ninmathbb{Z}$,
      let $B_{n}={omegainOmegamid X(omega)=n}$ and $C_{n}={omegainOmegamid Y(omega)=k-n}$.
      It is routine to check that $A=bigcup_{ninmathbb{Z}}left(B_{n}cap C_{n}right)$.
      Moreover, for any $m,ninmathbb{Z}$ with $mneq n$, $(B_{m}cap C_{m})bigcap(B_{n}cap C_{n})=emptyset$.
      Therefore
      begin{eqnarray*}
      P(A) & = & sum_{ninmathbb{Z}}Pleft(B_{n}cap C_{n}right)\
      & = & sum_{ninmathbb{Z}}P(B_{n})P(C_{n})\
      & = & sum_{ninmathbb{Z}}Pleft(left[X=nright]right)Pleft(left[Y=k-nright]right).
      end{eqnarray*}
      Note that, the second equality follows from the fact that $X$ and
      $Y$ are independent.






      share|cite|improve this answer









      $endgroup$
















        0












        0








        0





        $begingroup$

        Let $(Omega,mathcal{F},P)$ be the underlying probability space.
        Let $A={omegainOmegamid X(omega)+Y(omega)=k}$. For each $ninmathbb{Z}$,
        let $B_{n}={omegainOmegamid X(omega)=n}$ and $C_{n}={omegainOmegamid Y(omega)=k-n}$.
        It is routine to check that $A=bigcup_{ninmathbb{Z}}left(B_{n}cap C_{n}right)$.
        Moreover, for any $m,ninmathbb{Z}$ with $mneq n$, $(B_{m}cap C_{m})bigcap(B_{n}cap C_{n})=emptyset$.
        Therefore
        begin{eqnarray*}
        P(A) & = & sum_{ninmathbb{Z}}Pleft(B_{n}cap C_{n}right)\
        & = & sum_{ninmathbb{Z}}P(B_{n})P(C_{n})\
        & = & sum_{ninmathbb{Z}}Pleft(left[X=nright]right)Pleft(left[Y=k-nright]right).
        end{eqnarray*}
        Note that, the second equality follows from the fact that $X$ and
        $Y$ are independent.






        share|cite|improve this answer









        $endgroup$



        Let $(Omega,mathcal{F},P)$ be the underlying probability space.
        Let $A={omegainOmegamid X(omega)+Y(omega)=k}$. For each $ninmathbb{Z}$,
        let $B_{n}={omegainOmegamid X(omega)=n}$ and $C_{n}={omegainOmegamid Y(omega)=k-n}$.
        It is routine to check that $A=bigcup_{ninmathbb{Z}}left(B_{n}cap C_{n}right)$.
        Moreover, for any $m,ninmathbb{Z}$ with $mneq n$, $(B_{m}cap C_{m})bigcap(B_{n}cap C_{n})=emptyset$.
        Therefore
        begin{eqnarray*}
        P(A) & = & sum_{ninmathbb{Z}}Pleft(B_{n}cap C_{n}right)\
        & = & sum_{ninmathbb{Z}}P(B_{n})P(C_{n})\
        & = & sum_{ninmathbb{Z}}Pleft(left[X=nright]right)Pleft(left[Y=k-nright]right).
        end{eqnarray*}
        Note that, the second equality follows from the fact that $X$ and
        $Y$ are independent.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Mar 14 at 21:31









        Danny Pak-Keung ChanDanny Pak-Keung Chan

        2,55938




        2,55938






























            draft saved

            draft discarded




















































            Thanks for contributing an answer to Mathematics Stack Exchange!


            • Please be sure to answer the question. Provide details and share your research!

            But avoid …



            • Asking for help, clarification, or responding to other answers.

            • Making statements based on opinion; back them up with references or personal experience.


            Use MathJax to format equations. MathJax reference.


            To learn more, see our tips on writing great answers.




            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3148527%2fshow-forall-k-in-bbbzpxy-k-sum-l-in-bbbzpx-l-cdot-py-k-l%23new-answer', 'question_page');
            }
            );

            Post as a guest















            Required, but never shown





















































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown

































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown







            -

            Popular posts from this blog

            Nidaros erkebispedøme

            Image
            For det lutherske bispedømet, sjå Nidaros bispedøme. Nidaros erkebispedøme var eit katolsk erkebispedøme med sete i Nidaros. Det vart oppretta av kong Olav Kyrre mellom 1070 og 1080 som bispedøme. Bispedømet vart opphøgd til erkebispedøme i 1153. Erkebispedømet vart innstifta av pave Anastasius IV i 1154, og var i funksjon fram til reformasjonen i 1537. Erkebiskopen sitt hovudsete var Erkebispegarden, rett ved domkyrkja Nidarosdomen. Frå 1152 til 1154 var Nicholas Breakspear i Skandinavia som paveleg utsending, og organiserte opprettinga av erkesetet. Innhaldsliste 1 Utbreiing og jurisdiksjon 2 Overhyrdar 2.1 Lydbiskopar 3 Biskopar 3.1 Biskopar 3.2 Erkebiskopar Utbreiing og jurisdiksjon | Kart over den nordiske kyrkjeprovinsen (1153-1387) Erkebispedømet omfatta i tillegg til Noreg øyane i vest i Noregsveldet. Nidaros var eit metropolitanerkebispedøme med fylgjande underliggjande bispedøme suffraganar: Bj...
            Read more

            Birsay

            Image
            Tettstaden Birsay på Orknøyane. Ruinane av jarleplasset om lag midt i biletet. (Fotografi frå 2012) Utsikt mot Birsay og Brough of Brisay (fotografi frå 2009) Birsay er ein tettstad i eit sokn (parish) med same namn, nordvest på øya Mainland [Note 1] på Orknøyane, om lag 31 km frå Kirkwall. Staden er omtala fleire stader i Orknøyingasoga [1] , der han er kalla «Byrgesherad» (norrønt: Birgisherað ). Namnet skriv seg truleg frå elvenamnet Birgisá [2] . Innhaldsliste 1 Den gamle hovudstaden 2 Bispesetet 3 Jarlepalasset 4 Kjelder og utfyllande opplysningar 4.1 Notar 4.2 Fotnotar 4.3 Bakgrunnsstoff Den gamle hovudstaden | Hovudartikkelen for dette emnet er Torfinn Sigurdsson . Soknet er i dag i hovudsak ei jordbrukskommune men er mest kjend for dei mange kulturminna i området. Tettstaden Birsay blir gjerne omtala som «den gamle hovudstaden på Orknøyane» [3] , og ein viser d...
            Read more

            Was Woodrow Wilson really a Liberal?Was World War I a war of liberals against authoritarians?Founding Fathers...

            Image
            Do VLANs within a subnet need to have their own subnet for router on a stick? What are the differences between the usage of 'it' and 'they'? Dragon forelimb placement How do we improve the relationship with a client software team that performs poorly and is becoming less collaborative? What typically incentivizes a professor to change jobs to a lower ranking university? How to write a macro that is braces sensitive? Modeling an IPv4 Address Writing rule stating superpower from different root cause is bad writing Can I ask the recruiters in my resume to put the reason why I am rejected? Approximately how much travel t...
            Read more