Definition:Projection (Mapping Theory)

Definition
Let $S_1, S_2, \ldots, S_j, \ldots, S_n$ be sets.

Let $\displaystyle \prod_{i \mathop = 1}^n S_i$ be the Cartesian product of $S_1, S_2, \ldots, S_n$.

For each $j \in \set {1, 2, \ldots, n}$, the $j$th projection on $\displaystyle S = \prod_{i \mathop = 1}^n S_i$ is the mapping $\pr_j: S \to S_j$ defined by:
 * $\map {\pr_j} {s_1, s_2, \ldots, s_j, \ldots, s_n} = s_j$

for all $\tuple {s_1, s_2, \ldots, s_n} \in S$.

Projection from Product of Two Sets
The definition is most usually seen in the context of the Cartesian product of two sets, as follows.

Let $S$ and $T$ be sets.

Let $S \times T$ be the Cartesian product of $S$ and $T$.

Also denoted as
It is common to denote projections with the Greek letter $\pi$ (pi) in place of $\pr$.

Some sources, in particular those which approach the subject from the context of physics, use a superscript: $\pr^j$.

Some sources use the notation $p_j$ for $\pr$.

Also known as
This is sometimes referred to as the projection on the $j$th co-ordinate, and hence generically as a coordinate projection.

Some sources use a $0$-based system to number the elements of a Cartesian product.

For a given ordered $n$-tuple $x = \tuple {a_0, a_1, \ldots, a_{n - 1} }$, the notation $\paren x_j$ is also seen.

Hence:
 * $\paren x_j = a_j$

which is interpreted to mean the same as:
 * $\map {\pr_j} {a_0, a_1, \ldots, a_{n - 1} } = a_{j - 1}$

On, to avoid all such confusion, the notation $\map {\pr_j} {a_1, a_2, \ldots, a_n} = a_j$ is to be used throughout.

Also see

 * Projection is Surjection
 * Projection is Epimorphism


 * The left operation and right operation for the same concept in the context of abstract algebra.