Professional Documents
Culture Documents
Injective Function
Injective Function
Injective Function
An injective function is called an injection, and is also said to be a one-to-one function (not to be
confused with one-to-one correspondence, i.e. a bijective function). Occasionally, an injective function
from X to Y is denoted f: X Y, using an arrow with a barbed tail. Alternately, it may be
denoted YXusing a notation derived from that used for falling factorial powers, since if X and Y are
finite sets with respectively x and y elements, the number of injections X Y is yx (see the twelvefold
way).
A function f that is not injective is sometimes called many-to-one. (However, this terminology is also
sometimes used to mean "single-valued", i.e., each argument is mapped to at most one value; this is
the case for any function, but is used to stress the opposition with multi-valued functions, which are not
true functions.)
Contents
[hide]
1 Definition
2 Examples
5 Other properties
6 See also
7 Notes
8 References
9 External links
[edit]Definition
Let f be a function whose domain is a set A. The function f is injective if for all a and b in A, if f(a)
=f(b), then a = b; that is, f(a) = f(b) implies a = b. Equivalently, if a ≠ b, then f(a) ≠ f(b).
[edit]Examples
For any set X and any subset S of X the inclusion map S → X (which sends any
element s of S to itself) is injective. In particular the identity function X → X is always injective (and
in fact bijective).
The function g : R → R defined by g(x) = x2 is not injective, because (for example) g(1) =
1 = g(−1). However, if g is redefined so that its domain is the non-negative real numbers [0,+∞),
then g is injective.
The exponential function exp : R → R defined by exp(x) = ex is injective (but not surjective as
no value maps to a negative number).
The function g : R → R defined by g(x) = xn − x is not injective, since, for example, g(0) = g(1).
More generally, when X and Y are both the real line R, then an injective function f : R → R is one
whose graph is never intersected by any horizontal line more than once. This principle is referred to as
the horizontal line test.
Functions with left inverses are always injections. That is, given f : X → Y, if there is a
function g : Y → X such that, for every x X
Conversely, every injection f with non-empty domain has a left inverse g (in conventional
mathematics[1]). Note that g may not be a completeinverse of f because the composition in the
other order, f ◦ g, may not be the identity on Y. In other words, a function that can be undone or
"reversed", such as f, is not necessarily invertible (bijective). Injections are "reversible" but not
always invertible.
In fact, to turn an injective function f : X → Y into a bijective (hence invertible) function, it suffices
to replace its codomain Y by its actual range J = f(X). That is, let g : X → J such that g(x) = f(x)
for all x in X; then g is bijective. Indeed, f can be factored as inclJ,Y ◦ g, where inclJ,Y is
the inclusion function from J into Y.
[edit]Other properties
If f : X → Y is injective and A and B are both subsets of X, then f(A ∩ B) =f(A) ∩ f(B).
Every function h : W → Y can be decomposed as h = f ◦ g for a suitable injectionf and
surjection g. This decomposition is unique up to isomorphism, and f may be thought of as
the inclusion function of the range h(W) of h as a subset of the codomain Y of h.
If both X and Y are finite with the same number of elements, then f : X → Y is injective if and
only if f is surjective (in which case they arebijective).
Surjective function
From Wikipedia, the free encyclopedia
(Redirected from Surjection)
"Onto" redirects here. For other uses, see wikt:onto.
In mathematics, a function is said to be surjective or onto if its image is equal to its codomain. A
function f: X → Y is surjective if and only iffor every y in the codomain Y there is at least one x in
the domain X such that f(x) = y. A surjective function is called a surjection. Surjections are sometimes
denoted by a two-headed rightwards arrow, as in f: X ։ Y.
The term surjective and the related terms injective and bijective were introduced by Nicolas
Bourbaki,[1] a group of mainly French 20th-century mathematicians who wrote a series of books
presenting an exposition of modern advanced mathematics, beginning in 1935. The
French prefix sur means over or above and relates to the fact that the image of the domain of a
surjective function completely covers the function's codomain.
Contents
[hide]
1 Examples
2 Properties
3 See also
4 Notes
5 References
[edit]Examples
The function f: Z → {0,1} defined by f(n) = n mod 2 and mapping even integers to 0 and odd integers
to 1 is surjective.
The function f: R → R defined by f(x) = 2x + 1 is surjective (and even bijective), because for every real
number y we have an x such that f(x) =y: an appropriate x is (y − 1)/2.
The function g: R → R defined by g(x) = x2 is not surjective, because there is no real number x such
that x2 = −1. However, the functiong: R → R+ defined by g(x) = x2 (with restricted
codomain) is surjective because for every y in the positive real codomain Y there is at least one x in
the real domain X such that x2 = y.
The natural logarithm function ln: (0,+∞) → R is a surjective and even bijective mapping from the set of
positive real numbers to the set of all real numbers. Its inverse, the exponential function, is not
surjective as its range is the set of positive real numbers and its domain is usually defined to be the set
of all real numbers. The matrix exponential is not surjective when seen as a map from the space of
all n×n matrices to itself. It is, however, usually defined as a map from the space of all n×n matrices to
the general linear group of degree n, i.e. the group of alln×n invertible matrices. Under this definition
the matrix exponential is surjective.
[edit]Properties
Every function with a right inverse is necessarily a surjection. The proposition that every surjective
function has a right inverse is equivalent to the axiom of choice.
If f: X → Y is surjective and B is a subset of Y, then f(f −1(B)) = B. Thus, B can be recovered from
its preimage f −1(B).
For example, in the first illustration, there is some function g such that g(C) = 4. There is also some
function f such that f(4) = C. It doesn't matter that g(C) can also equal 3; it only matters
that f "reverses" g.
[edit]Surjections as epimorphisms
A function f: X → Y is surjective if and only if it is right-cancellative:[2] given any functions g,h:Y → Z,
whenever g o f = h o f, then g = h. This property is formulated in terms of functions and
their composition and can be generalized to the more general notion of the morphisms of
acategory and their composition. Right-cancellative morphisms are called epimorphisms. Specifically,
surjective functions are precisely the epimorphisms in the category of sets. The prefix epi is derived
from the greek preposition ἐπί meaning over, above, on.
Any morphism with a right inverse is an epimorphism, but the converse is not true in general. A right
inverse g of a morphism f is called asection of f. A morphism with a right inverse is called a split
epimorphism.
Any function can be decomposed into a surjection and an injection: For any function h: X → Z there
exist a surjection f:X → Y and an injection g:Y → Z such that h = g o f. To see this, define Y to be the
sets h −1(z) where z is in Z. These sets are disjoint and partition X. Thenf carries each x to the element
of Y which contains it, and g carries each element of Y to the point in Z to which h sends its points.
Then f is surjective since it is a projection map, and g is injective by definition.
[edit]Induced surjection and induced bijection
Any function induces a surjection by restricting its codomain to its range. Any surjective function
induces a bijection defined on a quotient of its domain by collapsing all arguments mapping to a given
fixed image. More precisely, every surjection f : A → B can be factored as a projection followed by a
bijection as follows. Let A/~ be the equivalence classes of A under the following equivalence
relation: x ~ y if and only if f(x) = f(y). Equivalently, A/~ is the set of all preimages under f.
Let P(~) : A → A/~ be the projection map which sends each x in A to its equivalence class [x]~, and
let fP : A/~ → B be the well-defined function given by fP([x]~) = f(x). Then f = fP o P(~).