## Theorem

There exists a disjoint decomposition of the sphere $\mathbb S^2$ into four sets $A, B, C, Q$ such that $A, B, C, B \cup C$ are all congruent and $Q$ is countable.

## Proof 1

Let $R \subset \map {\mathbb {SO} } 3$ be the group generated by the $\pi$ and $\dfrac {2 \pi} 3$ rotations around different axes.

The elements:

$\psi = \begin {pmatrix} -\tfrac 1 2 & \tfrac {\sqrt 3} 2 & 0 \\ -\tfrac {\sqrt 3} 2 & -\tfrac 1 2 & 0 \\ 0 & 0 & 1 \\ \end {pmatrix}$
$\phi = \begin {pmatrix} -\map \cos \vartheta & 0 & \map \sin \vartheta \\ 0 & -1 & 0 \\ \map \sin \vartheta & 0 & \map \cos \vartheta \\ \end {pmatrix}$

form a basis for $R$ for some $\vartheta$.

We have:

$\psi^3 = \phi^2 = \mathbf I_3$

where $\mathbf I_3$ is the identity mapping in $\mathbb R^3$.

Therefore $\forall r \in R: r \ne \mathbf I_3, \psi, \phi, \psi^2$ there exists some $n \in \N$ and some set of numbers $m_k \in \set {1, 2}, 1 \le k \le n$ such that $r$ can written as one of the following:

$\text{(a)}: \quad \ds r = \prod_{k \mathop = 1}^n \phi \psi^{m_k}$
$\text{(b)}: \quad \ds r = \map {\psi^{m_1} } {\prod_{k \mathop = 2}^n \phi \psi^{m_k} }\phi$
$\text{(c)}: \quad \ds r = \paren {\prod_{k \mathop = 1}^n \phi \psi^{m_k} } \phi$
$\text{(d)}: \quad \ds r = \map {\psi^{m_1} } {\prod_{k \mathop = 2}^n \phi \psi^{m_k} }$

Now we fix $\vartheta$ such that $\mathbf I_3$ cannot be written in any of the ways $\text{(a)}$, $\text{(b)}$, $\text{(c)}$, $\text{(d)}$.

The action of $R$ on $\mathbb S^2$ will leave two points unchanged for each element of $R$ (the intersection of the axis of rotation and the sphere, to be exact).

Since $R$ is finitely generated, it is a countable group.

Therefore the set of points of $\mathbb S^2$ which are unchanged by at least one element of $R$ is also countable.

We call this set $Q \subset \mathbb S^2$, so that $R$ acts freely on $\mathbb S^2 \setminus Q$.

By Set of Orbits forms Partition, this partitions $\mathbb S^2 \setminus Q$ into orbits.

By the Axiom of Choice, there is a set $X$ containing one element of each orbit.

For any $r \in R$, let $X_r$ be the right action of $r$ on $X$.

We have:

$\ds \mathbb S^2 \setminus Q = \bigcup_{r \mathop \in R} X_r$

Define the sets $A, B, C$ to be the smallest sets satisfying

$X \subseteq A$
If $X_r \subset A, B, C$, then $X_{r\phi} \subset B, A, A$, respectively.
If $X_r \subset A, B, C$, then $X_{r\psi} \subset B, C, A$, respectively.
If $X_r \subset A, B, C$, then $X_{r\psi^2} \subset C, A, B$, respectively.

These sets are defined due to the uniqueness of the properties $\text{(a)}$ to $\text{(d)}$

Also, $A, B, C, B \cup C$ are congruent since they are rotations of each other, namely:

$A_\psi = B, B_{\psi^2} = C, A_\phi = B \cup C$

Hence we have constructed the sets $A, B, C, Q$ of the theorem.

$\blacksquare$

## Proof 2

### Lemma $1$

Let $G$ be the free product of the groups $G_1 = \set {e_1, \phi}$ and $G_2 = \set {e_2, \psi, \psi^2}$.

Let $U := \mathbb D^3 \subset \R^3$ be a unit ball in real Euclidean space of $3$ dimensions.

Let $\phi$ and $\psi$ be represented by the axes of rotation $a_\phi$ and $a_\psi$ passing through the center of $U$ such that:

$\phi$ is a rotation by $180 \degrees$, that is $\pi$ radians about $a_\phi$
$\psi$ is a rotation by $120 \degrees$, that is $\dfrac {2 \pi} 3$ radians about $a_\psi$

Hence consider $G$ as the group of all rotations generated by $\phi$ and $\psi$.

The identity of $G$ is then the identity mapping $\mathbf I_3$.

Then $a_\phi$ and $a_\psi$ can be determined in such a way that distinct elements of $G$ represent distinct rotations generated by $\phi$ and $\psi$.

$\Box$

### Lemma $2$

The group $G$ can be partitioned into $3$ disjoint sets:

$G = A \cup B \cup C$

such that:

 $\text {(1)}: \quad$ $\ds A \circ \phi$ $=$ $\ds B \cup C$ $\text {(2)}: \quad$ $\ds A \circ \psi$ $=$ $\ds B$ $\text {(3)}: \quad$ $\ds A \circ \psi^2$ $=$ $\ds C$

$\Box$

Let $Q$ be the set of all fixed points of $\Bbb S^2$ of all rotations $\alpha \in G$.

Each such $\alpha$ has $2$ fixed points.

Hence $Q$ is countable.

The set $\Bbb S^2 \setminus Q$ is a disjoint union of all orbits $P_x$ of $G$:

$P_x = \set {x \alpha: \alpha \in G}$

By the Axiom of Choice, there exists a set $M$ which contains exactly $1$ element in each $P_x$ where $x \in \Bbb S^2 \setminus Q$.

Let:

 $\ds A$ $=$ $\ds M \circ \mathscr A$ $\ds B$ $=$ $\ds M \circ \mathscr B$ $\ds C$ $=$ $\ds M \circ \mathscr C$

It then follows from Lemma $2$ that:

$A$, $B$ and $C$ are disjoint
$A$, $B$ and $C$ are congruent to each other
$B \cup C$ is congruent to each of $A$, $B$ and $C$

and moreover:

$S = A \cup B \cup C \cup Q$

$\blacksquare$

## Axiom of Choice

This theorem depends on the Axiom of Choice.

Because of some of its bewilderingly paradoxical implications, the Axiom of Choice is considered in some mathematical circles to be controversial.

Most mathematicians are convinced of its truth and insist that it should nowadays be generally accepted.

However, others consider its implications so counter-intuitive and nonsensical that they adopt the philosophical position that it cannot be true.

Whether you view this result as a veridical paradox or an antinomy depends your acceptance or otherwise of the Axiom of Choice.

## Source of Name

This entry was named for Felix Hausdorff.