Corey Ziegler Hunts wants to know what's wrong with the 3-coloration: (rational, rational) -> red ; (irrational, irrational) -> indigo; <discordant> -> blood green. He claims the validity of this solution is equivalent to the nonexistence of a continuous function that complements rationality on some interval. --rwg
Dear all,
Can the plane be n-coloured, such that there are no mono- chromatic continuous curves of nonzero length?
For n = 4, there is the 'Millar colouring':
Colour a point (x,y):
* red if x and y are both rational; * green if x is irrational, y is rational; * yellow if x is rational, y is irrational; * blue if x and y are both irrational.
It is obvious that no monochromatic continuous curves can exist, as both the ordinate and abcissa are fixed (as if they varied by a nonzero amount, they would cross an infinity of rational and irrational points).
With a little effort, it is possible to define a 3-colouring with similar properties:
* red if x and y are both irrational; * red if x is a dyadic rational and y is irrational; * green if x is a non-dyadic rational and y is irrational; * blue if x is irrational and y is rational; * blue if x is a non-dyadic rational and y is rational; * green if x is a dyadic rational and y is rational;
(A dyadic rational has a terminating binary expansion; a non-dyadic rational has a recurring binary expansion; an irrational has an aperiodic binary expansion.)
It is clear that no red and blue curves exist, as they can only be horizontal lines, and are terminated by the infinity of green points on the lines. Also, no green lines exist, as dyadic and non-dyadic rationals are separated by an infinity of irrational numbers.
For 2-colourings, this is not so easy. The 'reduced Millar colouring', where a point is red if x and y are both either rational or irrational, and blue otherwise, does not satisfy the property. For example, the curve y = x is exclusively red.
A variant, the 'Elliott colouring' was proposed, with the following rules:
* red if x and y are both irrational; * blue if x is irrational, y is rational; * blue if x is a dyadic rational, y is irrational; * red if x is a dyadic rational, y is rational.
However, Appendix I shows how the reals can be continuously deformed to map the ordinary rationals to dyadic rationals, thereby rendering the Elliott colouring equivalent to the reduced Millar colouring.
So, I leave the n = 2 case as an 'exercise for the reader'.
Sincerely,
Adam P. Goucher