CLASE 2
2.1.2. Función inyectiva, suprayectiva y biyectiva.
Puede haber funciones que sean biyectivas, inyectivas, pero no suprayectivas, supreyectiva
pero no inyectiva o que no se cumple ninguna de esas condiciones, en cuyo caso no tiene
un nombre especifico.
'Definiciones alternas: sea dada y sea b un elemento cualquiera del
codominio Y. Consideremos la ecuación
la función es suprayectiva o sobreyectiva si, y sólo si, la ecuación siempre tiene al
menos una solución.
la función es inyectiva si, y 'solo si, la ecuación (*) tiene a lo más una solución.
la función es biyectiva cuando, y sólo cuando, es inyectiva y suprayectiva a la vez.
APLICACIÓN INYECTIVA Y NO SOBREYECTIVA
En una función inyectiva, cada elemento imagen
tiene única preimagen. Una función que no sea
inyectiva, tendrá al menos dos elementos
diferentes del dominio que tienen la misma
imagen.
En una función suprayectiva (sobreyectiva) cada
elemento del codominio es imagen de algún
elemento del dominio. Una función no será
suprayectiva, cuando al menos un elemento del codominio (conjunto final) no tenga una
preimagen.
En el diagrama de Venn corresponden a las aplicaciones que pertenecen a A y no
pertenecen a B, esto es las que pertenecen a la diferencia de A y B: A-B.
En estas aplicaciones la cardinalidad de X es siempre menor que la de Y, esto es el conjunto
Y tendrá mayor número de elementos que X cuando tratamos de compararlos.
EJEMPLO:
En el diagrama de la figura:
todos los elementos de Y, que tienen origen, tienen un único origen, esto hace que la
aplicación sea inyectiva, el elemento d de Y, no tiene ningún origen por lo que esta
aplicación no es sobreyectiva.
EJEMPLO: la función f(x) = 4x - 1 es inyectiva:
Si las imágenes son iguales:
f(x1) = f(x2) ⇒ 4x1 - 1 = 4x2 - 1 ⇒ 4x1 = 4x2 ⇒ x1 = x2
los originales son iguales.
Por tanto, la función f es inyectiva.
APLICACIÓN NO INYECTIVA Y SOBREYECTIVA
Una aplicación no inyectiva tiene al menos un
elemento imagen que tiene dos o más orígenes y
una sobreyectiva todos los elementos del conjunto
final tienen al menos un elemento origen.
En el diagrama de Venn corresponden a las
aplicaciones que no pertenecen a A y si pertenecen
a B, esto es las que pertenecen a la diferencia de B
y A: B-A.
Para esta aplicación el conjunto X ha de tener mayor número de elementos que Y, la
cardinalidad de X ha de ser mayor que la de Y.
EJEMPLO:
En el diagrama de la figura:
El elemento c de Y, tiene dos orígenes: el 3 y el 4, por lo que esta aplicación no es inyectiva.
Todos los elementos de Y, tienen origen, esto hace que la aplicación sea sobreyectiva.
EJEMPLO: la función g: R → R , donde g(x) = x3 + 3, es sobreyectiva:
En este caso:
El conjunto inicial de g es R.
El conjunto final de g es: R
La imagen de g es también R, es decir: Im(g) = R
La imagen de g y el conjunto final de g coinciden es R:
Véase la parte rayada del eje OY. Coincide con todo R
Luego la función g sí es sobreyectiva.
APLICACIÓN INYECTIVA Y SOBREYECTIVA (BIYECTIVA)
Si una aplicación es inyectiva y sobreyectiva
simultáneamente, se denomina biyectiva. Por ser
inyectiva los elementos que tienen origen tienen
un único origen y por ser sobreyectiva todos los
elementos del conjunto final tienen origen.
En el diagrama de Venn el conjunto A es el de las
aplicaciones inyectiva y el conjunto B el de las
aplicaciones sobreyectiva, las aplicaciones
biyectivas, que son inyectiva y sobreyectiva, será la intersección de A y B.
Estas dos circunstancias dan lugar a que el conjunto X e Y tengan el mismo número de
elementos, la cardinalidad de X es la misma que la de Y, esto tiene una gran importancia
cuando se pretende comparar dos conjuntos:
Si dados dos conjuntos podemos encontrar una aplicación biyectiva entre ellos,
podemos afirmar, que los dos conjuntos tienen el mismo número de elementos. La
cardinalidad de X es igual a la de Y.
EJEMPLO:
La función f: R → R, donde f(x) = 3x - 2, es biyectiva.
Veamos primero si es inyectiva, si las imágenes son iguales:
f(x1) = f(x2) ⇒ 3x1 - 2 = 3x2 - 2 ⇒ 3x1 = 3x2 ⇒ x1 = x2
, los originales son iguales.
Por tanto, la función f es inyectiva.
Veamos ahora si es sobreyectiva:
El conjunto inicial de f es R.
El conjunto final de f es: R
La imagen de f es también R, es decir: Im(f) = R
La imagen de f y el conjunto final de f coinciden: R:
Véase la parte rayada del eje OY. Coincide con todo R
Luego la función f sí es sobreyectiva.
Por tanto, la función f es biyectiva.
APLICACIÓN NO INYECTIVA Y NO SOBREYECTIVA
Una aplicación no inyectiva tendrá al menos un
elemento imagen que tenga dos o más orígenes y
una no sobreyectiva tendrá al menos un elemento
del conjunto final que no tenga elemento origen.
Este tipo de aplicaciones no tiene un nombre
especifico y quizá sean las que presenten, desde el
punto de vista matemático, un menor interés.
Para esta aplicación los conjuntos X e Y no son
comparables, y no podemos plantear ningún
supuesto sobre su cardinalidad, partiendo de su
comparación, ni sobre su número de elementos. En el diagrama de Venn corresponden a
las aplicaciones que no pertenecen a A y no pertenecen a B, esto es las que no pertenecen
a la unión de A y B.
En el diagrama de la figura:
El elemento b de Y, tiene dos orígenes: 1 y 2, esto hace que esta aplicación no sea inyectiva,
el elemento a de Y, no tiene ningún origen por lo que esta aplicación no es sobreyectiva
el elemento se obtiene cuando dos funciones con el mismo numerador se conectan de
forma biyectiva y no se utiliza en ningún momento la sobreyectiva por medidas de
aseguración la función se emplea de forma rotativa y no se representa en las gráficas.
EJEMPLO:
La función siguiente definida sobre los reales:
Comprobación de la inyectividad:
No es inyectiva porque pares de valores diferentes de x tienen la misma imagen.
No es sobreyectiva porque el recorrido de la función, que son los reales estrictamente
positivos, es diferente al codominio sobre la que está definida, que son los reales.
Comprobación del recorrido de la función, despejando la x:
El radicando de la raíz cuadrada no puede ser un número negativo, por lo que resolveremos
esta inecuación:
Por lo que el recorrido de la función está formado por el conjunto de números reales iguales
o mayores que 2.
El recorrido de la función es menor que su dominio, que es el conjunto de números reales.
La función no es sobreyectiva.
La imagen indica que la función no cumple con la condición gráfica de inyectividad. Hay
rectas que cortan la gráfica en más de un punto. Al mismo tiempo, tampoco
es sobreyectiva porque el recorrido es una parte del dominio.
