FUNCIONES

Sean dos conjuntos, por ejemplo A y B, y f, una función que es el conjunto de pares ordenados, es
una relación especial de AXB.

Definición 1

f es una función sí y sólo sí, f es una relación entre A y B, tal que todo elemento del conjunto A
tiene un único correspondiente en el conjunto B.

A B

a 1

b 2

Definición 2

f es una función de A en B, sí y sólo sí es un subconjunto de AXB, que satisfaga las siguientes

condiciones: Existencia y Unicidad:

Existencia:

ұx ϵ A, Ǝy ϵ B/ (x, y) ϵ f

Unicidad

Si (x1, y1) ϵ f ^ (x1, y2) ϵ f → y1 = y2

Ejemplo 1:

A = {a,b,c,d}

B = {1,2,3,4}

f = {(a,2) (b,3), (c,4) (d,2) (d,3)}

Verificación

A B

a 1

b 2

c 3

d 4
Existencia:

ұx ϵ A, Ǝy ϵ B/ (x, y) ϵ f

a ϵ A; Ǝ 2 ϵ B/ (a, 2) ϵ f cumple

b ϵ A; Ǝ 3 ϵ B/ (b, 3) ϵ f cumple

c ϵ A; Ǝ 4 ϵ B/ (c, 4) ϵ f cumple

d ϵ A; Ǝ 2 ϵ B/ (d, 2) ϵ f cumple

d ϵ A; Ǝ 3 ϵ B/ (d, 3) ϵ f cumple

Unicidad

Si (x1, y1) ϵ f ^ (x1, y2) ϵ f → y1 = y2

x1 = a

y1 = 2

y2 = 3

Si (a, 2) ϵ f ^ (a, 3) ϵ f → 2=3

V ^ F → F

F → F = V
Para:

(d,2) (d,3)

x1 = d

y1 = 2

y2 = 3

Si (x1, y1) ϵ f ^ (x1, y2) ϵ f → y1 = y2

Si (d, 2) ϵ f ^ (d, 3) ϵ f → 2=3

V ^ V → F

V → F = F NO CUMPLE, POR LO TANTO NO ES “f”.

Ejemplo 2:

A = {a,b,c,d}

B = {1,2,3,4}

f = {(a,1) (b,2), (c,3) (d,2)}

Verificación

A B

a 1

b 2

c 3

d 4

Existencia:

ұx ϵ A, Ǝy ϵ B/(x, y) ϵf

a ϵ A; Ǝ 1 ϵ B/ (a, 1) ϵ f cumple

b ϵ A; Ǝ 2 ϵ B/ (b, 2) ϵ f cumple

c ϵ A; Ǝ 3 ϵ B/ (c, 3) ϵ f cumple

d ϵ A; Ǝ 2 ϵ B/ (d, 2) ϵ f cumple

Unicidad

Si (x1, y1) ϵ f ^ (x1, y2) ϵ f → y1 = y2

x1 = a

y1 = 1

y2 = 2

Si (a, 1) ϵ f ^ (a, 2) ϵ f → 1=2

V ^ F → F

F → F = V
Para:
x1 = d

y1 = 2

y2 = 3

Si (d, 2) ϵ f ^ (d, 3) ϵ f → 2=3

V ^ F → F

F → F = V

Valor de una función en el punto x ϵ A

Si se tiene una función que ha cumplido las condiciones de existencia y unicidad, tal que “y” es
único ( para cada x ϵ A),ese elemento “y ϵB”, se llama valor de la función “f” en el punto “x”, y se
denota por: y = f(x).

Es decir:

(x, y) ϵ f ↔ x ϵ A ^ y=f(x)

Ejemplo:

A = {a,b,c,d}

B = {1,2,3,4}

f = {(a,2) (b,3), (c,2) (d,1)}

Si: x = a → f(a) = 2 ϵ B (a → 2)

x = b → f(b) = 3 ϵ B (b → 3)

x = c → f(c) = 2 ϵ B (c → 2)

x = d → f(d) = 1 ϵ B (d → 1)

f(x) = y
f(x) es un punto del eje vertical (es una altura o la segunda componente del par ordenado),
mientras que f representa toda la curva, por tanto f(x) ≠ f.

f(x) es una expresión que nos permite calcular la segunda componente del par ordenado, cuya
primer componente es “x”.

f es todo conjunto de pares ordenados que hacen la función.

Dominio de la Función

Es el conjunto formado por las primeras componentes de los pares ordenados de la función. La cual
por las condiciones de existencia, el dominio es igual al conjunto de partida.

Para determinar el dominio de una función se sigue el mismo procedimiento que en relaciones.

Dominio de Imagen de Función

Es el conjunto formado por las segundas componentes de los pares ordenados de la función. Es decir
, todos los elementos del conjunto de llegada son imagen de algún elemento del conjunto de partida

Para determinar el dominio de imagen de una función se sigue el mismo procedimiento que en
relaciones.

Clasificación de Funciones

Las funciones pueden ser: Inyectivas, sobreyectivas y Biyectivas

Función Inyectiva

Una función es inyectiva, si no se repite ninguna segunda componente de los pares ordenados de una
función.

Es decir. Si f es una función de A → B, se dice que f es inyectiva si se verifica

ұx1, ұx2 ϵ A : Si x1 ≠ x2 → f(x1) ≠ f(x2)

ұx1, ұx2 ϵ A : Si: f(x1) = f(x2) → x1 = x2

Ejemplo 1:

A = {a,b,c,d}

B = {1,2,3,4}

f = {(a,1) (b,2), (c,3) (d,2)}

Verificación

A B

a 1

b 2

c 3

d 4

Existencia:

ұx ϵ A, Ǝy ϵ B/(x, y) ϵf

a ϵ A; Ǝ 1 ϵ B/ (a, 1) ϵ f cumple

b ϵ A; Ǝ 2 ϵ B/ (b, 2) ϵ f cumple

c ϵ A; Ǝ 3 ϵ B/ (c, 3) ϵ f cumple

d ϵ A; Ǝ 2 ϵ B/ (d, 2) ϵ f cumple

Unicidad

Si (x1, y1) ϵ f ^ (x1, y2) ϵ f → y1 = y2

Para:

x1 = a

y1 = 1

y2 = 2

Si (a, 1) ϵ f ^ (a, 2) ϵ f → 1=2

V ^ F → F

F → F = V
Para:

x1 = d

y1 = 2

y2 = 3
Si (d, 2) ϵ f ^ (d, 3) ϵ f → 2=3

V ^ F → F

F → F = V

Verificando si es inyectiva con la primer condición

ұx1, ұx2 ϵ A : Si x1 ≠ x2 → f(x1) ≠ f(x2)

x1 = b; f(x1) = 2

x2 = d; f(x2) = 2

reemplazando en la condición

b ≠d→2≠2

V → F = F

Verificando con la segunda condición

ұx1, ұx2 ϵ A : Si: f(x1) = f(x2) → x1 = x2

2 = 2 → b =d

V → F = F

Ejemplo 2:

A = {a, b, c} y B = {2, 3, 4, 5}

y f : A → B, f = {(a,2), (b,4), (c,5)}

Verificando:

A B

a 2

b 3

c 4

5
Existencia:

ұx ϵ A, Ǝy ϵ B/(x, y) ϵf

a ϵ A; Ǝ 2 ϵ B/ (a, 2) ϵ f cumple

b ϵ A; Ǝ 4 ϵ B/ (b, 4) ϵ f cumple

c ϵ A; Ǝ 5 ϵ B/ (c, 5) ϵ f cumple

Unicidad

Si (x1, y1) ϵ f ^ (x1, y2) ϵ f → y1 = y2

Para:

x1 = a

y1 = 2

y2 = 3

Si (a, 2) ϵ f ^ (a, 3) ϵ f → 2=3

V ^ F → F

F → F = V
Para:

x1 = b

y1 = 4

y2 = 5

Si (b, 4) ϵ f ^ (b, 5) ϵ f → 4=5

V ^ F → F

F → F = V

Verificando si “f” es inyectiva

Ұx1, Ұx2, ϵ A : Si: x1 ≠ x2 → f(x1) ≠ f(x2)

a , b : Si: a ≠ b → 2 ≠ 4
V → V = V
Ұx1, Ұx2, ϵ A : Si: f(x1) = f(x2) → x1 = x2

a , b : Si: 2 = 4 →a = b
F → F = V

Sobreyectiva

Una función es sobreyectiva si todo elemento del conjunto de llegada es imagen de algún elemento
del dominio. Es decir, es sobreyectiva si cumple la siguiente condición:

Ұy ϵ B; Ǝx ϵ A/ y = f(x)

Ұy ϵ B; Ǝx ϵ A/(x,y) ϵ f
Ejemplo 1:

A = {a, b, c, d} y B = {1, 2, 3, 4}

f = {(a,1), (b,2), (c,3) (d,4)}

Verificando:

A B

a 1

b 2

c 3

d 4

Existencia:

ұx ϵ A, Ǝy ϵ B/(x, y) ϵf

a ϵ A; Ǝ 1 ϵ B/ (a, 1) ϵ f cumple

b ϵ A; Ǝ 2 ϵ B/ (b, 2) ϵ f cumple

c ϵ A; Ǝ 3 ϵ B/ (c, 3) ϵ f cumple

d ϵ A; Ǝ 4 ϵ B/ (d, 4) ϵ f cumple
Unicidad

Si (x1, y1) ϵ f ^ (x1, y2) ϵ f → y1 = y2

Para:

x1 = a

y1 = 1

y2 = 2

Si (a, 1) ϵ f ^ (a, 2) ϵ f → 1=2

V ^ F → F

F → F = V
Para:

x1 = b

y1 = 2

y2 = 3

Si (b, 2) ϵ f ^ (b, 3) ϵ f → 2=3

V ^ F → F

F → F = V

Verificando si “f” es sobreyectiva

Ұy ϵ B; Ǝx ϵ A/(x,y) ϵ f
1 ϵ B; Ǝ a ϵ A/(a,1) ϵ f = cumple

2 ϵ B; Ǝ b ϵ A/(b,2) ϵ f = cumple

3 ϵ B; Ǝ c ϵ A/(c,3) ϵ f = cumple

4 ϵ B; Ǝ d ϵ A/(d,4) ϵ f = cumple
Ejemplo2:

A = {a, b, c, d} y B = {1, 2, 3, 4}

g = {(a,1), (b,3), (c,4) (d,4)}

Verificando:

A B

a 1

b 2

c 3

d 4

Existencia:

ұx ϵ A, Ǝy ϵ B/(x, y) ϵf

a ϵ A; Ǝ 1 ϵ B/ (a, 1) ϵ f cumple

b ϵ A; Ǝ 3 ϵ B/ (b, 3) ϵ f cumple

c ϵ A; Ǝ 4 ϵ B/ (c, 4) ϵ f cumple

d ϵ A; Ǝ 4 ϵ B/ (d, 4) ϵ f cumple

Unicidad

Si (x1, y1) ϵ f ^ (x1, y2) ϵ f → y1 = y2

Para:

x1 = a

y1 = 1

y2 = 2

Si (a, 1) ϵ f ^ (a, 2) ϵ f → 1=2

V ^ F → F

F → F = V
Verificando si “f” es sobreyectiva

Ұy ϵ B; Ǝx ϵ A/(x,y) ϵ f
1 ϵ B; Ǝ a ϵ A/(a,1) ϵ f = cumple
2 ϵ B; Ɇ ϵ A/(b,2) ϵ f = no cumple

3 ϵ B; Ǝ b ϵ A/(b,3) ϵ f = cumple

4ϵB Ǝ c,d ϵ A/(c,4)(d,4) ϵ f = cumple

No es una función sobreyectiva, porque no cumple

Función Biyectiva

Una función es biyectiva, si cumple las condiciones de inyectividad y sobreyectividad