RELACIONES Y FUNCIONES EN MATEMTICAS

Estudiemos el siguiente ejemplo: Jos, Ana y Luis tienen preferencia porMatemtica; Ana, Ral y Silvia tienen
preferencia por Biologa y Luis, Carlos y Pedro tienen preferencia por Lenguaje e Historia; Omar no tiene preferencia
por ninguna materia.

En la Figura 1, se representa el ejemplo anterior mediante un diagrama. Este tipo de representacin lo llamamos
DIAGRAMA SAGITAL.
Al conjunto de alumnos lo llamamos COJUNTO DE PARTIDA.
Al conjunto de asignaturas lo llamamos CONJUNTO DE LLEGADA.
La relacin existente entre los dos conjuntos lo denotamos por R. En nuestro ejemplo:
R: "tiene preferencia por"
Esta relacin tambin la podemos representar mediante un conjunto de PARES ORDENADOS, donde el primer
elemnto del par pertenece al Conjunto de Partida y el segundo elemento pertenece al Conjunto de Llegada. As,
denotando cada elemento por su letra inicial, tenemos:
(JM); (A,M); (A,B); (LM); (LL); (LH); (RB); (SB); (CL); (CH); (PL); (PH).
Podemos representar tambin esta relacin en un plano cartesiano; ubicando sobre el eje horizontal los elementos
del Conjunto de Partida y sobre el eje vertical los del Conjunto de Llegada. El grfico quedar formado por los
puntos determinados por la relacin dada. En nuestro ejemplo:

Este tipo de representacin lo llamamos DIAGRAMA TABULAR.

Observemos que en el conjunto de partida hay elementos (alumnos) que estn relacionados con un solo elemento del
conjunto de llegada (asignatura), otros con dos, otros con tres y hay uno (Omar) que no est relacionado.
Estudiemos este otro ejemplo:
Consideremos los conjuntos A = {1,2,3,4} y B = {1,2,4,6,7,8,9}
Establezcamos entre A y B la relacin R: "es la mitad de".
Representamos esta relacin siguiendo el esquema del ejemplo anterior:
(a) DIAGRAMA SAGITAL:

(b) PARES ORDENADOS: (1,2); (2,4); (3,6); (4,8)

(c) DIAGRAMA TABULAR:

Observemos en este ejemplo que todos los elementos del conjunto de partida estn relacionados con un slo elemento
del conjunto de llegada. A este tipo de relaciones las llamamos FUNCIONES.
En toda funcin

Al conjunto de partida lo llamamos DOMINIO y lo simbolizamos Dom.

A los elementos del Dominio los llamamos PRE-IMGEN.

Los elementos del conjunto de llegada que estn relacionados los llamamos IMGEN.

Al conjunto de Imgenes los llamamos RANGO y lo simbolizamos Rgo.

Si cada elemento del Dominio lo llamamos "x", la funcin f, por ejemplo, cuyo Dominio es el conjunto A y cuyo Rango
es el conjunto B:
f : A ---> B
"es el triple menos uno"
la podemos expresar simblicamente as:

f(x) = 3x - 1
Ahora sabiendo que A = {0,5,-4,3} determinemos:
(a) Imgenes,
(b) Dominio y
(c) Rango
de la funcin f(x) = 3x - 1

Solucin:
(a) Imgenes:
f(0) = 3 (0) - 1 = -1
f(5) = 3 (5) - 1 = 14
f(-4) = 3 (-4) - 1 = -13
f(3) = 3 (3) -1 = 8
(b) Dom = A
(c) Rgo = {-1, 14, -13, 8}

Clasificacin de Funciones

(a) FUNCIN INYECTIVA:

Una funcin f : A--->B es inyectiva si a elementos distintos del dominio corresponden imgenes distintas. (ver Figura
5.)

(b)

FUNCIN

SOBREYECTIVA:

Una funcin f : A--->B es sobreyectiva cuando cada elemento del conjunto de llegada es imgen de algn elemento del
conjunto de partida (ver Figura 6.)

(c) FUNCIN BIYECTIVA:

Una funcin f : A--->B es biyectiva si es inyectiva y sobreyectiva simultneamente (ver Figura 7.)

(d) FUNCIN CUALQUIERA:

Una funcin f : A--->B es cualquiera si no es ni inyectiva ni sobreyectiva ni biyectiva (ver Figura 8.)

Ejemplo: Dados los conjuntos C = {-1, -1/2, 0, 3/4, 1} y la funcin f : C ---> D definida de la siguiente manera: f(x) = 4x1. Determine los elementos del conjunto de llegada D y diga qu clase de funcin es f.

Solucin:
Hallamos

los

elementos

f(-1)

f(-1/2)
f(0)

del

=
=

conjunto
4(-1)-1

llegada
=

4(-1/2)
4(0)

de

-1
-1

D:
-5

=
=

-3
-1

f(3/4)

f(1)

4(3/4)

La funcin f(x) es inyectiva.

-1

4(1)

{-5,

-1

-3,

-1,

2,

3}