Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Consider a continuous surjection $f:[0,1]\to[0,1]\times[0,1]$.

It can be proved that set of self-intersection points must be dense.

In the Hilbert curve, the set of self-intersections are points (a,b) such that either a or b can be written as $\frac{m}{2^k}$ for some integers $k≥1$ and $1≤m<2^k$ (see this explanation).

So the set of self-intersections is dense and of measure $0$, but you cannot draw any vertical or horizontal line without intersecting it.

This leads me to the question: can there exist, for some space-filling curve, an arc (homeomorphic to a non-degenerate closed interval) $\tau\subset [0,1]\times[0,1]$ such that $\forall_{t_1,t_2\in [0,1]} f(t_1) = f(t_2) \in \tau \implies t_1 = t_2$? That is, such that $\tau$ includes only non-self-intersection points?

share|improve this question

2 Answers 2

up vote 1 down vote accepted

No, there can be no such arc.

Suppose for the sake of contradiction that $g$ is an arc in $[0,1]^2$ that contains no self-intersections of $f$.

Let $g \colon [0,1] \to A$ be a homeomorphism.

Then $A$ is compact and connected.

Since $A$ is compact and $[0,1]^2$ is a Hausdorff space, $A$ is closed.

Since $f$ is continuous, $B = f^{-1}[A]$ is also closed, and therefore compact.

Now the restriction of $f$ to $B$, $f \restriction B$, is a continuous bijection.

A continuous bijection from a compact space to a Hausdorff space is a homeomorphism, so $B$ is homeomorphic to $A$.

Thus $B$ is also connected.

A closed, connected set of real numbers is a closed interval, so $B$ is a closed interval $[p, q]$.

Let $D = ([0,1] \setminus B) \cup \{ \min B, \max B \} = [0,p] \cup [q, 1]$.

Then $D$ is obviously compact, but $f(D)$ is not:

$f(D)$ is the square with the arc $A$ removed and then just two points put back, so any other element of $A$ is a limit point of $f(D)$.

share|improve this answer
    
I've tried to expand my answer. Can you check if it gets the job done? –  dfeuer Jun 10 '13 at 17:39
    
@dfeuer: How do you know that $B$ is connected? –  Samuel Jun 10 '13 at 17:46
    
@Samuel: $B$ is connected because it is homeomorphic to $A$. –  dfeuer Jun 10 '13 at 17:52
    
@dfeuer: How do you know it is homeomorphic to $A$? $f$ is just assumed to be continuous. –  Samuel Jun 10 '13 at 17:58
    
@Samuel, yes, but as I stated, a continuous bijection from a compact space to a Hausdorff space is always a homeomorphism. –  dfeuer Jun 10 '13 at 18:02

There is no such arc.

Suppose $f$ has no points of self-intersection in $\tau$. Take a point $x$ in $\tau$, and let $x_1,x_2,\ldots$ be any sequence of distinct points in $\tau$ converging to $x$. For each $x_i$, there is a unique $t_i\in[0,1]$ such that $f(t_i)=x_i$. The sequence $t_1,t_2,\ldots$ is an infinite subset of a compact set, so it has an accumulation point $t$. For any subsequence $t_{i_1},t_{i_2},\ldots$ which converges to $t$, we have $x_{i_n}=f(t_{i_n})\to f(t)=x$, so we must have $f(t)=x\in \tau$, so the sequence $t_1,t_2,\ldots$ has a unique accumulation point and is therefore convergent to $t$. This shows that $f^{-1}(x_n)$ converges to $x$ for all sequences $x_1,x_2,\ldots$ of points in $\tau$ which converge to $x$, that is, $f^{-1}|_\tau$ is continuous. (Here I've used that sequential continuity is equivalent to continuity; that's fine because all our spaces here are first countable.) Since $\tau$ is connected, $f^{-1}(\tau)$ must also be connected and is thus a closed interval $I$. We have that $[0,1]\setminus I^\circ$ is closed and whose image under $f$ is $[0,1]^2$ minus the relative interior of $\tau$, but this is not possible, because $f$ is continuous and maps closed sets to closed sets.

share|improve this answer
    
I didn't understand the part where you proved that the sequence $t_1, t_2, \dots$ has a unique accumulation point and is therefore convergent to $t$: could you explain? –  ShreevatsaR Jun 11 '13 at 2:47
1  
@ShreevatsaR: Each accumulation point $t$ satisfies $f(t)=x$, because if we take a limit of $x_{i_1}=f(t_{i_1}),x_2=f(t_{i_2}),\ldots$, we get $x$ if we consider it as a subsequence of $x_1,x_2,\ldots$, and we get $f(t)$ by the continuity of $f$. But $x\in\tau$, so there must be a unique $t$ which satisfies $f(x)=t$, so $t=f^{-1}(x)$. A sequence of distinct points with a single accumulation point is convergent to that accumulation point. –  Samuel Jun 11 '13 at 10:30
    
Thanks, makes sense now. –  ShreevatsaR Jun 11 '13 at 10:52

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.