CLASES DE FUNCIONES.

-
Sea f: X -> Y, una función, entonces:

a) f es inyectiva, sí y sólo sí se cumple:

x 1 , x 2 ∈ x ∧ x 1 ≠ x 2 → f (x1 )≠ f (x 2)
Sea f una función real: 

f: X → Y

x → y = f(x)

Entonces, f es inyectiva si para cualquier par de valores diferentes pertenecientes al dominio X

les corresponden valores diferentes de Y, es decir:

∀a, b ∈ X, a ≠ b, ⇒ f(a) ≠ f(b)

∀a, b ∈ X, a = b, ⇒ f(a) = f(b)

Por otro lado, se denomina Función No Inyectiva a aquella función que tiene valores resultado
de varios valores de origen. Para ver más claro el concepto de función inyectiva veamos una
representación gráfica que muestra una función inyectiva y otra no inyectiva:

En el ejemplo de la derecha, f no es inyectiva ya que para el resultado 3 de Y es el mismo para

varios valores de X (b y c).

b) f es suryectiva, sí y sólo sí para todo y ∈ Y, ∃ x ∈ X tal que y = f(x).

Sea f una función real: 

f: X → Y

x → y = f(x)

Entonces, f es sobreyectiva inyectiva si:

∀y ∈ Y ∃ x ∈ X : f(x) = y

"Para todo y perteneciente a Y (resultados) existe un x perteneciente a X tal que f(x) = y"

Por otro lado, se denomina Función No Sobreyectiva a aquella función que tiene valores
resultado sin que le corresponda ningún valor de origen. Para ver más claro el concepto de
función sobreyectiva veamos una representación gráfica que muestra una función
sobreyectiva y otra no sobreyectiva:

En el ejemplo de la derecha, f no es sobreyectiva ya que para el resultado 2 y 5 de Y no se

corresponde ningún valor de X.

c) f es biyectiva sí y sólo sí, es inyectiva y suryectiva.

Sea f una función real: 

f: X → Y

x → y = f(x)

Se dice que f es biyectiva si se cumple que:

∀y ∈ Y,  ∃! x ∈ X / f(x) = y

"Para todo y perteneciente a Y (resultados) existe un único x perteneciente a X tal que f(x) = y"

Para ver más claro el concepto de función biyectiva veamos una representación gráfica que
muestra una función biyectiva y otra no biyectiva:
En el ejemplo de la derecha, f no es biyectiva ya que hay resultados de Y que tienen varios
valores de origen en X (3 y 4) y varios resultados de Y que no tienen ningún valor de origen en
X (2 y 5).

CONJUNTO IMAGEN Y CONJUNTO IMAGEN

INVERSA. –
i) D E F I N I C I Ó N .
- Sea f: X -» Y una función y A c X llamaremos
imagen de A según f al conjunto denotado por

f ( A )={ f (x)/ x ∈ A } ⊂ Y
Que viene a ser el conjunto de todas las imágenes correspondientes a los

elementos del conjunto A ⊂ D f =x

ii) P R O P I E D A D E S DEL CONJUNTO IMAGEN.-

Sea f : X —» Y una función y A, y B subconjuntos del dominio X

entonces:
1= A ⊂ X , B ⊂ X , A ⊂ B => f(A) ⊂f(B )
2= A ⊂X , B ⊂ X => f(A ∪ B ) = f(A) ∪ f(B )

3= A ⊂X , B ⊂ X => f ( A ∩B ) ⊑f ( A ) ∩ f ( B )
la igualdad se cumple cuando f es inyectiva.
4= A ⊂X B ⊂ X => f ( A ) - f ( B ) ⊑f ( A - B )
la igualdad se cumple cuando f es inyectiva
iii) D E F I N I C I Ó N . - Sea f: X -> Y y B c Y , llamaremos pre - imagen o
imagen inversa de B según f, al conjunto denotado por:
f −1 ( B ) ={ x ∈ D f / f (x) ∈ B }
Que viene a ser el conjunto de contra imagen correspondiente a elementos
del conjunto B ⊂ Y .
iv) P R O P I E D A D E S D E L A I M A G E N I N V E R S A D E U N C O N J U N T O . -
Sea f: X -» Y una función y A c Y, B c Y entonces:
1= si A ⊂ B→ f −1 ( A)⊂ f −1 (B)
2= f −1 ( A ∩ B ) =f −1 ( A ) ∪ f −1( B)
3= f −1 ( A ∩ B ) =f −1 ( A ) ∩f −1 (B)
4= f −1 ( A 1 )=( f −1 ( A ) )
5= f −1 ( A−B ) =f −1 ( A )−f −1 ( B)