Let P(X) denote the set of all subsets (including Ø and X) of a set X. Write out the elements of P(Ø), P({a}), and P({r,s,t}). If #X=n, a finite number, what is #P(X)? Prove your assertion.
Any help would be appreciated. Thanks.
To show how many subsets an n-element set has, consider each element of the n-element set. For a particular subset, each element is either in the subset or it is not. Hence, there are two possibilities for each element. Since each element may belong or not belong to a subset independent of any other elements that may or may not be part of the subset, you can apply the product principle to count how many subsets there are.
This about the same a the reply just above. The notation is simpler.
That is two sets, or
Suppose we know that contains sets.
It should be clear to you that . Right?
The only 'new' sets on the right look like where .
We get one new set for each on the left.
So we now have sets on the right.
A variation on that theme (proof by induction). If n= 0, then the set is empty and has only one subset, the empty set. Now, suppose that, for some positive integer, k, P(A)= 2^k whenever A has k members. Let B be a set containing k+ 1 members. Since k+1> 0, B has at least one member. Choose one and call it "b". No consider the collection of all subsets of B that do NOT contain b. That is the same as the set of all subsets of B\{b} which has k members and so 2^k subsets. But if any subset, C, of B [b]does[b] contain b, the assignment C-> C\{b} is one-to-one and onto. That is, there is a one-to-one correspondence between subsets of B which contain a and those that do not. Since there are 2^k sets that do not contain b and 2^k subsets of B that do contain b. There are a total of 2^k+ 2^k= 2(2^k)= 2^{k+1} subsets of B.
And if you are looking for a more combinatorial argument, you can make a counting argument.
You want to count the number of subsets of which has elements. For each a subset which contains is distinct from a subset that does not. So, each element gives 2 possibilities that are independent for each element of . By the product principle, the number of subsets would be...
Can you finish the proof?