Peano curve

Last updated
Three iterations of a Peano curve construction, whose limit is a space-filling curve. Peanocurve.svg
Three iterations of a Peano curve construction, whose limit is a space-filling curve.
Peano 1.GIF
Peano 2.GIF
Two iterations of a Peano curve

In geometry, the Peano curve is the first example of a space-filling curve to be discovered, by Giuseppe Peano in 1890. [1] Peano's curve is a surjective, continuous function from the unit interval onto the unit square, however it is not injective. Peano was motivated by an earlier result of Georg Cantor that these two sets have the same cardinality. Because of this example, some authors use the phrase "Peano curve" to refer more generally to any space-filling curve. [2]

Contents

Construction

Peano's curve may be constructed by a sequence of steps, where the ith step constructs a set Si of squares, and a sequence Pi of the centers of the squares, from the set and sequence constructed in the previous step. As a base case, S0 consists of the single unit square, and P0 is the one-element sequence consisting of its center point.

In step i, each square s of Si  1 is partitioned into nine smaller equal squares, and its center point c is replaced by a contiguous subsequence of the centers of these nine smaller squares. This subsequence is formed by grouping the nine smaller squares into three columns, ordering the centers contiguously within each column, and then ordering the columns from one side of the square to the other, in such a way that the distance between each consecutive pair of points in the subsequence equals the side length of the small squares. There are four such orderings possible:

Among these four orderings, the one for s is chosen in such a way that the distance between the first point of the ordering and its predecessor in Pi also equals the side length of the small squares. If c was the first point in its ordering, then the first of these four orderings is chosen for the nine centers that replace c. [3]

The Peano curve itself is the limit of the curves through the sequences of square centers, as i goes to infinity.

Variants

Peano curve with the middle line erased creates a Sierpinski carpet Peano Sierpinski carpet 4.svg
Peano curve with the middle line erased creates a Sierpinski carpet

In the definition of the Peano curve, it is possible to perform some or all of the steps by making the centers of each row of three squares be contiguous, rather than the centers of each column of squares. These choices lead to many different variants of the Peano curve. [3]

A "multiple radix" variant of this curve with different numbers of subdivisions in different directions can be used to fill rectangles of arbitrary shapes. [4]

The Hilbert curve is a simpler variant of the same idea, based on subdividing squares into four equal smaller squares instead of into nine equal smaller squares.

Related Research Articles

<span class="mw-page-title-main">Koch snowflake</span> Fractal curve

The Koch snowflake is a fractal curve and one of the earliest fractals to have been described. It is based on the Koch curve, which appeared in a 1904 paper titled "On a Continuous Curve Without Tangents, Constructible from Elementary Geometry" by the Swedish mathematician Helge von Koch.

<span class="mw-page-title-main">Magic square</span> Sums of each row, column, and main diagonals are equal

In recreational mathematics, a square array of numbers, usually positive integers, is called a magic square if the sums of the numbers in each row, each column, and both main diagonals are the same. The 'order' of the magic square is the number of integers along one side (n), and the constant sum is called the 'magic constant'. If the array includes just the positive integers , the magic square is said to be 'normal'. Some authors take magic square to mean normal magic square.

<span class="mw-page-title-main">Perpendicular</span> Relationship between two lines that meet at a right angle (90 degrees)

In elementary geometry, two geometric objects are perpendicular if they intersect at a right angle. The condition of perpendicularity may be represented graphically using the perpendicular symbol, ⟂. It can be defined between two lines, between a line and a plane, and between two planes.

<span class="mw-page-title-main">Octagon</span> Polygon shape with eight sides

In geometry, an octagon is an eight-sided polygon or 8-gon.

<span class="mw-page-title-main">Diagonal</span> In geometry a line segment joining two nonconsecutive vertices of a polygon or polyhedron

In geometry, a diagonal is a line segment joining two vertices of a polygon or polyhedron, when those vertices are not on the same edge. Informally, any sloping line is called diagonal. The word diagonal derives from the ancient Greek διαγώνιος diagonios, "from angle to angle" ; it was used by both Strabo and Euclid to refer to a line connecting two vertices of a rhombus or cuboid, and later adopted into Latin as diagonus.

In mathematical analysis, a space-filling curve is a curve whose range contains the entire 2-dimensional unit square. Because Giuseppe Peano (1858–1932) was the first to discover one, space-filling curves in the 2-dimensional plane are sometimes called Peano curves, but that phrase also refers to the Peano curve, the specific example of a space-filling curve found by Peano.

<span class="mw-page-title-main">Sierpiński curve</span>

Sierpiński curves are a recursively defined sequence of continuous closed plane fractal curves discovered by Wacław Sierpiński, which in the limit completely fill the unit square: thus their limit curve, also called the Sierpiński curve, is an example of a space-filling curve.

<span class="mw-page-title-main">Triaugmented triangular prism</span> Convex polyhedron with 14 triangle faces

The triaugmented triangular prism, in geometry, is a convex polyhedron with 14 equilateral triangles as its faces. It can be constructed from a triangular prism by attaching equilateral square pyramids to each of its three square faces. The same shape is also called the tetrakis triangular prism, tricapped trigonal prism, tetracaidecadeltahedron, or tetrakaidecadeltahedron; these last names mean a polyhedron with 14 triangular faces. It is an example of a deltahedron and of a Johnson solid.

<span class="mw-page-title-main">Square-1 (puzzle)</span> Shape-shifting puzzle similar to Rubiks Cube

The Square-1 is a variant of the Rubik's Cube. Its distinguishing feature among the numerous Rubik's Cube variants is that it can change shape as it is twisted, due to the way it is cut, thus adding an extra level of challenge and difficulty. The Super Square One and Square Two puzzles have also been introduced. The Super Square One has two additional layers that can be scrambled and solved independently of the rest of the puzzle, and the Square Two has extra cuts made to the top and bottom layer, making the edge and corner wedges the same size.

<span class="mw-page-title-main">Z-order curve</span> Mapping function that preserves data point locality

In mathematical analysis and computer science, functions which are Z-order, Lebesgue curve, Morton space-filling curve, Morton order or Morton code map multidimensional data to one dimension while preserving locality of the data points. It is named in France after Henri Lebesgue, who studied it in 1904, and named in US after Guy Macdonald Morton, who first applied the order to file sequencing in 1966. The z-value of a point in multidimensions is simply calculated by interleaving the binary representations of its coordinate values. Once the data are sorted into this ordering, any one-dimensional data structure can be used such as binary search trees, B-trees, skip lists or hash tables. The resulting ordering can equivalently be described as the order one would get from a depth-first traversal of a quadtree or octree.

In mathematics, the Robinson–Schensted correspondence is a bijective correspondence between permutations and pairs of standard Young tableaux of the same shape. It has various descriptions, all of which are of algorithmic nature, it has many remarkable properties, and it has applications in combinatorics and other areas such as representation theory. The correspondence has been generalized in numerous ways, notably by Knuth to what is known as the Robinson–Schensted–Knuth correspondence, and a further generalization to pictures by Zelevinsky.

<span class="mw-page-title-main">Erdős–Szekeres theorem</span> Sufficiently long sequences of numbers have long monotonic subsequences

In mathematics, the Erdős–Szekeres theorem asserts that, given r, s, any sequence of distinct real numbers with length at least (r − 1)(s − 1) + 1 contains a monotonically increasing subsequence of length ror a monotonically decreasing subsequence of length s. The proof appeared in the same 1935 paper that mentions the Happy Ending problem.

<span class="mw-page-title-main">Trapezo-rhombic dodecahedron</span> Polyhedron with 6 rhombic and 6 trapezoidal faces

In geometry, the trapezo-rhombic dodecahedron or rhombo-trapezoidal dodecahedron is a convex dodecahedron with 6 rhombic and 6 trapezoidal faces. It has D3h symmetry. A concave form can be constructed with an identical net, seen as excavating trigonal trapezohedra from the top and bottom.

<span class="mw-page-title-main">Hilbert curve</span> Space-filling curve

The Hilbert curve is a continuous fractal space-filling curve first described by the German mathematician David Hilbert in 1891, as a variant of the space-filling Peano curves discovered by Giuseppe Peano in 1890.

In computer science, the longest increasing subsequence problem is to find a subsequence of a given sequence in which the subsequence's elements are in sorted order, lowest to highest, and in which the subsequence is as long as possible. This subsequence is not necessarily contiguous, or unique. Longest increasing subsequences are studied in the context of various disciplines related to mathematics, including algorithmics, random matrix theory, representation theory, and physics. The longest increasing subsequence problem is solvable in time where denotes the length of the input sequence.

<span class="mw-page-title-main">H tree</span> Right-angled fractal canopy

In fractal geometry, the H tree is a fractal tree structure constructed from perpendicular line segments, each smaller by a factor of the square root of 2 from the next larger adjacent segment. It is so called because its repeating pattern resembles the letter "H". It has Hausdorff dimension 2, and comes arbitrarily close to every point in a rectangle. Its applications include VLSI design and microwave engineering.

<span class="mw-page-title-main">Cartesian tree</span>

In computer science, a Cartesian tree is a binary tree derived from a sequence of numbers; it can be uniquely defined from the properties that it is heap-ordered and that a symmetric (in-order) traversal of the tree returns the original sequence. Introduced by Vuillemin (1980) in the context of geometric range searching data structures, Cartesian trees have also been used in the definition of the treap and randomized binary search tree data structures for binary search problems. The Cartesian tree for a sequence may be constructed in linear time using a stack-based algorithm for finding all nearest smaller values in a sequence.

<span class="mw-page-title-main">Siamese method</span>

The Siamese method, or De la Loubère method, is a simple method to construct any size of n-odd magic squares. The method was brought to France in 1688 by the French mathematician and diplomat Simon de la Loubère, as he was returning from his 1687 embassy to the kingdom of Siam. The Siamese method makes the creation of magic squares straightforward.

Space-filling trees are geometric constructions that are analogous to space-filling curves, but have a branching, tree-like structure and are rooted. A space-filling tree is defined by an incremental process that results in a tree for which every point in the space has a finite-length path that converges to it. In contrast to space-filling curves, individual paths in the tree are short, allowing any part of the space to be quickly reached from the root. The simplest examples of space-filling trees have a regular, self-similar, fractal structure, but can be generalized to non-regular and even randomized/Monte-Carlo variants. Space-filling trees have interesting parallels in nature, including fluid distribution systems, vascular networks, and fractal plant growth, and many interesting connections to L-systems in computer science.

The Fibonacci word fractal is a fractal curve defined on the plane from the Fibonacci word.

References

  1. Peano, G. (1890), "Sur une courbe, qui remplit toute une aire plane", Mathematische Annalen , 36 (1): 157–160, doi:10.1007/BF01199438 .
  2. Gugenheimer, Heinrich Walter (1963), Differential Geometry, Courier Dover Publications, p. 3, ISBN   9780486157207 .
  3. 1 2 Bader, Michael (2013), "2.4 Peano curve", Space-Filling Curves, Texts in Computational Science and Engineering, vol. 9, Springer, pp. 25–27, doi:10.1007/978-3-642-31046-1_2, ISBN   9783642310461 .
  4. Cole, A. J. (September 1991), "Halftoning without dither or edge enhancement", The Visual Computer, 7 (5): 235–238, doi:10.1007/BF01905689