Is it possible to color every positive real number so that
- each number is colored one of 10 distinct colors, and
- any two numbers that differ in exactly one digit are colored differently?
For example, the ten numbers
must all be different colors because any two of them differ in exactly one digit. However, the numbers and do not have to be colored differently because they differ in more than one digit.
You may assume the axiom of choice holds.