Skip to content

Left and Right Inverses

Definition

Let f ⁣:A→Bf\colon A\to B be a function. A left inverse of ff is a function ℓ ⁣:B→A\ell\colon B\to A such that

ℓ∘f=id⁡A.\ell\circ f=\operatorname{id}_A.

A right inverse of ff is a function r ⁣:B→Ar\colon B\to A such that

f∘r=id⁡B.f\circ r=\operatorname{id}_B.

Interpretation

A left inverse undoes the function after the function is applied. A right inverse gives a way to hit every target value.

Two arrow diagrams between sets A and B. Left: an injective f and a left inverse sending each image point back. Right: a surjective f and a right inverse that picks one preimage for every point of B.

The left inverse sends each image point back to its original input; it can take arbitrary values on unused points of BB. The right inverse chooses one preimage for every point of BB.

The equations use composition: applying ℓ\ell after ff must recover the identity function on the input set for a left inverse. A right inverse instead makes applying ff after rr recover the identity on the output set.


Key Results

  • A function has a left inverse only if it is injective.
  • A function has a right inverse only if it is surjective. Conversely, a surjective function has a right inverse, obtained by choosing one preimage for every output.
  • A two-sided inverse is both a left inverse and a right inverse.

Examples

  • The inclusion i ⁣:R→R2\boldsymbol{i}\colon\mathbb{R}\to\mathbb{R}^2, i(t)=(t,0)\boldsymbol{i}(t)=(t,0), has a left inverse ℓ(x,y)=x\ell(x,y)=x.
  • The projection p ⁣:R2→Rp\colon\mathbb{R}^2\to\mathbb{R}, p(x,y)=xp(x,y)=x, has a right inverse r(t)=(t,0)\boldsymbol{r}(t)=(t,0).

Prerequisites

Sources

Aliases: one-sided inverse Keywords: left inverse, right inverse Symbols: real numbers

Last updated: 20 October 2026 03:02