Karl Jones: Created page with "In mathematics, an '''injective function''' or '''injection''' or '''one-to-one function''' is a function that preserves distinctness: it never maps..."

2016-09-07T19:56:47Z

Created page with "In mathematics, an '''injective function''' or '''injection''' or '''one-to-one function''' is a function that preserves distinctness: it never maps..."

New page

In mathematics, an '''injective function''' or '''injection''' or '''one-to-one function''' is a [[Function (mathematics)|function]] that preserves distinctness: it never maps distinct elements of its domain to the same element of its codomain.

In other words, every element of the function's codomain is the image of at most one element of its domain.

== Description ==

The term one-to-one function must not be confused with one-to-one correspondence (aka bijective function), which uniquely maps all elements in both domain and codomain to each other, (see figures).

Occasionally, an injective function from X to Y is denoted f: X ↣ Y, using an arrow with a barbed tail (U+21A3 ↣ RIGHTWARDS ARROW WITH TAIL).

The set of injective functions from X to Y may be denoted YX using a notation derived from that used for falling factorial powers, since if X and Y are finite sets with respectively m and n elements, the number of injections from X to Y is nm (see the twelvefold way).

A function f that is not injective is sometimes called many-to-one. However, the injective terminology is also sometimes used to mean "single-valued", i.e., each argument is mapped to at most one value.

A monomorphism is a generalization of an injective function in category theory.

== See also ==

* [[Surjective function]]
* [[Bijective function]]
* [[Partial function]]
* [[Injective module]]
* [[Bijection, injection and surjection]]
* [[Horizontal line test]]
* [[Injective metric space]]

== External links ==

* [https://en.wikipedia.org/wiki/Injective_function Injective function] @ Wikipedia

[[Category:Mathematics]]

Injective function - Revision history

Karl Jones: Created page with "In mathematics, an '''injective function''' or '''injection''' or '''one-to-one function''' is a function that preserves distinctness: it never maps..."