Función biyectiva

Archivo:Bijection.svg

Ejemplo de función biyectiva de dos conjuntos finitos, donde se puede ver que $|X|=|Y|$.

En matemáticas, una función es biyectiva si es al mismo tiempo inyectiva y sobreyectiva; es decir, si todos los elementos del conjunto de salida tienen una imagen distinta en el conjunto de llegada, y a cada elemento del conjunto de llegada le corresponde un elemento del conjunto de salida.

Definición

Dada una función $f:X\to Y$ la función es biyectiva si se cumple que para toda $y\in Y$ existe una única $x\in X$ tal que $f(x)=y$. Lo anterior es equivalente a que $f$ sea inyectiva y sobreyectiva.

Proposición

Si $f$ es una función real biyectiva, entonces su función inversa $f^{-1}$ existe y también es biyectiva.

Ejemplo

La función:

$f(x)=\alpha x+\beta ,$ con $\alpha ,\beta \in ℝ$ y $\alpha \ne 0$

es biyectiva.

Luego, su inversa:

$f^{-1}(x)=\frac{x-\beta }{\alpha }$

también lo es.

El siguiente diagrama de grafos bipartitos se puede ver que la función es biyectiva si es inyectiva y sobreyectiva:

Función	Inyectiva	No inyectiva
Sobreyectiva	Archivo:Correspon 1602.svg	Archivo:Correspon 1502.svg
No sobreyectiva	Archivo:Correspon 1402.svg	Archivo:Correspon 1302.svg

Ejemplos

Asientos y alumnos en una sala de clase

En una clase hay un determinado número de asientos. Un grupo de estudiantes ingresa a la clase y el profesor les pide a todos que se sienten. Después de hacer una rápida observación de la sala de clase, el profesor declara con seguridad que hay una biyectividad entre el grupo de estudiantes y la cantidad de asientos, donde cada estudiante está emparejado con el asiento que le corresponde. Lo que el profesor tuvo que observar para poder hacer esta declaración es:

1. Todos los estudiantes estaban sentados (nadie estaba de pie),
2. Ningún estudiante estaba sentado en más de un asiento,
3. Cada asiento estaba ocupado (no había asientos vacíos)
4. Ningún asiento estaba ocupado por más de un estudiante.

El profesor, gracias a esa observación, pudo concluir que había igual cantidad de asientos como de estudiantes, sin tener que contar la cantidad de asientos.

Cardinalidad y biyectividad

Sean $X$ e $Y$ dos conjuntos finitos. Existe $f:X\to Y$ una función biyectiva si y solo si $X$ e $Y$ tienen el mismo número de elementos. En general, para conjuntos finitos o infinitos, lo anterior es que

$\text{card}(X)=\text{card}(Y)$

Homeomorfismo

Se define un homeomorfismo como una aplicación entre dos espacios topológicos verificando ser una transformación biyectiva y bicontinua.

Véase también

• Correspondencia matemática
• Biyección, inyección y sobreyección