Una función f es inyectiva o uno a uno si f(a) es distinto de f(b) cuando a es distinto de b.
Cuando al invertir los pares de que consta una función se obtiene otra función, decimos que dicha función tiene inversa (también llamada recíproca). Por lo dicho anteriormente, sólo tienen inversas las funciones inyectivas.
Si f es una función inyectiva, llamamos función inversa de f y la representamos por f-1 al conjunto:
f-1 = { (a, b) / (b, a) Î f }
Es decir, f-1 = { (x, y) / x=f(y), si y es del dominio de f } = { (f(y), y) / si y es del dominio de f }
De la definición se sigue inmediatamente que el dominio de la función inversa f-1 es el rango de f y, recíprocamente, el rango de f-1 es el dominio de f. También es fácil observar que f-1(a)=b es equivalente a decir que f(b)=a. Utilizando la "x" y la "y" que tan acostumbrado estamos a usarlas cuando se habla de funciones: f-1(x)=y es equivalente a decir que f(y)=x. Otra forma de decir esto es: f(f-1(x))=x (donde x pertenece al rango de f), o bien, f-1(f(x))=x (donde x pertenece al dominio de f). Utilizando la composición de funciones y llamando I (función Identidad) a la función definida por I(x)=x, podemos escribir:
fof-1 = I y f-1of = I
salvo que el segundo miembro de estas dos igualdades tendrá un dominio más amplio que el primer miembro si el dominio de f o de f-1 no es todo R.