9
$\begingroup$

For Koch snowflake, does there exits a continuous map from $[0,1]$ to it? The actural construction of the map may be impossible, but how to claim the existence of such a continuous map? Or can we conside the limit of a sequence of continuous map, but this sequence of continuous maps may not have continuous limit.

  • 9
    If the convergence is uniform, then a limit of continuous functions is continuous.2012-06-05
  • 0
    Is the range of your map going to be the snowflake curve itself, or the area inside the snowflake curve? In the former case, the usual definition of the snowflake curve directly suggests a concrete continuous parameterization of if. In the latter, the various well-known space-filling curves can be adapted to produce a continuous map from $[0,1]$ onto the interior of the snowflake.2012-06-05
  • 1
    A space is a continuous image of $[0,1]$ *if and only if* it is compact, connected, locally connected, and second-countable. Hahn and Mazurkiewitz, http://en.wikipedia.org/wiki/Space-filling_curve#The_Hahn.E2.80.93Mazurkiewicz_theorem2012-06-05
  • 0
    @Henning, I mean the snowflake curve itself, not the interior domain. So you suggest that map is the limit of the sequence of continuous parametrizations in the construction of the snowflake?2012-06-05
  • 0
    So every compact connected manifold is a continuous image of $[0,1]$? Cool.2012-06-06
  • 3
    @Jesse: That's much easier than Hahn-Mazurkiewicz since you're locally Euclidean, not only locally connected. Cover your manifold with finitely many images of closed balls in $\mathbb{R}^n$. For each closed ball take a Peano curve. Link the Peano curves together.2012-06-06

1 Answers 1

12

Consider the snowflake curve as the limit of the curves $(\gamma_n)_{n\in \mathbb N}$, in the usual way, starting with $\gamma_0$ which is just a equilateral triangle of side length 1. Then each $\gamma_n$ is piecewise linear, consisting of $3\cdot 4^n$ pieces of length $3^{-n}$ each; for definiteness let us imagine that we parameterize it such that $|\gamma_n'(t)| = 3(\frac 43)^n$ whenever it exists.

Now, it always holds that $|\gamma_{n+1}(t)-\gamma_n(t)|\le 3^{-n}$ for every $t$ (because each step of the iteration just changes the curve between two corners in the existing curve, but keeps each corner and its corresponding parameter value unchanged). This means that the $\gamma_n$'s converge uniformly towards their pointwise limit: At every $t$ the distance between $\gamma_n(t)$ and $\lim_{i\to\infty}\gamma_i(t)$ is at most $\sum_{i=n}^\infty (1/3)^i$ which is independent of $t$ and goes to $0$ as $n\to\infty$.

Because uniform convergence preserves continuity, the limiting curve is a continuous function from $[0,1]$ to the plane.

  • 0
    Is the continuous function bijective?2014-05-27
  • 0
    @Leo: obviously not; there are many points in $\mathbb R^2$ that are not on the snowflake curve.2014-05-27
  • 0
    I mean that if we restrict the range to the Koch curve it becomes subjective. Is the restricted function injective? I'm asking in the light of [this question](http://math.stackexchange.com/questions/809873/why-is-the-koch-curve-homeomorphic-to-0-1).2014-05-27
  • 0
    Would the continuity be enough for us to conclude that the topological dimension of the Koch curve is one?2014-06-01
  • 0
    @Leo: No, we also need that it is injective. (Counterexample: the Peano curve). But since $\gamma$ is a continuous injection from a compact space to a Hausdorff, it is a homeomorphism from $[0,1]$ to its image. The topological dimension of the image is therefore the same as that of $[0,1]$.2014-06-01
  • 0
    What exactly do you mean by "counterexample"? Since you brought up the Peano curve, I must mention that it's a source of major confusion for me: see the question [What is the topological dimension of the Peano curve?](http://math.stackexchange.com/questions/816390/what-is-the-topological-dimension-of-the-peano-curve).2014-06-01
  • 0
    @Leo: I'm assuming you mean the topological dimension of the set of points that belong to the curve. In that case the Peano curve is an example of a curve that is continuous but whose image has topological dimension $\ne1$.2014-06-01
  • 0
    That is exactly what I thought it means but [people say](http://math.stackexchange.com/a/816466/51387) that the topological dimension of the Peano curve is one (and I've seen a few papers mentioning the same). Which can only imply that they mean the graph of the curve (and not the image). But then continuity would be enough to conclude that the topological dimension of the Koch curve is one.2014-06-01