When every element in the domain corresponds to exactly one element in the range, the relation is a function. A function passes the vertical line test: no vertical line passes through more than one point in the relation. The unit circle is thus not a function. The half-circle above the
axis is the function
.
The horizontal line test, which tests if any horizontal line intersects a graph at more than one point, can have three different results when applied to functions:
1. If no horizontal line intersects the function in more than one point, the function is one-to-one (or injective).
2. If every horizontal line intersects the function in at least one point, it is onto (or surjective).
3. If every horizontal line intersects the function in exactly one point, it is one-to-one and onto (or bijective).
Suppose
is a function with domain
and range
. The inverse of
is a function
with domain
and range
such that
if and only if
. For the inverse to exist, the original function
must be one-to-one and onto.
Let
be the set of real numbers. The inverse of
with domain and range
is the function
with the same domain and range.
Many functions that come up in practice are either not one-to-one or not onto. For example, because trigonometric functions are periodic they are many-to-one on
. Also, except for the tangent and arctangent functions, the trig functions are not onto. For example, there is no real number
such that
.
[less]