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.

Version: v1 · 2026-09-28 · History
Domain-specific #: 9294
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomain: Differential Geometry → Mathematics

Core Idea¶

An equiareal (authalic) map is a smooth map between surfaces that preserves area. It does not merely make the total areas equal: every suitable source region U must have the same area as its image.

The condition has equivalent local forms. Pulling back the target area element gives the source area element; equivalently, the differential preserves the magnitude of wedge products of tangent vectors. For a planar linear map, the absolute determinant is one.

Area preservation is weaker than isometry. Rotations and reflections preserve area, but so do shears and reciprocal squeezes that change lengths, angles, and shapes. Orientation may reverse when determinant is -1 unless orientation preservation is separately required.

Structural Signature¶

Sig role-phrases:

source and target surfaces. Supply smooth surfaces with area elements. Constitutive carrier. If altered: Without area structures preservation is undefined.
smooth map. Assigns source points to target points with a differential. Constitutive transformation. If altered: A discontinuous rearrangement is outside the differential-geometric definition.
local differential. Maps tangent vectors and infinitesimal parallelograms. Constitutive local mechanism. If altered: Singular collapse cannot preserve area locally.
unit absolute area Jacobian. Requires the wedge magnitude or determinant magnitude to equal one. Identity-bearing invariant. If altered: Any other magnitude scales area.
global region preservation. Ensures every region's target area equals source area. Equivalent global criterion. If altered: Matching only total surface area is insufficient.
non-preserved geometry. Allows lengths, angles, and shapes to change. Boundary. If altered: Requiring all these would narrow the class to isometries.

What It Is Not¶

Not equal total area alone. A map can redistribute local area while totals happen to match.
Not necessarily an isometry. Shears and squeezes preserve area but distort distance and angle.
Not necessarily orientation-preserving. Absolute Jacobian one admits reversal unless sign is constrained.
Not conformality. Angle preservation and area preservation are distinct.

Scope of Application¶

The map class applies in differential geometry and geometric modeling whenever the area element, not full metric shape, is the invariant.

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.

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.

Abstract Reasoning¶

Specify source and target area elements.
Compute the map differential in local coordinates.
Evaluate the absolute area Jacobian or pulled-back area form.
Require equality pointwise, not just for one test region.
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.

Examples¶

Canonical¶

The planar shear (x,y)↦(x+vy,y) has determinant 1. Rectangles become parallelograms of equal area, while angles and lengths can change.

Mapped back: source and target surfaces → Euclidean plane; smooth map → linear shear; local differential → constant shear matrix; unit absolute area Jacobian → determinant 1; global region preservation → all measurable region areas retained; non-preserved geometry → angles distorted.

Applied / In Practice¶

A surface parameterization is audited by computing its area Jacobian at mesh points. A local value above one reveals inflation even if positive and negative distortions make the final total match.

Mapped back: source and target surfaces → modeled surfaces; smooth map → parameterization; local differential → mesh derivative; unit absolute area Jacobian → tested pointwise; global region preservation → not inferred from total alone; non-preserved geometry → shape distortion permitted.

Structural Tensions¶

T1: area fidelity vs. shape fidelity. Area can be exact while distances and angles deform substantially. Diagnostic: Which geometric invariant does the use actually require?

T2: global check vs. local guarantee. Matching total area is easy but insufficient; pointwise Jacobian control is stronger. Diagnostic: Was preservation tested locally for arbitrary regions?

Structural–Framed Character¶

Equiareal map is strongly structural: smoothness and area-form equality determine it independently of application, while region tests, pullbacks, and Jacobian determinants provide equivalent verification routes. Coordinate formulas represent rather than create the invariant. Its character: exact two-dimensional measure preservation with deliberate freedom to distort other geometry.

Structural Core vs. Domain Accent¶

Skeletal core. A transformation preserves a measure locally and therefore for regions.

Domain-bound accent. Smooth surfaces, tangent vectors, area forms, wedge products, and Jacobians define the differential-geometric case.

Why not prime. Invariance is broader; equiareal mapping is its area-specific surface species.

Related — invariance. Area is unchanged under the map.
Related — isometry. 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 (55^th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Dynamical Systems & Differential Structures (37 abstractions)

Nearest neighbors

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

Not to Be Confused With¶

Isometry. Tell: Are distances and angles preserved or only area?
Conformal map. Tell: Is angle or area the invariant?
Equal-total-area mapping. Tell: Does every region preserve area pointwise?
Orientation-preserving map. Tell: Is Jacobian sign constrained or only magnitude?

References¶

Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Equiareal_map (revision 1335194546).

The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.