Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The power set of the power set of an infinite set

  1. Mar 20, 2012 #1
    Let X be a set which is countably infinite. Then is there any example, on earth, of the power set of the power set of X?
  2. jcsd
  3. Mar 20, 2012 #2


    User Avatar
    Science Advisor

    Isn't that just a set with 2^n elements (the power set)? If so couldn't you just write P(P(S)) where S your set in question? The set itself would be uncountable but that shouldn't change the properties of the result should it?

    Do you have a particular set S in mind or are you just interested in any uncountable set for S?
  4. Mar 21, 2012 #3
    Because X is countabliy infinite, you can take any set that is countably infinite such as Q or Z^+ or Z, etc. And as most people know, P(X) in this case is equivalent to R. But my question here is what on earth P(R) for example? Is it an, like, example of large cardinal?
  5. Mar 21, 2012 #4


    User Avatar
    Science Advisor

    I think this might be of use to you:

  6. Mar 21, 2012 #5
    Thanks, it was indeed helpful!
  7. Mar 21, 2012 #6


    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    There are some natural examples of sets which such a cardinality.
    An important example (although quite advanced), is the Cech-Stone compactification of [itex]\mathbb{N}[/itex]. This can be shown to have the same cardinality of the powerset of [itex]\mathbb{R}[/itex].

    This is NOT an example of a large cardinal. Large cardinals are very large, and can not be written so easily as the powerset of R. Indeed, the existence of large cardinals can usually not be shown, only postulated.
  8. Mar 21, 2012 #7
    If you mean physical objects, then there are no infinite sets on Earth.
  9. Mar 21, 2012 #8
    The power set of an infinite set is always of a higher cardinality than that of the infinite set.
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Similar Discussions: The power set of the power set of an infinite set