The total number of subsets is $2^n$ for $n$ elements












12












$begingroup$


In my probability book, it says that to count the total number of subsets of n elements is a process of $n$ stages with binary choice of either adding this element to the subset or not to add it. Therefore, the total number is
$$2^n$$



But, for instance, we have 3 elements, according to this formula, there are 2 to the power of 3 elements, namely 8, which are
$${emptyset},A,B,C, AB, AC, BC, ABC$$



However, I have a hard time of imagining the process or N stages binary choice that form this many subsets. Can anyone explain/help me to understand it? I mean, ABC, if we are making the choice of A, put it in or do not put it in, exactly which subset are we choosing to put in or not? Thank you.










share|cite|improve this question











$endgroup$








  • 1




    $begingroup$
    I'm not sure what you were trying to ask. I wrote an answer and other people seem to think it doesn't answer the question. Were you asking how for any finite set, it's possible to count all the subsets of that set or were you asking whether there is a uniform way of defining for all finite sets how to do it for that set?
    $endgroup$
    – Timothy
    Jan 10 at 7:18






  • 1




    $begingroup$
    @Timothy I was having trouble understanding this in the process described by Eelvex's answer, but now I understood...thanks!
    $endgroup$
    – commentallez-vous
    Jan 10 at 8:23










  • $begingroup$
    I'm confused. Was it my answer that you understood? If so, the fact that my answer got 5 downvotes probably means that people sometimes don't know what confusion the OP has when they ask a question.
    $endgroup$
    – Timothy
    Jan 10 at 18:10






  • 1




    $begingroup$
    @Timothy, hi Timothey, sorry I haven't checked your answer yet...and I never gave people down vote...but I'll read it now.
    $endgroup$
    – commentallez-vous
    Jan 10 at 18:15
















12












$begingroup$


In my probability book, it says that to count the total number of subsets of n elements is a process of $n$ stages with binary choice of either adding this element to the subset or not to add it. Therefore, the total number is
$$2^n$$



But, for instance, we have 3 elements, according to this formula, there are 2 to the power of 3 elements, namely 8, which are
$${emptyset},A,B,C, AB, AC, BC, ABC$$



However, I have a hard time of imagining the process or N stages binary choice that form this many subsets. Can anyone explain/help me to understand it? I mean, ABC, if we are making the choice of A, put it in or do not put it in, exactly which subset are we choosing to put in or not? Thank you.










share|cite|improve this question











$endgroup$








  • 1




    $begingroup$
    I'm not sure what you were trying to ask. I wrote an answer and other people seem to think it doesn't answer the question. Were you asking how for any finite set, it's possible to count all the subsets of that set or were you asking whether there is a uniform way of defining for all finite sets how to do it for that set?
    $endgroup$
    – Timothy
    Jan 10 at 7:18






  • 1




    $begingroup$
    @Timothy I was having trouble understanding this in the process described by Eelvex's answer, but now I understood...thanks!
    $endgroup$
    – commentallez-vous
    Jan 10 at 8:23










  • $begingroup$
    I'm confused. Was it my answer that you understood? If so, the fact that my answer got 5 downvotes probably means that people sometimes don't know what confusion the OP has when they ask a question.
    $endgroup$
    – Timothy
    Jan 10 at 18:10






  • 1




    $begingroup$
    @Timothy, hi Timothey, sorry I haven't checked your answer yet...and I never gave people down vote...but I'll read it now.
    $endgroup$
    – commentallez-vous
    Jan 10 at 18:15














12












12








12


1



$begingroup$


In my probability book, it says that to count the total number of subsets of n elements is a process of $n$ stages with binary choice of either adding this element to the subset or not to add it. Therefore, the total number is
$$2^n$$



But, for instance, we have 3 elements, according to this formula, there are 2 to the power of 3 elements, namely 8, which are
$${emptyset},A,B,C, AB, AC, BC, ABC$$



However, I have a hard time of imagining the process or N stages binary choice that form this many subsets. Can anyone explain/help me to understand it? I mean, ABC, if we are making the choice of A, put it in or do not put it in, exactly which subset are we choosing to put in or not? Thank you.










share|cite|improve this question











$endgroup$




In my probability book, it says that to count the total number of subsets of n elements is a process of $n$ stages with binary choice of either adding this element to the subset or not to add it. Therefore, the total number is
$$2^n$$



But, for instance, we have 3 elements, according to this formula, there are 2 to the power of 3 elements, namely 8, which are
$${emptyset},A,B,C, AB, AC, BC, ABC$$



However, I have a hard time of imagining the process or N stages binary choice that form this many subsets. Can anyone explain/help me to understand it? I mean, ABC, if we are making the choice of A, put it in or do not put it in, exactly which subset are we choosing to put in or not? Thank you.







probability probability-theory permutations combinations






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Jan 10 at 16:52









Asaf Karagila

302k32429760




302k32429760










asked Jan 9 at 22:19









commentallez-vouscommentallez-vous

1908




1908








  • 1




    $begingroup$
    I'm not sure what you were trying to ask. I wrote an answer and other people seem to think it doesn't answer the question. Were you asking how for any finite set, it's possible to count all the subsets of that set or were you asking whether there is a uniform way of defining for all finite sets how to do it for that set?
    $endgroup$
    – Timothy
    Jan 10 at 7:18






  • 1




    $begingroup$
    @Timothy I was having trouble understanding this in the process described by Eelvex's answer, but now I understood...thanks!
    $endgroup$
    – commentallez-vous
    Jan 10 at 8:23










  • $begingroup$
    I'm confused. Was it my answer that you understood? If so, the fact that my answer got 5 downvotes probably means that people sometimes don't know what confusion the OP has when they ask a question.
    $endgroup$
    – Timothy
    Jan 10 at 18:10






  • 1




    $begingroup$
    @Timothy, hi Timothey, sorry I haven't checked your answer yet...and I never gave people down vote...but I'll read it now.
    $endgroup$
    – commentallez-vous
    Jan 10 at 18:15














  • 1




    $begingroup$
    I'm not sure what you were trying to ask. I wrote an answer and other people seem to think it doesn't answer the question. Were you asking how for any finite set, it's possible to count all the subsets of that set or were you asking whether there is a uniform way of defining for all finite sets how to do it for that set?
    $endgroup$
    – Timothy
    Jan 10 at 7:18






  • 1




    $begingroup$
    @Timothy I was having trouble understanding this in the process described by Eelvex's answer, but now I understood...thanks!
    $endgroup$
    – commentallez-vous
    Jan 10 at 8:23










  • $begingroup$
    I'm confused. Was it my answer that you understood? If so, the fact that my answer got 5 downvotes probably means that people sometimes don't know what confusion the OP has when they ask a question.
    $endgroup$
    – Timothy
    Jan 10 at 18:10






  • 1




    $begingroup$
    @Timothy, hi Timothey, sorry I haven't checked your answer yet...and I never gave people down vote...but I'll read it now.
    $endgroup$
    – commentallez-vous
    Jan 10 at 18:15








1




1




$begingroup$
I'm not sure what you were trying to ask. I wrote an answer and other people seem to think it doesn't answer the question. Were you asking how for any finite set, it's possible to count all the subsets of that set or were you asking whether there is a uniform way of defining for all finite sets how to do it for that set?
$endgroup$
– Timothy
Jan 10 at 7:18




$begingroup$
I'm not sure what you were trying to ask. I wrote an answer and other people seem to think it doesn't answer the question. Were you asking how for any finite set, it's possible to count all the subsets of that set or were you asking whether there is a uniform way of defining for all finite sets how to do it for that set?
$endgroup$
– Timothy
Jan 10 at 7:18




1




1




$begingroup$
@Timothy I was having trouble understanding this in the process described by Eelvex's answer, but now I understood...thanks!
$endgroup$
– commentallez-vous
Jan 10 at 8:23




$begingroup$
@Timothy I was having trouble understanding this in the process described by Eelvex's answer, but now I understood...thanks!
$endgroup$
– commentallez-vous
Jan 10 at 8:23












$begingroup$
I'm confused. Was it my answer that you understood? If so, the fact that my answer got 5 downvotes probably means that people sometimes don't know what confusion the OP has when they ask a question.
$endgroup$
– Timothy
Jan 10 at 18:10




$begingroup$
I'm confused. Was it my answer that you understood? If so, the fact that my answer got 5 downvotes probably means that people sometimes don't know what confusion the OP has when they ask a question.
$endgroup$
– Timothy
Jan 10 at 18:10




1




1




$begingroup$
@Timothy, hi Timothey, sorry I haven't checked your answer yet...and I never gave people down vote...but I'll read it now.
$endgroup$
– commentallez-vous
Jan 10 at 18:15




$begingroup$
@Timothy, hi Timothey, sorry I haven't checked your answer yet...and I never gave people down vote...but I'll read it now.
$endgroup$
– commentallez-vous
Jan 10 at 18:15










6 Answers
6






active

oldest

votes


















63












$begingroup$

enter image description here




  • "Include A?" is stage 1

  • "Include B?" is stage 2

  • "Include C?" is stage 3.






share|cite|improve this answer









$endgroup$





















    21












    $begingroup$

    Label your $n$ elements so that $X={x_{1},...,x_{n}}$. We're going to form a one-to-one correspondence between the subsets of $X$ and the set of length-$n$ binary strings as follows. Given a binary string
    $$a_{1}cdots a_{n}$$
    imagine that $a_{i}=1$ means "include $x_{i}$ in this subset" and $a_{i}=0$ means "exclude $x_{i}$ in this subset". For example, if $n=4$ then the subset $S={x_{1},x_{3}}$ would be represented as $1010$.



    There are exactly $2^{n}$ possible strings, since each $a_{i}$ has two possible values, and there are $n$ of them. And each string corresponds to one and only one subset of $X$. Therefore there are $2^{n}$ subsets.






    share|cite|improve this answer









    $endgroup$













    • $begingroup$
      Thanks pwerth, this is a wonderful and direct view on the process using 1010 as an example.
      $endgroup$
      – commentallez-vous
      Jan 9 at 22:32










    • $begingroup$
      You're welcome, glad to help!
      $endgroup$
      – pwerth
      Jan 9 at 22:32



















    5












    $begingroup$

    Write out all the binary numbers with $3$ digits. Each digit represents one element ($0$ means exclude, $1$ means include):
    $$
    begin{array}{|c|c|}
    text{decimal}&text{binary}&text{subset}\hline
    0&000&{}\
    1&001&{C}\
    2&010&{B}\
    3&011&{B,C}\
    4&100&{A}\
    5&101&{A,C}\
    6&110&{A,B}\
    7&111&{A,B,C}\
    end{array}
    $$

    This is easily extendible to an $n$ element set with $n$ digit binary numbers.






    share|cite|improve this answer











    $endgroup$









    • 1




      $begingroup$
      Note the relationship between the binary numbers and the subset elements: $000 to { }, 001 to {C}, 010 to {B}, 011 to {B,C}, dots$.
      $endgroup$
      – steven gregory
      Jan 10 at 14:36












    • $begingroup$
      I believe that this is the same as pwerth's answer.
      $endgroup$
      – Scott
      Jan 12 at 5:14



















    4












    $begingroup$

    I think, more directly, what the book is saying can be stated as:




    Choosing a subset $U$ of a set $S$ is the same as, for each element $xin S$, choosing whether $x$ is in $U$ or not.




    In particular, there is, at any time, only one set we're considering. So, if $S={A,B,C}$ and we want to choose a subset $U$, we could make the following three choices:
    $$Ain U$$
    $$Bin U$$
    $$Cin U$$
    And we would get $U={A,B,C}$. So, we've constructed a subset by making three binary choices. We could try this process again to make a different subset; for instance, we could decide instead
    $$Anotin U$$
    $$Bnotin U$$
    $$Cin U$$
    And then get $U={C}$. So, we've made a different set of choices and got a different set. So, for each subset, we have to make three choices.






    share|cite|improve this answer









    $endgroup$













    • $begingroup$
      Thank you Milo, I think I got it using your explanation with pwerth's. I really appreciate it!
      $endgroup$
      – commentallez-vous
      Jan 9 at 22:34



















    4












    $begingroup$

    The set of subsets of $X$ can be seen as the set of all functions from $X$ to ${0,1}$, denoted ${0,1}^X$.



    For each such function, consider the subset of $X$ consisting of all $xin X$ such that $f(x)=1$.



    This, it turns out, is a $1-1$correspondence.



    As a result, the order of the power set is $mid P(X)mid=mid {0,1}^Xmid=mid{0,1}mid^{mid Xmid}=2^n$.






    share|cite|improve this answer











    $endgroup$





















      4












      $begingroup$

      Proof by induction (on number of elements in the set):



      For $n = 0$, there is exactly $2^0=1$ subset of a set with 0 elements, namely the empty set itself.



      Assuming that any set $U_n$ with $n$ elements has $2^n$ subset, consider a set $U_{n+1}=U_n cup {x}$ (where $x notin U_n$). Which subsets of $U_{n+1}$ exists?




      • The subsets which do not include $x$ are exactly the subsets of $U_n$ (there are $2^n$ such subsets)

      • Any other subset includes $x$, so it is of the form $A cup {x}$, where $A$ is a subset of $U_n$ (because all elements in $U_{n+1}$ except $x$ are also elements of $U_n$), and it's clear that such subset exists (and is unique) for each $A subset U_n$. So, the number of $U_{n+1}$ subsets which include $x$ is also $2^n$.


      So, the total count of $U_{n+1}$ subsets is $2^n+2^n=2^{n+1}$. The proof is complete.






      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%2f3068013%2fthe-total-number-of-subsets-is-2n-for-n-elements%23new-answer', 'question_page');
        }
        );

        Post as a guest















        Required, but never shown

























        6 Answers
        6






        active

        oldest

        votes








        6 Answers
        6






        active

        oldest

        votes









        active

        oldest

        votes






        active

        oldest

        votes









        63












        $begingroup$

        enter image description here




        • "Include A?" is stage 1

        • "Include B?" is stage 2

        • "Include C?" is stage 3.






        share|cite|improve this answer









        $endgroup$


















          63












          $begingroup$

          enter image description here




          • "Include A?" is stage 1

          • "Include B?" is stage 2

          • "Include C?" is stage 3.






          share|cite|improve this answer









          $endgroup$
















            63












            63








            63





            $begingroup$

            enter image description here




            • "Include A?" is stage 1

            • "Include B?" is stage 2

            • "Include C?" is stage 3.






            share|cite|improve this answer









            $endgroup$



            enter image description here




            • "Include A?" is stage 1

            • "Include B?" is stage 2

            • "Include C?" is stage 3.







            share|cite|improve this answer












            share|cite|improve this answer



            share|cite|improve this answer










            answered Jan 9 at 23:16









            EelvexEelvex

            1,136820




            1,136820























                21












                $begingroup$

                Label your $n$ elements so that $X={x_{1},...,x_{n}}$. We're going to form a one-to-one correspondence between the subsets of $X$ and the set of length-$n$ binary strings as follows. Given a binary string
                $$a_{1}cdots a_{n}$$
                imagine that $a_{i}=1$ means "include $x_{i}$ in this subset" and $a_{i}=0$ means "exclude $x_{i}$ in this subset". For example, if $n=4$ then the subset $S={x_{1},x_{3}}$ would be represented as $1010$.



                There are exactly $2^{n}$ possible strings, since each $a_{i}$ has two possible values, and there are $n$ of them. And each string corresponds to one and only one subset of $X$. Therefore there are $2^{n}$ subsets.






                share|cite|improve this answer









                $endgroup$













                • $begingroup$
                  Thanks pwerth, this is a wonderful and direct view on the process using 1010 as an example.
                  $endgroup$
                  – commentallez-vous
                  Jan 9 at 22:32










                • $begingroup$
                  You're welcome, glad to help!
                  $endgroup$
                  – pwerth
                  Jan 9 at 22:32
















                21












                $begingroup$

                Label your $n$ elements so that $X={x_{1},...,x_{n}}$. We're going to form a one-to-one correspondence between the subsets of $X$ and the set of length-$n$ binary strings as follows. Given a binary string
                $$a_{1}cdots a_{n}$$
                imagine that $a_{i}=1$ means "include $x_{i}$ in this subset" and $a_{i}=0$ means "exclude $x_{i}$ in this subset". For example, if $n=4$ then the subset $S={x_{1},x_{3}}$ would be represented as $1010$.



                There are exactly $2^{n}$ possible strings, since each $a_{i}$ has two possible values, and there are $n$ of them. And each string corresponds to one and only one subset of $X$. Therefore there are $2^{n}$ subsets.






                share|cite|improve this answer









                $endgroup$













                • $begingroup$
                  Thanks pwerth, this is a wonderful and direct view on the process using 1010 as an example.
                  $endgroup$
                  – commentallez-vous
                  Jan 9 at 22:32










                • $begingroup$
                  You're welcome, glad to help!
                  $endgroup$
                  – pwerth
                  Jan 9 at 22:32














                21












                21








                21





                $begingroup$

                Label your $n$ elements so that $X={x_{1},...,x_{n}}$. We're going to form a one-to-one correspondence between the subsets of $X$ and the set of length-$n$ binary strings as follows. Given a binary string
                $$a_{1}cdots a_{n}$$
                imagine that $a_{i}=1$ means "include $x_{i}$ in this subset" and $a_{i}=0$ means "exclude $x_{i}$ in this subset". For example, if $n=4$ then the subset $S={x_{1},x_{3}}$ would be represented as $1010$.



                There are exactly $2^{n}$ possible strings, since each $a_{i}$ has two possible values, and there are $n$ of them. And each string corresponds to one and only one subset of $X$. Therefore there are $2^{n}$ subsets.






                share|cite|improve this answer









                $endgroup$



                Label your $n$ elements so that $X={x_{1},...,x_{n}}$. We're going to form a one-to-one correspondence between the subsets of $X$ and the set of length-$n$ binary strings as follows. Given a binary string
                $$a_{1}cdots a_{n}$$
                imagine that $a_{i}=1$ means "include $x_{i}$ in this subset" and $a_{i}=0$ means "exclude $x_{i}$ in this subset". For example, if $n=4$ then the subset $S={x_{1},x_{3}}$ would be represented as $1010$.



                There are exactly $2^{n}$ possible strings, since each $a_{i}$ has two possible values, and there are $n$ of them. And each string corresponds to one and only one subset of $X$. Therefore there are $2^{n}$ subsets.







                share|cite|improve this answer












                share|cite|improve this answer



                share|cite|improve this answer










                answered Jan 9 at 22:25









                pwerthpwerth

                2,632414




                2,632414












                • $begingroup$
                  Thanks pwerth, this is a wonderful and direct view on the process using 1010 as an example.
                  $endgroup$
                  – commentallez-vous
                  Jan 9 at 22:32










                • $begingroup$
                  You're welcome, glad to help!
                  $endgroup$
                  – pwerth
                  Jan 9 at 22:32


















                • $begingroup$
                  Thanks pwerth, this is a wonderful and direct view on the process using 1010 as an example.
                  $endgroup$
                  – commentallez-vous
                  Jan 9 at 22:32










                • $begingroup$
                  You're welcome, glad to help!
                  $endgroup$
                  – pwerth
                  Jan 9 at 22:32
















                $begingroup$
                Thanks pwerth, this is a wonderful and direct view on the process using 1010 as an example.
                $endgroup$
                – commentallez-vous
                Jan 9 at 22:32




                $begingroup$
                Thanks pwerth, this is a wonderful and direct view on the process using 1010 as an example.
                $endgroup$
                – commentallez-vous
                Jan 9 at 22:32












                $begingroup$
                You're welcome, glad to help!
                $endgroup$
                – pwerth
                Jan 9 at 22:32




                $begingroup$
                You're welcome, glad to help!
                $endgroup$
                – pwerth
                Jan 9 at 22:32











                5












                $begingroup$

                Write out all the binary numbers with $3$ digits. Each digit represents one element ($0$ means exclude, $1$ means include):
                $$
                begin{array}{|c|c|}
                text{decimal}&text{binary}&text{subset}\hline
                0&000&{}\
                1&001&{C}\
                2&010&{B}\
                3&011&{B,C}\
                4&100&{A}\
                5&101&{A,C}\
                6&110&{A,B}\
                7&111&{A,B,C}\
                end{array}
                $$

                This is easily extendible to an $n$ element set with $n$ digit binary numbers.






                share|cite|improve this answer











                $endgroup$









                • 1




                  $begingroup$
                  Note the relationship between the binary numbers and the subset elements: $000 to { }, 001 to {C}, 010 to {B}, 011 to {B,C}, dots$.
                  $endgroup$
                  – steven gregory
                  Jan 10 at 14:36












                • $begingroup$
                  I believe that this is the same as pwerth's answer.
                  $endgroup$
                  – Scott
                  Jan 12 at 5:14
















                5












                $begingroup$

                Write out all the binary numbers with $3$ digits. Each digit represents one element ($0$ means exclude, $1$ means include):
                $$
                begin{array}{|c|c|}
                text{decimal}&text{binary}&text{subset}\hline
                0&000&{}\
                1&001&{C}\
                2&010&{B}\
                3&011&{B,C}\
                4&100&{A}\
                5&101&{A,C}\
                6&110&{A,B}\
                7&111&{A,B,C}\
                end{array}
                $$

                This is easily extendible to an $n$ element set with $n$ digit binary numbers.






                share|cite|improve this answer











                $endgroup$









                • 1




                  $begingroup$
                  Note the relationship between the binary numbers and the subset elements: $000 to { }, 001 to {C}, 010 to {B}, 011 to {B,C}, dots$.
                  $endgroup$
                  – steven gregory
                  Jan 10 at 14:36












                • $begingroup$
                  I believe that this is the same as pwerth's answer.
                  $endgroup$
                  – Scott
                  Jan 12 at 5:14














                5












                5








                5





                $begingroup$

                Write out all the binary numbers with $3$ digits. Each digit represents one element ($0$ means exclude, $1$ means include):
                $$
                begin{array}{|c|c|}
                text{decimal}&text{binary}&text{subset}\hline
                0&000&{}\
                1&001&{C}\
                2&010&{B}\
                3&011&{B,C}\
                4&100&{A}\
                5&101&{A,C}\
                6&110&{A,B}\
                7&111&{A,B,C}\
                end{array}
                $$

                This is easily extendible to an $n$ element set with $n$ digit binary numbers.






                share|cite|improve this answer











                $endgroup$



                Write out all the binary numbers with $3$ digits. Each digit represents one element ($0$ means exclude, $1$ means include):
                $$
                begin{array}{|c|c|}
                text{decimal}&text{binary}&text{subset}\hline
                0&000&{}\
                1&001&{C}\
                2&010&{B}\
                3&011&{B,C}\
                4&100&{A}\
                5&101&{A,C}\
                6&110&{A,B}\
                7&111&{A,B,C}\
                end{array}
                $$

                This is easily extendible to an $n$ element set with $n$ digit binary numbers.







                share|cite|improve this answer














                share|cite|improve this answer



                share|cite|improve this answer








                edited Jan 10 at 8:45

























                answered Jan 10 at 7:42









                robjohnrobjohn

                266k27304626




                266k27304626








                • 1




                  $begingroup$
                  Note the relationship between the binary numbers and the subset elements: $000 to { }, 001 to {C}, 010 to {B}, 011 to {B,C}, dots$.
                  $endgroup$
                  – steven gregory
                  Jan 10 at 14:36












                • $begingroup$
                  I believe that this is the same as pwerth's answer.
                  $endgroup$
                  – Scott
                  Jan 12 at 5:14














                • 1




                  $begingroup$
                  Note the relationship between the binary numbers and the subset elements: $000 to { }, 001 to {C}, 010 to {B}, 011 to {B,C}, dots$.
                  $endgroup$
                  – steven gregory
                  Jan 10 at 14:36












                • $begingroup$
                  I believe that this is the same as pwerth's answer.
                  $endgroup$
                  – Scott
                  Jan 12 at 5:14








                1




                1




                $begingroup$
                Note the relationship between the binary numbers and the subset elements: $000 to { }, 001 to {C}, 010 to {B}, 011 to {B,C}, dots$.
                $endgroup$
                – steven gregory
                Jan 10 at 14:36






                $begingroup$
                Note the relationship between the binary numbers and the subset elements: $000 to { }, 001 to {C}, 010 to {B}, 011 to {B,C}, dots$.
                $endgroup$
                – steven gregory
                Jan 10 at 14:36














                $begingroup$
                I believe that this is the same as pwerth's answer.
                $endgroup$
                – Scott
                Jan 12 at 5:14




                $begingroup$
                I believe that this is the same as pwerth's answer.
                $endgroup$
                – Scott
                Jan 12 at 5:14











                4












                $begingroup$

                I think, more directly, what the book is saying can be stated as:




                Choosing a subset $U$ of a set $S$ is the same as, for each element $xin S$, choosing whether $x$ is in $U$ or not.




                In particular, there is, at any time, only one set we're considering. So, if $S={A,B,C}$ and we want to choose a subset $U$, we could make the following three choices:
                $$Ain U$$
                $$Bin U$$
                $$Cin U$$
                And we would get $U={A,B,C}$. So, we've constructed a subset by making three binary choices. We could try this process again to make a different subset; for instance, we could decide instead
                $$Anotin U$$
                $$Bnotin U$$
                $$Cin U$$
                And then get $U={C}$. So, we've made a different set of choices and got a different set. So, for each subset, we have to make three choices.






                share|cite|improve this answer









                $endgroup$













                • $begingroup$
                  Thank you Milo, I think I got it using your explanation with pwerth's. I really appreciate it!
                  $endgroup$
                  – commentallez-vous
                  Jan 9 at 22:34
















                4












                $begingroup$

                I think, more directly, what the book is saying can be stated as:




                Choosing a subset $U$ of a set $S$ is the same as, for each element $xin S$, choosing whether $x$ is in $U$ or not.




                In particular, there is, at any time, only one set we're considering. So, if $S={A,B,C}$ and we want to choose a subset $U$, we could make the following three choices:
                $$Ain U$$
                $$Bin U$$
                $$Cin U$$
                And we would get $U={A,B,C}$. So, we've constructed a subset by making three binary choices. We could try this process again to make a different subset; for instance, we could decide instead
                $$Anotin U$$
                $$Bnotin U$$
                $$Cin U$$
                And then get $U={C}$. So, we've made a different set of choices and got a different set. So, for each subset, we have to make three choices.






                share|cite|improve this answer









                $endgroup$













                • $begingroup$
                  Thank you Milo, I think I got it using your explanation with pwerth's. I really appreciate it!
                  $endgroup$
                  – commentallez-vous
                  Jan 9 at 22:34














                4












                4








                4





                $begingroup$

                I think, more directly, what the book is saying can be stated as:




                Choosing a subset $U$ of a set $S$ is the same as, for each element $xin S$, choosing whether $x$ is in $U$ or not.




                In particular, there is, at any time, only one set we're considering. So, if $S={A,B,C}$ and we want to choose a subset $U$, we could make the following three choices:
                $$Ain U$$
                $$Bin U$$
                $$Cin U$$
                And we would get $U={A,B,C}$. So, we've constructed a subset by making three binary choices. We could try this process again to make a different subset; for instance, we could decide instead
                $$Anotin U$$
                $$Bnotin U$$
                $$Cin U$$
                And then get $U={C}$. So, we've made a different set of choices and got a different set. So, for each subset, we have to make three choices.






                share|cite|improve this answer









                $endgroup$



                I think, more directly, what the book is saying can be stated as:




                Choosing a subset $U$ of a set $S$ is the same as, for each element $xin S$, choosing whether $x$ is in $U$ or not.




                In particular, there is, at any time, only one set we're considering. So, if $S={A,B,C}$ and we want to choose a subset $U$, we could make the following three choices:
                $$Ain U$$
                $$Bin U$$
                $$Cin U$$
                And we would get $U={A,B,C}$. So, we've constructed a subset by making three binary choices. We could try this process again to make a different subset; for instance, we could decide instead
                $$Anotin U$$
                $$Bnotin U$$
                $$Cin U$$
                And then get $U={C}$. So, we've made a different set of choices and got a different set. So, for each subset, we have to make three choices.







                share|cite|improve this answer












                share|cite|improve this answer



                share|cite|improve this answer










                answered Jan 9 at 22:26









                Milo BrandtMilo Brandt

                39.5k475139




                39.5k475139












                • $begingroup$
                  Thank you Milo, I think I got it using your explanation with pwerth's. I really appreciate it!
                  $endgroup$
                  – commentallez-vous
                  Jan 9 at 22:34


















                • $begingroup$
                  Thank you Milo, I think I got it using your explanation with pwerth's. I really appreciate it!
                  $endgroup$
                  – commentallez-vous
                  Jan 9 at 22:34
















                $begingroup$
                Thank you Milo, I think I got it using your explanation with pwerth's. I really appreciate it!
                $endgroup$
                – commentallez-vous
                Jan 9 at 22:34




                $begingroup$
                Thank you Milo, I think I got it using your explanation with pwerth's. I really appreciate it!
                $endgroup$
                – commentallez-vous
                Jan 9 at 22:34











                4












                $begingroup$

                The set of subsets of $X$ can be seen as the set of all functions from $X$ to ${0,1}$, denoted ${0,1}^X$.



                For each such function, consider the subset of $X$ consisting of all $xin X$ such that $f(x)=1$.



                This, it turns out, is a $1-1$correspondence.



                As a result, the order of the power set is $mid P(X)mid=mid {0,1}^Xmid=mid{0,1}mid^{mid Xmid}=2^n$.






                share|cite|improve this answer











                $endgroup$


















                  4












                  $begingroup$

                  The set of subsets of $X$ can be seen as the set of all functions from $X$ to ${0,1}$, denoted ${0,1}^X$.



                  For each such function, consider the subset of $X$ consisting of all $xin X$ such that $f(x)=1$.



                  This, it turns out, is a $1-1$correspondence.



                  As a result, the order of the power set is $mid P(X)mid=mid {0,1}^Xmid=mid{0,1}mid^{mid Xmid}=2^n$.






                  share|cite|improve this answer











                  $endgroup$
















                    4












                    4








                    4





                    $begingroup$

                    The set of subsets of $X$ can be seen as the set of all functions from $X$ to ${0,1}$, denoted ${0,1}^X$.



                    For each such function, consider the subset of $X$ consisting of all $xin X$ such that $f(x)=1$.



                    This, it turns out, is a $1-1$correspondence.



                    As a result, the order of the power set is $mid P(X)mid=mid {0,1}^Xmid=mid{0,1}mid^{mid Xmid}=2^n$.






                    share|cite|improve this answer











                    $endgroup$



                    The set of subsets of $X$ can be seen as the set of all functions from $X$ to ${0,1}$, denoted ${0,1}^X$.



                    For each such function, consider the subset of $X$ consisting of all $xin X$ such that $f(x)=1$.



                    This, it turns out, is a $1-1$correspondence.



                    As a result, the order of the power set is $mid P(X)mid=mid {0,1}^Xmid=mid{0,1}mid^{mid Xmid}=2^n$.







                    share|cite|improve this answer














                    share|cite|improve this answer



                    share|cite|improve this answer








                    edited Jan 10 at 0:23

























                    answered Jan 9 at 22:38









                    Chris CusterChris Custer

                    11.3k3824




                    11.3k3824























                        4












                        $begingroup$

                        Proof by induction (on number of elements in the set):



                        For $n = 0$, there is exactly $2^0=1$ subset of a set with 0 elements, namely the empty set itself.



                        Assuming that any set $U_n$ with $n$ elements has $2^n$ subset, consider a set $U_{n+1}=U_n cup {x}$ (where $x notin U_n$). Which subsets of $U_{n+1}$ exists?




                        • The subsets which do not include $x$ are exactly the subsets of $U_n$ (there are $2^n$ such subsets)

                        • Any other subset includes $x$, so it is of the form $A cup {x}$, where $A$ is a subset of $U_n$ (because all elements in $U_{n+1}$ except $x$ are also elements of $U_n$), and it's clear that such subset exists (and is unique) for each $A subset U_n$. So, the number of $U_{n+1}$ subsets which include $x$ is also $2^n$.


                        So, the total count of $U_{n+1}$ subsets is $2^n+2^n=2^{n+1}$. The proof is complete.






                        share|cite|improve this answer









                        $endgroup$


















                          4












                          $begingroup$

                          Proof by induction (on number of elements in the set):



                          For $n = 0$, there is exactly $2^0=1$ subset of a set with 0 elements, namely the empty set itself.



                          Assuming that any set $U_n$ with $n$ elements has $2^n$ subset, consider a set $U_{n+1}=U_n cup {x}$ (where $x notin U_n$). Which subsets of $U_{n+1}$ exists?




                          • The subsets which do not include $x$ are exactly the subsets of $U_n$ (there are $2^n$ such subsets)

                          • Any other subset includes $x$, so it is of the form $A cup {x}$, where $A$ is a subset of $U_n$ (because all elements in $U_{n+1}$ except $x$ are also elements of $U_n$), and it's clear that such subset exists (and is unique) for each $A subset U_n$. So, the number of $U_{n+1}$ subsets which include $x$ is also $2^n$.


                          So, the total count of $U_{n+1}$ subsets is $2^n+2^n=2^{n+1}$. The proof is complete.






                          share|cite|improve this answer









                          $endgroup$
















                            4












                            4








                            4





                            $begingroup$

                            Proof by induction (on number of elements in the set):



                            For $n = 0$, there is exactly $2^0=1$ subset of a set with 0 elements, namely the empty set itself.



                            Assuming that any set $U_n$ with $n$ elements has $2^n$ subset, consider a set $U_{n+1}=U_n cup {x}$ (where $x notin U_n$). Which subsets of $U_{n+1}$ exists?




                            • The subsets which do not include $x$ are exactly the subsets of $U_n$ (there are $2^n$ such subsets)

                            • Any other subset includes $x$, so it is of the form $A cup {x}$, where $A$ is a subset of $U_n$ (because all elements in $U_{n+1}$ except $x$ are also elements of $U_n$), and it's clear that such subset exists (and is unique) for each $A subset U_n$. So, the number of $U_{n+1}$ subsets which include $x$ is also $2^n$.


                            So, the total count of $U_{n+1}$ subsets is $2^n+2^n=2^{n+1}$. The proof is complete.






                            share|cite|improve this answer









                            $endgroup$



                            Proof by induction (on number of elements in the set):



                            For $n = 0$, there is exactly $2^0=1$ subset of a set with 0 elements, namely the empty set itself.



                            Assuming that any set $U_n$ with $n$ elements has $2^n$ subset, consider a set $U_{n+1}=U_n cup {x}$ (where $x notin U_n$). Which subsets of $U_{n+1}$ exists?




                            • The subsets which do not include $x$ are exactly the subsets of $U_n$ (there are $2^n$ such subsets)

                            • Any other subset includes $x$, so it is of the form $A cup {x}$, where $A$ is a subset of $U_n$ (because all elements in $U_{n+1}$ except $x$ are also elements of $U_n$), and it's clear that such subset exists (and is unique) for each $A subset U_n$. So, the number of $U_{n+1}$ subsets which include $x$ is also $2^n$.


                            So, the total count of $U_{n+1}$ subsets is $2^n+2^n=2^{n+1}$. The proof is complete.







                            share|cite|improve this answer












                            share|cite|improve this answer



                            share|cite|improve this answer










                            answered Jan 10 at 7:02









                            trolley813trolley813

                            22114




                            22114






























                                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%2f3068013%2fthe-total-number-of-subsets-is-2n-for-n-elements%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

                                How to change which sound is reproduced for terminal bell?

                                Can I use Tabulator js library in my java Spring + Thymeleaf project?

                                Title Spacing in Bjornstrup Chapter, Removing Chapter Number From Contents