3
$\begingroup$

The Freiling theorem states:

Let $S = \{f: [0,1]\rightarrow A$ : $A$ is a countable subset of $[0,1]\}$ . Consider the following statement:

For each $f$ in $S$, there exist $x$ and $y$ in $[0,1]$ such that $x$ is not in $f(y)$ and $y$ is not in $f(x)$.

I would like to know if it is possible to give a proof of the falsity of the CH (Continuum Hypothesis) using the Freiling theorem of Symmetry?

  • 0
    The 'probability of Freiling' is not a probability defined in a Lebesgue measurable space. Even if we assume the Freiling probability to be correct from a formal point of view, is the Symmetry axiom alone enough to give a proof of the falsity of the CH?2012-02-27

1 Answers 1

1

Yes, it is possible to give a proof of $\neg\mathsf{CH}$ using Freiling's axiom (not theorem) of symmetry. My answer is CW because I'm essentially copying from Wikipedia the answer that Asaf already mentioned. I get the impression that this doesn't answer some question that the OP meant to ask, but it does answer the question that he did ask, so I thought it should be posted as such.

Suppose $\mathsf{CH}$ holds, so that $|[0,1]|=\omega_1$. Then letting $\sigma: [0,1] \to \omega_1$ be a bijection, the function $f:[0,1]\to\mathcal{P}([0,1])$ defined by $f(x)= \{y: \sigma(y) \preceq \sigma(x)\}$ demonstrates the failure of Freiling's axiom.