arXiv++ Combinatorics

For r in [0,1] let μ_r be the Bernoulli measure on the Cantor set given as the infinite power of the measure on the two-point set with weights r and 1-r. For r and s in [0,1] it is known that the measure μ_r is continuously reducible to μ_s (that is, there is a continuous map sending μ_r to μ_s) if and only if s can be written as a certain kind of polynomial in r; in this case s is said to be binomially reducible to r. In this paper we answer in the negative the following question posed by Mauldin: Is it true that the product measures μ_r and μ_s are homeomorphic if and only if each is a continuous image of the other, or, equivalently, each of the numbers r and s is binomially reducible to the other?