Skip to content

Space-Filling Curve

A continuous surjection from a one-dimensional interval onto a higher-dimensional region, typically built as the uniform limit of recursively refined approximating paths.

Version
v1 · 2026-08-30 · History
Domain-specific #
2813
Origin domain
mathematics
Subdomain
continuum and fractal geometry
Aliases
Peano curve, Plane-filling curve

Core Idea

Space-Filling Curve is a continuous surjection from a one-dimensional interval onto a higher-dimensional region, typically built as the uniform limit of recursively refined approximating paths.

A space-filling curve is a continuous map f from an interval, commonly [0,1], onto a region of dimension two or higher, commonly the unit square. Classical constructions define successively refined polygonal approximations whose uniform limit is continuous and surjective. The map cannot be a homeomorphism between interval and square: many parameter values map to the same point, and ordinary smooth-curve intuitions fail.

Scope of Application

The abstraction has a bounded but recurring habitat. These are literal applications of the same domain machinery, not cross-domain metaphors.

  • Continuum theory. the construction tests intuition about continuous images and dimension.
  • Fractal geometry. recursive limits exhibit extreme irregularity and Hölder behavior.
  • Multidimensional indexing. Hilbert and Morton-like orderings linearize grid cells with locality goals.
  • Image processing. one-dimensional traversal can organize two-dimensional blocks.
  • Database range queries. space-filling orders map spatial partitions to key intervals, often approximately.
  • Numerical integration. curve-based sampling can transform dimensional organization, with regularity caveats.

Clarity

Continuity concerns f: close parameter values map to close target points. It says nothing equivalent about the inverse because one target point may have several parameters and nearby target points can appear far apart in the order. Finite approximants are not themselves surjective onto the square; the limit is.

Manages Complexity

A curve converts a multidimensional domain into a one-parameter traversal while retaining some locality. Recursive construction reduces global coverage to repeated cell-order rules, and theorem-level analysis separates exact continuum properties from practical finite-grid heuristics.

The compression remains accountable because every simplification has a named validity condition. A user can ask which role is missing, which assumption fails, and which neighboring abstraction should replace the candidate instead of treating the label as an unanalyzed bundle.

Abstract Reasoning

R1. Distinguish the limiting curve from every finite approximant.

R2. Prove both continuity and surjectivity; neither implies the other.

R3. Track nonunique base expansions and boundary-address conventions.

R4. Separate exact continuum filling from discrete indexing performance.

R5. State the locality metric and direction before claiming preservation.

Knowledge Transfer

The mathematical construction transfers literally across target cubes and related compact continua when a continuous surjection is proved. In computing, finite Hilbert orders instantiate its recursive locality strategy but are discrete approximations, not continuum-filling curves themselves.

The transfer boundary follows from the classification test: The construction recurs across topology, numerical ordering, and visualization, but continuity, surjectivity, dimension mismatch, recursive subdivision, limiting behavior, and non-injectivity remain indispensable. The safe portable move is to name the broader parent when the home-domain machinery is absent and to retain the domain name only when literal recognition succeeds.

Relationships to Other Abstractions

Local relationship map for Space-Filling CurveParents appear above the current abstraction, mutual partners to the right, and children below. Node labels state whether each abstraction is prime or domain-specific; colors identify relation types.Space-Filling CurveDOMAINPrime abstraction: Continuity — presupposesContinuityPRIMEPrime abstraction: Surjectivity — is a kind ofSurjectivityPRIMEDomain-specific abstraction: Z-Order Curve — is a kind ofZ-Order CurveDOMAIN

Current abstraction Space-Filling Curve Domain-specific

Parents (2) — more general patterns this builds on

  • Space-Filling Curve is a kind of Surjectivity Prime

    The accepted reference-grade review places Space-Filling Curve under Surjectivity because the child instantiates or depends on the parent's broader structure while retaining its own constitutive identity.

  • Space-Filling Curve presupposes Continuity Prime

    The accepted reference-grade review places Space-Filling Curve under Continuity because the child instantiates or depends on the parent's broader structure while retaining its own constitutive identity.

Children (1) — more specific cases that build on this

  • Z-Order Curve Domain-specific is a kind of Space-Filling Curve

    Space-Filling Curve is the proposed immediate parent.

Hierarchy paths (3) — routes to 3 parentless roots

Neighborhood in Abstraction Space

Space-Filling Curve sits in a sparse region of the domain-specific corpus (69th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (1565 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-09-08