Range (mathematics)

From Wikipedia, the free encyclopedia

In mathematics, the range of a function is the set of all "output" values produced by that function. Sometimes it is called the image, or more precisely, the image of the domain of the function.

[edit] Formal definition

Given a function f\colon A\rightarrow B, the range of f, is defined to be the set

\{ x \in B : x = f(a) \mbox{ for some } a \in A \}.

The range of f is sometimes denoted ran(f).

The range should not be confused with the codomain B. The range is a subset of the codomain, but is not necessarily equal to the codomain, since there may be elements of the codomain which are not elements of the range. The codomain is sometimes taken to be the range, but more often is some standard set, such as the real numbers or the complex numbers, which contains the range. (Older books sometimes call what is now called the codomain the range, and what is now called the range the image set.) A function whose range equals its codomain is called onto or surjective.

[edit] Examples

Let the function f be a function on the real numbers:

f\colon \mathbb{R}\rightarrow\mathbb{R}

defined by

f(x) = x2

The codomain of f is R, and f takes all nonnegative values but never takes negative values, and thus the range is in fact the set R+—non-negative reals, i.e. the interval [0,∞):

0\leq f(x)<\infty.

Now let g be a function on the real numbers:

g\colon \mathbb{R}\rightarrow\mathbb{R}

defined by

g(x) = 2x

In this case the image of g equals R, its codomain, since, for any real number y,

g(y / 2) = y.

In other words, g is onto R.

[edit] See also