Projection (mathematics)

Template:Short description Template:Multiple issues In mathematics, a projection is an idempotent mapping of a set (or other mathematical structure) into a subset (or sub-structure). In this case, idempotent means that projecting twice is the same as projecting once. The restriction to a subspace of a projection is also called a projection, even if the idempotence property is lost. An everyday example of a projection is the casting of shadows onto a plane (sheet of paper): the projection of a point is its shadow on the sheet of paper, and the projection (shadow) of a point on the sheet of paper is that point itself (idempotency). The shadow of a three-dimensional sphere is a disk. Originally, the notion of projection was introduced in Euclidean geometry to denote the projection of the three-dimensional Euclidean space onto a plane in it, like the shadow example. The two main projections of this kind are:

• Template:AnchorThe projection from a point onto a plane or central projection: If Template:Mvar is a point, called the center of projection, then the projection of a point Template:Mvar different from Template:Mvar onto a plane that does not contain Template:Mvar is the intersection of the line Template:Mvar with the plane. The points Template:Mvar such that the line Template:Mvar is parallel to the plane does not have any image by the projection, but one often says that they project to a point at infinity of the plane (see Projective geometry for a formalization of this terminology). The projection of the point Template:Mvar itself is not defined.
• The projection parallel to a direction Template:Mvar, onto a plane or parallel projection: The image of a point Template:Mvar is the intersection of the plane with the line parallel to Template:Mvar passing through Template:Mvar. See Template:Slink for an accurate definition, generalized to any dimension.Template:Citation needed

The concept of projection in mathematics is a very old one, and most likely has its roots in the phenomenon of the shadows cast by real-world objects on the ground. This rudimentary idea was refined and abstracted, first in a geometric context and later in other branches of mathematics. Over time different versions of the concept developed, but today, in a sufficiently abstract setting, we can unify these variations.Template:Citation needed

In cartography, a map projection is a map of a part of the surface of the Earth onto a plane, which, in some cases, but not always, is the restriction of a projection in the above meaning. The 3D projections are also at the basis of the theory of perspective.Template:Citation needed

The need for unifying the two kinds of projections and of defining the image by a central projection of any point different of the center of projection are at the origin of projective geometry.

Definition

The commutativity of this diagram is the universality of the projection Template:Mvar, for any map Template:Mvar and set Template:Mvar.

Generally, a mapping where the domain and codomain are the same set (or mathematical structure) is a projection if the mapping is idempotent, which means that a projection is equal to its composition with itself. A projection may also refer to a mapping which has a right inverse. Both notions are strongly related, as follows. Let Template:Mvar be an idempotent mapping from a set Template:Mvar into itself (thus Template:Math) and Template:Math be the image of Template:Mvar. If we denote by Template:Mvar the map Template:Mvar viewed as a map from Template:Mvar onto Template:Mvar and by Template:Mvar the injection of Template:Mvar into Template:Mvar (so that Template:Math), then we have Template:Math (so that Template:Mvar has a right inverse). Conversely, if Template:Mvar has a right inverse Template:Mvar, then Template:Math implies that Template:Math; that is, Template:Math is idempotent.Template:Citation needed

Applications

The original notion of projection has been extended or generalized to various mathematical situations, frequently, but not always, related to geometry, for example:

• In set theory:
  • An operation typified by the Template:Mvar-^th projection map, written Template:Math, that takes an element Template:Math of the Cartesian product Template:Math to the value Template:Math This map is always surjective and, when each space Template:Math has a topology, this map is also continuous and open.
  • A mapping that takes an element to its equivalence class under a given equivalence relation is known as the canonical projection.
  • The evaluation map sends a function Template:Mvar to the value Template:Math for a fixed Template:Mvar. The space of functions Template:Math can be identified with the Cartesian product $\prod _{i\in X}Y$, and the evaluation map is a projection map from the Cartesian product.Template:Citation needed
• For relational databases and query languages, the projection is a unary operation written as ${\mathrm{\Pi }}_{a_1,\dots ,a_n}(R)$ where $a_1,\dots ,a_n$ is a set of attribute names. The result of such projection is defined as the set that is obtained when all tuples in Template:Mvar are restricted to the set $\{a_1,\dots ,a_n\}$.Template:Verify source Template:Mvar is a database-relation.Template:Citation needed
• In spherical geometry, projection of a sphere upon a plane was used by Ptolemy (~150) in his Planisphaerium. The method is called stereographic projection and uses a plane tangent to a sphere and a pole C diametrically opposite the point of tangency. Any point Template:Mvar on the sphere besides Template:Mvar determines a line Template:Mvar intersecting the plane at the projected point for Template:Mvar. The correspondence makes the sphere a one-point compactification for the plane when a point at infinity is included to correspond to Template:Mvar, which otherwise has no projection on the plane. A common instance is the complex plane where the compactification corresponds to the Riemann sphere. Alternatively, a hemisphere is frequently projected onto a plane using the gnomonic projection.Template:Citation needed
• In linear algebra, a linear transformation that remains unchanged if applied twice: Template:Math. In other words, an idempotent operator. For example, the mapping that takes a point Template:Math in three dimensions to the point Template:Math is a projection. This type of projection naturally generalizes to any number of dimensions Template:Mvar for the domain and Template:Math for the codomain of the mapping. See Orthogonal projection, Projection (linear algebra). In the case of orthogonal projections, the space admits a decomposition as a product, and the projection operator is a projection in that sense as well.Template:Verify source
• In differential topology, any fiber bundle includes a projection map as part of its definition. Locally at least this map looks like a projection map in the sense of the product topology and is therefore open and surjective.Template:Citation needed
• In topology, a retraction is a continuous map Template:Math which restricts to the identity map on its image. This satisfies a similar idempotency condition Template:Math and can be considered a generalization of the projection map. The image of a retraction is called a retract of the original space. A retraction which is homotopic to the identity is known as a deformation retraction. This term is also used in category theory to refer to any split epimorphism.Template:Citation needed
• The scalar projection (or resolute) of one vector onto another.
• In category theory, the above notion of Cartesian product of sets can be generalized to arbitrary categories. The product of some objects has a canonical projection morphism to each factor. Special cases include the projection from the Cartesian product of sets, the product topology of topological spaces (which is always surjective and open), or from the direct product of groups, etc. Although these morphisms are often epimorphisms and even surjective, they do not have to be.Template:Verify source

Further reading

• Thomas Craig (1882) A Treatise on Projections from University of Michigan Historical Math Collection.