Función inyectiva

Función inyectiva

Ejemplo de función inyectiva.

En matemáticas, una función es inyectiva si a elementos distintos del conjunto (dominio) les corresponden elementos distintos en el conjunto (codominio) de . Es decir, cada elemento del conjunto Y tiene a lo sumo una antiimagen en X, o, lo que es lo mismo, en el conjunto X no puede haber dos o más elementos que tengan la misma imagen.

Así, por ejemplo, la función de números reales , dada por no es inyectiva, puesto que el valor 4 puede obtenerse como y . Pero si el dominio se restringe a los números positivos, obteniendo así una nueva función entonces sí se obtiene una función inyectiva.

Definición formal

De manera más precisa, una función es inyectiva cuando se cumple alguna de las dos afirmaciones equivalentes:

• Si son elementos de tales que , necesariamente se cumple .

• Si son elementos diferentes de , necesariamente se cumple

Simbólicamente,

que es equivalente a su contrarrecíproco

Cardinalidad e inyectividad

Dados dos conjuntos y , entre los cuales existe una función inyectiva tienen cardinales que cumplen:

Si además existe otra aplicación inyectiva , entonces puede probarse que existe una aplicación biyectiva entre A y B.

Función sobreyectiva

Ejemplo de función sobreyectiva.

En matemática, una función es sobreyectiva (epiyectiva, suprayectiva, suryectiva, exhaustiva o subyectiva), si está aplicada sobre todo el codominio, es decir, cuando cada elemento de "Y" es la imagen de como mínimo un elemento de "X".

Formalmente,

Cardinalidad y sobreyectividad

Dados dos conjuntos y , entre los cuales existe una función sobreyectiva , se tiene que los cardinales que cumplen:

Si además existe otra aplicación sobreyectiva , entonces puede probarse que existe una aplicación biyectiva entre A y B.

Función biyectiva

Ejemplo de función biyectiva de dos conjuntos finitos, donde se puede ver que .

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.

Formalmente, dada una función :

La función es biyectiva si se cumple la siguiente condición:

Es decir, si para todo de se cumple que existe un único de , tal que la función evaluada en es igual a .

Dados dos conjuntos e finitos, entonces existirá una biyección entre ambos si y sólo si e tienen el mismo número de elementos.

Teorema

Si es una función real biyectiva, entonces

...