Funcin inyectiva Ejemplo de funcin inyectiva.

En matemticas, una funcin es inyectiva si a cada valor del conjunto (dominio) le corresponde un valor distinto en el conjunto (imagen) de . Es decir, a cada elemento del conjunto X le corresponde un solo valor de Y tal que, en el conjunto X no puede haber dos o ms elementos que tengan la misma imagen. As, por ejemplo, la funcin de nmeros reales , dada por no es inyectiva, puesto que el valor 4 puede obtenerse como f(2) y f( 2). Pero si el dominio se restringe a los nmeros positivos, obteniendo as una nueva funcin entonces s se obtiene una funcin inyectiva. Definicin formal De manera ms precisa, una funcin es inyectiva cuando se cumple alguna de las dos afirmaciones equivalentes:

Si x1,x2 son elementos de tales que f(x1) = f(x2), necesariamente se cumple x1 = x2. Si x1,x2 son elementos diferentes de , necesariamente se cumple

Funcin suprayectiva

Definicin: si todo elemento del codominio de una funcin f es imagen de al menos un elemento de su dominio, entonces f es una funcin suprayectiva. Observese que f1 es una funcin suprayectiva de A en B, ya que cada elemento de A:NA es la imagen o valor de la funcin f1 1 y se representa como f1 (1)= NA; tambin en 2, en 3, en 4 y en 5 la imagen es NA: f1 (2) = NA,f1 (3) = NA, f1 (4) = NA, f1 (5) = NA; S es el valor de f1 en 6 y en 7:f1 (6) =S, f1 (7) = S; yMB es el

valor de f en 10; f1 (10) =MB

Funcin biyectiva
Ejemplo de funcin biyectiva.

En matemtica, una funcin 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,

Una implicacin directa de lo anterior, es que en una funcin biyectiva la cardinalidad del conjunto de salida o dominio, y el de llegada o codominio, son iguales. Esto tambin se puede ver en el ejemplo, donde |X|=|Y|=4.

Teorema
Si es una funcin biyectiva, entonces su funcin inversa biyectiva.
[editar] Ejemplo

existe y tambin es

La funcin:

es biyectiva. Luego, su inversa: