# Measure Preserving Maps from the Square to the Cube

There is a measure preserving map from the unit interval onto the unit cube that is Lipschitz of order 1/2, that is $|f(x)-f(y)| \leq A |x-y|^{1/2}$. By considering the image of small intervals, one can see that one could not have a smoother map.

Now consider maps from $[0,1]^2$ onto $[0,1]^3$ that preserve measure. By looking at the image of small balls we see that f can't be smoother than Lipschiz 2/3.

Does there exist a measure preserving map from $[0,1]^2$ onto $[0,1]^3$ that is Lipschitz 2/3?

• I am not familiar with that stuff but maybe you could approximate 2/3 binary and combine this with that what you know. For instance: $id \times f: R^2 \times R \rightarrow R^2 \times R^2$ brings you $R^3 \rightarrow R^4$. Doubling it with $f$ brings with bring $R^6 \rightarrow R^8$. Concatenating one $f$ brings $R^6 \rightarrow R^9$. Taking third root brings a first approximation $R^2 \rightarrow R^3$. Etc. - Maybe its a phantasy. – Hans Mar 4 '13 at 19:50
• Interesting question... I'm guessing you mean that there's a map onto the unit square that's Lipschitz of order 1/2? I think your argument would say you can't have anything onto the cube of order greater than 1/3. – Anthony Quas Mar 5 '13 at 5:22
• Do you have an example of an onto map $[0,1]^2\to [0,1]^3$ with the Hölder's exponent $2/3$? – ε-δ Mar 7 '13 at 21:58
• No I do not have this either. It may be somewhat easier to drop the measure preserving requirement. – Mike Steele Mar 20 '13 at 19:37

## 1 Answer

There seems to be a $\frac23$-Hölder (or $\frac23$-Lipschitz) onto map $[0,1]^2\to[0,1]^3$. It was apparently found in this paper. I don't know if it has been done elsewhere.

The space filling curves due to Hilbert, Peano and Sierpinski preserve measure and the cited article contains generalizations of these, so it seems quite possible that measure is preserved by some of the corresponding surfaces as well.

I have only been able to access the abstract. It would be great if someone with full text access could check the exact results in the paper.

Here is Fig.12b of the cited paper, showing their Hilbert surface, whose fractal dimension approaches $3$. (Image added by J.O'Rourke): • Appropriately, the Hilbert surface has H-shaped regions :-) – Qfwfq Mar 29 '19 at 12:00