Una función asigna exactamente una salida a cada entrada permitida. Inyectivo significa que salidas iguales implican entradas iguales; sobreyectivo significa que todo elemento del codominio indicado se alcanza. La función x↦x² de ℝ a [0,∞) es sobreyectiva pero no inyectiva. De [0,∞) a [0,∞) lo es ambas, por lo tanto biyectiva. De [0,∞) a ℝ sigue siendo inyectiva pero falla en la sobreyectividad. Mantenga separado el dominio, la imagen y el codominio al probar cada afirmación.
Una función inversa invierte una biyección. Despeje x en y=f(x), luego use el dominio original para elegir una rama. Para f(x)=(x−2)²−5 con x≥2, la inversa es 2+√(y+5) con y≥−5. La rama negativa devolvería entradas fuera del dominio elegido. Verifique f⁻¹(f(x))=x para x permitido y f(f⁻¹(y))=y para y permitido; una composición sin verificar puede ocultar un error de dominio.
La gráfica inversa refleja la gráfica original respecto a y=x; no toma recíprocos de los valores de salida. Una función auto-inversa, o involución, satisface f(f(x))=x siempre que la composición esté definida. Tanto −x en ℝ como 1/x en ℝ excluyendo cero son involuciones. Una involución estrictamente creciente en un intervalo debe ser la identidad: si f(x)>x, la monotonía creciente implica f(f(x))>f(x)>x, y un argumento análogo descarta f(x)<x.
La iteración fⁿ significa composición repetida, no la potencia (f(x))ⁿ. Calcule las primeras composiciones y verifique sus dominios antes de buscar un período. Para f(x)=1/(1−x) en ℝ excluyendo 0 y 1, f²(x)=(x−1)/x y f³(x)=x. La imagen permanece en el mismo dominio permitido. Por lo tanto, reduzca el número de iteraciones módulo tres. Una fórmula expresada igual a x tras la cancelación no restaura las entradas prohibidas.