The total number of subsets is $2^n$ for $n$ elements
$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.
probability probability-theory permutations combinations
$endgroup$
add a comment |
$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.
probability probability-theory permutations combinations
$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
add a comment |
$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.
probability probability-theory permutations combinations
$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
probability probability-theory permutations combinations
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
add a comment |
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
add a comment |
6 Answers
6
active
oldest
votes
$begingroup$
- "Include A?" is stage 1
- "Include B?" is stage 2
- "Include C?" is stage 3.
$endgroup$
add a comment |
$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.
$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
add a comment |
$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.
$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
add a comment |
$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.
$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
add a comment |
$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$.
$endgroup$
add a comment |
$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.
$endgroup$
add a comment |
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
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
$begingroup$
- "Include A?" is stage 1
- "Include B?" is stage 2
- "Include C?" is stage 3.
$endgroup$
add a comment |
$begingroup$
- "Include A?" is stage 1
- "Include B?" is stage 2
- "Include C?" is stage 3.
$endgroup$
add a comment |
$begingroup$
- "Include A?" is stage 1
- "Include B?" is stage 2
- "Include C?" is stage 3.
$endgroup$
- "Include A?" is stage 1
- "Include B?" is stage 2
- "Include C?" is stage 3.
answered Jan 9 at 23:16
EelvexEelvex
1,136820
1,136820
add a comment |
add a comment |
$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.
$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
add a comment |
$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.
$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
add a comment |
$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.
$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.
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
add a comment |
$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
add a comment |
$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.
$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
add a comment |
$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.
$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
add a comment |
$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.
$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.
edited Jan 10 at 8:45
answered Jan 10 at 7:42
robjohn♦robjohn
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
add a comment |
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
add a comment |
$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.
$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
add a comment |
$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.
$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
add a comment |
$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.
$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.
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
add a comment |
$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
add a comment |
$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$.
$endgroup$
add a comment |
$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$.
$endgroup$
add a comment |
$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$.
$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$.
edited Jan 10 at 0:23
answered Jan 9 at 22:38
Chris CusterChris Custer
11.3k3824
11.3k3824
add a comment |
add a comment |
$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.
$endgroup$
add a comment |
$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.
$endgroup$
add a comment |
$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.
$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.
answered Jan 10 at 7:02
trolley813trolley813
22114
22114
add a comment |
add a comment |
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.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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
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