HOME

TheInfoList



OR:

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'', \bigl, df_p(v)\wedge df_p(w)\bigr, = , v\wedge w, \, where \wedge 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 :f(x,y,z) = \left(\frac, \frac, z\right) 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 :\begin1 & v \\ 0 & 1 \end \,\beginx\\y \end = \beginx+vy\\y \end. 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 :\begin\lambda & 0 \\ 0 & 1/\lambda \end\,\beginx\\y \end = \begin\lambda x\\ y/\lambda.\end A linear transformation \begina & b \\ c & d \end 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 R2, in the obvious way in R3, the requirement above then is weakened to: :, df_p(v)\times df_p(w), =\kappa, v\times w, for some not depending on v and w. 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