Probability of $A subset B$ when $A,B$ are subsets of $[![ 1, n ]!]$?











up vote
3
down vote

favorite
1












Let $E = [![ 1, n ]!]$, with $n in mathbb N^*$. Suppose we randomly chose $(A,B) in mathscr{P} (E)^2$, what is the probability of $A subset B$?










share|cite|improve this question




























    up vote
    3
    down vote

    favorite
    1












    Let $E = [![ 1, n ]!]$, with $n in mathbb N^*$. Suppose we randomly chose $(A,B) in mathscr{P} (E)^2$, what is the probability of $A subset B$?










    share|cite|improve this question


























      up vote
      3
      down vote

      favorite
      1









      up vote
      3
      down vote

      favorite
      1






      1





      Let $E = [![ 1, n ]!]$, with $n in mathbb N^*$. Suppose we randomly chose $(A,B) in mathscr{P} (E)^2$, what is the probability of $A subset B$?










      share|cite|improve this question















      Let $E = [![ 1, n ]!]$, with $n in mathbb N^*$. Suppose we randomly chose $(A,B) in mathscr{P} (E)^2$, what is the probability of $A subset B$?







      probability combinatorics






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Nov 15 at 22:35









      Andrés E. Caicedo

      64.2k8157243




      64.2k8157243










      asked Nov 15 at 21:25









      Euler Pythagoras

      1489




      1489






















          3 Answers
          3






          active

          oldest

          votes

















          up vote
          2
          down vote













          For $i = 1, 2, ldots, n$, let $X_i$ denote the event $i in A rightarrow i in B$. Then for each $i$, $p(X_i) = frac{3}{4}$ (because the complement of the event is $i in A wedge i notin B$, which has probability $frac{1}{4}$). On the other hand, the events $X_i$ are independent, so
          $$p(A subseteq B) = pleft(bigwedge_{i=1}^n X_iright) = prod_{i=1}^n p(X_i) = left(frac{3}{4}right)^n.$$






          share|cite|improve this answer




























            up vote
            0
            down vote













            Define $X^{(n)} = (X^{(n)}_1, cdots, X^{(n)}_n)$ by



            $$ X^{(n)}_i = ( mathbf{1}_{{i in A}}, mathbf{1}_{{i in B}} ),$$



            where $mathbf{1}_{{cdots}}$ takes value $1$ if $cdots$ is true and $0$ otherwise. Then




            1. $ A subseteq B$ if and only if $X^{(n)}_i in {(0, 0), (0, 1), (1, 1)} $ for all $i$.


            2. For each fixed $n$, $X_{i}^{(n)}$ are independent.



            So



            $$ mathbb{P}[A subseteq B]
            = prod_{i=1}^{n} mathbb{P}left[ X^{(n)}_i in { (0, 0), (0, 1), (1, 1)
            }right]
            = left( frac{3}{4} right)^n. $$



            In general, if $A_1, cdots, A_m$ are chosen uniformly and independently at random from the power set of $[![ 1, n ]!]$, then



            $$ mathbb{P}[ A_1 subseteq cdots subseteq A_m]
            = prod_{i=1}^{n} mathbb{P} left[ mathbf{1}_{{i in A_1}} leq cdots leq mathbf{1}_{{i in A_m}} right]
            = left( frac{m+1}{2^m} right)^n. $$






            share|cite|improve this answer





















            • Nice solution. And the more general case is very interesting. Thank you!
              – Euler Pythagoras
              Nov 16 at 15:22




















            up vote
            0
            down vote



            accepted










            Let $Omega = mathscr{P} (E)^2$.



            Since $E = [![ 1, n ]!]$, $text{card}(Omega) = 4^n$.



            Let $mathscr U = {(A, B) in Omega | A subset B}$.



            The following algorithm constructs all elements of $mathscr U$ one and only one time :




            • choose an integer $ p in E $

            • choose $ B in E $ with $text{card}(B) = p$

            • choose $A subset B$


            We can now easily calculate $text{card}(mathscr U)$:



            $displaystyle text{card}(mathscr U) = sum_{p=0}^{n}binom{n}{p}cdot2^p = 3^n$



            Finally, $text{P}(mathscr U) = frac{text{card}(mathscr U)}{text{card}(Omega)}=left(frac{3}{4}right)^n$.






            share|cite|improve this answer























            • Unless by $A subset B$ the question actually meant $A subsetneqq B$ in which case it would be $frac{3^n-2^n}{4^n}$.
              – Daniel Schepler
              Nov 15 at 21:32










            • @DanielSchepler is there another meaning for $subset$ vs $subsetneq$? I was under the impression that both meant proper subset.
              – Chickenmancer
              Nov 15 at 21:42












            • In this case, $A subset B$ actually means $A subset B$, so we consider all the cases where $A = B$.
              – Euler Pythagoras
              Nov 15 at 21:45











            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: 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%2f3000355%2fprobability-of-a-subset-b-when-a-b-are-subsets-of-1-n%23new-answer', 'question_page');
            }
            );

            Post as a guest















            Required, but never shown

























            3 Answers
            3






            active

            oldest

            votes








            3 Answers
            3






            active

            oldest

            votes









            active

            oldest

            votes






            active

            oldest

            votes








            up vote
            2
            down vote













            For $i = 1, 2, ldots, n$, let $X_i$ denote the event $i in A rightarrow i in B$. Then for each $i$, $p(X_i) = frac{3}{4}$ (because the complement of the event is $i in A wedge i notin B$, which has probability $frac{1}{4}$). On the other hand, the events $X_i$ are independent, so
            $$p(A subseteq B) = pleft(bigwedge_{i=1}^n X_iright) = prod_{i=1}^n p(X_i) = left(frac{3}{4}right)^n.$$






            share|cite|improve this answer

























              up vote
              2
              down vote













              For $i = 1, 2, ldots, n$, let $X_i$ denote the event $i in A rightarrow i in B$. Then for each $i$, $p(X_i) = frac{3}{4}$ (because the complement of the event is $i in A wedge i notin B$, which has probability $frac{1}{4}$). On the other hand, the events $X_i$ are independent, so
              $$p(A subseteq B) = pleft(bigwedge_{i=1}^n X_iright) = prod_{i=1}^n p(X_i) = left(frac{3}{4}right)^n.$$






              share|cite|improve this answer























                up vote
                2
                down vote










                up vote
                2
                down vote









                For $i = 1, 2, ldots, n$, let $X_i$ denote the event $i in A rightarrow i in B$. Then for each $i$, $p(X_i) = frac{3}{4}$ (because the complement of the event is $i in A wedge i notin B$, which has probability $frac{1}{4}$). On the other hand, the events $X_i$ are independent, so
                $$p(A subseteq B) = pleft(bigwedge_{i=1}^n X_iright) = prod_{i=1}^n p(X_i) = left(frac{3}{4}right)^n.$$






                share|cite|improve this answer












                For $i = 1, 2, ldots, n$, let $X_i$ denote the event $i in A rightarrow i in B$. Then for each $i$, $p(X_i) = frac{3}{4}$ (because the complement of the event is $i in A wedge i notin B$, which has probability $frac{1}{4}$). On the other hand, the events $X_i$ are independent, so
                $$p(A subseteq B) = pleft(bigwedge_{i=1}^n X_iright) = prod_{i=1}^n p(X_i) = left(frac{3}{4}right)^n.$$







                share|cite|improve this answer












                share|cite|improve this answer



                share|cite|improve this answer










                answered Nov 15 at 21:47









                Daniel Schepler

                7,8361618




                7,8361618






















                    up vote
                    0
                    down vote













                    Define $X^{(n)} = (X^{(n)}_1, cdots, X^{(n)}_n)$ by



                    $$ X^{(n)}_i = ( mathbf{1}_{{i in A}}, mathbf{1}_{{i in B}} ),$$



                    where $mathbf{1}_{{cdots}}$ takes value $1$ if $cdots$ is true and $0$ otherwise. Then




                    1. $ A subseteq B$ if and only if $X^{(n)}_i in {(0, 0), (0, 1), (1, 1)} $ for all $i$.


                    2. For each fixed $n$, $X_{i}^{(n)}$ are independent.



                    So



                    $$ mathbb{P}[A subseteq B]
                    = prod_{i=1}^{n} mathbb{P}left[ X^{(n)}_i in { (0, 0), (0, 1), (1, 1)
                    }right]
                    = left( frac{3}{4} right)^n. $$



                    In general, if $A_1, cdots, A_m$ are chosen uniformly and independently at random from the power set of $[![ 1, n ]!]$, then



                    $$ mathbb{P}[ A_1 subseteq cdots subseteq A_m]
                    = prod_{i=1}^{n} mathbb{P} left[ mathbf{1}_{{i in A_1}} leq cdots leq mathbf{1}_{{i in A_m}} right]
                    = left( frac{m+1}{2^m} right)^n. $$






                    share|cite|improve this answer





















                    • Nice solution. And the more general case is very interesting. Thank you!
                      – Euler Pythagoras
                      Nov 16 at 15:22

















                    up vote
                    0
                    down vote













                    Define $X^{(n)} = (X^{(n)}_1, cdots, X^{(n)}_n)$ by



                    $$ X^{(n)}_i = ( mathbf{1}_{{i in A}}, mathbf{1}_{{i in B}} ),$$



                    where $mathbf{1}_{{cdots}}$ takes value $1$ if $cdots$ is true and $0$ otherwise. Then




                    1. $ A subseteq B$ if and only if $X^{(n)}_i in {(0, 0), (0, 1), (1, 1)} $ for all $i$.


                    2. For each fixed $n$, $X_{i}^{(n)}$ are independent.



                    So



                    $$ mathbb{P}[A subseteq B]
                    = prod_{i=1}^{n} mathbb{P}left[ X^{(n)}_i in { (0, 0), (0, 1), (1, 1)
                    }right]
                    = left( frac{3}{4} right)^n. $$



                    In general, if $A_1, cdots, A_m$ are chosen uniformly and independently at random from the power set of $[![ 1, n ]!]$, then



                    $$ mathbb{P}[ A_1 subseteq cdots subseteq A_m]
                    = prod_{i=1}^{n} mathbb{P} left[ mathbf{1}_{{i in A_1}} leq cdots leq mathbf{1}_{{i in A_m}} right]
                    = left( frac{m+1}{2^m} right)^n. $$






                    share|cite|improve this answer





















                    • Nice solution. And the more general case is very interesting. Thank you!
                      – Euler Pythagoras
                      Nov 16 at 15:22















                    up vote
                    0
                    down vote










                    up vote
                    0
                    down vote









                    Define $X^{(n)} = (X^{(n)}_1, cdots, X^{(n)}_n)$ by



                    $$ X^{(n)}_i = ( mathbf{1}_{{i in A}}, mathbf{1}_{{i in B}} ),$$



                    where $mathbf{1}_{{cdots}}$ takes value $1$ if $cdots$ is true and $0$ otherwise. Then




                    1. $ A subseteq B$ if and only if $X^{(n)}_i in {(0, 0), (0, 1), (1, 1)} $ for all $i$.


                    2. For each fixed $n$, $X_{i}^{(n)}$ are independent.



                    So



                    $$ mathbb{P}[A subseteq B]
                    = prod_{i=1}^{n} mathbb{P}left[ X^{(n)}_i in { (0, 0), (0, 1), (1, 1)
                    }right]
                    = left( frac{3}{4} right)^n. $$



                    In general, if $A_1, cdots, A_m$ are chosen uniformly and independently at random from the power set of $[![ 1, n ]!]$, then



                    $$ mathbb{P}[ A_1 subseteq cdots subseteq A_m]
                    = prod_{i=1}^{n} mathbb{P} left[ mathbf{1}_{{i in A_1}} leq cdots leq mathbf{1}_{{i in A_m}} right]
                    = left( frac{m+1}{2^m} right)^n. $$






                    share|cite|improve this answer












                    Define $X^{(n)} = (X^{(n)}_1, cdots, X^{(n)}_n)$ by



                    $$ X^{(n)}_i = ( mathbf{1}_{{i in A}}, mathbf{1}_{{i in B}} ),$$



                    where $mathbf{1}_{{cdots}}$ takes value $1$ if $cdots$ is true and $0$ otherwise. Then




                    1. $ A subseteq B$ if and only if $X^{(n)}_i in {(0, 0), (0, 1), (1, 1)} $ for all $i$.


                    2. For each fixed $n$, $X_{i}^{(n)}$ are independent.



                    So



                    $$ mathbb{P}[A subseteq B]
                    = prod_{i=1}^{n} mathbb{P}left[ X^{(n)}_i in { (0, 0), (0, 1), (1, 1)
                    }right]
                    = left( frac{3}{4} right)^n. $$



                    In general, if $A_1, cdots, A_m$ are chosen uniformly and independently at random from the power set of $[![ 1, n ]!]$, then



                    $$ mathbb{P}[ A_1 subseteq cdots subseteq A_m]
                    = prod_{i=1}^{n} mathbb{P} left[ mathbf{1}_{{i in A_1}} leq cdots leq mathbf{1}_{{i in A_m}} right]
                    = left( frac{m+1}{2^m} right)^n. $$







                    share|cite|improve this answer












                    share|cite|improve this answer



                    share|cite|improve this answer










                    answered Nov 15 at 22:01









                    Sangchul Lee

                    89.8k12161262




                    89.8k12161262












                    • Nice solution. And the more general case is very interesting. Thank you!
                      – Euler Pythagoras
                      Nov 16 at 15:22




















                    • Nice solution. And the more general case is very interesting. Thank you!
                      – Euler Pythagoras
                      Nov 16 at 15:22


















                    Nice solution. And the more general case is very interesting. Thank you!
                    – Euler Pythagoras
                    Nov 16 at 15:22






                    Nice solution. And the more general case is very interesting. Thank you!
                    – Euler Pythagoras
                    Nov 16 at 15:22












                    up vote
                    0
                    down vote



                    accepted










                    Let $Omega = mathscr{P} (E)^2$.



                    Since $E = [![ 1, n ]!]$, $text{card}(Omega) = 4^n$.



                    Let $mathscr U = {(A, B) in Omega | A subset B}$.



                    The following algorithm constructs all elements of $mathscr U$ one and only one time :




                    • choose an integer $ p in E $

                    • choose $ B in E $ with $text{card}(B) = p$

                    • choose $A subset B$


                    We can now easily calculate $text{card}(mathscr U)$:



                    $displaystyle text{card}(mathscr U) = sum_{p=0}^{n}binom{n}{p}cdot2^p = 3^n$



                    Finally, $text{P}(mathscr U) = frac{text{card}(mathscr U)}{text{card}(Omega)}=left(frac{3}{4}right)^n$.






                    share|cite|improve this answer























                    • Unless by $A subset B$ the question actually meant $A subsetneqq B$ in which case it would be $frac{3^n-2^n}{4^n}$.
                      – Daniel Schepler
                      Nov 15 at 21:32










                    • @DanielSchepler is there another meaning for $subset$ vs $subsetneq$? I was under the impression that both meant proper subset.
                      – Chickenmancer
                      Nov 15 at 21:42












                    • In this case, $A subset B$ actually means $A subset B$, so we consider all the cases where $A = B$.
                      – Euler Pythagoras
                      Nov 15 at 21:45















                    up vote
                    0
                    down vote



                    accepted










                    Let $Omega = mathscr{P} (E)^2$.



                    Since $E = [![ 1, n ]!]$, $text{card}(Omega) = 4^n$.



                    Let $mathscr U = {(A, B) in Omega | A subset B}$.



                    The following algorithm constructs all elements of $mathscr U$ one and only one time :




                    • choose an integer $ p in E $

                    • choose $ B in E $ with $text{card}(B) = p$

                    • choose $A subset B$


                    We can now easily calculate $text{card}(mathscr U)$:



                    $displaystyle text{card}(mathscr U) = sum_{p=0}^{n}binom{n}{p}cdot2^p = 3^n$



                    Finally, $text{P}(mathscr U) = frac{text{card}(mathscr U)}{text{card}(Omega)}=left(frac{3}{4}right)^n$.






                    share|cite|improve this answer























                    • Unless by $A subset B$ the question actually meant $A subsetneqq B$ in which case it would be $frac{3^n-2^n}{4^n}$.
                      – Daniel Schepler
                      Nov 15 at 21:32










                    • @DanielSchepler is there another meaning for $subset$ vs $subsetneq$? I was under the impression that both meant proper subset.
                      – Chickenmancer
                      Nov 15 at 21:42












                    • In this case, $A subset B$ actually means $A subset B$, so we consider all the cases where $A = B$.
                      – Euler Pythagoras
                      Nov 15 at 21:45













                    up vote
                    0
                    down vote



                    accepted







                    up vote
                    0
                    down vote



                    accepted






                    Let $Omega = mathscr{P} (E)^2$.



                    Since $E = [![ 1, n ]!]$, $text{card}(Omega) = 4^n$.



                    Let $mathscr U = {(A, B) in Omega | A subset B}$.



                    The following algorithm constructs all elements of $mathscr U$ one and only one time :




                    • choose an integer $ p in E $

                    • choose $ B in E $ with $text{card}(B) = p$

                    • choose $A subset B$


                    We can now easily calculate $text{card}(mathscr U)$:



                    $displaystyle text{card}(mathscr U) = sum_{p=0}^{n}binom{n}{p}cdot2^p = 3^n$



                    Finally, $text{P}(mathscr U) = frac{text{card}(mathscr U)}{text{card}(Omega)}=left(frac{3}{4}right)^n$.






                    share|cite|improve this answer














                    Let $Omega = mathscr{P} (E)^2$.



                    Since $E = [![ 1, n ]!]$, $text{card}(Omega) = 4^n$.



                    Let $mathscr U = {(A, B) in Omega | A subset B}$.



                    The following algorithm constructs all elements of $mathscr U$ one and only one time :




                    • choose an integer $ p in E $

                    • choose $ B in E $ with $text{card}(B) = p$

                    • choose $A subset B$


                    We can now easily calculate $text{card}(mathscr U)$:



                    $displaystyle text{card}(mathscr U) = sum_{p=0}^{n}binom{n}{p}cdot2^p = 3^n$



                    Finally, $text{P}(mathscr U) = frac{text{card}(mathscr U)}{text{card}(Omega)}=left(frac{3}{4}right)^n$.







                    share|cite|improve this answer














                    share|cite|improve this answer



                    share|cite|improve this answer








                    edited Nov 16 at 15:25

























                    answered Nov 15 at 21:25









                    Euler Pythagoras

                    1489




                    1489












                    • Unless by $A subset B$ the question actually meant $A subsetneqq B$ in which case it would be $frac{3^n-2^n}{4^n}$.
                      – Daniel Schepler
                      Nov 15 at 21:32










                    • @DanielSchepler is there another meaning for $subset$ vs $subsetneq$? I was under the impression that both meant proper subset.
                      – Chickenmancer
                      Nov 15 at 21:42












                    • In this case, $A subset B$ actually means $A subset B$, so we consider all the cases where $A = B$.
                      – Euler Pythagoras
                      Nov 15 at 21:45


















                    • Unless by $A subset B$ the question actually meant $A subsetneqq B$ in which case it would be $frac{3^n-2^n}{4^n}$.
                      – Daniel Schepler
                      Nov 15 at 21:32










                    • @DanielSchepler is there another meaning for $subset$ vs $subsetneq$? I was under the impression that both meant proper subset.
                      – Chickenmancer
                      Nov 15 at 21:42












                    • In this case, $A subset B$ actually means $A subset B$, so we consider all the cases where $A = B$.
                      – Euler Pythagoras
                      Nov 15 at 21:45
















                    Unless by $A subset B$ the question actually meant $A subsetneqq B$ in which case it would be $frac{3^n-2^n}{4^n}$.
                    – Daniel Schepler
                    Nov 15 at 21:32




                    Unless by $A subset B$ the question actually meant $A subsetneqq B$ in which case it would be $frac{3^n-2^n}{4^n}$.
                    – Daniel Schepler
                    Nov 15 at 21:32












                    @DanielSchepler is there another meaning for $subset$ vs $subsetneq$? I was under the impression that both meant proper subset.
                    – Chickenmancer
                    Nov 15 at 21:42






                    @DanielSchepler is there another meaning for $subset$ vs $subsetneq$? I was under the impression that both meant proper subset.
                    – Chickenmancer
                    Nov 15 at 21:42














                    In this case, $A subset B$ actually means $A subset B$, so we consider all the cases where $A = B$.
                    – Euler Pythagoras
                    Nov 15 at 21:45




                    In this case, $A subset B$ actually means $A subset B$, so we consider all the cases where $A = B$.
                    – Euler Pythagoras
                    Nov 15 at 21:45


















                     

                    draft saved


                    draft discarded



















































                     


                    draft saved


                    draft discarded














                    StackExchange.ready(
                    function () {
                    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3000355%2fprobability-of-a-subset-b-when-a-b-are-subsets-of-1-n%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

                    Mont Emei

                    Province de Neuquén

                    Journaliste