Definition:Range

From ProofWiki
Jump to: navigation, search

Definition

Let $\mathcal R \subseteq S \times T$ be a relation, or (usually) a mapping (which is, of course, itself a relation).


The range of $\mathcal R$, denoted is defined as one of two things, depending on the source.

It is usually denoted $\Rng {\mathcal R}$ or $\operatorname {Ran} \paren {\mathcal R}$ (or the same all in lowercase).


Range as Codomain

The range of a relation $\mathcal R \subseteq S \times T$ can be defined as the set $T$.

As such, it is the same thing as the term codomain of $\mathcal R$.


Range as Image

The range of a relation $\mathcal R \subseteq S \times T$ can also be defined as:

$\Rng {\mathcal R} = \set {t \in T: \exists s \in S: \tuple {s, t} \in \mathcal R}$

Defined like this, it is the same as what is defined as the image set of $\mathcal R$.


Beware

Because of the ambiguity in definition, it is often advised that the term range not be used in this context at all, but instead that the term Codomain or Image be used as appropriate.


Also see


Sources

Those that define $\Rng {\mathcal R}$ as image:


Those that define $\Rng {\mathcal R}$ as codomain:


Those which do not use the term at all, but use codomain and image instead:


Some sources brush the question aside by refraining from giving a name to this concept at all:

A map or function (the terms are used interchangeably) between sets $A, B$ is written $f: A \to B$.
We call $A$ the domain of $f$, and we avoid calling $B$ anything.