In
differential geometry
Differential geometry is a Mathematics, mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of Calculus, single variable calculus, vector calculus, lin ...
, an equiareal map, sometimes called an authalic map, is a
smooth map from one
surface
A surface, as the term is most generally used, is the outermost or uppermost layer of a physical object or space. It is the portion or region of the object that can first be perceived by an observer using the senses of sight and touch, and is ...
to another that preserves the
area
Area is the measure of a region's size on a surface. The area of a plane region or ''plane area'' refers to the area of a shape or planar lamina, while '' surface area'' refers to the area of an open surface or the boundary of a three-di ...
s of figures.
Properties
If ''M'' and ''N'' are two
Riemannian (or
pseudo-Riemannian) surfaces, then an equiareal map ''f'' from ''M'' to ''N'' can be characterized by any of the following equivalent conditions:
* The
surface area
The surface area (symbol ''A'') of a solid object is a measure of the total area that the surface of the object occupies. The mathematical definition of surface area in the presence of curved surfaces is considerably more involved than the d ...
of ''f''(''U'') is equal to the area of ''U'' for every
open set
In mathematics, an open set is a generalization of an Interval (mathematics)#Definitions_and_terminology, open interval in the real line.
In a metric space (a Set (mathematics), set with a metric (mathematics), distance defined between every two ...
''U'' on ''M''.
* The
pullback
In mathematics, a pullback is either of two different, but related processes: precomposition and fiber-product. Its dual is a pushforward.
Precomposition
Precomposition with a function probably provides the most elementary notion of pullback: ...
of the
area element ''μ''
''N'' on ''N'' is equal to ''μ''
''M'', the area element on ''M''.
* At each point ''p'' of ''M'', and
tangent vector
In mathematics, a tangent vector is a vector that is tangent to a curve or surface at a given point. Tangent vectors are described in the differential geometry of curves in the context of curves in R''n''. More generally, tangent vectors are ...
s ''v'' and ''w'' to ''M'' at ''p'',
where
denotes the Euclidean
wedge product of vectors and ''df'' denotes the
pushforward along ''f''.
Example
An example of an equiareal map, due to
Archimedes of Syracuse, is the projection from the unit sphere to the unit cylinder outward from their common axis. An explicit formula is
:
for (''x'', ''y'', ''z'') a point on the unit sphere.
Linear transformations
Every
Euclidean isometry of the
Euclidean plane
In mathematics, a Euclidean plane is a Euclidean space of Two-dimensional space, dimension two, denoted \textbf^2 or \mathbb^2. It is a geometric space in which two real numbers are required to determine the position (geometry), position of eac ...
is equiareal, but the
converse is not true. In fact,
shear mapping
In plane geometry, a shear mapping is an affine transformation that displaces each point in a fixed direction by an amount proportional to its signed distance function, signed distance from a given straight line, line parallel (geometry), paral ...
and
squeeze mapping
In linear algebra, a squeeze mapping, also called a squeeze transformation, is a type of linear map that preserves Euclidean area of regions in the Cartesian plane, but is ''not'' a rotation (mathematics), rotation or shear mapping.
For a fixed p ...
are
counterexample
A counterexample is any exception to a generalization. In logic a counterexample disproves the generalization, and does so rigorously in the fields of mathematics and philosophy. For example, the fact that "student John Smith is not lazy" is a c ...
s to the converse.
Shear mapping takes a rectangle to a parallelogram of the same area. Written in matrix form, a shear mapping along the -axis is
:
Squeeze mapping lengthens and contracts the sides of a rectangle in a reciprocal manner so that the area is preserved. Written in matrix form, with λ > 1 the squeeze reads
:
A linear transformation
multiplies areas by the
absolute value
In mathematics, the absolute value or modulus of a real number x, is the non-negative value without regard to its sign. Namely, , x, =x if x is a positive number, and , x, =-x if x is negative (in which case negating x makes -x positive), ...
of its
determinant
In mathematics, the determinant is a Scalar (mathematics), scalar-valued function (mathematics), function of the entries of a square matrix. The determinant of a matrix is commonly denoted , , or . Its value characterizes some properties of the ...
.
Gaussian elimination
In mathematics, Gaussian elimination, also known as row reduction, is an algorithm for solving systems of linear equations. It consists of a sequence of row-wise operations performed on the corresponding matrix of coefficients. This method can a ...
shows that every equiareal linear transformation (
rotations included) can be obtained by composing at most two shears along the axes, a squeeze and (if the determinant is negative), a
reflection.
In map projections
In the context of
geographic maps, a
map projection
In cartography, a map projection is any of a broad set of Transformation (function) , transformations employed to represent the curved two-dimensional Surface (mathematics), surface of a globe on a Plane (mathematics), plane. In a map projection, ...
is called
equal-area, equivalent, authalic, equiareal, or area-preserving, if areas are preserved up to a constant factor; embedding the target map, usually considered a subset of R
2, in the obvious way in R
3, the requirement above then is weakened to:
:
for some not depending on
and
.
For examples of such projections, see
equal-area map projection
In cartography, an equivalent, authalic, or equal-area projection is a map projection that preserves relative area measure between any and all map regions. Equivalent projections are widely used for thematic maps showing scenario distribution su ...
.
See also
*
Jacobian matrix and determinant
In vector calculus, the Jacobian matrix (, ) of a vector-valued function of several variables is the matrix of all its first-order partial derivatives. If this matrix is square, that is, if the number of variables equals the number of compon ...
References
*{{Citation , last1=Pressley , first1=Andrew , title=Elementary differential geometry , publisher=Springer-Verlag , location=London , series=Springer Undergraduate Mathematics Series , isbn=978-1-85233-152-8 , mr=1800436 , year=2001
Differential geometry
Functions and mappings