# Plane Filling Curves:

Peano's & Wunderlich's

On another occasion I mentioned that Peano's definition of his plane filling curve was entirely analytic. It could be shown [Sagan, p. 36], however, that Peano's original curve could be obtain geometrically as the limit of a sequence of curves as was the case with Hilbert's curve. The difference between Peano's and Hilbert's constructions is that Hilbert maps intervals of length 2^{-2n} into squares of size 2^{-n}×2^{-n}, whereas Peano's construction is equivalent to mapping intervals of length 3^{-2n} into squares of size 3^{-n}×3^{-n}.

Walter Wunderlich [Sagan, p. 45] constructed several modifications of Peano curves. The applet below demonstrates the (equivalent) Peano construction and three Wunderlich's curves. Wunderlich characterized all possible plane filling curves whose construction requires mapping intervals of length 3^{-2n} into squares of size 3^{-n}×3^{-n} as being of two types: *switch-back* (Peano and the first two curves) and *meandering* (the third curve.)

(Keep clicking in the applet.)

What if applet does not run? |

There are only two curves of the meandering type. They are reflections of each other in the (0,0)-(1,1) diagonal.

The number of switch-backs is significantly larger. Starting basically with the same **S** shape, on the next step, in each of the nine available squares one has to select one of two possible alternatives, which leads to the estimate of ^{9} = 512^{4}·2 = 32

### Peano's Definition

The original Peano curve maps the unit interval [0,1] onto the unit square [0,1]×[0,1]. The mapping is based on the ternary system, so that all digits t below may only take on values 0, 1, 2. First define the digit transformation *k*:

*k*t = 2 - t.

Peano's function f_{p} maps a ternary fraction .t_{1}t_{2}t_{3} ... into a point _{p}(.t_{1}t_{2}t_{3} ...), y_{p}(.t_{1}t_{2}t_{3} ...))_{p} and y_{p} are defined, respectively, as

x_{p}(.t_{1}t_{2}t_{3} ...) = .t_{1}(*k*^{t2}t_{3})(*k*^{t2+t4}t_{5}) ...

y_{p}(.t_{1}t_{2}t_{3} ...) = .(*k*^{t1}t_{2})(*k*^{t1+t3}t_{4}) ...

Where *k*^{v} denotes, as usual, the v^{th} iterate of *k*.

### Reference

- H. Sagan,
*Space-Filling Curves*, Springer-Verlag, 1994

|Activities| |Contact| |Front page| |Contents| |Geometry|

Copyright © 1996-2018 Alexander Bogomolny