Definition:Mapping
Definition
Let $S$ and $T$ be sets.
Let $S\times T$ be their cartesian product.
Definition 1
A mapping from $S$ to $T$ is a binary relation on $S \times T$ which associates each element of $S$ with exactly one element of $T$.
Definition 2
A mapping $f$ from $S$ to $T$, denoted $f: S \to T$, is a relation $f = \struct {S, T, G}$, where $G \subseteq S \times T$, such that:
- $\forall x \in S: \forall y_1, y_2 \in T: \tuple {x, y_1} \in G \land \tuple {x, y_2} \in G \implies y_1 = y_2$
and
- $\forall x \in S: \exists y \in T: \tuple {x, y} \in G$
Definition 3
A mapping $f$ from $S$ to $T$, denoted $f: S \to T$, is a relation $f = \struct {S, T, R}$, where $R \subseteq S \times T$, such that:
- $\forall \tuple {x_1, y_1}, \tuple {x_2, y_2} \in f: y_1 \ne y_2 \implies x_1 \ne x_2$
and
- $\forall x \in S: \exists y \in T: \tuple {x, y} \in R$
Definition 4
A mapping from $S$ to $T$ is a relation on $S \times T$ which is:
- $(1): \quad$ Many-to-one
- $(2): \quad$ Left-total, that is, defined for all elements in $S$.
General Definition
Let $\ds \prod_{i \mathop = 1}^n S_i$ be the cartesian product of sets $S_1$ to $S_n$.
Let $\ds \RR \subseteq \prod_{i \mathop = 1}^n S_i$ be an $n$-ary relation on $\ds \prod_{i \mathop = 1}^n S_i$.
Then $\RR$ is a mapping if and only if:
- $\ds \forall x := \tuple {x_1, x_2, \ldots, x_{n - 1} } \in \prod_{i \mathop = 1}^{n - 1} S_i: \forall y_1, y_2 \in S_n: \tuple {x, y_1} \in \RR \land \tuple {x, y_2} \in \RR \implies y_1 = y_2$
and
- $\ds \forall x := \tuple {x_1, x_2, \ldots, x_{n - 1} } \in \prod_{i \mathop = 1}^{n - 1} S_i: \exists y \in S_n: \tuple {x, y} \in \RR$
Thus, a mapping is an $n$-ary relation which is:
- Many-to-one
- Left-total, that is, defined for all elements in the domain.
Self-Map
A self-map is a mapping whose domain is equal to its codomain:
- $\Dom f = \Cdm f$
Class-Theoretical Definition
Let $V$ be a basic universe.
Let $A \subseteq V$ and $B \subseteq V$ be classes.
In the context of class theory, a mapping from $A$ into $B$ is a relation $f \subseteq A \times B$ such that:
- $\forall x \in A: \exists! y \in B: \tuple {x, y} \in f$
That is:
- $\forall x \in A: \forall y_1, y_2 \in B: \tuple {x, y_1} \in f \land \tuple {x, y_2} \in f \implies y_1 = y_2$
and
- $\forall x \in A: \exists y \in B: \tuple {x, y} \in f$
Domain, Codomain, Image, Preimage
As a mapping is also a relation, all the results and definitions concerning relations also apply to mappings.
In particular, the concepts of domain and codomain carry over completely, as do the concepts of image and preimage.
Domain
Let $f: S \to T$ be a mapping.
The domain of $f$ is $S$, and can be denoted $\Dom f$.
Codomain
Let $S$ and $T$ be sets.
Let $f: S \to T$ be a mapping.
The codomain of $f$ is $T$.
It is denoted on $\mathsf{Pr} \infty \mathsf{fWiki}$ by $\Cdm f$.
Image
Definition 1
The image of a mapping $f: S \to T$ is the set:
- $\Img f = \set {t \in T: \exists s \in S: \map f s = t}$
That is, it is the set of values taken by $f$.
Definition 2
The image of a mapping $f: S \to T$ is the set:
- $\Img f = f \sqbrk S$
where $f \sqbrk S$ is the image of $S$ under $f$.
Preimage
The preimage of $f$ is defined as:
- $\Preimg f := \set {s \in S: \exists t \in T: f \paren s = t}$
That is:
- $\Preimg f := f^{-1} \sqbrk T$
where $f^{-1} \sqbrk T$ is the image of $T$ under $f^{-1}$.
In this context, $f^{-1} \subseteq T \times S$ is the the inverse of $f$.
It is a relation but not necessarily itself a mapping.
Diagrammatic Presentations
Mapping on Finite Set
The following diagram illustrates the mapping:
- $f: S \to T$
where $S$ and $T$ are the finite sets:
\(\ds S\) | \(=\) | \(\ds \set {a, b, c, i, j, k}\) | ||||||||||||
\(\ds T\) | \(=\) | \(\ds \set {p, q, r, s}\) |
and $f$ is defined as:
- $f = \set {\tuple {a, p}, \tuple {b, p}, \tuple {c, p}, \tuple {i, r}, \tuple {j, s}, \tuple {k, s} }$
Thus the images of each of the elements of $S$ under $f$ are:
\(\ds \map f a\) | \(=\) | \(\ds \map f b = \map f c = p\) | ||||||||||||
\(\ds \map f i\) | \(=\) | \(\ds r\) | ||||||||||||
\(\ds \map f j\) | \(=\) | \(\ds \map f k = s\) |
The preimages of each of the elements of $T$ under $f$ are:
\(\ds \map {f^{-1} } p\) | \(=\) | \(\ds \set {a, b, c}\) | ||||||||||||
\(\ds \map {f^{-1} } q\) | \(=\) | \(\ds \O\) | ||||||||||||
\(\ds \map {f^{-1} } r\) | \(=\) | \(\ds \set i\) | ||||||||||||
\(\ds \map {f^{-1} } s\) | \(=\) | \(\ds \set {j, k}\) |
Mapping on Infinite Set
The following diagram illustrates the mapping:
- $f: S \to T$
where $S$ and $T$ are areas of the the plane, each containing an infinite number of points.
Note that by Image is Subset of Codomain:
- $\Img f \subseteq \Cdm f$
There are no other such constraints upon the domain, image and codomain.
Mapping as Unary Operation
It can be noted that a mapping can be considered as a unary operation.
Notation
Let $f$ be a mapping.
This is usually denoted $f: S \to T$, which is interpreted to mean:
- $f$ is a mapping with domain $S$ and codomain $T$
- $f$ is a mapping of (or from) $S$ to (or into) $T$
- $f$ maps $S$ to (or into) $T$.
The notation $S \stackrel f {\longrightarrow} T$ is also seen.
For $x \in S, y \in T$, the usual notation is:
- $f: S \to T: \map f s = y$
where $\map f s = y$ is interpreted to mean $\tuple {x, y} \in f$.
It is read $f$ of $x$ equals $y$.
This is the preferred notation on $\mathsf{Pr} \infty \mathsf{fWiki}$.
Also defined as
Some approaches, for example 1999: András Hajnal and Peter Hamburger: Set Theory, define a mapping as a many-to-one relation from $S$ to $T$, and then separately specify its requisite left-total nature by restricting $S$ to the domain.
However, this approach is sufficiently different from the mainstream approach that it will not be used on $\mathsf{Pr} \infty \mathsf{fWiki}$ and limited to this mention.
Also known as
Words which are often used to mean the same thing as mapping include:
- transformation (particularly in the context of self-maps)
- operator or operation
- function (usually in the context of numbers)
- map (but this term is discouraged, as the term is also used by some writers for planar graph).
Some sources introduce the concept with informal words such as rule or idea or mathematical notion.
Sources which define a mapping (function) to be only a many-to-one relation refer to a mapping (function) as a total mapping (total function).
Some use the term single-valued relation.
Sources which go into analysis of multifunctions often refer to a conventional mapping as:
- a single-valued mapping or single-valued function
- a many-to-one mapping, many-to-one transformation, or many-to-one correspondence, and so on.
The wording can vary, for example: many-one can be seen for many-to-one.
A mapping $f$ from $S$ to $T$ is also described as a mapping on $S$ into $T$.
In the context of class theory, a mapping is often seen referred to as a class mapping.
Examples
Rotation of Cartesian Plane Anticlockwise through $30 \degrees$
Let $\Gamma$ be the Cartesian plane.
The rotation $R_{30 \degrees}$ of $\Gamma$ anticlockwise through an angle of $30 \degrees$ about the origin $O$ is a mapping from $\Gamma$ to $\Gamma$.
$\paren {x - 2}^2 + 1$ Mapping on $\N$
Let $f: \N \to \N$ be the mapping defined on the set of natural numbers as:
- $\forall x \in \N: \map f x = \paren {x - 2}^2 + 1$
Then $f$ has an infinite image set, but is neither a surjection nor an injection.
$x^3 - x$ Mapping on $\R$
Let $f: \R \to \R$ be the mapping defined on the set of real numbers as:
- $\forall x \in \R: \map f x = x^3 - x$
Then $f$ is a surjection but not an injection.
Area and Circumference of Circle
Let $A$ denote the set of circles.
Let $f_1: A \to \R$ be the mapping defined on $A$ as:
- $\forall a \in A: \map {f_1} a = \map {\Area} a$
Let $f_2: A \to \R$ be the mapping defined on $A$ as:
- $\forall a \in A: \map {f_2} a = \map {\operatorname {Circ} } a$
where $\map {\operatorname {Circ} } a$ denotes the circumference of $a$.
Definite Integral
Let $\mathscr C$ be the set of continuous real functions defined on a closed interval $\closedint a b$.
The definite integral is a mapping which associates an element $f \in \mathscr C$ with a real number $\ds \int_a^b \map f x \rd x$.
Age of a Person
Let $P$ be the set of all people.
Let $\theta: P \to \Z$ be the mapping defined as:
- $\forall x \in P: \map \theta x = \text { the age of $x$ last birthday}$
Height of a Person
Let $P$ be the set of all people.
Let $\theta: P \to \Z$ be the mapping defined as:
- $\forall x \in P: \map \phi x = \text { the height of $x$ in mm}$
Mistakes
Here are some supposed definitions of mappings which contain mistakes.
Image Elements not in Codomain
- $f: \N \to \N$ defined as: $\forall x \in \N: x \mapsto x - 7$
Image Element Undefined
- $g: \R \to \R$ defined as: $\forall x \in \R: x \mapsto \dfrac 1 x$
Image Element Multiply Defined
- $h: \R \to \R$ defined as: $\forall x \in \R: x \mapsto \begin{cases} x + 1 & : x \ge 0 \\ 0 & : x \le 0 \end{cases}$
Mapping not Well-Defined
- $\theta: \Q \to \Z$ defined as: $\forall m, n \in \Z, n \ne 0: \dfrac m n \mapsto m + n$
Also see
- Results about mappings can be found here.
Technical Note
The $\LaTeX$ code for \(\map {f} {x}\) is \map {f} {x}
.
When the argument is a single character, it is usual to omit the braces:
\map f x
Sources
- 1967: John D. Dixon: Problems in Group Theory ... (previous) ... (next): Introduction: Notation
- 1970: B. Hartley and T.O. Hawkes: Rings, Modules and Linear Algebra ... (previous) ... (next): Chapter $1$: Rings - Definitions and Examples: $1$: The definition of a ring
- 1975: W.A. Sutherland: Introduction to Metric and Topological Spaces ... (previous) ... (next): Notation and Terminology
- 1978: John S. Rose: A Course on Group Theory ... (previous) ... (next): $0$: Some Conventions and some Basic Facts
- 1989: George S. Boolos and Richard C. Jeffrey: Computability and Logic (3rd ed.) ... (previous) ... (next): $1$ Enumerability
- 1993: Keith Devlin: The Joy of Sets: Fundamentals of Contemporary Set Theory (2nd ed.) ... (previous) ... (next): $\S 1$: Naive Set Theory: $\S 1.6$: Functions
- 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): mapping (map)
- 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): relation: 1.
- 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): transformation: 2.
- 2002: Thomas Jech: Set Theory (3rd ed.) ... (previous) ... (next): Chapter $1$: Power Set
- 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): mapping (map)
- 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): relation: 1.
- 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): transformation: 2.
- For a video presentation of the contents of this page, visit the Khan Academy.