Definition:Mapping/Notation/Warning

Notation for Mapping
The notation:
 * Let $\map f x$ be a mapping (or function) ...

is an abuse of notation.

If $f: S \to T$ is a mapping, then $\map f x \in T$ for all $x \in S$.

Thus $\map f x$ is a mapping $\Img f$ is a set of mappings.

The point is that, as used here, $\map f x$ is not a mapping, but it is the image of $x$ under $f$.

Hence it is preferable not to talk about:
 * the function $\cos x$

but instead should say:
 * the function $\cos$

or:
 * the function $x \mapsto \cos x$

although for the latter it would be better to also specify the domain and codomain.

This recommendation is not always followed in the literature, for example:


 * ... the number ... $\map f x$ is called the value of the function $f$ at the point $x$. We shall, however, often let $\map f x$ or $y = \map f x$ denote the function $f$; it will always be clear from the context which of the two meanings of $\map f x$ is used.

, indeed, may itself not be rigorous here either.