7
$\begingroup$

Cantor's theorem states that the cardinality of a set's powerset is strictly greater than that of the set itself. This clearly applies to the reals also; if I'm not mistaken, the cardinality of the power set of the reals would be $\beth_{2}$.

Is there any literature on the powerset of the reals? I'm rather interested in reading about what properties it would have, since mathematics seems to rarely consider cardinalities beyond $\beth_{1}$. I have done some searching around Google, but have so far had no luck. It doesn't help that I'm unaware of any formal name which this set may or may not possess.

Thanks in advance!

  • 0
    The collection of intersections of arbitrary closed unit intervals $[a,a+1]$ where $a\in \mathbb{R}$. Is that a power set for $\mathbb{R}$?2018-02-24

2 Answers 2

7

Non-set theoretical mathematics indeed stay within the limits of the continuum (and rarely its power set, e.g. Lebesgue measurable sets is a collection of size $\beth_2$).

In set theoretical aspects the power set of the continuum is the number of ultrafilters on $\mathbb N$ (assuming the axiom of choice and whatnot); there are a few theorems discussing $\beth_2$ under additional axioms and CH; and when you decide to toss away the axiom of choice and take the axiom of determinacy instead you find yourself in a strange model in which every countable partially ordered set can be embedded into cardinalities below the continuum.

It is also not true at all that there is no talk about cardinalities above $\beth_2$. It appears in PCF theory (and the PCF theorem itself), large cardinals are usually strong limit cardinals, so they dwarf the continuum much like the universe dwarfs an electron, and of course the choice-less contexts often throw a fit and head out to a whole other direction with cardinals (i.e. cardinals which cannot even be compared with the continuum).

In the rest of mathematics, the concrete object $\mathcal P(\mathbb R)$ forms a Boolean-algebra, it does not have a natural linear ordering, and it is mainly used as an example of an underlying set for structures of that size. However such objects are not very common (yet, anyway) since they tend to be a little bit too big to handle once you add structure which was not natural (in the sense that the real numbers have).

The more structure you want, the harder it is to handle larger and larger objects. Once you go beyond $\beth_1$ you cannot have both Hausdorff and separable topologies. One of my teachers once explained this very question to me with the answer that we can grasp finite things, and we can approximate countable (and thus separable) things. However beyond that it becomes very hard to work with things. There are objects which are very large, in modern fields such as C*-algebras you get to meet them from time to time, and slowly in other fields. However it is still convenient to work with separable/countably generated/finitely generated objects for most people. If you wait a century or two then I'm certain that larger constructions will seep through the cracks and become mundane.

  • 0
    @Vinícius: I'm not sure that I understand your question, or its relevance to a nearly-four years old answer. You should probably ask a new question.2015-07-07
1

http://www.earlham.edu/~peters/writing/infapp.htm

The power set of the rational numbers can be represented by a table like the one below, where each row shows a set, and a 1 in a column means that the corresponding number is in that set. Then each set is a binary string, which could represent a real number.
$\begin{array}{ccccc} 1 & 2 & 3 & 4 & 5\\\hline 0 & 1 & 1 & 0 & 0\\ 0 & 0 & 1 & 1 & 1\\ 1 & 1 & 1 & 0 & 1 \end{array}$ A similar table can be done for the reals, with each column heading a real number. Therefore each real number can be written with countably many decimal places, and the power set of the reals has the same cardinality as the set of all numbers which can be written with as many decimal places as there are real numbers.

  • 0
    @Angela-Richardson, Asaf-Karagila, how is it possible to define sum and product over "uncountable decimal places"? e.g. 9 + 1 in a position carries 1 to the next position. Define "next". Alternatively, in the real line, complete ordered field, we have proprierties of sum and product of "supremum", "infimum", "limits" or "series". is this possible in the power set of $\mathbb{R}$?2015-07-03