# Unusual Space-Filling Curve

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?

-
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
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
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
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

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!

-
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
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.