En matemáticas, una función biyectiva o biyección es una función f : AB que es a la vez una inyección y una suryección. Esto significa: para cada elemento b en el codominio B hay exactamente un elemento a en el dominio A tal que f(a)=b. Otro nombre para la biyección es correspondencia 1-1.

El término biyección y los términos relacionados con él, suryección e inyección, fueron introducidos por Nicholas Bourbaki. En la década de 1930, él y un grupo de otros matemáticos publicaron una serie de libros sobre matemáticas modernas avanzadas.

Definición formal y consecuencia inmediata

Formalmente, una función f: AB es biyectiva si cumple dos propiedades:

  • Inyectiva: si f(a1) = f(a2) entonces a1 = a2 (cada valor de B tiene como máximo un preimagen).
  • Suryectiva: para todo b en B existe al menos un a en A con f(a) = b (cada valor de B tiene al menos una preimagen).

Combinando ambas propiedades se deduce que cada b en B tiene exactamente una preimagen en A. Una consecuencia fundamental es que toda biyección f: AB tiene una inversa única f-1: BA tal que f-1f = idA y ff-1 = idB.

Ejemplos

  • Ejemplo sencillo (conjuntos finitos): sea A = {1,2,3} y B = {a,b,c}. La función definida por 1↦a, 2↦b, 3↦c es una biyección.
  • Enteros: la función f(n) = n + 1 de los enteros Z en sí mismo es biyectiva (tiene inversa f-1(m) = m − 1).
  • Reales: f(x) = x3 es una biyección de los reales R en R (estrictamente creciente y sobreyectiva).
  • Ejemplo no biyectivo: g(x) = 2x visto como función de Z en Z no es sobreyectiva (los enteros impares no tienen preimagen), por lo que no es biyección. Sin embargo, g define una biyección entre Z y el subconjunto de los enteros pares.
  • Conjuntos infinitos y correspondencias: hay biyecciones explícitas entre los naturales N y los enteros Z, o entre N y los racionales Q, lo que muestra que esos conjuntos son contables (misma "talla" infinita).

Propiedades importantes

  • Inversa única: si f es biyectiva entonces existe una única función inversa f-1 que es también biyectiva.
  • Composición: la composición de dos biyecciones es una biyección. Si f: AB y g: BC son biyectivas, entonces gf es biyectiva y (g∘f)-1 = f-1∘g-1.
  • Permutaciones: las biyecciones de un conjunto finito A en sí mismo se llaman permutaciones de A. Forman un grupo bajo la composición.
  • Cardinalidad: la existencia de una biyección entre A y B se usa para definir que A y B tienen la misma cardinalidad (mismo "tamaño", incluso para conjuntos infinitos).
  • Teorema de Cantor–Bernstein–Schroeder: si existe una inyección de A en B y otra inyección de B en A, entonces existe una biyección entre A y B (por tanto tienen la misma cardinalidad).
  • Leyes de cancelación: si hg es biyectiva, entonces g es inyectiva y h es sobreyectiva. Si una composición con una biyección da identidad, las otras funciones se comportan en consecuencia.

Cómo verificar que una función es biyectiva

  • Comprobar inyectividad: probar que distintos elementos del dominio no pueden tener la misma imagen (o demostrar que la función es estrictamente monotónica en el caso de funciones reales).
  • Comprobar sobreyectividad: para cada b en el codominio encontrar (o dar una fórmula para) un a tal que f(a) = b.
  • En conjuntos finitos con el mismo número de elementos, basta probar que la función es inyectiva (o que es sobreyectiva) para concluir que es biyectiva.

La noción de biyección es central en muchas ramas de las matemáticas: teoría de conjuntos, álgebra, combinatoria y análisis, entre otras. Definir correspondencias uno a uno permite comparar tamaños de conjuntos y construir inversas que facilitan el paso entre diferentes representaciones de objetos.