TOPICS
Search

Image


The image of a map (a.k.a. function, transformation, etc.) f:D->Y is the set of values attained as its argument varies over the domain D. It is also called the range of f and is written

 Range(f)=f(D)={f(x):x in D}.

More generally, the image of a subset A subset= D is f(A)={f(x):x in A} (Halmos 1974, p. 31). The image f(D) is a subset of the codomain Y and need not equal Y.

If the domain of a function f contains an interval [a,b], then f([a,b]) denotes the image of that interval. Formally,

 f([a,b])={y: exists x in [a,b] such that f(x)=y}.

See also

Preimage, Range

Portions of this entry contributed by John Renze

Explore with Wolfram|Alpha

References

Halmos, P. R. Naive Set Theory. New York: Springer-Verlag, p. 31, 1974. https://doi.org/10.1007/978-1-4757-1645-0.

Referenced on Wolfram|Alpha

Image

Cite this as:

Weisstein, Eric W., with contributions by John Renze. "Image." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/Image.html

Subject classifications