A translation of the Cantor set contained in the irrationals

One way to obtain explicit examples, which combines the ideas of (weak forms of) randomness and base 3 expansions, is to use the fact that normality in a given base is preserved under rational addition, which was proved by D. D. Wall in his 1949 Berkeley PhD Dissertation. (I'm relying on D. Doty, J. H. Lutz, and S.Nandakumar [Finite-state dimension and real arithmetic, Information and Computation 205(11):1640-1651, 2007] for this reference.) Here a number $r$ is normal in base $b$ if for any finite nonempty string $\sigma$ drawn from the alphabet $\{0,...,b-1\}$, the limiting frequency of the appearances of $\sigma$ as a substring of the base $b$ expansion of $r$ is $b^{-|\sigma|}$. Since elements of $C$ are not normal in base $3$, any number $r$ that is normal in base $3$ has the desired property. Examples of such numbers can be found at http://en.wikipedia.org/wiki/Normal_number, for instance.

In fact, normality is overkill. Let $r$ be disjunctive in base $3$, i.e., every finite ternary string appears as a substring of the ternary expansion of $r$ (which is both a comeager and a conull property). We need to show is that if $q$ is a positive rational then $r+q \notin C$. (Here addition is mod $1$.) If the ternary expansion of $q$ has infinitely many $1$'s then the fact that the ternary expansion of $r$ contains $0^n$ for all $n$ means that $q+r \notin C$. Otherwise, the fact that this expansion contains $0^m10^n$ for all $m,n$ does the trick.


EDIT: This is modified from the original version which was incorrect, as pointed out by @KajetanJaniak.

I don't think this should be hard. Think base 3. Something is irrational if and only if it does not have a ultimately periodic base 3 expansion. Something's in $C$ if and only if it has no 1's in its base 3 expansion.

Here's an explicit $t$ that I think does the job: $$ t=\sum_{n=0}^\infty \sum_{j=2^{2n}}^{2^{2n+1}-1}3^{-j}\mathbf 1_{j\text{ odd}}. $$ In base 3 it's $$ t=0.1|00|0101|00000000|0101010101010101|00000000000000000000000000000000|01\ldots $$ (the $|$ are not part of the number, but just make it easier to read). Since $t$ does not have an ultimately periodic base 3 expansion, it's irrational.

Let's call the coordinate ranges where $t$ has 0's "0-blocks" (i.e. from $2^k$ to $2^{k+1}-1$ for $k$ odd) and the coordinate ranges where $t$ has 01's "01-blocks". Now if you form $x+t$ for any $x\in C$, $x+t$ has arbitrarily long blocks with no 1's in the base 3 expansion (corresponding to the blocks of 0's in $t$) - if you're unlucky, the last digit of $x+t$ in a 0-block might be a 1, but there are no others.

Hence if assume for a contradiction that $x+t$ is rational (and so has ultimately periodic base 3 expansion), the repeating block must contain only 0's and 2's.

Now consider the expansion of $x+t$ on the 01-blocks. A calculation shows that the only way to avoid having 1's in the sum in the interior of the 01-blocks is for $x$ to consist of a concatenation of 0022's and 2022's in those blocks and $x+t$ to consist of 0200's and 2200's there. Since the blocks occurring in $x+t$ have one less two than the corresponding blocks in $x$, we see that $x+t$ "looks different" on the 0-blocks than it does on the 01-blocks. Hence $x+t$ cannot have a periodic base 3 expansion, and must be irrational.


If $q\in x+C$, i.e., $q=x+c$ for some $c\in C$, then $x=q-c$, i.e., $x\in q-C$. Now $q-C$ is a closed set of measure zero and moreover it is a $\Pi^0_1$ class if $q\in\mathbb Q$. Thus each weakly 1-random real avoids $q-C$. In particular Chaitin's $\Omega$ does not belong to $q-C$.

There are infinitely many versions of Chaitin's number, so to get an explicit example we must choose one, coming from a canonical construction of a prefix-free universal Turing machine.