Range of a function

Last updated
{\displaystyle f}
is a function from domain X to codomain Y. The yellow oval inside Y is the image of
{\displaystyle f}
. Sometimes "range" refers to the image and sometimes to the codomain. Codomain2.SVG
is a function from domain X to codomain Y. The yellow oval inside Y is the image of . Sometimes "range" refers to the image and sometimes to the codomain.

In mathematics, the range of a function may refer to either of two closely related concepts:


Given two sets X and Y, a binary relation f between X and Y is a (total) function (from X to Y) if for every x in X there is exactly one y in Y such that f relates x to y. The sets X and Y are called domain and codomain of f, respectively. The image of f is then the subset of Y consisting of only those elements y of Y such that there is at least one x in X with f(x) = y.


As the term "range" can have different meanings, it is considered a good practice to define it the first time it is used in a textbook or article. Older books, when they use the word "range", tend to use it to mean what is now called the codomain. [1] [2] More modern books, if they use the word "range" at all, generally use it to mean what is now called the image. [3] To avoid any confusion, a number of modern books don't use the word "range" at all. [4]

Elaboration and example

Given a function

with domain , the range of , sometimes denoted or , [5] [6] may refer to the codomain or target set (i.e., the set into which all of the output of is constrained to fall), or to , the image of the domain of under (i.e., the subset of consisting of all actual outputs of ). The image of a function is always a subset of the codomain of the function. [7]

As an example of the two different usages, consider the function as it is used in real analysis (that is, as a function that inputs a real number and outputs its square). In this case, its codomain is the set of real numbers , but its image is the set of non-negative real numbers , since is never negative if is real. For this function, if we use "range" to mean codomain, it refers to ; if we use "range" to mean image, it refers to .

In many cases, the image and the codomain can coincide. For example, consider the function , which inputs a real number and outputs its double. For this function, the codomain and the image are the same (both being the set of real numbers), so the word range is unambiguous.

See also

Notes and References

  1. Hungerford 1974, page 3.
  2. Childs 1990, page 140.
  3. Dummit and Foote 2004, page 2.
  4. Rudin 1991, page 99.
  5. "Compendium of Mathematical Symbols". Math Vault. 2020-03-01. Retrieved 2020-08-28.
  6. Weisstein, Eric W. "Range". mathworld.wolfram.com. Retrieved 2020-08-28.
  7. Nykamp, Duane. "Range definition". Math Insight. Retrieved August 28, 2020.


Related Research Articles

In mathematics, a continuous function is a function that does not have any abrupt changes in value, known as discontinuities. More precisely, a function is continuous if arbitrarily small changes in its output can be assured by restricting to sufficiently small changes in its input. If not continuous, a function is said to be discontinuous. Up until the 19th century, mathematicians largely relied on intuitive notions of continuity, during which attempts such as the epsilon–delta definition were made to formalize it.

Integral domain Commutative ring with no zero divisors other than zero

In mathematics, specifically abstract algebra, an integral domain is a nonzero commutative ring in which the product of any two nonzero elements is nonzero. Integral domains are generalizations of the ring of integers and provide a natural setting for studying divisibility. In an integral domain, every nonzero element a has the cancellation property, that is, if a ≠ 0, an equality ab = ac implies b = c.

In mathematics, and more specifically in linear algebra, a linear map is a mapping between two vector spaces that preserves the operations of vector addition and scalar multiplication. The same names and the same definition are also used for the more general case of modules over a ring; see Module homomorphism.

In mathematics, a partial functionf from a set X to a set Y is a function from a subset S of X to Y. The subset S, that is, the domain of f viewed as a function, is called the domain of definition of f. If S equals X, that is, if f is defined on every element in X, then f is said to be total.

Random variable Variable representing a random phenomenon

In probability and statistics, a random variable, random quantity, aleatory variable, or stochastic variable is described informally as a variable whose values depend on outcomes of a random phenomenon. The formal mathematical treatment of random variables is a topic in probability theory. In that context, a random variable is understood as a measurable function defined on a probability space that maps from the sample space to the real numbers.

Injective function Function that preserves distinctness

In mathematics, an injective function is a function f that maps distinct elements to distinct elements; that is, f(x1) = f(x2) implies x1 = x2. In other words, every element of the function's codomain is the image of at most one element of its domain. The term one-to-one function must not be confused with one-to-one correspondence that refers to bijective functions, which are functions such that each element in the codomain is an image of exactly one element in the domain.

In algebra, the kernel of a homomorphism is generally the inverse image of 0. An important special case is the kernel of a linear map. The kernel of a matrix, also called the null space, is the kernel of the linear map defined by the matrix.

Domain of a function mathematical concept

In mathematics, the domain or set of departure of a function is the set into which all of the input of the function is constrained to fall. It is the set X in the notation f: XY, and is alternatively denoted as . Since a (total) function is defined on its entire domain, its domain coincides with its domain of definition. However, this coincidence is no longer true for a partial function, since the domain of definition of a partial function can be a proper subset of the domain.

Codomain Target set of a mathematical function

In mathematics, the codomain or set of destination of a function is the set into which all of the output of the function is constrained to fall. It is the set Y in the notation f: XY. The term range is sometimes ambiguously used to refer to either the codomain or image of a function.

In abstract algebra, the endomorphisms of an abelian group X form a ring. This ring is called the endomorphism ringX, denoted by End(X); the set of all homomorphisms of X into itself. Addition of endomorphisms arises naturally in a pointwise manner and multiplication via endomorphism composition. Using these operations, the set of endomorphisms of an abelian group forms a (unital) ring, with the zero map as additive identity and the identity map as multiplicative identity.

Graph of a function Representation of a function as the set of pairs (x, f(x))

In mathematics, the graph of a function is the set of ordered pairs , where In the common case where and are real numbers, these pairs are Cartesian coordinates of points in two-dimensional space and thus form a subset of this plane.

Function (mathematics) Mapping that associates a single output value to each input

In mathematics, a function is a binary relation between two sets that associates each element of the first set to exactly one element of the second set. Typical examples are functions from integers to integers, or from the real numbers to real numbers.

Zariski topology Topology on prime ideals and algebraic varieties

In algebraic geometry and commutative algebra, the Zariski topology is a topology which is primarily defined by its closed sets. It is very different from topologies which are commonly used in the real or complex analysis; in particular, it is not Hausdorff. This topology introduced primarily by Oscar Zariski and later generalized for making the set of prime ideals of a commutative ring a topological space, called the spectrum of the ring.

In mathematics, more specifically in topology, an open map is a function between two topological spaces that maps open sets to open sets. That is, a function is open if for any open set in the image is open in Likewise, a closed map is a function that maps closed sets to closed sets. A map may be open, closed, both, or neither; in particular, an open map need not be closed and vice versa.

In mathematics, the support of a real-valued function is the subset of the domain containing the elements which are not mapped to zero. If the domain of is a topological space, the support of is instead defined as the smallest closed set containing all points not mapped to zero. This concept is used very widely in mathematical analysis.

Image (mathematics) Set of all values of a function

In mathematics, the image of a function is the set of all output values it may produce.

In mathematical analysis, and applications in geometry, applied mathematics, engineering, and natural sciences, a function of a real variable is a function whose domain is the real numbers , or a subset of that contains an interval of positive length. Most real functions that are considered and studied are differentiable in some interval. The most widely considered such functions are the real functions, which are the real-valued functions of a real variable, that is, the functions of a real variable whose codomain is the set of real numbers.

Restriction (mathematics)

In mathematics, the restriction of a function is a new function, denoted or , obtained by choosing a smaller domain A for the original function .

In mathematics, the term fiber or fibre can have two meanings, depending on the context:

  1. In naive set theory, the fiber of the element y in the set Y under a map f : XY is the inverse image of the singleton under f.
  2. In algebraic geometry, the notion of a fiber of a morphism of schemes must be defined more carefully because, in general, not every point is closed.

In mathematics, particularly measure theory, the essential range of a function is intuitively the 'non-negligible' range of the function: It does not change between two functions that are equal almost everywhere. One way of thinking of the essential range of a function is the set on which the range of the function is most 'concentrated'. The essential range can be defined for measurable real or complex-valued functions on a measure space.