Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Around 1998, I encountered a (forgotten) reference to a particularly strange space-filling curve.

Consider a foliation as a collection of continuous nonintersecting curves that start at (0,0) and end at (1,1) and collectively fill the unit square, such as the graphs of functions ft(x) = xt where t >=0. Supposedly there exists a continuous curve G that starts at (1,0), ends at (0,1), fills the unit square, and crosses each ft curve only once.

This initially sounds even more impossible than the Cantor curve. But intuitively a space-filling curve could trace back and forth over the ft curves and only cross at the corners (0,0) and (1,1). Can someone please explain a construction of such a space-filling curve?

share|improve this question
    
For $n > 0$ take the family of curves $\{x^a\}_{a \in S(n)}$ in $[0,1]^2$ where $S(n) := \{n^{-1},(n-1)^{-1},\dots,1,\dots,n-1,n\}$. The union $\gamma_n$ of these curves can be modified within balls of radius $\epsilon$ about the origin and $(1,1)$ to form a single curve $\gamma_{n,\epsilon}$ from the origin to $(1,1)$. I think (not quite sure) that an appropriate limit gives what you're looking for. –  Steve Huntsman Aug 27 '10 at 23:14
4  
What exactly is your definition of "crossing"? –  fedja Aug 27 '10 at 23:33
    
@Steve - The curve $x^{-n}$ only intersects $[0,1]^2$ at the point $(1,1)$. –  Simon Rose Aug 27 '10 at 23:33
3  
However, a more major concern is that you won't hit anything between, say, $x$ and $x^2$ with that process, so this can't be a space-filling curve. –  Simon Rose Aug 27 '10 at 23:36
1  
Somthing strange here: if the curve intersects $\{ (t, t^2) \}$ in only one point, it's not filling the square, right? –  Jeff Strom Aug 28 '10 at 15:50
show 1 more comment

2 Answers 2

up vote 18 down vote accepted

The space filling curve you are looking for does not exist.

Assume by contradiction that such a space filling curve $\gamma:I\rightarrow [0,1]^2$ exists. Since $\gamma$ intersects each curve $f_t\subset [0,1]^2$ only once, the preimage $\gamma^{-1}(f_t)$ is either a point or an interval. The curve $\gamma$ being space-filling, that preimage can't be a point. It is therefore an interval and, in particular, of positive measure.

Letting $t$ vary, we have constructed an uncountable family of disjoint subsets of $[0,1]$, all of whom have positive measure: contradiction!

share|improve this answer
    
Thanks, this is convincing. But it begs another question. What was I misremembering? MathOverflow doesn't have a category for mind-reading questions, but is there an interesting space-filling curve associated with a foliation of the unit square? –  Steven Heston Aug 28 '10 at 21:41
    
Can't help you. –  André Henriques Aug 29 '10 at 2:56
    
This arguement may be true that a "curve" in the sense of a contunuous line or function but what about a "curve" that is a dust as Steve mentioned, a Cantor or Appolonian (Spelling?) set. –  user34569 May 31 '13 at 12:13
add comment

André's answer is correct, but what you really are looking for (I think) is this example, due to Katok, but explained (beautifully) by Milnor.

There is a family of disjoint smooth real-analytic curves $\Gamma_{\beta}$ that fill the unit square $I^2$, and a subset $E \subset I^2$ of full measure, so that each curve $\Gamma_{\beta}$ intersects $E$ in at most one point.

This means that $E$ can be constructed by choosing one point for each parameter $\beta$, so in order not to contradict Fubini, the dependence of $\Gamma_{\beta}$ on $\beta$ cannot be continuous.

share|improve this answer
add comment

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.