In
mathematics, a
projection is a mapping of a
set (or other
mathematical structure) into a subset (or sub-structure), which is equal to its square for
mapping composition (or, in other words, which is
idempotent). 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 (paper sheet). The projection of a point is its shadow on the paper sheet. The shadow of a point on the paper sheet is this point itself (idempotence). The shadow of a three-dimensional sphere is a circle. Originally, the notion of projection was introduced in
Euclidean geometry to denote the projection of the
Euclidean space of three dimensions onto a plane in it, like the shadow example. The two main projections of this kind are:
- The projection from a point onto a plane or central projection: If C is a point, called the center of projection, then the projection of a point P different from C onto a plane that does not contain C is the intersection of the line CP with the plane. The points P such that the line CP is parallel to the plane do 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 C itself is not defined.
- The projection parallel to a direction D, onto a plane: The image of a point P is the intersection with the plane of the line parallel to D passing through P. See for an accurate definition, generalized to any dimension.