Proof of: If $P(A) = P(B) = 1$ then $P(A cap B) = 1$.












5












$begingroup$


Ok so I know this is obviously true but not sure if my method is right to proving it. Here's my go.



$P(Acap B)= P(A) cdot P(B)$ by definition.



$P(A)=P(B)=1$



Therefore $1cdot 1=1$ so $P(Acap B)=1$



I realise this is a really simply question but this answer seems too easy.



Thanks










share|cite|improve this question











$endgroup$












  • $begingroup$
    The statement $P(Acap B)=P(A)P(B)$ is true only for independent events $A,B$. We don't know that's true.
    $endgroup$
    – vadim123
    Jan 23 at 15:32










  • $begingroup$
    The question also says ''Let Ai , i = 1, 2, 3, . . . be a collection of events in the sample space Ω. Prove the following statements:'' at the start. So given they're constantly P(Ai)=1, we know they're independent?
    $endgroup$
    – AnoUser1
    Jan 23 at 15:35










  • $begingroup$
    @AnoUser1, you can ask that as a separate question.
    $endgroup$
    – vadim123
    Jan 23 at 15:38










  • $begingroup$
    Similarly to the answer below : $1 ge P(A cup B)=P(A)+P(B) - P(A cap B)=2 - P(A cap B) ge 1$. From this : $P(A cup B)=1$ and then $P(A cap B)=1$.
    $endgroup$
    – Mauro ALLEGRANZA
    Jan 23 at 15:38
















5












$begingroup$


Ok so I know this is obviously true but not sure if my method is right to proving it. Here's my go.



$P(Acap B)= P(A) cdot P(B)$ by definition.



$P(A)=P(B)=1$



Therefore $1cdot 1=1$ so $P(Acap B)=1$



I realise this is a really simply question but this answer seems too easy.



Thanks










share|cite|improve this question











$endgroup$












  • $begingroup$
    The statement $P(Acap B)=P(A)P(B)$ is true only for independent events $A,B$. We don't know that's true.
    $endgroup$
    – vadim123
    Jan 23 at 15:32










  • $begingroup$
    The question also says ''Let Ai , i = 1, 2, 3, . . . be a collection of events in the sample space Ω. Prove the following statements:'' at the start. So given they're constantly P(Ai)=1, we know they're independent?
    $endgroup$
    – AnoUser1
    Jan 23 at 15:35










  • $begingroup$
    @AnoUser1, you can ask that as a separate question.
    $endgroup$
    – vadim123
    Jan 23 at 15:38










  • $begingroup$
    Similarly to the answer below : $1 ge P(A cup B)=P(A)+P(B) - P(A cap B)=2 - P(A cap B) ge 1$. From this : $P(A cup B)=1$ and then $P(A cap B)=1$.
    $endgroup$
    – Mauro ALLEGRANZA
    Jan 23 at 15:38














5












5








5


1



$begingroup$


Ok so I know this is obviously true but not sure if my method is right to proving it. Here's my go.



$P(Acap B)= P(A) cdot P(B)$ by definition.



$P(A)=P(B)=1$



Therefore $1cdot 1=1$ so $P(Acap B)=1$



I realise this is a really simply question but this answer seems too easy.



Thanks










share|cite|improve this question











$endgroup$




Ok so I know this is obviously true but not sure if my method is right to proving it. Here's my go.



$P(Acap B)= P(A) cdot P(B)$ by definition.



$P(A)=P(B)=1$



Therefore $1cdot 1=1$ so $P(Acap B)=1$



I realise this is a really simply question but this answer seems too easy.



Thanks







probability proof-verification






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Jan 23 at 19:07









MathOverview

8,94543164




8,94543164










asked Jan 23 at 15:29









AnoUser1AnoUser1

836




836












  • $begingroup$
    The statement $P(Acap B)=P(A)P(B)$ is true only for independent events $A,B$. We don't know that's true.
    $endgroup$
    – vadim123
    Jan 23 at 15:32










  • $begingroup$
    The question also says ''Let Ai , i = 1, 2, 3, . . . be a collection of events in the sample space Ω. Prove the following statements:'' at the start. So given they're constantly P(Ai)=1, we know they're independent?
    $endgroup$
    – AnoUser1
    Jan 23 at 15:35










  • $begingroup$
    @AnoUser1, you can ask that as a separate question.
    $endgroup$
    – vadim123
    Jan 23 at 15:38










  • $begingroup$
    Similarly to the answer below : $1 ge P(A cup B)=P(A)+P(B) - P(A cap B)=2 - P(A cap B) ge 1$. From this : $P(A cup B)=1$ and then $P(A cap B)=1$.
    $endgroup$
    – Mauro ALLEGRANZA
    Jan 23 at 15:38


















  • $begingroup$
    The statement $P(Acap B)=P(A)P(B)$ is true only for independent events $A,B$. We don't know that's true.
    $endgroup$
    – vadim123
    Jan 23 at 15:32










  • $begingroup$
    The question also says ''Let Ai , i = 1, 2, 3, . . . be a collection of events in the sample space Ω. Prove the following statements:'' at the start. So given they're constantly P(Ai)=1, we know they're independent?
    $endgroup$
    – AnoUser1
    Jan 23 at 15:35










  • $begingroup$
    @AnoUser1, you can ask that as a separate question.
    $endgroup$
    – vadim123
    Jan 23 at 15:38










  • $begingroup$
    Similarly to the answer below : $1 ge P(A cup B)=P(A)+P(B) - P(A cap B)=2 - P(A cap B) ge 1$. From this : $P(A cup B)=1$ and then $P(A cap B)=1$.
    $endgroup$
    – Mauro ALLEGRANZA
    Jan 23 at 15:38
















$begingroup$
The statement $P(Acap B)=P(A)P(B)$ is true only for independent events $A,B$. We don't know that's true.
$endgroup$
– vadim123
Jan 23 at 15:32




$begingroup$
The statement $P(Acap B)=P(A)P(B)$ is true only for independent events $A,B$. We don't know that's true.
$endgroup$
– vadim123
Jan 23 at 15:32












$begingroup$
The question also says ''Let Ai , i = 1, 2, 3, . . . be a collection of events in the sample space Ω. Prove the following statements:'' at the start. So given they're constantly P(Ai)=1, we know they're independent?
$endgroup$
– AnoUser1
Jan 23 at 15:35




$begingroup$
The question also says ''Let Ai , i = 1, 2, 3, . . . be a collection of events in the sample space Ω. Prove the following statements:'' at the start. So given they're constantly P(Ai)=1, we know they're independent?
$endgroup$
– AnoUser1
Jan 23 at 15:35












$begingroup$
@AnoUser1, you can ask that as a separate question.
$endgroup$
– vadim123
Jan 23 at 15:38




$begingroup$
@AnoUser1, you can ask that as a separate question.
$endgroup$
– vadim123
Jan 23 at 15:38












$begingroup$
Similarly to the answer below : $1 ge P(A cup B)=P(A)+P(B) - P(A cap B)=2 - P(A cap B) ge 1$. From this : $P(A cup B)=1$ and then $P(A cap B)=1$.
$endgroup$
– Mauro ALLEGRANZA
Jan 23 at 15:38




$begingroup$
Similarly to the answer below : $1 ge P(A cup B)=P(A)+P(B) - P(A cap B)=2 - P(A cap B) ge 1$. From this : $P(A cup B)=1$ and then $P(A cap B)=1$.
$endgroup$
– Mauro ALLEGRANZA
Jan 23 at 15:38










4 Answers
4






active

oldest

votes


















9












$begingroup$

Well, you cannot say $P(Acap B)= P(A) cdot P(B)$ because you do not know if $A$ and $B$ are independent.
Anyway, you could say $$P(Acap B) = 1-P((Acap B)^c)=1-P(A^c cup B^c) geq 1-(P(A^c)+ P(B^c))= 1-(0+0)=1$$






share|cite|improve this answer









$endgroup$









  • 3




    $begingroup$
    (which of course proves that actually, $A$ and $B$ were in fact independent :) )
    $endgroup$
    – Calvin Khor
    Jan 23 at 19:14



















6












$begingroup$

We begin with $$P(Acup B)=P(A)+P(B)-P(Acap B)$$
Since $P(A)=P(B)=1$, we can rearrange this as
$$P(Acap B)=2-P(Acup B)$$
While we might not know $P(Acup B)$, we know that $P(Acup B)le 1$ (true for all probabilities), and hence $$P(Acap B)ge 2-1=1$$
Since also $P(Acap B)le 1$ (true for all probabilities), we can be sure that $P(Acap B)=1$.






share|cite|improve this answer









$endgroup$





















    6












    $begingroup$

    Note that $Asubset Acup B$ and $Bsubset Acup B$ implies $P(Acup B)geq P(A)$ and $P(Acup B)geq P(B)$. Then $P(Acup B)=1$. By Inclusion–exclusion principle
    $$
    P(Acup B)= P(A)+P(B)-P(Acap B).
    $$

    So
    $$
    1=1+1-P(Acap B).
    $$






    share|cite|improve this answer











    $endgroup$













    • $begingroup$
      I can't make an edit that small but you're missing a B in $Bsubset Acup B$ (first line)
      $endgroup$
      – Droplet
      Jan 23 at 17:27










    • $begingroup$
      @Droplet - I can, Thanks for pointing it out.
      $endgroup$
      – Paul Sinclair
      Jan 23 at 17:32



















    0












    $begingroup$

    $P(A|B)=frac{P(A bigcap B)}{P(B)}$, thus $P(A bigcap B)=P(A|B)P(B)$.



    If $P(A)=1$, then that means that $A$ always happens, so it will still always happen when $B$ happens, so $P(A|B)=1$. Since $P(B)=1$, $P(A bigcap B)=1$.






    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%2f3084619%2fproof-of-if-pa-pb-1-then-pa-cap-b-1%23new-answer', 'question_page');
      }
      );

      Post as a guest















      Required, but never shown

























      4 Answers
      4






      active

      oldest

      votes








      4 Answers
      4






      active

      oldest

      votes









      active

      oldest

      votes






      active

      oldest

      votes









      9












      $begingroup$

      Well, you cannot say $P(Acap B)= P(A) cdot P(B)$ because you do not know if $A$ and $B$ are independent.
      Anyway, you could say $$P(Acap B) = 1-P((Acap B)^c)=1-P(A^c cup B^c) geq 1-(P(A^c)+ P(B^c))= 1-(0+0)=1$$






      share|cite|improve this answer









      $endgroup$









      • 3




        $begingroup$
        (which of course proves that actually, $A$ and $B$ were in fact independent :) )
        $endgroup$
        – Calvin Khor
        Jan 23 at 19:14
















      9












      $begingroup$

      Well, you cannot say $P(Acap B)= P(A) cdot P(B)$ because you do not know if $A$ and $B$ are independent.
      Anyway, you could say $$P(Acap B) = 1-P((Acap B)^c)=1-P(A^c cup B^c) geq 1-(P(A^c)+ P(B^c))= 1-(0+0)=1$$






      share|cite|improve this answer









      $endgroup$









      • 3




        $begingroup$
        (which of course proves that actually, $A$ and $B$ were in fact independent :) )
        $endgroup$
        – Calvin Khor
        Jan 23 at 19:14














      9












      9








      9





      $begingroup$

      Well, you cannot say $P(Acap B)= P(A) cdot P(B)$ because you do not know if $A$ and $B$ are independent.
      Anyway, you could say $$P(Acap B) = 1-P((Acap B)^c)=1-P(A^c cup B^c) geq 1-(P(A^c)+ P(B^c))= 1-(0+0)=1$$






      share|cite|improve this answer









      $endgroup$



      Well, you cannot say $P(Acap B)= P(A) cdot P(B)$ because you do not know if $A$ and $B$ are independent.
      Anyway, you could say $$P(Acap B) = 1-P((Acap B)^c)=1-P(A^c cup B^c) geq 1-(P(A^c)+ P(B^c))= 1-(0+0)=1$$







      share|cite|improve this answer












      share|cite|improve this answer



      share|cite|improve this answer










      answered Jan 23 at 15:35









      franzkfranzk

      1435




      1435








      • 3




        $begingroup$
        (which of course proves that actually, $A$ and $B$ were in fact independent :) )
        $endgroup$
        – Calvin Khor
        Jan 23 at 19:14














      • 3




        $begingroup$
        (which of course proves that actually, $A$ and $B$ were in fact independent :) )
        $endgroup$
        – Calvin Khor
        Jan 23 at 19:14








      3




      3




      $begingroup$
      (which of course proves that actually, $A$ and $B$ were in fact independent :) )
      $endgroup$
      – Calvin Khor
      Jan 23 at 19:14




      $begingroup$
      (which of course proves that actually, $A$ and $B$ were in fact independent :) )
      $endgroup$
      – Calvin Khor
      Jan 23 at 19:14











      6












      $begingroup$

      We begin with $$P(Acup B)=P(A)+P(B)-P(Acap B)$$
      Since $P(A)=P(B)=1$, we can rearrange this as
      $$P(Acap B)=2-P(Acup B)$$
      While we might not know $P(Acup B)$, we know that $P(Acup B)le 1$ (true for all probabilities), and hence $$P(Acap B)ge 2-1=1$$
      Since also $P(Acap B)le 1$ (true for all probabilities), we can be sure that $P(Acap B)=1$.






      share|cite|improve this answer









      $endgroup$


















        6












        $begingroup$

        We begin with $$P(Acup B)=P(A)+P(B)-P(Acap B)$$
        Since $P(A)=P(B)=1$, we can rearrange this as
        $$P(Acap B)=2-P(Acup B)$$
        While we might not know $P(Acup B)$, we know that $P(Acup B)le 1$ (true for all probabilities), and hence $$P(Acap B)ge 2-1=1$$
        Since also $P(Acap B)le 1$ (true for all probabilities), we can be sure that $P(Acap B)=1$.






        share|cite|improve this answer









        $endgroup$
















          6












          6








          6





          $begingroup$

          We begin with $$P(Acup B)=P(A)+P(B)-P(Acap B)$$
          Since $P(A)=P(B)=1$, we can rearrange this as
          $$P(Acap B)=2-P(Acup B)$$
          While we might not know $P(Acup B)$, we know that $P(Acup B)le 1$ (true for all probabilities), and hence $$P(Acap B)ge 2-1=1$$
          Since also $P(Acap B)le 1$ (true for all probabilities), we can be sure that $P(Acap B)=1$.






          share|cite|improve this answer









          $endgroup$



          We begin with $$P(Acup B)=P(A)+P(B)-P(Acap B)$$
          Since $P(A)=P(B)=1$, we can rearrange this as
          $$P(Acap B)=2-P(Acup B)$$
          While we might not know $P(Acup B)$, we know that $P(Acup B)le 1$ (true for all probabilities), and hence $$P(Acap B)ge 2-1=1$$
          Since also $P(Acap B)le 1$ (true for all probabilities), we can be sure that $P(Acap B)=1$.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Jan 23 at 15:37









          vadim123vadim123

          76.4k897191




          76.4k897191























              6












              $begingroup$

              Note that $Asubset Acup B$ and $Bsubset Acup B$ implies $P(Acup B)geq P(A)$ and $P(Acup B)geq P(B)$. Then $P(Acup B)=1$. By Inclusion–exclusion principle
              $$
              P(Acup B)= P(A)+P(B)-P(Acap B).
              $$

              So
              $$
              1=1+1-P(Acap B).
              $$






              share|cite|improve this answer











              $endgroup$













              • $begingroup$
                I can't make an edit that small but you're missing a B in $Bsubset Acup B$ (first line)
                $endgroup$
                – Droplet
                Jan 23 at 17:27










              • $begingroup$
                @Droplet - I can, Thanks for pointing it out.
                $endgroup$
                – Paul Sinclair
                Jan 23 at 17:32
















              6












              $begingroup$

              Note that $Asubset Acup B$ and $Bsubset Acup B$ implies $P(Acup B)geq P(A)$ and $P(Acup B)geq P(B)$. Then $P(Acup B)=1$. By Inclusion–exclusion principle
              $$
              P(Acup B)= P(A)+P(B)-P(Acap B).
              $$

              So
              $$
              1=1+1-P(Acap B).
              $$






              share|cite|improve this answer











              $endgroup$













              • $begingroup$
                I can't make an edit that small but you're missing a B in $Bsubset Acup B$ (first line)
                $endgroup$
                – Droplet
                Jan 23 at 17:27










              • $begingroup$
                @Droplet - I can, Thanks for pointing it out.
                $endgroup$
                – Paul Sinclair
                Jan 23 at 17:32














              6












              6








              6





              $begingroup$

              Note that $Asubset Acup B$ and $Bsubset Acup B$ implies $P(Acup B)geq P(A)$ and $P(Acup B)geq P(B)$. Then $P(Acup B)=1$. By Inclusion–exclusion principle
              $$
              P(Acup B)= P(A)+P(B)-P(Acap B).
              $$

              So
              $$
              1=1+1-P(Acap B).
              $$






              share|cite|improve this answer











              $endgroup$



              Note that $Asubset Acup B$ and $Bsubset Acup B$ implies $P(Acup B)geq P(A)$ and $P(Acup B)geq P(B)$. Then $P(Acup B)=1$. By Inclusion–exclusion principle
              $$
              P(Acup B)= P(A)+P(B)-P(Acap B).
              $$

              So
              $$
              1=1+1-P(Acap B).
              $$







              share|cite|improve this answer














              share|cite|improve this answer



              share|cite|improve this answer








              edited Jan 23 at 17:32









              Paul Sinclair

              20.4k21443




              20.4k21443










              answered Jan 23 at 15:41









              MathOverviewMathOverview

              8,94543164




              8,94543164












              • $begingroup$
                I can't make an edit that small but you're missing a B in $Bsubset Acup B$ (first line)
                $endgroup$
                – Droplet
                Jan 23 at 17:27










              • $begingroup$
                @Droplet - I can, Thanks for pointing it out.
                $endgroup$
                – Paul Sinclair
                Jan 23 at 17:32


















              • $begingroup$
                I can't make an edit that small but you're missing a B in $Bsubset Acup B$ (first line)
                $endgroup$
                – Droplet
                Jan 23 at 17:27










              • $begingroup$
                @Droplet - I can, Thanks for pointing it out.
                $endgroup$
                – Paul Sinclair
                Jan 23 at 17:32
















              $begingroup$
              I can't make an edit that small but you're missing a B in $Bsubset Acup B$ (first line)
              $endgroup$
              – Droplet
              Jan 23 at 17:27




              $begingroup$
              I can't make an edit that small but you're missing a B in $Bsubset Acup B$ (first line)
              $endgroup$
              – Droplet
              Jan 23 at 17:27












              $begingroup$
              @Droplet - I can, Thanks for pointing it out.
              $endgroup$
              – Paul Sinclair
              Jan 23 at 17:32




              $begingroup$
              @Droplet - I can, Thanks for pointing it out.
              $endgroup$
              – Paul Sinclair
              Jan 23 at 17:32











              0












              $begingroup$

              $P(A|B)=frac{P(A bigcap B)}{P(B)}$, thus $P(A bigcap B)=P(A|B)P(B)$.



              If $P(A)=1$, then that means that $A$ always happens, so it will still always happen when $B$ happens, so $P(A|B)=1$. Since $P(B)=1$, $P(A bigcap B)=1$.






              share|cite|improve this answer









              $endgroup$


















                0












                $begingroup$

                $P(A|B)=frac{P(A bigcap B)}{P(B)}$, thus $P(A bigcap B)=P(A|B)P(B)$.



                If $P(A)=1$, then that means that $A$ always happens, so it will still always happen when $B$ happens, so $P(A|B)=1$. Since $P(B)=1$, $P(A bigcap B)=1$.






                share|cite|improve this answer









                $endgroup$
















                  0












                  0








                  0





                  $begingroup$

                  $P(A|B)=frac{P(A bigcap B)}{P(B)}$, thus $P(A bigcap B)=P(A|B)P(B)$.



                  If $P(A)=1$, then that means that $A$ always happens, so it will still always happen when $B$ happens, so $P(A|B)=1$. Since $P(B)=1$, $P(A bigcap B)=1$.






                  share|cite|improve this answer









                  $endgroup$



                  $P(A|B)=frac{P(A bigcap B)}{P(B)}$, thus $P(A bigcap B)=P(A|B)P(B)$.



                  If $P(A)=1$, then that means that $A$ always happens, so it will still always happen when $B$ happens, so $P(A|B)=1$. Since $P(B)=1$, $P(A bigcap B)=1$.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Jan 29 at 20:43









                  AcccumulationAcccumulation

                  7,1252619




                  7,1252619






























                      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%2f3084619%2fproof-of-if-pa-pb-1-then-pa-cap-b-1%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

                      MongoDB - Not Authorized To Execute Command

                      How to fix TextFormField cause rebuild widget in Flutter

                      in spring boot 2.1 many test slices are not allowed anymore due to multiple @BootstrapWith