An injective non-surjective function (injection, not a bijection)

An injective surjective function (bijection)

A non-injective surjective function (surjection, not a bijection)

A non-injective non-surjective function (also not a bijection)

Injective

Get Injective essential facts below. View Videos or join the Injective discussion. Add Injective to your PopFlock.com topic list for future reference or share this resource on social media.
## Definition

## Examples

## Injections can be undone

## Injections may be made invertible

## Other properties

## Proving that functions are injective

## See also

## Notes

## References

## External links

This article uses material from the Wikipedia page available here. It is released under the Creative Commons Attribution-Share-Alike License 3.0.

Injective

In mathematics, an **injective function** (also known as **injection**, or **one-to-one function**) is a function that maps distinct elements of its domain to distinct elements of its codomain.^{[1]} In other words, every element of the function's codomain is the image of *at most* one element of its domain.^{[2]} The term *one-to-one function* must not be confused with *one-to-one correspondence* that refers to bijective functions, which are functions such that each element in the codomain is an image of exactly one element in the domain.

An injective non-surjective function (injection, not a bijection)

An injective surjective function (bijection)

A non-injective surjective function (surjection, not a bijection)

A non-injective non-surjective function (also not a bijection)

A homomorphism between algebraic structures is a function that is compatible with the operations of the structures. For all common algebraic structures, and, in particular for vector spaces, an *injective homomorphism* is also called a *monomorphism*. However, in the more general context of category theory, the definition of a monomorphism differs from that of an injective homomorphism.^{[3]} This is thus a theorem that they are equivalent for algebraic structures; see Homomorphism § Monomorphism for more details.

A function *f* that is not injective is sometimes called many-to-one.^{[2]}

Let *f* be a function whose domain is a set *X*. The function *f* is said to be **injective** provided that for all *a* and *b* in *X*, whenever , then ; that is, implies . Equivalently, if , then .

Symbolically,

which is logically equivalent to the contrapositive,

^{[4]}^{[5]}

- For any set
*X*and any subset*S*of*X*, the inclusion map (which sends any element*s*of*S*to itself) is injective. In particular, the identity function is always injective (and in fact bijective). - If the domain or
*X*has only one element, then the function is always injective. - The function defined by is injective.
- The function defined by is
*not*injective, because (for example) . However, if*g*is redefined so that its domain is the non-negative real numbers [0,+?), then*g*is injective. - The exponential function defined by is injective (but not surjective, as no real value maps to a negative number).
- The natural logarithm function defined by is injective.
- The function defined by is not injective, since, for example, .

More generally, when *X* and *Y* are both the real line **R**, then an injective function is one whose graph is never intersected by any horizontal line more than once. This principle is referred to as the *horizontal line test*.^{[2]}

Functions with left inverses are always injections. That is, given , if there is a function such that for every ,

*g*(*f*(*x*)) =*x*(*f*can be undone by*g*), then*f*is injective. In this case,*g*is called a retraction of*f*. Conversely,*f*is called a section of*g*.

Conversely, every injection *f* with non-empty domain has a left inverse *g*, which can be defined by fixing an element *a* in the domain of *f* so that *g*(*x*) equals the unique preimage of *x* under *f* if it exists and *g*(*x*) = *a* otherwise.^{[6]}

The left inverse *g* is not necessarily an inverse of *f*, because the composition in the other order, , may differ from the identity on *Y*. In other words, an injective function can be "reversed" by a left inverse, but is not necessarily invertible, which requires that the function is bijective.

In fact, to turn an injective function into a bijective (hence invertible) function, it suffices to replace its codomain *Y* by its actual range . That is, let such that for all *x* in *X*; then *g* is bijective. Indeed, *f* can be factored as , where is the inclusion function from *J* into *Y*.

More generally, injective partial functions are called partial bijections.

- If
*f*and*g*are both injective, then is injective.

- If is injective, then
*f*is injective (but*g*need not be). - is injective if and only if, given any functions
*g*, whenever , then . In other words, injective functions are precisely the monomorphisms in the category**Set**of sets. - If is injective and
*A*is a subset of*X*, then . Thus,*A*can be recovered from its image*f*(*A*). - If is injective and
*A*and*B*are both subsets of*X*, then . - Every function can be decomposed as for a suitable injection
*f*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 is an injective function, then
*Y*has at least as many elements as*X*, in the sense of cardinal numbers. In particular, if, in addition, there is an injection from*Y*to*X*, then*X*and*Y*have the same cardinal number. (This is known as the Cantor-Bernstein-Schroeder theorem.) - If both
*X*and*Y*are finite with the same number of elements, then is injective if and only if*f*is surjective (in which case*f*is bijective). - An injective function which is a homomorphism between two algebraic structures is an embedding.
- Unlike surjectivity, which is a relation between the graph of a function and its codomain, injectivity is a property of the graph of the function alone; that is, whether a function
*f*is injective can be decided by only considering the graph (and not the codomain) of*f*.

A proof that a function *f* is injective depends on how the function is presented and what properties the function holds.
For functions that are given by some formula there is a basic idea.
We use the definition of injectivity, namely that if , then .^{[7]}

Here is an example:

*f*= 2*x*+ 3

Proof: Let . Suppose . So => => . Therefore, it follows from the definition that *f* is injective.

There are multiple other methods of proving that a function is injective. For example, in calculus if *f* is a differentiable function defined on some interval, then it is sufficient to show that the derivative is always positive or always negative on that interval. In linear algebra, if *f* is a linear transformation it is sufficient to show that the kernel of *f* contains only the zero vector. If *f* is a function with finite domain it is sufficient to look through the list of images of each domain element and check that no image occurs twice on the list.

A graphical approach for a real-valued function *f* of a real variable *x* is the horizontal line test. If every horizontal line intersects the curve of *f(x)* in at most one point, then *f* is injective or one-to-one.

**^**"The Definitive Glossary of Higher Mathematical Jargon -- One-to-One".*Math Vault*. 2019-08-01. Retrieved .- ^
^{a}^{b}^{c}"Injective, Surjective and Bijective".*www.mathsisfun.com*. Retrieved . **^**"Section 7.3 (00V5): Injective and surjective maps of presheaves--The Stacks project".*stacks.math.columbia.edu*. Retrieved .**^**"Bijection, Injection, And Surjection | Brilliant Math & Science Wiki".*brilliant.org*. Retrieved .**^**Farlow, S. J. "Injections, Surjections, and Bijections" (PDF).*math.umaine.edu*. Retrieved .**^**Unlike the corresponding statement that every surjective function has a right inverse, this does not require the axiom of choice, as the existence of*a*is implied by the non-emptiness of the domain. However, this statement may fail in less conventional mathematics such as constructive mathematics. In constructive mathematics, the inclusion of the two-element set in the reals cannot have a left inverse, as it would violate indecomposability, by giving a retraction of the real line to the set {0,1}.**^**Williams, Peter. "Proving Functions One-to-One". Archived from the original on 4 June 2017.

- Bartle, Robert G. (1976),
*The Elements of Real Analysis*(2nd ed.), New York: John Wiley & Sons, ISBN 978-0-471-05464-1, p. 17*ff*. - Halmos, Paul R. (1974),
*Naive Set Theory*, New York: Springer, ISBN 978-0-387-90092-6, p. 38*ff*.

This article uses material from the Wikipedia page available here. It is released under the Creative Commons Attribution-Share-Alike License 3.0.

Popular Products

Music Scenes

Popular Artists