Codomain

related topics
{math, number, function}

In mathematics, the codomain or target set of a function is the set Y into which all of the output of the function is constrained to fall. It is the set Y in the notation fX → Y. The codomain is also sometimes referred to as the range but that term is ambiguous as it may also refer to the image.

The codomain is part of the modern definition of a function f as a triple (XYF), with F a subset of the Cartesian product X × Y. The set of all elements of the form f(x), where x ranges over the elements of the domain X, is called the image of f. In general, the image of a function is a subset of its codomain. Thus, it may not coincide with its codomain. Namely, a function that is not surjective has elements y in its codomain for which the equation f(x) = y does not have a solution.

An older definition of functions which does not include a codomain is also widely used.[1] For example in set theory it is desirable to permit the domain of a function to be a proper class X, in which case there is formally no such thing as a triple (XYF). With such a definition functions do not have a codomain, although some authors still use it informally after introducing a function in the form fX → Y.[2][3][4][5][6]

Examples

For a function

defined by

the codomain of f is \mathbb R, but f does not map to any negative number. Thus the image of f is the set \mathbb{R}^+_0,i.e., the interval [0,∞).

An alternative function g is defined thus:

While f and g map a given x to the same number, they are not, in the modern view, the same function because they have different codomains. A third function h can be defined to demonstrate why:

The domain of h must be defined to be \mathbb{R}^+_0:

The compositions are defined

On inspection, h \circ f is not useful. It is true, unless defined otherwise, that the image of f is not known; it is only known that it is a subset of \mathbb R. For this reason, it is possible that h, when composed on f, might receive an argument for which no output is defined – negative numbers are not elements of the domain of h, which is the square root function.

Function composition therefore is a useful notation only when the codomain of the function on the right side of a composition (not its image, which is a consequence of the function and could be unknown at the level of the composition) is the same as the domain of the function on the left side.

Full article ▸

related documents
Local field
Hahn–Banach theorem
Epimorphism
Real analysis
Zorn's lemma
Chomsky hierarchy
P-complete
Arithmetic shift
Coprime
Mathematical singularity
Linear cryptanalysis
Dual number
Group isomorphism
Tree (graph theory)
Nial
Arithmetic function
Intermediate value theorem
Distributivity
Five lemma
Quotient group
Consistency
Referential transparency (computer science)
Pointless topology
Lagrange inversion theorem
Grep
Dedekind cut
Statistical independence
Lambert W function
Associativity
Venn diagram