Can Lipschitz maps increase the Lebesgue dimension ? - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T23:36:20Z http://mathoverflow.net/feeds/question/36539 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/36539/can-lipschitz-maps-increase-the-lebesgue-dimension Can Lipschitz maps increase the Lebesgue dimension ? HenrikRüping 2010-08-24T09:57:36Z 2013-04-07T00:50:30Z <p>Given a map $f:X\rightarrow Y$ of compact metric spaces, such that there is a $C\in \mathbb{R}$ with $d(f(x),f(x'))\le C\cdot d(x,x')$. </p> <p>Does this already imply, that the Lebesgue dimension of $f(X)$ is at most the Lebesgue dimension of $Y$?</p> <p>My motivation were space filling curves. All constructed examples were not rectifiable, so I was wondering, whether the additional assumption of being Lipschitz rules out the existence of space filling curves.</p> http://mathoverflow.net/questions/36539/can-lipschitz-maps-increase-the-lebesgue-dimension/36541#36541 Answer by Bill Johnson for Can Lipschitz maps increase the Lebesgue dimension ? Bill Johnson 2010-08-24T10:50:30Z 2010-08-24T10:50:30Z <p>There are no Lipschitz space filling curves. For a gentle introduction to where this question leads, see <a href="http://eprints.nuim.ie/1626/1/SBuckleycurvesfunctions41.pdf" rel="nofollow">http://eprints.nuim.ie/1626/1/SBuckleycurvesfunctions41.pdf</a>. Theorem 3 is the classical result you want.</p> http://mathoverflow.net/questions/36539/can-lipschitz-maps-increase-the-lebesgue-dimension/36547#36547 Answer by Benoît Kloeckner for Can Lipschitz maps increase the Lebesgue dimension ? Benoît Kloeckner 2010-08-24T12:25:43Z 2010-08-25T07:47:16Z <p>The answer to your first question is No. It is natural, as Lebesgue dimension is a <em>topological</em> invariant.</p> <p>There is a very simple example, which took me however a little time to figure out. Consider the Cantor set obtained by recursively replace a square by four squares of $1/4$-th side length, one at each corner, endowed with the metric inherited from the Euclidean one. There is an orthogonal projection that map this Cantor set onto a segment, see <a href="http://img1.imagilive.com/affiche/0810/cantoreb0.png.htm" rel="nofollow">http://img1.imagilive.com/affiche/0810/cantoreb0.png.htm</a></p> <p>Such a map is $1$-Lipschitz, but a segment has Lebesgue dimension $1$ while a Cantor set has Lebesgue dimension $0$.</p> <p>What you need to rule out Lipschitz space-filling curves is for example Hausdorff dimension.</p> http://mathoverflow.net/questions/36539/can-lipschitz-maps-increase-the-lebesgue-dimension/126691#126691 Answer by Wlodzimierz Holsztynski for Can Lipschitz maps increase the Lebesgue dimension ? Wlodzimierz Holsztynski 2013-04-06T04:56:08Z 2013-04-07T00:50:30Z <p>Let me add to the examples by Benoit and Victor another Cantor example, this time a straightforward naive one rather than ingenious.</p> <p>Consider at and just after stage $0$ a closed interval $I$ with the standard (Euclidean) metrics but of length $\frac{11}{10}$. At stage $k>0$ remove the center open interval of length $\frac 1{2^{k-1}\times 11^k}$ of each interval left after the previous stage $k-1$. After all stages $0\ 1\ \ldots$, in the remaining set $C$ in addition to the Euclidean metrics consider also the following pseudo-metrics:</p> <p>$$d(x\ y) = |x-y| - s_{x\ y}$$</p> <p>where $s_{x\ y}$ is the sum of the lengths of all removed intervals which are between points $x\ y$. The identity map from Euclidean $C$ to $C$ with the pseudo-metric $d$ is Lipschitz with constant 1. Let $C'$ be the metric space induced by $C$. Then $C'$ is homeomorphic to a nondegenerated closed interval, and the map induced by the identity on $C$ is Lipschitz with constant 1.</p> <p>Actually, C' is isometric with the unit Euclidean interval $[0;1]$.</p>