Skip to content

Mathematics · Ch 1 — Relations and Functions

One-One (Injective) Functions

3

One-One (Injective) Functions

3. One-One (Injective) Functions

Recall from Class XI that a function f:A→Bf : A \to B assigns to every element of AA a unique element of BB. We now classify functions by how they use the codomain BB.

A function f:A→Bf : A \to B is called one-one (or injective) if distinct elements of AA always have distinct images in BB:

f(x1)=f(x2)  ⟹  x1=x2,for all x1,x2∈Af(x_1) = f(x_2) \implies x_1 = x_2, \quad \text{for all } x_1, x_2 \in A

equivalently, x1≠x2  ⟹  f(x1)≠f(x2)x_1 \neq x_2 \implies f(x_1) \neq f(x_2).

In an arrow diagram, a one-one function never lets two different starting points land on the same target — every element of the range has exactly one arrow pointing to it.

Method — Proving Injectivity Algebraically

The standard technique assumes f(x1)=f(x2)f(x_1) = f(x_2) and algebraically forces x1=x2x_1 = x_2.

Illustration. Let f:R→Rf : \mathbb{R} \to \mathbb{R}, f(x)=5x−7f(x) = 5x - 7. Suppose f(x1)=f(x2)f(x_1) = f(x_2):

5x1−7=5x2−7  ⟹  5x1=5x2  ⟹  x1=x25x_1 - 7 = 5x_2 - 7 \implies 5x_1 = 5x_2 \implies x_1 = x_2

So ff is one-one.

Method — Disproving Injectivity by a Counterexample

A single pair of distinct inputs sharing an output is enough to disprove injectivity.

Illustration. Let f:R→Rf : \mathbb{R} \to \mathbb{R}, f(x)=x2f(x) = x^2. Here f(2)=4f(2) = 4 and f(−2)=4f(-2) = 4, so f(2)=f(−2)f(2) = f(-2) but 2≠−22 \neq -2. Hence ff is not one-one on R\mathbb{R}.

Tip

A function that is strictly increasing or strictly decreasing throughout its domain is automatically one-one, since it can never repeat a value. This is often the fastest way to see injectivity for functions built from xx, x3x^3, exe^x, etc.

One-One Functions on Finite Sets …