Power sets and cardinalities (proof)

In summary, the conversation discusses the proof that there is no surjective function from a set A to its power set P(A). This implies that the cardinality of A is strictly less than the cardinality of P(A). The conversation also includes a hint to consider the set U= {a in A : a not in phi(a)} and to think about whether u, satisfying phi(u)=U, is an element of U or A.
  • #1
TheFacemore
2
0

Homework Statement



Let A be a set. Show that there is no surjective function phi: A --> P(A), where P(A) is the power set of A. What does this say about the cardinalities of A and P(A)?

Homework Equations


Assume that phi is a surjection of A onto P(A) and consider the set U= {a in A : a not in phi(a)} of A. Since phi is a surjection there must be a u in A satisfying phi(u)=U.


The Attempt at a Solution

 
Physics news on Phys.org
  • #2
Okay, so how does "phi(u)= U" lead to a contradiction?
 
  • #3
TheFacemore said:
Assume that phi is a surjection of A onto P(A) and consider the set U= {a in A : a not in phi(a)} of A. Since phi is a surjection there must be a u in A satisfying phi(u)=U.

That's not an effort, that is the hint that was given.
Anyway, think about whether u is an element of U.
 
  • #4
From those 2 replies i feel as if I am trying to overthink this problem. Is it that u does not need to be an element of U but it has to be an element of A? or something to that extent?
 

FAQ: Power sets and cardinalities (proof)

1. What is a power set?

A power set is a set that contains all the subsets of a given set. For example, if the set A = {1, 2}, then the power set of A is P(A) = {{}, {1}, {2}, {1,2}}.

2. How do you find the cardinality of a power set?

The cardinality of a power set is equal to 2^n, where n is the number of elements in the original set. In other words, if a set has n elements, its power set will have 2^n elements.

3. What is the relationship between power sets and cardinalities?

Power sets and cardinalities are closely related because the cardinality of a power set is determined by the number of elements in the original set. The power set will always have a larger cardinality than the original set.

4. How can you prove that the cardinality of a power set is 2^n?

One way to prove this is by using mathematical induction. First, show that the formula holds for a set with one element. Then, assume it holds for a set with n elements and use this to show that it also holds for a set with n+1 elements. This will prove that the formula holds for all natural numbers and therefore, for any set.

5. Can the cardinality of a power set be infinite?

Yes, the cardinality of a power set can be infinite. For example, the power set of the set of natural numbers (N) has a cardinality of 2^N which is infinite. This means that the power set of N contains an infinite number of subsets.

Similar threads

Back
Top