Intuïtief lukt het dan ook nog voor aftelbaar oneindige verzamelingen. Bestaan er niet-aftelbare verzamelingen waarvoor dit lukt? Dat zou toch heel sterk zijn.
Voor overaftelbare in vele gevallen ook vermoed ik.
Zij V
0 een aftelbare verzameling radialen die horen bij onderling verschillende punten van de eenheidscirkel.
Verwijder deze punten (of eigenlijk de punten behorende bij deze radialen) uit de eenheidscirkel.
De verzameling
\(X = {\frac{a-b}{c} | a,b \in V_0 \wedge c \neq 0, c \in \zz }\)
is dan aftelbaar.
Kies
\( z \notin X\)
Bekijk de verzamelingen z+V
0, 2z + V
0, 3z + V
0 ... .
De vereniging van deze verzamelingen noem ik U (en de daarmee overeenkomende punten op de eenheidscirkel ook).
Punten van de eenheidscirkel die er niet toe behoren V.
Draai U over een hoek van z radialen met de klok mee, dan gaat de verzameling z+V
0 over in V
0; 2z+V
0 over in z+V
0 enz.
Merk op dat vanwege het feit dat
\( z \notin X\)
is de verzamelingen mz+V
0 en nz+V
0 disjunct zijn.
Na de draaiing hebben we weer een volledige cirkel.