Equiareal map¶
A smooth map between surfaces that preserves the area of every region, equivalently pulling back the target area element to the source area element.
Core Idea¶
An equiareal map is a smooth map between surfaces that preserves every measurable region's area. Equivalently, its pullback preserves the area element or its differential has absolute area Jacobian one. A shear or reciprocal squeeze can therefore qualify while changing angles and lengths, and an orientation reversal can preserve unsigned area. The condition has equivalent local forms. The condition has equivalent local forms.
Scope of Application¶
The map class applies in differential geometry and geometric modeling whenever the area element, not full metric shape, is the invariant. Use the term only with declared source and target surface area measures and pointwise differential or Jacobian preservation. Verify injectivity or multiplicity when global region statements are intended, and test length, angle, shape, and orientation guarantees separately.
- Surface geometry. Compares maps through pullback area forms.
- Planar linear algebra. Uses determinant magnitude one.
- Cartographic theory. Analyzes equal-area surface representations under explicit models.
- Continuum mechanics. Represents local area-preserving deformation.
- Geometric computation. Validates meshes or parameterizations by Jacobian.
Clarity¶
The local Jacobian criterion distinguishes genuine area preservation from examples that match one selected region or only the total surface. It also makes clear which properties—distance, angle, orientation—remain optional. The closest near miss sets the boundary: An isometry is the closest included neighbor: every isometry is equiareal, but a shear shows equiareal need not preserve distance or angle. A positive case must satisfy this test: Include a smooth surface map whose pullback area element equals the source area element, equivalently preserving every region's area.
Manages Complexity¶
Checking every region seems infinite, but a local differential condition certifies the global area relation under the map's hypotheses. This compression exposes precisely what is guaranteed and what distortion remains free. The central area fidelity–shape fidelity tradeoff is this: Area can be exact while distances and angles deform substantially. A second global check–local guarantee tension matters because Matching total area is easy but insufficient; pointwise Jacobian control is stronger.
Abstract Reasoning¶
Use three linked moves: specify source and target area elements; compute the map differential in local coordinates; evaluate the absolute area Jacobian or pulled-back area form. As a collapse test, the case exits wherever the local absolute area Jacobian differs from one or the map fails the smooth-area conditions. A fourth check is to require equality pointwise, not just for one test region. A final check is to test orientation, distance, and angle separately if the application needs them.
Knowledge Transfer¶
The criterion transfers literally to smooth surfaces and planar transformations with declared area measures. Casual claims that a diagram 'keeps area about right' are approximation, not an equiareal map without quantified error. No canonical parent prime is currently asserted; broader structural comparisons remain related-prime analogies until separately adjudicated in the DAG. Area is unchanged under the map. Isometry implies equiareal, but not conversely.
Relationships to Other Abstractions¶
Current abstraction Equiareal map Domain-specific
Foundational — no parent edges in the catalog.
Children (1) — more specific cases that build on this
-
Squeeze Mapping Domain-specific is a kind of Equiareal map
A reciprocal-axis squeeze has determinant one and is an equiareal planar map.
Neighborhood in Abstraction Space¶
Equiareal map sits in a moderately populated region (55th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.
Family — Dynamical Systems & Differential Structures (37 abstractions)
Nearest neighbors
- Diffeomorphism — 0.88
- Rhumb line — 0.86
- Riemannian submersion — 0.86
- Cardinal point (optics) — 0.84
- Pullback (differential geometry) — 0.84
Computed from structural-signature embeddings · 2026-10-08