Search results
Results from the WOW.Com Content Network
A function is surjective or onto if each element of the codomain is mapped to by at least one element of the domain. In other words, each element of the codomain has a non-empty preimage. Equivalently, a function is surjective if its image is equal to its codomain. A surjective function is a surjection. [1] The formal definition is the following.
In mathematics, a surjective function (also known as surjection, or onto function / ˈ ɒ n. t uː /) is a function f such that, for every element y of the function's codomain, there exists at least one element x in the function's domain such that f(x) = y. In other words, for a function f : X → Y, the codomain Y is the image of the function ...
The codomain affects whether a function is a surjection, in that the function is surjective if and only if its codomain equals its image. In the example, g is a surjection while f is not. The codomain does not affect whether a function is an injection.
Given its domain and its codomain, a function is uniquely represented by the set of all pairs (x, f (x)), called the graph of the function, a popular means of illustrating the function. [note 1] [4] When the domain and the codomain are sets of real numbers, each such pair may be thought of as the Cartesian coordinates of a point in the plane.
Similarly, the inverse image (or preimage) of a given subset of the codomain is the set of all elements of that map to a member of . The image of the function f {\displaystyle f} is the set of all output values it may produce, that is, the image of X {\displaystyle X} .
In other words, every element of the function's codomain is the image of at most one element of its domain. Surjective function: has a preimage for every element of the codomain, that is, the codomain equals the image. Also called a surjection or onto function. Bijective function: is both an injection and a surjection, and thus invertible.
Get AOL Mail for FREE! Manage your email like never before with travel, photo & document views. Personalize your inbox with themes & tabs. You've Got Mail!
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: the codomain of the function, or; the image of the function. In some cases the codomain and the image of a function are the same set; such a function is called surjective or onto.