¿Qué es una función biyectiva?

Una función biyectiva es una función que es tanto inyectiva como sobreyectiva.

Una función inyectiva, también llamada función uno a uno, conserva la distinción: nunca asigna dos elementos en su dominio al mismo elemento en su rango.
Una función surjective, también llamada función sobre, cubre todo el rango. Es decir, por cada [matemática] y [/ matemática] en el rango, hay una [matemática] x [/ matemática] en el dominio tal que [matemática] f (x) = y [/ matemática].
Una función biyectiva tiene ambas propiedades. Esto significa que por cada [matemática] y [/ matemática] en el rango, hay exactamente una [matemática] x [/ matemática] en el dominio tal que [matemática] f (x) = y [/ matemática]. Esto significa que las funciones biyectivas son invertibles: si representamos la función de la manera que tenemos en los diagramas anteriores, invertir las direcciones de las flechas producirá una función inversa. Se definirá en todo el rango debido a la surjectividad, y tendrá un solo valor debido a la inyectividad.

Deje que [math] A [/ math], [math] B [/ math] sean conjuntos y [math] f: A \ rightarrow B [/ math] sea una función de [math] A [/ math] a [math] B [/ matemáticas]. La función [math] f [/ math] es biyectiva si es tanto uno a uno como en :

  • uno a uno: para [matemática] a [/ matemática], [matemática] a ‘\ en A [/ matemática], si [matemática] a \ neq a’ [/ matemática] entonces [matemática] f (a) \ neq f (a ‘) [/ matemáticas]
  • en: para todos [matemática] b \ en B [/ matemática], existe [matemática] a \ en A [/ matemática] tal que [matemática] f (a) = b [/ matemática]

Una función biyectiva es una función que es sobreyectiva (sobre) e inyectiva (uno a uno). Para explicar, deje que [math] X [/ math] y [math] Y [/ math] sean conjuntos y [math] f: X \ rightarrow Y [/ math] sea una función. Decimos [math] f [/ math] es surjective si [math] \ forall y \ en Y ~ \ existe x \ in X [/ math] tal que [math] f (x) = y. [/ Math] Nosotros digamos [math] f [/ math] es inyectivo si se da que para [math] x_1, x_2 \ in X, ~ f (x_1) = f (x_2) [/ math] implica que [math] x_1 = x_2. [/ matemáticas] En otras palabras, los elementos distintos del dominio se asignan a elementos distintos del codominio.

funciones que son individuales y simultáneas, es decir, inyectivas y sobreyectivas, llamadas funciones biyectivas. Las funciones biyectivas son funciones estrictamente crecientes , es decir, las derivadas de estas funciones son siempre + ve.
como e ^ x, ln (x) etc.

La definición se da en términos de inyectividad y surjectividad. Sin embargo, el significado práctico es que, dada una función biyectiva [matemática] f: A \ rightarrow B [/ math], hay algo de [math] g: B \ rightarrow A [/ math] tal que [math] g (f (a)) = a [/ math] para todos [math] a \ en A [/ math]. Además, esta función [matemática] g [/ matemática] también es una biyección.

La otra propiedad importante de las biyecciones es que si tiene una biyección entre dos conjuntos, su cardinalidad debe ser la misma.

Una función es biyectiva cuando es inyectiva [matemática] {f: S \ rightarrow T, s = t => f (s) = f (t)} [/ math] y sobrejective [math] f: S \ rightarrow T [/ math] tal que la imagen de [math] f [/ math] es [math] T [/ math]. En consecuencia, también es un isomorfismo.