Aren't there even simpler solutions? If f:R -> R^3 is space-filling, define g:R^2 -> R^3 by g(x,y) = f(x). On Thu, Dec 13, 2018 at 4:34 PM Bill Gosper <billgosper@gmail.com> wrote:
Rohan requested a continuous map from a 2D surface onto a non-porous patch of positive 3D volume. There's one under our noses, but maybe not where you think. We certainly have continuous maps from 1D onto 3D, so it is tempting to compose such a volume-filling function with some sort of (necessarily multivalued) 1D inverse of a planefilling function. But such inverses are wildly discontinuous, no matter which values you choose as the definition. Although 1/2+i/2 is "merely" triple point, the Hilbert "curve" is dense with quadruple points. The preimage of a sufficiently small neighborhood of such a point will comprise at least four disjoint pieces. Could the 1D to 3D map possibly smooth everything out? Maybe, but there's a much cleaner solution. SPOILER: gosper.org/3dsno.png gives a continuous mapping of an equilateral triangle onto a standard 3 simplex. —rwg _______________________________________________ math-fun mailing list math-fun@mailman.xmission.com https://mailman.xmission.com/cgi-bin/mailman/listinfo/math-fun
-- Andy.Latto@pobox.com