There is no end to the variety of sets of natural numbers. Sets having all sorts of properties have been studied and many more remain to be discovered. In this note we study the set of natural numbers for which the decimal digit 1 does not occur.

*Google Translate* on my mobile phone gives the Greek for “without ones” as or *choris ena*, so let us call a set of “oneless numbers” a **chorisenic set.**

**Numerical Pattern**

In the Figure above (left panel) we plot the count of the chorisenic set for values of up to . In the right panel, the partial density is plotted. It will ultimately tend to zero, although this is not obvious from the plot.

For small , we can easily count the numbers less than that have no in their decimal expansion. Some examples are shown in the Table below. It is straightforward to show that the count is for . The number is followed by a string of numbers starting with 1, so the count for is greater by just 1, at .The partial density is defined as

It is relatively large for and drops by a factor of 2 when . Thus it has an oscillating pattern. However, as tends to , the partial density tends to zero. Thus, the *natural density*, is zero.

**Probability Argument**

The ultimate limit of the density can easily be understood in terms of probability (Tenenbaum, 1995). Let us consider the set of all numbers having up to digits. That is, all numbers less than . For a randomly chosen number , an arbitrary digit may take any of the ten possible values and we may assume each value is equally likely. Thus, the probability of an arbitrary digit *not* being 1 is . Since we may assume that the digits are independently chosen, the overall probability that 1 does not appear anywhere in the number is

Of course, if the cut-off is at , the probability is halved. In any case, it is clear that as .

**Ternary Chorisenic Set **

We can follow the above procedure but starting with numbers expressed in base 3. For these numbers the only admissible digits are . We consider the set of all natural numbers whose ternary expansions do not contain any digits equal to 1.

According to https://oeis.org/A005823, the first terms of the sequence can be obtained using the Cantor process of “middle-third-removal” for the segment . For example, if we get

The numbers remaining are the initial elements of . A more complete list of initial terms (from OEIS A005823) is

This gives 16 terms (including 0) less than . The OEIS page suggests that the terms of the sequence could be called “Cantor’s numbers”.

The total of numbers with or fewer ternary digits is . The number of these with no digits equal to *can be shown* to be . Thus, the partial density of the set of numbers with no digit equal to is

This becomes smaller as becomes larger and the natural density of the set is zero.

In the Figure above we show the count of elements of the set (left) and its partial density (right). We see that the count is constant most of the time, with isolated jumps. In fact, this set is intimately related to the Cantor Ternary Set, the set of real numbers in containing no in their ternary expansion. This set is fractal in nature, of Hausdorff dimension , uncountable and yet having Lebesgue measure zero.

Readers may enjoy exploring the relationship between and Cantor’s set.

** Sources **

The On-Line Encyclopedia of Integer Sequences (OEIS): Numbers whose ternary expansion contains no 1’s. https://oeis.org/A005823

Tenenbaum, Gérald, 1995: *Introduction to Analytic and Probabilistic Number Theory.* Cambridge University Press. ISBN 0-521-41261-7.

**Collection of ThatsMaths Articles**

**From ****Logic Press**. **Available also in hardback form **