Si $C$, es habitual el medio tercios conjunto de Cantor, a continuación, $\{|x-y|\,\mid x,y\in C\}$ es todo intervalo cerrado $[0,1]$.
Es más fácil ver esto en el formulario de $\{x+y\mid x,y\in C\}=[0,2]$ (lo que implica que el original, ya que el conjunto de Cantor es simétrico con respecto al $1/2$.
El conjunto de Cantor consiste de todos los números que tienen una base-3 representación utilizando los dígitos 0
y 2
solamente. En la afirmación de que cada número en $[0,2]$ es la suma de dos números. El principal problema es hacer que la suma contener 1
s en los lugares correctos, pero podemos hacerlo de esta manera:
0.22222000000222022220002002222...
+ 0.00002000000002000020002000000...
---------------------------------------
1.00001000001001100010011010000....
El segundo de los sumandos aquí sólo consta de 0
s, salvo que con 2
s en cada segundo de las posiciones donde queremos 1
en el resultado. Si queremos cambiar alguna de las 0
de la suma a 2
s, simplemente podemos insertar adicional 2
s en las posiciones correspondientes en el segundo sumando.
Por otro lado, por ejemplo, un medio-8/10s conjunto de Cantor (homeomórficos a la mitad-la tercera) no tiene esta propiedad.