Definition:Diagonal Mapping
Jump to navigation
Jump to search
Definition
Let $S$ be a set.
Let $S \times S$ be the Cartesian product of $S$ with itself.
Then the diagonal mapping on $S$ is defined as $\Delta: S \to S \times S$:
- $\forall x \in S: \Delta \left({x}\right) = \left({x, x}\right)$
Clearly $\Delta$ is an injection, and is not a surjection unless $S$ is a singleton.