In some recent posts, here and here we discussed the extension of the concept of parity (Odd v. Even) from the integers to the rational numbers. We found that it is natural to consider three parity classes, determined by the parities of the numerator and denominator of a rational number (in reduced form):

**q Odd:**odd and odd.**q Even:**even and odd.**q None:**odd and even.

or, in symbolic form,

Here, stands for “Neither Odd Nor Even”.

The density of a subset of the rational numbers depends on the ordering. We found that, for several standard ways of ordering , the three parity classes have equal density . The question now is: can any or all of this be extended to the real numbers ?

**The Challenge**

For simplicity, we confine attention to the unit interval . Can this be split up in a meaningful way into three subsets , and , reflecting the usual properties of parity (e.g, ), each having measure and, more crucially, each having uniform density . **Uniform density** of a set with density in means that, for any subinterval we require .

We seek a (disjoint) partition and an appropriate ordering of the real numbers in the unit interval, such that

- have the usual properties of odd and even numbers.
- , where is the Lebesgue measure.
- .
- Each of , and has uniform density in .

In case this seems too easy, reference is made to discussions on Math Stack Exchange over a long period considering variations on this problem. In particular, a recent discussion indicates that it is ** impossible** to partition the unit interval into

**disjoint sets, each of measure in . Some references are given below.**

*two*

**Sources**

Can the real numbers be equally split into two sets of same measure? Here.

For a set of positive measure there is an interval in which its density is high, . Here.

Lynch, Peter & Michael Mackey, 2022: Parity and Partition of the Rational Numbers. Preprint on arXiv.

** * * ***

**GREATLY REDUCED PRICE from ****Logic Press**.

**Now available also in hardback form **