Matemticas Discretas

Tc1003
Relaciones y Funciones

Relaciones y Funciones
OBJETIVOS
Unidad
Tema
Subtema
Objetivos
IV Relaciones y funciones
4.1 Relaciones
4.2 Funciones
Entender y definir el concepto de relacin as como las
diferentes representaciones de una relacin
Entender, aprender y utilizar las propiedades de las relaciones
Conocer y clasificar los tipos de relaciones:
o De equivalencia
o De orden
o Funcin
Graficar una relacin
Entender y definir el concepto de funcin
Conocer y utilizar los tipos de funciones
o Biyectiva
o Inyectiva
o Suprayectiva
Conocer y obtener de una funcin
o La funcin inversa
o Una funcin compuesta
Conocer y disear funciones recursivas

Ngj/v2008

4 Relaciones y funciones

Matemticas Discretas
Tc1003
Relaciones y Funciones

4.1 Relaciones
4.1.1 Definicin de Relacin
El concepto de relacin surge de manera natural en el anlisis de un sistema.
Un ejemplo, en los nmeros Naturales se establece la relacin es menor que ....
Bajo esta relacin R el nmero 2 se relaciona con el 3: 2 es menor que 3, pero no
as al contrario (3 no es menor que 2).
Una relacin es binaria cuando se establece entre dos objetos. Un ejemplo:
R: x < y.
Una relacin es un conjunto de pares ordenados. Un par ordenado (tambin
llamada pareja ordenada) consta de dos elementos: (a, b) en donde el orden en que
aparece (primero a, despus b) indica la relacin: a Rb de a con b.
Una relacin asocia un elemento de un conjunto A con un elemento de otro
conjunto B o con un elemento del mismo conjunto A.
Ejemplos:
* Para A= {a, b, c}
R1= {(a, a) (a, b) (a, c) (b, a) (b, b) (b, c) (c, a) (c, b) (c, c)}
R1 = A A

* Para A = {Espaa, Inglaterra, Italia}

B= {Paris, Roma, Madrid}
R2: (Espaa, Paris) (Inglaterra, Roma) (Italia, Madrid)
* R3: (Pepe, Mara) (Pepe, Laura) (Pepe, Tere)

Esta relacin puede ser: ... hermano de...

Otro ejemplo:
A = {Familia Rodrguez}
Miembro
Edad
Peso
Estatura
Pap Alfonso
(A) 42
77
1.80
Mam Beatriz
(B) 40
57
1.68
Hijo 1 Carlos
(C) 19
61
1.88
Hijo 2 David
(D) 17
66
1.63
Hijo 3 Elena
(E) 15
48
1.53
R1: es pap de (A, C) (A, D) (A, E)
R2: es mas alto que (C, A) (C, B) (C, D) (C, E) (A, B) (A, D) (A, E) (B, D)
(B, E) (D, E).
R3: es mas grande que (A, B) (B, C) (C, D) (D, E), (A, C) (B, D) (C, E), (A, D)
(B, E) (A, E)
Ngj/v2008

4 Relaciones y funciones

Matemticas Discretas
Tc1003
Relaciones y Funciones

Representaciones grficas de relaciones

Grfica de relaciones no numricas

Diagrama de flechas
1
2
3
4
( x, y ) ( y , y ) ( y , z ) ( z, x )

Relacin: ...es ms grande que...

Nomenclatura para relaciones (R)
R = {( x, y ) / x < y} relacin: x < y
Es menor que = {( x, y ) / x < y}
x R y si R: ...es menor que...

Definicin:
Sea R una relacin a R b = (a, b) R
Ejemplo:
R = {( x, y ), ( y, z ), ( y, y ), ( z, z )}
es verdadera?
no
z Ry
y

R z es verdadera?

Si

Si xRy, xRz, zRy, yRz, zRz, son verdaderas, Cul es la relacin R?

R = {(x, y ), ( x, z ), (z , y ), ( y, z ), (z , z )}

Ngj/v2008

4 Relaciones y funciones

Matemticas Discretas
Tc1003
Relaciones y Funciones
Clasificacin de relaciones
- Relaciones de equivalencia
- Relaciones de orden
- Funciones
1. Relaciones de equivalencia
Caractersticas (propiedades)
1) Reflexividad: xRx : x S xRx
( x est relacionada con x )
Ejemplo: El conjunto de alumnos que se encuentra en su saln de clase
S = {Pedro, Javier, Esteban}
R : est en la misma habitacin
Pedro R Pedro reflexividad
2) Simetra: x, y S . Si x R y y R x
Ejemplo: Pedro R Javier Javier R Pedro
3) Transitiva: x, y, z S Si xRy y yRz xRz
Pedro R Javier y Javier R Esteban Pedro R Esteban
Definicin:
Una relacin R , definida sobre un conjunto S es una relacin de equivalencia
tienen las tres propiedades: reflexiva, simtrica y transitiva
Ejemplos:
R:x < y

Reflexiva?

S = {a, b, c}
R = {(a, a ), (c, c ), (a, c ), (c, a )}

R:x y

3<3

Reflexiva?

33

Reflexiva?
aRa

Simtrica?
Transitiva?
5<63<6

3<5 y 5<3
3<5

Simtrica?
Transitiva?

35 y 53
35

563 6

cRc

Simtrica?
Transitiva?

bRb
aRc
aRc

cRa

cRb no

aRb no

Relacin equivalente
X tiene la misma paridad (que sea par o impar)
3 tiene la misma paridad que 3 Reflexiva
3 tiene la misma paridad que 5
Simtrica
5 tiene la misma paridad que 3
5 tiene la misma paridad que 7
Transitiva

Ngj/v2008

4 Relaciones y funciones

Matemticas Discretas
Tc1003
Relaciones y Funciones
Relacin de orden parcial
En matemticas, una relacin binaria R sobre un conjunto X es
antisimtrica si se cumple que para todo a y b pertenecientes a X si a est
relacionado con b y b est relacionado con a entonces a = b.
En notacin de conjuntos:
.
La relacin ser ms alto que es una relacin antisimtrica dado que a es
ms alto que b y b es ms alto que a no pueden cumplirse al mismo tiempo.
Ntese que la antisimetra no es lo opuesto de la simetra ( a Rb y b Ra
implican b = a). Existen relaciones que son simtricas y antisimtricas al mismo
tiempo (como la relacin de igualdad), relaciones que no son simtricas ni
antisimtricas (como la relacin de divisibilidad), relaciones que son simtricas
pero no antisimtricas (como la relacin de congruencia mdulo n), y relaciones
que son antisimtricas pero no simtricas (la relacin "es menor que" ).
La relacin ser menor o igual tambin es antisimtrica dado que si a es
menor o igual que b y b es menor o igual que a es porque a = b.
Una relacin que es reflexiva, antisimtrica y transitiva es llamada un orden
parcial.
En resume: cuando en una relacin se tiene que a Rb y b Ra es porque el
elemento a es igual al elemento b.
Ejemplo:
A = {1,2,3,4,6,12} conjunto de divisores positivos enteros de 12
xRy x divide exactamente a y
A A : xRy
(1,1)(1,2 )(1,3)(1,4 )(1,6 )(1,12 )

(2,2 )(2,4 )(2,6 )(2,12 )

R = (3,3)(3,6 )(3,12 )

(4,4 )(4,12 )

(6,6 )(6,12 )

Si x divide a y exactamente y = ax
Si y divide a z exactamente z = by
z = b(ax )
z = bax z
Reflexiva s es porque 1R1, 2R2, .

Transitiva
x divide exactamente a z

Si aRb bRa
simtrica
antisimtrica
Si aRb y bRa a = b
Si a est en relacin con b
b est en relacin con a a = b

Ngj/v2008

4 Relaciones y funciones

Matemticas Discretas
Tc1003
Relaciones y Funciones

4.2 Funciones
Intuitivamente una funcin es una regla que asocia elementos de un
conjunto A con elementos de un conjunto B de modo que el elemento del conjunto
A se asocia con uno y slo un elemento del segundo conjunto.
En otras palabras, una funcin es una mquina que transforma elementos en
otros elementos y cada elemento puede transformarse en un nico elemento, no en
dos o tres.

Definicin:
Sean A y B dos conjuntos. Una funcin de A en B es un conjunto de pares
ordenadas de A x B (a, b) con la propiedad de que cada elemento de A es el primer
componente de una pareja ordenada y para todo a A, si (a, b) y (a, c) pertenece a
f entonces b = c (porque a no se repite en otra pareja)
A: Dominio de la funcin
B: Codominio
Imagen son los elementos de B que forman el segundo componente de la
pareja ordenada.
Ejemplo:
A= {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10} = {conjunto de calificaciones en base a 10}
B= {NA, S, B, MB} = {conjunto de smbolos que representan un
rendimiento escolar
A B son todas las posibles relaciones
(0, NA)(1, NA)
(0, S )(1, S )

A B =
(0, B )(1, B )
(0, MB )(1, MB )

...

(10, NA)
(10, S )
(10, B )
(10, MB )

A B = 44 parejas

Si NA = no acreditada
calificacin 0 - 5

calificacin 6 - 7
Si S = suficiente

Si B = bien
calificacin 8 - 9

Si MB = muy bien
calificacin 10
es una funcin porque a cada elemento de A corresponde solo uno de B a
la relacin se le llama regla de correspondencia f , entonces, b = f(a) un elemento
del conjunto B est en funcin de un elemento del conjunto A.
R:

Nomenclatura

y = f (x)

Dominio de una funcin es el conjunto de los valores que puede tomar x o que
toma x para que exista la funcin.
Codominio o rango de una funcin es el conjunto de los valores que se obtienen al
sustituir los valores del dominio en la funcin.
Ngj/v2008

4 Relaciones y funciones

Matemticas Discretas
Tc1003
Relaciones y Funciones
Tipos de funciones
Funcin Inyectiva:
A una funcin en la que a cualquiera par de elementos diferentes del
dominio les corresponde imgenes diferentes se le llama funcin inyectiva
(significa uno a uno)

Un ejemplo es la funcin cuadrtica y = ax 2 + bx + c cuyo dominio y cuyo

codominio son los reales. As, para y = 3x 2 + 2 x + 1 cuya grfica es

la funcin no toma los valores menores a -2.

Funcin Suprayectiva:
Si todo elemento del codominio de una funcin f es imagen de al menos un
elemento de su dominio, entonces f es una funcin suprayectiva

Las funciones trigonomtrica (seno, coseno, tangente, cotangente, secante y

cosecante) son del tipo suprayectiva (o sobreyectiva). El dominio son los reales y el
codominio es [-1, 1] por lo que para ms de un valor de x le corresponde el mismo
valor de y.

Ngj/v2008

4 Relaciones y funciones

Matemticas Discretas
Tc1003
Relaciones y Funciones
Funcin Biyectiva:
Una funcin que es suprayectiva e inyectiva se llama Biyectiva.

Ejemplo de esta funcin es la funcin lineal: y = mx + b cuyo dominio y cuyo

codominio son los reales. Para cada valor de x le corresponde solo uno de y. Todos
los valores del codominio son la imagen de un valor y solo uno del dominio.

Otras funciones
Funcin Entero Mayor
x : (funcin techo) redondea hacia el siguiente entero. Ejemplos:
y = 3.01 = 4
y = 3.51 = 4
y = 3.91 = 4
y = 3.01 = 3

Ngj/v2008

y = 3.51 = 3

y = 3.91 = 3

4 Relaciones y funciones

Matemticas Discretas
Tc1003
Relaciones y Funciones
Funcin Entero Menor
x : (funcin suelo) redondea hacia el entero. Ejemplos:
y = 3.01 = 3
y = 3.51 = 3
y = 3.91 = 3
y = 3.01 = 4

y = 3.51 = 4

y = 3.91 = 4

Funcin Truncar
TRUNC ( x) : da como resultado la parte entera. Ejemplos:
y = trunc(3.01) = 3
y = trunc(3.51) = 3
y = trunc(3.91) = 3

y = trunc(3.01) = 3

y = trunc(3.51) = 3

y = trunc(.3.91) = 3

Funcin Compuesta: fog

Si f : A B y g : B C la funcin compuesta
fog (a ) = f (g (a ))a A . Ejemplo:

fog : A C

se define

A = {1,2,3,4,5} B = {w, x, y, z} C = {a, b, c}

Si f = {(1, w)(2, x )(3, y )(4, z )(5, z )} y g = {(w, a )(x, b )( y, c )(z, c )}

f :A B

g:BC

fog : A C{(1, a )(2, b )(3, c )(4, c )(5, c )}

Funcin Inversa
Si f es una funcin uno a uno, entonces la inversa de f , denotada por f 1 es:
f 1 = {( y, x) /( x, y ) est en f }
Propiedades:
Si f 1 existe entonces:

f 1 es una funcin uno a uno

El dominio de f 1 es el rango de f
El rango de f 1 es el dominio de f
Determinacin de la inversa de una funcin f :
1. Encontrar el dominio de f y determinar que es una funcin uno a
uno. Si f no es una funcin uno a uno, entonces no existe f 1
2. Resolver para x la ecuacin y = f (x) . El resultado es una ecuacin

de la forma x = f 1 ( y ).
3. Intercambiar x y y en la ecuacin encontrada. Esto expresa a f 1
como una funcin de x .
4. Encontrar el dominio y el rango de f 1 .

Ngj/v2008

4 Relaciones y funciones

Matemticas Discretas
Tc1003
Relaciones y Funciones
Ejemplo:
Encontrar f 1 para f ( x) = x 1
Solucin:
1. Dominio de f : [1, ) rango: y 0 , por lo tanto f 1 existe.
y=

x 1

2. Despejar x : y 2 = x 1
x = y2 + 1

3. Intercambiar: y = f 1 = x 2 + 1
4. Dominio y rango de f 1 : dominio : x 0 , rango y 1

f ( x) =

x 1

x = y2 +1

Ngj/v2008

4 Relaciones y funciones

10

Matemticas Discretas
Tc1003
Relaciones y Funciones
Funcin Recursiva
Una funcin recursiva es aquella que depende de valores precedentes
(anteriores).
Debe contener:
Condiciones iniciales
Procedimiento
Condicin de trmino
Ejemplos:
Subrutina fibonacci (L1 , L2 , n, L )
Definicin de variables
L = L1 + L2
Si n > 2 entonces

L1 = L2
L2 = L
n = n 1
llamar fibonacci

(L1 , L2 , n, L )

si no
regresar

Funcin factorial (n, fac )

Definicin de variables
Si n = 0 entonces
fac = 1
regresar fac ;
Si no
si n > 1 entonces
fac = fac n
n = n 1
fac = funcin factorial (n, fac )

regresar fac ;

Ngj/v2008

4 Relaciones y funciones

11

Matemticas Discretas
Tc1003
Relaciones y Funciones

4.3 Historia9
La palabra funcin fue introducida en 1694 por Gottfried Wilhelm Leibniz
(1646 1716) para designar una cantidad asociada con una curva. En el ao 1718,
Bernoulli (1667 1748) consideraba una funcin como una expresin algebraica
formada por constantes y variables. Las ecuaciones o frmulas con constantes y
variables surgieron con Leonahard Euler (1797 1783). Su definicin de funcin es
la que generalmente se encuentra en los libros de matemticas a nivel de enseanza
media. En 1734 Euler y Alexis Clairaut (1713 - 1765) introdujeron la notacin
f (x) .
La idea de Euler permaneci intacta hasta la poca de Jean Baptiste Joseph
Fourier (1768 1830) quien encontr la necesidad de un tipo ms general de
funcin en su estudio de series trigonomtricas. En 1837, Meter Gustav Lejeune
Dirichlet (1805 1859) estableci una formulacin ms rigurosa de los conceptos
de variable, funcin y correspondencia entre la variable independiente y la variable
dependiente. El trabajo de Dirichlet enfatiza la relacin entre dos conjuntos de
nmeros y no pide la existencia de una frmula o expresin que relaciones a los dos
conjuntos. Con los desarrollos de la teora de conjuntos de George Cantor, se lleg a
una generalizacin de la funcin como un tipo de relacin particular.

Gottfried Wilhelm Leibniz

(1646 1716)

[Grimaldi, 308]

Ngj/v2008

4 Relaciones y funciones

12