Prove $operatorname{Var}(X+Y) le 2operatorname{Var}(X) + 2operatorname{Var}(Y)$ where $X$ and $Y$ are not...












1














I know how to show that $operatorname{Var}(X+Y) = operatorname{Var}(X) + operatorname{Var}(Y) + 2operatorname{Cov}(X,Y)$



I was also given the hint that I should use the triangle inequality to get



$|operatorname{Var}(X) + operatorname{Var}(Y) + 2operatorname{Cov}(X,Y)| le |operatorname{Var}(x)| + |operatorname{Var}(Y)| + |2operatorname{Cov}(X,Y)|$



Honestly, I have no idea where to go from here.










share|cite|improve this question





























    1














    I know how to show that $operatorname{Var}(X+Y) = operatorname{Var}(X) + operatorname{Var}(Y) + 2operatorname{Cov}(X,Y)$



    I was also given the hint that I should use the triangle inequality to get



    $|operatorname{Var}(X) + operatorname{Var}(Y) + 2operatorname{Cov}(X,Y)| le |operatorname{Var}(x)| + |operatorname{Var}(Y)| + |2operatorname{Cov}(X,Y)|$



    Honestly, I have no idea where to go from here.










    share|cite|improve this question



























      1












      1








      1







      I know how to show that $operatorname{Var}(X+Y) = operatorname{Var}(X) + operatorname{Var}(Y) + 2operatorname{Cov}(X,Y)$



      I was also given the hint that I should use the triangle inequality to get



      $|operatorname{Var}(X) + operatorname{Var}(Y) + 2operatorname{Cov}(X,Y)| le |operatorname{Var}(x)| + |operatorname{Var}(Y)| + |2operatorname{Cov}(X,Y)|$



      Honestly, I have no idea where to go from here.










      share|cite|improve this question















      I know how to show that $operatorname{Var}(X+Y) = operatorname{Var}(X) + operatorname{Var}(Y) + 2operatorname{Cov}(X,Y)$



      I was also given the hint that I should use the triangle inequality to get



      $|operatorname{Var}(X) + operatorname{Var}(Y) + 2operatorname{Cov}(X,Y)| le |operatorname{Var}(x)| + |operatorname{Var}(Y)| + |2operatorname{Cov}(X,Y)|$



      Honestly, I have no idea where to go from here.







      statistics covariance variance






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Oct 11 at 21:38









      Bernard

      118k638111




      118k638111










      asked Oct 11 at 21:32









      mattfdz

      61




      61






















          5 Answers
          5






          active

          oldest

          votes


















          0














          The difference is
          $$2E((X-mu_X)^2)+2E((Y-mu_Y)^2)-E((X+Y-mu_X-mu_Y)^2)
          =2E(X'^2)+2E(Y'^2)-E((X'+Y')^2)$$

          where $X'=X-mu_X$, $Y'=Y-mu_Y$. Can you simplify that to something conveniently positive?






          share|cite|improve this answer





























            0














            The key is to show that $|2 operatorname{Cov}(X,Y)| leq operatorname{Var}(X) + operatorname{Var}(Y)$.



            Here's a hint towards that: Write $hat{X} = X - mu_X$ and $hat{Y} = Y - mu_Y$. Then note that $$E[(hat{X} - hat{Y})^2] geq 0,.$$



            What happens if you expand the expectation?






            share|cite|improve this answer































              0














              Let $X'=X-EX,Y'=Y-EY$. Then the inequality to be proved is $E(X'+Y')^{2} leq 2EX'^{2}+2EY'^{2}$ whic follows from the fact that $(a+b)^{2} leq 2a^{2} +2b^{2}$ for any two real numbers $a$ and $b$.






              share|cite|improve this answer





























                0














                Start as you did with:
                $$
                Var(X + Y) = Var(X) + Var(Y) + 2Cov(X, Y).
                $$

                The Cauchy–Schwarz inequality then gives us:
                $$
                2Cov(X, Y) leq 2[Var(X)]^{1/2}[Var(Y)]^{1/2}.
                $$

                Finally, Young's inequality for products gives us:
                $$
                2[Var(X)]^{1/2}[Var(Y)]^{1/2} leq Var(X) + Var(Y),
                $$

                so we get, as desired:
                $$
                Var(X + Y) leq 2Var(X) + 2Var(Y).
                $$






                share|cite|improve this answer





























                  0














                  If you know how to show
                  $$operatorname{Var}(X+Y) = operatorname{Var}(X) + operatorname{Var}(Y) + 2operatorname{Cov}(X,Y)tag1$$
                  then you can show
                  $$
                  operatorname{Var}(X-Y) = operatorname{Var}(X) + operatorname{Var}(Y) - 2operatorname{Cov}(X,Y).tag2
                  $$

                  Now add equations (1) and (2) to get
                  $$
                  operatorname{Var}(X+Y)+operatorname{Var}(X-Y) = 2operatorname{Var}(X) + 2operatorname{Var}(Y).
                  $$

                  Finally the fact that variance of anything is non-negative implies that
                  $$
                  operatorname{Var}(X+Y)le operatorname{Var}(X+Y)+operatorname{Var}(X-Y).
                  $$






                  share|cite|improve this answer





















                    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%2f2951929%2fprove-operatornamevarxy-le-2-operatornamevarx-2-operatornamevar%23new-answer', 'question_page');
                    }
                    );

                    Post as a guest















                    Required, but never shown

























                    5 Answers
                    5






                    active

                    oldest

                    votes








                    5 Answers
                    5






                    active

                    oldest

                    votes









                    active

                    oldest

                    votes






                    active

                    oldest

                    votes









                    0














                    The difference is
                    $$2E((X-mu_X)^2)+2E((Y-mu_Y)^2)-E((X+Y-mu_X-mu_Y)^2)
                    =2E(X'^2)+2E(Y'^2)-E((X'+Y')^2)$$

                    where $X'=X-mu_X$, $Y'=Y-mu_Y$. Can you simplify that to something conveniently positive?






                    share|cite|improve this answer


























                      0














                      The difference is
                      $$2E((X-mu_X)^2)+2E((Y-mu_Y)^2)-E((X+Y-mu_X-mu_Y)^2)
                      =2E(X'^2)+2E(Y'^2)-E((X'+Y')^2)$$

                      where $X'=X-mu_X$, $Y'=Y-mu_Y$. Can you simplify that to something conveniently positive?






                      share|cite|improve this answer
























                        0












                        0








                        0






                        The difference is
                        $$2E((X-mu_X)^2)+2E((Y-mu_Y)^2)-E((X+Y-mu_X-mu_Y)^2)
                        =2E(X'^2)+2E(Y'^2)-E((X'+Y')^2)$$

                        where $X'=X-mu_X$, $Y'=Y-mu_Y$. Can you simplify that to something conveniently positive?






                        share|cite|improve this answer












                        The difference is
                        $$2E((X-mu_X)^2)+2E((Y-mu_Y)^2)-E((X+Y-mu_X-mu_Y)^2)
                        =2E(X'^2)+2E(Y'^2)-E((X'+Y')^2)$$

                        where $X'=X-mu_X$, $Y'=Y-mu_Y$. Can you simplify that to something conveniently positive?







                        share|cite|improve this answer












                        share|cite|improve this answer



                        share|cite|improve this answer










                        answered Oct 11 at 21:36









                        Lord Shark the Unknown

                        100k958131




                        100k958131























                            0














                            The key is to show that $|2 operatorname{Cov}(X,Y)| leq operatorname{Var}(X) + operatorname{Var}(Y)$.



                            Here's a hint towards that: Write $hat{X} = X - mu_X$ and $hat{Y} = Y - mu_Y$. Then note that $$E[(hat{X} - hat{Y})^2] geq 0,.$$



                            What happens if you expand the expectation?






                            share|cite|improve this answer




























                              0














                              The key is to show that $|2 operatorname{Cov}(X,Y)| leq operatorname{Var}(X) + operatorname{Var}(Y)$.



                              Here's a hint towards that: Write $hat{X} = X - mu_X$ and $hat{Y} = Y - mu_Y$. Then note that $$E[(hat{X} - hat{Y})^2] geq 0,.$$



                              What happens if you expand the expectation?






                              share|cite|improve this answer


























                                0












                                0








                                0






                                The key is to show that $|2 operatorname{Cov}(X,Y)| leq operatorname{Var}(X) + operatorname{Var}(Y)$.



                                Here's a hint towards that: Write $hat{X} = X - mu_X$ and $hat{Y} = Y - mu_Y$. Then note that $$E[(hat{X} - hat{Y})^2] geq 0,.$$



                                What happens if you expand the expectation?






                                share|cite|improve this answer














                                The key is to show that $|2 operatorname{Cov}(X,Y)| leq operatorname{Var}(X) + operatorname{Var}(Y)$.



                                Here's a hint towards that: Write $hat{X} = X - mu_X$ and $hat{Y} = Y - mu_Y$. Then note that $$E[(hat{X} - hat{Y})^2] geq 0,.$$



                                What happens if you expand the expectation?







                                share|cite|improve this answer














                                share|cite|improve this answer



                                share|cite|improve this answer








                                edited Oct 11 at 21:39









                                Bernard

                                118k638111




                                118k638111










                                answered Oct 11 at 21:38









                                Marcus M

                                8,7381947




                                8,7381947























                                    0














                                    Let $X'=X-EX,Y'=Y-EY$. Then the inequality to be proved is $E(X'+Y')^{2} leq 2EX'^{2}+2EY'^{2}$ whic follows from the fact that $(a+b)^{2} leq 2a^{2} +2b^{2}$ for any two real numbers $a$ and $b$.






                                    share|cite|improve this answer


























                                      0














                                      Let $X'=X-EX,Y'=Y-EY$. Then the inequality to be proved is $E(X'+Y')^{2} leq 2EX'^{2}+2EY'^{2}$ whic follows from the fact that $(a+b)^{2} leq 2a^{2} +2b^{2}$ for any two real numbers $a$ and $b$.






                                      share|cite|improve this answer
























                                        0












                                        0








                                        0






                                        Let $X'=X-EX,Y'=Y-EY$. Then the inequality to be proved is $E(X'+Y')^{2} leq 2EX'^{2}+2EY'^{2}$ whic follows from the fact that $(a+b)^{2} leq 2a^{2} +2b^{2}$ for any two real numbers $a$ and $b$.






                                        share|cite|improve this answer












                                        Let $X'=X-EX,Y'=Y-EY$. Then the inequality to be proved is $E(X'+Y')^{2} leq 2EX'^{2}+2EY'^{2}$ whic follows from the fact that $(a+b)^{2} leq 2a^{2} +2b^{2}$ for any two real numbers $a$ and $b$.







                                        share|cite|improve this answer












                                        share|cite|improve this answer



                                        share|cite|improve this answer










                                        answered Oct 11 at 23:45









                                        Kavi Rama Murthy

                                        48.9k31854




                                        48.9k31854























                                            0














                                            Start as you did with:
                                            $$
                                            Var(X + Y) = Var(X) + Var(Y) + 2Cov(X, Y).
                                            $$

                                            The Cauchy–Schwarz inequality then gives us:
                                            $$
                                            2Cov(X, Y) leq 2[Var(X)]^{1/2}[Var(Y)]^{1/2}.
                                            $$

                                            Finally, Young's inequality for products gives us:
                                            $$
                                            2[Var(X)]^{1/2}[Var(Y)]^{1/2} leq Var(X) + Var(Y),
                                            $$

                                            so we get, as desired:
                                            $$
                                            Var(X + Y) leq 2Var(X) + 2Var(Y).
                                            $$






                                            share|cite|improve this answer


























                                              0














                                              Start as you did with:
                                              $$
                                              Var(X + Y) = Var(X) + Var(Y) + 2Cov(X, Y).
                                              $$

                                              The Cauchy–Schwarz inequality then gives us:
                                              $$
                                              2Cov(X, Y) leq 2[Var(X)]^{1/2}[Var(Y)]^{1/2}.
                                              $$

                                              Finally, Young's inequality for products gives us:
                                              $$
                                              2[Var(X)]^{1/2}[Var(Y)]^{1/2} leq Var(X) + Var(Y),
                                              $$

                                              so we get, as desired:
                                              $$
                                              Var(X + Y) leq 2Var(X) + 2Var(Y).
                                              $$






                                              share|cite|improve this answer
























                                                0












                                                0








                                                0






                                                Start as you did with:
                                                $$
                                                Var(X + Y) = Var(X) + Var(Y) + 2Cov(X, Y).
                                                $$

                                                The Cauchy–Schwarz inequality then gives us:
                                                $$
                                                2Cov(X, Y) leq 2[Var(X)]^{1/2}[Var(Y)]^{1/2}.
                                                $$

                                                Finally, Young's inequality for products gives us:
                                                $$
                                                2[Var(X)]^{1/2}[Var(Y)]^{1/2} leq Var(X) + Var(Y),
                                                $$

                                                so we get, as desired:
                                                $$
                                                Var(X + Y) leq 2Var(X) + 2Var(Y).
                                                $$






                                                share|cite|improve this answer












                                                Start as you did with:
                                                $$
                                                Var(X + Y) = Var(X) + Var(Y) + 2Cov(X, Y).
                                                $$

                                                The Cauchy–Schwarz inequality then gives us:
                                                $$
                                                2Cov(X, Y) leq 2[Var(X)]^{1/2}[Var(Y)]^{1/2}.
                                                $$

                                                Finally, Young's inequality for products gives us:
                                                $$
                                                2[Var(X)]^{1/2}[Var(Y)]^{1/2} leq Var(X) + Var(Y),
                                                $$

                                                so we get, as desired:
                                                $$
                                                Var(X + Y) leq 2Var(X) + 2Var(Y).
                                                $$







                                                share|cite|improve this answer












                                                share|cite|improve this answer



                                                share|cite|improve this answer










                                                answered Nov 29 at 5:22









                                                Fredrik Savje

                                                1304




                                                1304























                                                    0














                                                    If you know how to show
                                                    $$operatorname{Var}(X+Y) = operatorname{Var}(X) + operatorname{Var}(Y) + 2operatorname{Cov}(X,Y)tag1$$
                                                    then you can show
                                                    $$
                                                    operatorname{Var}(X-Y) = operatorname{Var}(X) + operatorname{Var}(Y) - 2operatorname{Cov}(X,Y).tag2
                                                    $$

                                                    Now add equations (1) and (2) to get
                                                    $$
                                                    operatorname{Var}(X+Y)+operatorname{Var}(X-Y) = 2operatorname{Var}(X) + 2operatorname{Var}(Y).
                                                    $$

                                                    Finally the fact that variance of anything is non-negative implies that
                                                    $$
                                                    operatorname{Var}(X+Y)le operatorname{Var}(X+Y)+operatorname{Var}(X-Y).
                                                    $$






                                                    share|cite|improve this answer


























                                                      0














                                                      If you know how to show
                                                      $$operatorname{Var}(X+Y) = operatorname{Var}(X) + operatorname{Var}(Y) + 2operatorname{Cov}(X,Y)tag1$$
                                                      then you can show
                                                      $$
                                                      operatorname{Var}(X-Y) = operatorname{Var}(X) + operatorname{Var}(Y) - 2operatorname{Cov}(X,Y).tag2
                                                      $$

                                                      Now add equations (1) and (2) to get
                                                      $$
                                                      operatorname{Var}(X+Y)+operatorname{Var}(X-Y) = 2operatorname{Var}(X) + 2operatorname{Var}(Y).
                                                      $$

                                                      Finally the fact that variance of anything is non-negative implies that
                                                      $$
                                                      operatorname{Var}(X+Y)le operatorname{Var}(X+Y)+operatorname{Var}(X-Y).
                                                      $$






                                                      share|cite|improve this answer
























                                                        0












                                                        0








                                                        0






                                                        If you know how to show
                                                        $$operatorname{Var}(X+Y) = operatorname{Var}(X) + operatorname{Var}(Y) + 2operatorname{Cov}(X,Y)tag1$$
                                                        then you can show
                                                        $$
                                                        operatorname{Var}(X-Y) = operatorname{Var}(X) + operatorname{Var}(Y) - 2operatorname{Cov}(X,Y).tag2
                                                        $$

                                                        Now add equations (1) and (2) to get
                                                        $$
                                                        operatorname{Var}(X+Y)+operatorname{Var}(X-Y) = 2operatorname{Var}(X) + 2operatorname{Var}(Y).
                                                        $$

                                                        Finally the fact that variance of anything is non-negative implies that
                                                        $$
                                                        operatorname{Var}(X+Y)le operatorname{Var}(X+Y)+operatorname{Var}(X-Y).
                                                        $$






                                                        share|cite|improve this answer












                                                        If you know how to show
                                                        $$operatorname{Var}(X+Y) = operatorname{Var}(X) + operatorname{Var}(Y) + 2operatorname{Cov}(X,Y)tag1$$
                                                        then you can show
                                                        $$
                                                        operatorname{Var}(X-Y) = operatorname{Var}(X) + operatorname{Var}(Y) - 2operatorname{Cov}(X,Y).tag2
                                                        $$

                                                        Now add equations (1) and (2) to get
                                                        $$
                                                        operatorname{Var}(X+Y)+operatorname{Var}(X-Y) = 2operatorname{Var}(X) + 2operatorname{Var}(Y).
                                                        $$

                                                        Finally the fact that variance of anything is non-negative implies that
                                                        $$
                                                        operatorname{Var}(X+Y)le operatorname{Var}(X+Y)+operatorname{Var}(X-Y).
                                                        $$







                                                        share|cite|improve this answer












                                                        share|cite|improve this answer



                                                        share|cite|improve this answer










                                                        answered Nov 29 at 14:56









                                                        grand_chat

                                                        20k11225




                                                        20k11225






























                                                            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.





                                                            Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


                                                            Please pay close attention to the following guidance:


                                                            • 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.


                                                            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%2f2951929%2fprove-operatornamevarxy-le-2-operatornamevarx-2-operatornamevar%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

                                                            Wiesbaden

                                                            Marschland

                                                            Dieringhausen