A (fairly) interesting equivalent to the negation of the continuum hypothesis

I recently saw an interesting equivalent statement to the negation of the continuum hypothesis. The statement is essentially Freiling’s axiom of symmetry, presented in a very slightly different manner. It’s interesting in that it seems more geometric and less abstract than the continuum hypothesis itself. In this post, I briefly rehash the definition of the continuum hypothesis and prove the claimed equivalence.

The continuum hypothesis (CH) is the claim that , or equivalently that there are no cardinalities intermediate between the cardinality of the naturals and the cardinality of the reals. It’s well known that this is independent of ZFC, and this is often taken to mean that its truthhood is “unknowable”, or that we are free to assume CH or its negation as we please. In a sense this is true. However, it is worth stressing that there is nothing inherently special about the ZFC axioms. We have good reasons for believing that they are consistent and they are powerful enough to formalise most of mathematics in, but just as choice and replacement were added for pratical purposes it is reasonable to suppose that we might produce other useful axioms that we wish to add that appear “plausible”. The study of large cardinal axioms is a well established branch of set theory that considers various strong axioms that could be added to ZFC (“strong” in the sense of consistency strength; all large cardinal axioms prove Con(ZFC)) that are motivated by various heuristics or desired consequences. However, none of the current large cardinal axioms settle the continuum hypothesis.

We now introduce the equivalent statement to not CH. The statement seems to me to be very intuitive, but I’m not sure if this is really just because my intuition of how infinite sets behave is a bit suspect (I am also somewhat drawn to the axiom, and clearly I’m not allowed both!).

Denote the unit interval by . Given a set and , define to be the set of all , i.e. is the “row” of at height . We say that is thin if for every , is countable. Given , define the reflection of , denoted , to be the set of all such that (i.e. the reflection of along the line ). Intuitively, it seems that taking the union of any thin set with its reflection should never give us all of ; thin sets “don’t fill up very much of “. In fact, it’s easy to show that this claim is equivalent to the continuum hypothesis being false.

Theorem
The negation of the continuum hypothesis is equivalent to there being no thin set with .

Proof
Suppose that CH is true and let be a bijection. Define a set as follows: for each , define to be the set of all such that . Each is clearly countable (by definition of !) and .

Now suppose that CH is not true and let be any thin subset of . Let be a set of cardinality . Let . so there exists such that . As is countable there exists some . So by our choice of and by our choice of .