Probability inequality of multiple continuous random variables

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
3
down vote

favorite
1












Let $X_0, ldots , X_n-1$ be i.i.d positive random variables with a continuous probability function $f_X$. I'm trying to prove that
$$
mathbbP[X_0 ge max(X_1, ldots , X_n-1)] = int_0^infty (F_X_0)^n-1(a)f_X_0(a) ,da
$$

Where $F$ is the CDF and $f$ is the PDF



I guess that $mathbbP[X_0 ge max(X_1, ldots , X_n-1)]= (n-1) mathbbP[X_0 ge X_1]$ because they're i.d.d, but how do I translate it to the CDF?










share|cite|improve this question

























    up vote
    3
    down vote

    favorite
    1












    Let $X_0, ldots , X_n-1$ be i.i.d positive random variables with a continuous probability function $f_X$. I'm trying to prove that
    $$
    mathbbP[X_0 ge max(X_1, ldots , X_n-1)] = int_0^infty (F_X_0)^n-1(a)f_X_0(a) ,da
    $$

    Where $F$ is the CDF and $f$ is the PDF



    I guess that $mathbbP[X_0 ge max(X_1, ldots , X_n-1)]= (n-1) mathbbP[X_0 ge X_1]$ because they're i.d.d, but how do I translate it to the CDF?










    share|cite|improve this question























      up vote
      3
      down vote

      favorite
      1









      up vote
      3
      down vote

      favorite
      1






      1





      Let $X_0, ldots , X_n-1$ be i.i.d positive random variables with a continuous probability function $f_X$. I'm trying to prove that
      $$
      mathbbP[X_0 ge max(X_1, ldots , X_n-1)] = int_0^infty (F_X_0)^n-1(a)f_X_0(a) ,da
      $$

      Where $F$ is the CDF and $f$ is the PDF



      I guess that $mathbbP[X_0 ge max(X_1, ldots , X_n-1)]= (n-1) mathbbP[X_0 ge X_1]$ because they're i.d.d, but how do I translate it to the CDF?










      share|cite|improve this question













      Let $X_0, ldots , X_n-1$ be i.i.d positive random variables with a continuous probability function $f_X$. I'm trying to prove that
      $$
      mathbbP[X_0 ge max(X_1, ldots , X_n-1)] = int_0^infty (F_X_0)^n-1(a)f_X_0(a) ,da
      $$

      Where $F$ is the CDF and $f$ is the PDF



      I guess that $mathbbP[X_0 ge max(X_1, ldots , X_n-1)]= (n-1) mathbbP[X_0 ge X_1]$ because they're i.d.d, but how do I translate it to the CDF?







      probability






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked 6 hours ago









      galah92

      22817




      22817




















          3 Answers
          3






          active

          oldest

          votes

















          up vote
          3
          down vote



          accepted










          Your guess is wong.



          Realize that $mathbb P(X_0geq X_1)=frac12$ on base of:



          • $P(X_0geq X_1)+P(X_1geq X_0)-P(X_0=X_1)$


          • $P(X_0geq X_1)=P(X_1geq X_0)$ on base of symmetry.


          • $P(X_0=X_1)=0$ on base of continuity.

          Likewise it can be verified that: $$Pleft(X_0geqmax(X_1,dots,X_n-1)right)=frac1n$$




          edit:



          Also $$Pleft(X_0geqmax(X_1,dots,X_n-1)right)=int Pleft(X_0geqmax(X_1,dots,X_n-1)mid X_0=aright)f_X(a)da=$$$$int P(max(X_1,dots,X_n-1)leq a)f_X(a)da=int F_X^n-1(a)f_X(a)da$$



          where the second equality rests on independence.






          share|cite|improve this answer






















          • I do understand that. I'm trying to get to the explicit general expression stated above.
            – galah92
            5 hours ago










          • I have added a justification of the equality.
            – drhab
            5 hours ago

















          up vote
          2
          down vote













          Disclaimer: this is just a remark on drhab's answer.



          Note that
          beginalign
          (F_X_0)^n-1(a)f_X_0(a) = fracdda frac1n (F_X_0)^n(a).
          endalign

          The fundamental theorem of calculus implies that the integral is equal to
          beginalign
          lim_a to infty frac1n (F_X_0)^n(a) - frac1n (F_X_0)^n(0) = frac1n,
          endalign

          where we used that $X_0$ is a positive random variable.






          share|cite|improve this answer



























            up vote
            1
            down vote













            Since the variables are i.i.d. it is
            beginalign*
            mathbbP(X_0geq max(X_1,ldots,X_n-1)|X_0=x) &= mathbbP(xgeq max(X_1,ldots,X_n-1)|X_0=x) \
            & = mathbbP(xgeq max(X_1,ldots,X_n-1)) \
            & = mathbbP(X_1leq x,ldots,X_n-1leq x) \
            & = mathbbP(X_1leq x)^n-1 \
            & = F_X_0(x)^n-1.
            endalign*

            Hence:
            beginalign*
            mathbbP(X_0geq max(X_1,ldots,X_n-1)) &=int_0^+inftymathbbP(X_0geq max(X_1,ldots,X_n-1)|X_0=x)f_X_0(x)dx \
            &=int_0^+infty F_X_0(x)^n-1f_X_0(x)dx
            endalign*

            Now you can use the fact that $F_X_0(x)^n-1f_X_0=frac1nfracddxF_X_0(x)^n$ to show that $mathbbP(X_0geq max(X_1,ldots,X_n-1))=frac1n$.



            Another way to reach this last result is the following. Let $X_(n)=max(X_0,X_1,ldots,X_n-1)$. The event $X_0geq max(X_1,ldots,X_n-1)$ is equivalent to the event $X_0=X_(n)$. Since the variables are i.i.d., $mathbbP(X_0=X_(n))=mathbbP(X_i=X_(n))=mathbbP(X_i textrm is the largest among X_0,ldots,X_n-1)$ for all $i=0,ldots,n-1$. Additionally, since ties have probability zero (as the distributions are continuous) it is
            $$1=sum_i=0^n-1 mathbbP(X_i=X_(n)) = nmathbbP(X_0=X_(n))=nmathbbP(X_0geq max(X_1,ldots,X_n-1))$$






            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',
              convertImagesToLinks: true,
              noModals: false,
              showLowRepImageUploadWarning: true,
              reputationToPostImages: 10,
              bindNavPrevention: true,
              postfix: "",
              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%2f2957839%2fprobability-inequality-of-multiple-continuous-random-variables%23new-answer', 'question_page');

              );

              Post as a guest






























              3 Answers
              3






              active

              oldest

              votes








              3 Answers
              3






              active

              oldest

              votes









              active

              oldest

              votes






              active

              oldest

              votes








              up vote
              3
              down vote



              accepted










              Your guess is wong.



              Realize that $mathbb P(X_0geq X_1)=frac12$ on base of:



              • $P(X_0geq X_1)+P(X_1geq X_0)-P(X_0=X_1)$


              • $P(X_0geq X_1)=P(X_1geq X_0)$ on base of symmetry.


              • $P(X_0=X_1)=0$ on base of continuity.

              Likewise it can be verified that: $$Pleft(X_0geqmax(X_1,dots,X_n-1)right)=frac1n$$




              edit:



              Also $$Pleft(X_0geqmax(X_1,dots,X_n-1)right)=int Pleft(X_0geqmax(X_1,dots,X_n-1)mid X_0=aright)f_X(a)da=$$$$int P(max(X_1,dots,X_n-1)leq a)f_X(a)da=int F_X^n-1(a)f_X(a)da$$



              where the second equality rests on independence.






              share|cite|improve this answer






















              • I do understand that. I'm trying to get to the explicit general expression stated above.
                – galah92
                5 hours ago










              • I have added a justification of the equality.
                – drhab
                5 hours ago














              up vote
              3
              down vote



              accepted










              Your guess is wong.



              Realize that $mathbb P(X_0geq X_1)=frac12$ on base of:



              • $P(X_0geq X_1)+P(X_1geq X_0)-P(X_0=X_1)$


              • $P(X_0geq X_1)=P(X_1geq X_0)$ on base of symmetry.


              • $P(X_0=X_1)=0$ on base of continuity.

              Likewise it can be verified that: $$Pleft(X_0geqmax(X_1,dots,X_n-1)right)=frac1n$$




              edit:



              Also $$Pleft(X_0geqmax(X_1,dots,X_n-1)right)=int Pleft(X_0geqmax(X_1,dots,X_n-1)mid X_0=aright)f_X(a)da=$$$$int P(max(X_1,dots,X_n-1)leq a)f_X(a)da=int F_X^n-1(a)f_X(a)da$$



              where the second equality rests on independence.






              share|cite|improve this answer






















              • I do understand that. I'm trying to get to the explicit general expression stated above.
                – galah92
                5 hours ago










              • I have added a justification of the equality.
                – drhab
                5 hours ago












              up vote
              3
              down vote



              accepted







              up vote
              3
              down vote



              accepted






              Your guess is wong.



              Realize that $mathbb P(X_0geq X_1)=frac12$ on base of:



              • $P(X_0geq X_1)+P(X_1geq X_0)-P(X_0=X_1)$


              • $P(X_0geq X_1)=P(X_1geq X_0)$ on base of symmetry.


              • $P(X_0=X_1)=0$ on base of continuity.

              Likewise it can be verified that: $$Pleft(X_0geqmax(X_1,dots,X_n-1)right)=frac1n$$




              edit:



              Also $$Pleft(X_0geqmax(X_1,dots,X_n-1)right)=int Pleft(X_0geqmax(X_1,dots,X_n-1)mid X_0=aright)f_X(a)da=$$$$int P(max(X_1,dots,X_n-1)leq a)f_X(a)da=int F_X^n-1(a)f_X(a)da$$



              where the second equality rests on independence.






              share|cite|improve this answer














              Your guess is wong.



              Realize that $mathbb P(X_0geq X_1)=frac12$ on base of:



              • $P(X_0geq X_1)+P(X_1geq X_0)-P(X_0=X_1)$


              • $P(X_0geq X_1)=P(X_1geq X_0)$ on base of symmetry.


              • $P(X_0=X_1)=0$ on base of continuity.

              Likewise it can be verified that: $$Pleft(X_0geqmax(X_1,dots,X_n-1)right)=frac1n$$




              edit:



              Also $$Pleft(X_0geqmax(X_1,dots,X_n-1)right)=int Pleft(X_0geqmax(X_1,dots,X_n-1)mid X_0=aright)f_X(a)da=$$$$int P(max(X_1,dots,X_n-1)leq a)f_X(a)da=int F_X^n-1(a)f_X(a)da$$



              where the second equality rests on independence.







              share|cite|improve this answer














              share|cite|improve this answer



              share|cite|improve this answer








              edited 5 hours ago

























              answered 5 hours ago









              drhab

              91.3k542124




              91.3k542124











              • I do understand that. I'm trying to get to the explicit general expression stated above.
                – galah92
                5 hours ago










              • I have added a justification of the equality.
                – drhab
                5 hours ago
















              • I do understand that. I'm trying to get to the explicit general expression stated above.
                – galah92
                5 hours ago










              • I have added a justification of the equality.
                – drhab
                5 hours ago















              I do understand that. I'm trying to get to the explicit general expression stated above.
              – galah92
              5 hours ago




              I do understand that. I'm trying to get to the explicit general expression stated above.
              – galah92
              5 hours ago












              I have added a justification of the equality.
              – drhab
              5 hours ago




              I have added a justification of the equality.
              – drhab
              5 hours ago










              up vote
              2
              down vote













              Disclaimer: this is just a remark on drhab's answer.



              Note that
              beginalign
              (F_X_0)^n-1(a)f_X_0(a) = fracdda frac1n (F_X_0)^n(a).
              endalign

              The fundamental theorem of calculus implies that the integral is equal to
              beginalign
              lim_a to infty frac1n (F_X_0)^n(a) - frac1n (F_X_0)^n(0) = frac1n,
              endalign

              where we used that $X_0$ is a positive random variable.






              share|cite|improve this answer
























                up vote
                2
                down vote













                Disclaimer: this is just a remark on drhab's answer.



                Note that
                beginalign
                (F_X_0)^n-1(a)f_X_0(a) = fracdda frac1n (F_X_0)^n(a).
                endalign

                The fundamental theorem of calculus implies that the integral is equal to
                beginalign
                lim_a to infty frac1n (F_X_0)^n(a) - frac1n (F_X_0)^n(0) = frac1n,
                endalign

                where we used that $X_0$ is a positive random variable.






                share|cite|improve this answer






















                  up vote
                  2
                  down vote










                  up vote
                  2
                  down vote









                  Disclaimer: this is just a remark on drhab's answer.



                  Note that
                  beginalign
                  (F_X_0)^n-1(a)f_X_0(a) = fracdda frac1n (F_X_0)^n(a).
                  endalign

                  The fundamental theorem of calculus implies that the integral is equal to
                  beginalign
                  lim_a to infty frac1n (F_X_0)^n(a) - frac1n (F_X_0)^n(0) = frac1n,
                  endalign

                  where we used that $X_0$ is a positive random variable.






                  share|cite|improve this answer












                  Disclaimer: this is just a remark on drhab's answer.



                  Note that
                  beginalign
                  (F_X_0)^n-1(a)f_X_0(a) = fracdda frac1n (F_X_0)^n(a).
                  endalign

                  The fundamental theorem of calculus implies that the integral is equal to
                  beginalign
                  lim_a to infty frac1n (F_X_0)^n(a) - frac1n (F_X_0)^n(0) = frac1n,
                  endalign

                  where we used that $X_0$ is a positive random variable.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered 5 hours ago









                  Stockfish

                  1414




                  1414




















                      up vote
                      1
                      down vote













                      Since the variables are i.i.d. it is
                      beginalign*
                      mathbbP(X_0geq max(X_1,ldots,X_n-1)|X_0=x) &= mathbbP(xgeq max(X_1,ldots,X_n-1)|X_0=x) \
                      & = mathbbP(xgeq max(X_1,ldots,X_n-1)) \
                      & = mathbbP(X_1leq x,ldots,X_n-1leq x) \
                      & = mathbbP(X_1leq x)^n-1 \
                      & = F_X_0(x)^n-1.
                      endalign*

                      Hence:
                      beginalign*
                      mathbbP(X_0geq max(X_1,ldots,X_n-1)) &=int_0^+inftymathbbP(X_0geq max(X_1,ldots,X_n-1)|X_0=x)f_X_0(x)dx \
                      &=int_0^+infty F_X_0(x)^n-1f_X_0(x)dx
                      endalign*

                      Now you can use the fact that $F_X_0(x)^n-1f_X_0=frac1nfracddxF_X_0(x)^n$ to show that $mathbbP(X_0geq max(X_1,ldots,X_n-1))=frac1n$.



                      Another way to reach this last result is the following. Let $X_(n)=max(X_0,X_1,ldots,X_n-1)$. The event $X_0geq max(X_1,ldots,X_n-1)$ is equivalent to the event $X_0=X_(n)$. Since the variables are i.i.d., $mathbbP(X_0=X_(n))=mathbbP(X_i=X_(n))=mathbbP(X_i textrm is the largest among X_0,ldots,X_n-1)$ for all $i=0,ldots,n-1$. Additionally, since ties have probability zero (as the distributions are continuous) it is
                      $$1=sum_i=0^n-1 mathbbP(X_i=X_(n)) = nmathbbP(X_0=X_(n))=nmathbbP(X_0geq max(X_1,ldots,X_n-1))$$






                      share|cite|improve this answer
























                        up vote
                        1
                        down vote













                        Since the variables are i.i.d. it is
                        beginalign*
                        mathbbP(X_0geq max(X_1,ldots,X_n-1)|X_0=x) &= mathbbP(xgeq max(X_1,ldots,X_n-1)|X_0=x) \
                        & = mathbbP(xgeq max(X_1,ldots,X_n-1)) \
                        & = mathbbP(X_1leq x,ldots,X_n-1leq x) \
                        & = mathbbP(X_1leq x)^n-1 \
                        & = F_X_0(x)^n-1.
                        endalign*

                        Hence:
                        beginalign*
                        mathbbP(X_0geq max(X_1,ldots,X_n-1)) &=int_0^+inftymathbbP(X_0geq max(X_1,ldots,X_n-1)|X_0=x)f_X_0(x)dx \
                        &=int_0^+infty F_X_0(x)^n-1f_X_0(x)dx
                        endalign*

                        Now you can use the fact that $F_X_0(x)^n-1f_X_0=frac1nfracddxF_X_0(x)^n$ to show that $mathbbP(X_0geq max(X_1,ldots,X_n-1))=frac1n$.



                        Another way to reach this last result is the following. Let $X_(n)=max(X_0,X_1,ldots,X_n-1)$. The event $X_0geq max(X_1,ldots,X_n-1)$ is equivalent to the event $X_0=X_(n)$. Since the variables are i.i.d., $mathbbP(X_0=X_(n))=mathbbP(X_i=X_(n))=mathbbP(X_i textrm is the largest among X_0,ldots,X_n-1)$ for all $i=0,ldots,n-1$. Additionally, since ties have probability zero (as the distributions are continuous) it is
                        $$1=sum_i=0^n-1 mathbbP(X_i=X_(n)) = nmathbbP(X_0=X_(n))=nmathbbP(X_0geq max(X_1,ldots,X_n-1))$$






                        share|cite|improve this answer






















                          up vote
                          1
                          down vote










                          up vote
                          1
                          down vote









                          Since the variables are i.i.d. it is
                          beginalign*
                          mathbbP(X_0geq max(X_1,ldots,X_n-1)|X_0=x) &= mathbbP(xgeq max(X_1,ldots,X_n-1)|X_0=x) \
                          & = mathbbP(xgeq max(X_1,ldots,X_n-1)) \
                          & = mathbbP(X_1leq x,ldots,X_n-1leq x) \
                          & = mathbbP(X_1leq x)^n-1 \
                          & = F_X_0(x)^n-1.
                          endalign*

                          Hence:
                          beginalign*
                          mathbbP(X_0geq max(X_1,ldots,X_n-1)) &=int_0^+inftymathbbP(X_0geq max(X_1,ldots,X_n-1)|X_0=x)f_X_0(x)dx \
                          &=int_0^+infty F_X_0(x)^n-1f_X_0(x)dx
                          endalign*

                          Now you can use the fact that $F_X_0(x)^n-1f_X_0=frac1nfracddxF_X_0(x)^n$ to show that $mathbbP(X_0geq max(X_1,ldots,X_n-1))=frac1n$.



                          Another way to reach this last result is the following. Let $X_(n)=max(X_0,X_1,ldots,X_n-1)$. The event $X_0geq max(X_1,ldots,X_n-1)$ is equivalent to the event $X_0=X_(n)$. Since the variables are i.i.d., $mathbbP(X_0=X_(n))=mathbbP(X_i=X_(n))=mathbbP(X_i textrm is the largest among X_0,ldots,X_n-1)$ for all $i=0,ldots,n-1$. Additionally, since ties have probability zero (as the distributions are continuous) it is
                          $$1=sum_i=0^n-1 mathbbP(X_i=X_(n)) = nmathbbP(X_0=X_(n))=nmathbbP(X_0geq max(X_1,ldots,X_n-1))$$






                          share|cite|improve this answer












                          Since the variables are i.i.d. it is
                          beginalign*
                          mathbbP(X_0geq max(X_1,ldots,X_n-1)|X_0=x) &= mathbbP(xgeq max(X_1,ldots,X_n-1)|X_0=x) \
                          & = mathbbP(xgeq max(X_1,ldots,X_n-1)) \
                          & = mathbbP(X_1leq x,ldots,X_n-1leq x) \
                          & = mathbbP(X_1leq x)^n-1 \
                          & = F_X_0(x)^n-1.
                          endalign*

                          Hence:
                          beginalign*
                          mathbbP(X_0geq max(X_1,ldots,X_n-1)) &=int_0^+inftymathbbP(X_0geq max(X_1,ldots,X_n-1)|X_0=x)f_X_0(x)dx \
                          &=int_0^+infty F_X_0(x)^n-1f_X_0(x)dx
                          endalign*

                          Now you can use the fact that $F_X_0(x)^n-1f_X_0=frac1nfracddxF_X_0(x)^n$ to show that $mathbbP(X_0geq max(X_1,ldots,X_n-1))=frac1n$.



                          Another way to reach this last result is the following. Let $X_(n)=max(X_0,X_1,ldots,X_n-1)$. The event $X_0geq max(X_1,ldots,X_n-1)$ is equivalent to the event $X_0=X_(n)$. Since the variables are i.i.d., $mathbbP(X_0=X_(n))=mathbbP(X_i=X_(n))=mathbbP(X_i textrm is the largest among X_0,ldots,X_n-1)$ for all $i=0,ldots,n-1$. Additionally, since ties have probability zero (as the distributions are continuous) it is
                          $$1=sum_i=0^n-1 mathbbP(X_i=X_(n)) = nmathbbP(X_0=X_(n))=nmathbbP(X_0geq max(X_1,ldots,X_n-1))$$







                          share|cite|improve this answer












                          share|cite|improve this answer



                          share|cite|improve this answer










                          answered 5 hours ago









                          a.arfe

                          535




                          535



























                               

                              draft saved


                              draft discarded















































                               


                              draft saved


                              draft discarded














                              StackExchange.ready(
                              function ()
                              StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2957839%2fprobability-inequality-of-multiple-continuous-random-variables%23new-answer', 'question_page');

                              );

                              Post as a guest













































































                              Comments

                              Popular posts from this blog

                              What does second last employer means? [closed]

                              Installing NextGIS Connect into QGIS 3?

                              One-line joke