5
$\begingroup$

This question is somewhat inspired by a question on MathOverflow, but it is not necessary to read that question to understand what I am about to ask.

It is well known that one can establish a surjection between sets of different Hausdorff dimensions: in the regime of just set theory the cardinality of the unit interval and the unit square are the same, and in fact we get a bijection. If you add a bit of topology, one can in addition request that this surjection be given by a continuous map, but the map cannot be a bijection, else it'd be a homeomorphism.

What if, instead of continuity, we require a different condition?

Question Fix $N$ a positive integer. Let $B$ be the open unit ball in $\mathbb{R}^N$. Can we find an embedded smooth (or $C^1$) hypersurface $A\subset \mathbb{R}^N$ and a surjection $\phi:A\to B$ such that the vector $a - \phi(a)$ is orthogonal to $A$? Can it be made continuous? Can it be made a bijection?

  • 0
    @Asa$f$: yes, which is why there is that funny condition with normality.2011-08-23

1 Answers 1

2

If $A$ is a hypersurface (co-dimension one and smooth) what you're describing is the graph of a function on $A$ -- well, locally that's what it is. But the problem boils-down to a local problem. You're asking for functions $f : D^{n-1} \to \mathbb R$ whose graph is an open subset of $\mathbb R^n$. This isn't possible, even if $f$ is discontinuous.

  • 0
    I don't understand what fails in the following argument: Take a plane-filling curve $\gamma$, and write a differential equation for a curve in the plane, $\dot\psi=n\times(\psi-\gamma)$, where $n$ is a vector orthogonal to the plane, whose magnitude can vary along the curve. The solution should be continuous, and the freedom in $n$ should allow us to prevent it from diverging or self-intersecting. Wouldn't $\phi=\gamma\circ\psi^{-1}$ then have the desired properties?2011-08-24