In
differential geometry, an equiareal map, sometimes called an authalic map, is a
smooth map from one
surface to another that preserves the
area
Area is the quantity that expresses the extent of a region on the plane or on a curved 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 su ...
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 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 definition of ...
of ''f''(''U'') is equal to the area of ''U'' for every
open set
In mathematics, open sets are a generalization of open intervals in the real line.
In a metric space (a set along with a distance defined between any two points), open sets are the sets that, with every point , contain all points that a ...
''U'' on ''M''.
* The
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 ele ...
s ''v'' and ''w'' to ''M'' at ''p'',
where denotes the Euclidean
wedge product
A wedge is a triangular shaped tool, and is a portable inclined plane, and one of the six simple machines. It can be used to separate two objects or portions of an object, lift up an object, or hold an object in place. It functions by convert ...
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, the Euclidean plane is a Euclidean space of dimension two. That is, a geometric setting in which two real quantities are required to determine the position of each point ( element of the plane), which includes affine notions ...
is equiareal, but the converse is not true. In fact,
shear mapping
In plane geometry, a shear mapping is a linear map that displaces each point in a fixed direction, by an amount proportional to its signed distance from the line that is parallel to that direction and goes through the origin. This type of map ...
and
squeeze mapping are counterexamples 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 of its
determinant
In mathematics, the determinant is a scalar value that is a function of the entries of a square matrix. It characterizes some properties of the matrix and the linear map represented by the matrix. In particular, the determinant is nonzero if ...
.
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 operations performed on the corresponding matrix of coefficients. This method can also be used ...
shows that every equiareal linear transformation (
rotations
Rotation, or spin, is the circular movement of an object around a '' central axis''. A two-dimensional rotating object has only one possible central axis and can rotate in either a clockwise or counterclockwise direction. A three-dimensional ...
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, map projection is the term used to describe a broad set of transformations employed to represent the two-dimensional curved surface of a globe on a plane. In a map projection, coordinates, often expressed as latitude and longit ...
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.
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. When this matrix is square, that is, when the function takes the same number of variables ...
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