Image (mathematics) in the context of "Projection (mathematics)"

In mathematics, a family, or indexed family, is informally a collection of objects, each associated with an index from some index set. For example, a family of real numbers, indexed by the set of integers, is a collection of real numbers, where a given function selects one real number for each integer (possibly the same) as indexing.

More formally, an indexed family is a mathematical function together with its domain ${\displaystyle I}$ and image ${\displaystyle X}$ (that is, indexed families and mathematical functions are technically identical, just points of view are different). Often the elements of the set ${\displaystyle X}$ are referred to as making up the family. In this view, an indexed family is interpreted as a collection of indexed elements, instead of a function. The set ${\displaystyle I}$ is called the index set of the family, and ${\displaystyle X}$ is the indexed set.

In mathematics, given two groups, (G,∗) and (H, ·), a group homomorphism from (G,∗) to (H, ·) is a function h : G → H such that for all u and v in G it holds that

where the group operation on the left side of the equation is that of G and on the right side that of H.

In mathematics, a codomain or set of destination of a function is a set into which all of the outputs of the function is constrained to fall. It is the set Y in the notation f: X → Y. The term range is sometimes ambiguously used to refer to either the codomain or the image of a function.

A codomain is part of a function f if f is defined as a triple (X, Y, G) where X is called the domain of f, Y its codomain, and G its graph. The set of all elements of the form f(x), where x ranges over the elements of the domain X, is called the image of f. The image of a function is a subset of its codomain so it might not coincide with it. Namely, a function that is not surjective has elements y in its codomain for which the equation f(x) = y does not have a solution.

In linear algebra and functional analysis, a projection is a linear transformation ${\displaystyle P}$ from a vector space to itself (an endomorphism) such that ${\displaystyle P\circ P=P}$. That is, whenever ${\displaystyle P}$ is applied twice to any vector, it gives the same result as if it were applied once (i.e. ${\displaystyle P}$ is idempotent). It leaves its image unchanged. This definition of "projection" formalizes and generalizes the idea of graphical projection. One can also consider the effect of a projection on a geometrical object by examining the effect of the projection on points in the object.

In mathematics, the range of a function may refer either to the codomain of the function, or the image of the function. In some cases the codomain and the image of a function are the same set; such a function is called surjective or onto. For any non-surjective function ${\displaystyle f:X\to Y,}$ the codomain ${\displaystyle Y}$ and the image ${\displaystyle {\tilde {Y}}}$ are different; however, a new function can be defined with the original function's image as its codomain, ${\displaystyle {\tilde {f}}:X\to {\tilde {Y}}}$ where ${\displaystyle {\tilde {f}}(x)=f(x).}$ This new function is surjective.

In projective geometry, a collineation is a one-to-one and onto map (a bijection) from one projective space to another, or from a projective space to itself, such that the images of collinear points are themselves collinear. A collineation is thus an isomorphism between projective spaces, or an automorphism from a projective space to itself. Some authors restrict the definition of collineation to the case where it is an automorphism. The set of all collineations of a space to itself form a group, called the collineation group.