Algebra Intermedia Edgar Valencia Herrera

Funcin inyectiva
es inyectiva (dominio) le corresponde

En matemticas, una funcin si a cada valor del conjunto

un valor distinto en el conjunto (imagen) de . Es decir, a cada elemento del conjunto Y le corresponde un solo valor de X tal que, en el conjunto X no puede haber dos o ms elementos que tengan la misma imagen.

Ej emplo de funcin inyectiva.

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. De manera ms precisa, una funcin de las dos afirmaciones equivalentes:

es inyectiva cuando se cumple alguna

Si x1,x2 son elementos de

tales que f(x1) = f(x2), necesariamente se cumple x1 = x2. , necesariamente se cumple

Si x1,x2 son elementos diferentes de

Cardinalidad e inyectividad Dados dos conjuntos y , entre los cuales existe una funcin inyectiva cardinales que cumplen: tienen

Si adems existe otra aplicacin inyectiva una aplicacin biyectiva entre A y B.

, entonces puede probarse que existe

Algebra Intermedia Edgar Valencia Herrera

Funcin suprayectiva
En matemtica, una funcin es suprayectiva si est aplicada sobre todo el codominio, es decir, cuando la imagen , o en palabras ms sencillas, cuando cada elemento de "Y" es la imagen de como mnimo un elemento de "X". Formalmente,
Ejemplo de funcin

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,
Ejemplo de funcin

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.

Algebra Intermedia Edgar Valencia Herrera