Capitulo 2

Relaciones y Funciones

Relaciones Binarias
Relaciones importantes entre proposiciones:
1.la implicacin y
2.la equivalencia.
En algebra y calculo son importantes las
relaciones entre variables; en geometra lo son
las relaciones entre figuras. Hasta el momento
no hemos necesitado una definicin precisa de la
palabra relacin . Sin embargo, sin una definicin
formal es difcil responder preguntas sobre
relaciones. Que se quiere dar a entender, por
ejemplo, cuando se
dice que dos relaciones aparentemente
diferentes son iguales?

Producto Cartesiano
El producto cartesiano de dos
conjuntos A y B, denotado A B, es
el conjunto de todos los posibles
pares ordenados cuyo primer
componente es un elemento de A y el
segundo componente es un elemento
de B.
A B = { (x,y) / x A ^ y B }

Producto Cartesiano
Ejemplo:
Si A = { a , b , c } y B = { 1 , 2 }
AxB = { (a,1), (a, 2), (b, 1), (b, 2), (c, 1),
(c, 2) }
Note que
A tiene 3 elementos
B tiene 2 elementos
A x B tiene 6 elementos.

Producto Cartesiano
Ejemplo:
A = { corazn, trbol, coco, espada }

B = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12 }
A x B = { (corazn, 1), (corazn,2),,(corazn,12),
(trbol,1), (trbol,2), ,(trbol,12), ,
(espada,12) }
Note que
A tiene 4 elementos
B tiene 12 elementos
A x B tiene 48 elementos (todas las cartas del
mazo)

Grfico cartesiano

Dados los conjuntos

A={1,2} y B={1,2,
3}
segunda
el grfico cartesiano de A x BLaes:

componente de cada
elemento del producto
cartesiano es la
ordenada

La primera
componente de cada
elemento del producto
cartesiano es la
abscisa

Ejercicio : indicar el grfico

cartesiano de A x B donde
A = { x / x R 1 x 1 }
B= R

Ejercicio : indicar el grfico

cartesiano de A x B donde
A={x/xR2x<5}
B = { x / x R 1 < x 3}

Relacin entre elementos de

conjuntos
Hay casos en que no todos los pares
ordenados de un producto cartesiano
de dos conjuntos responden a una
condicin dada.

Relacin entre elementos de

conjuntos
Se llama relacin entre los conjuntos
A y B a un subconjunto del producto
cartesiano A x B.
Este puede estar formado por un solo
par ordenado, varios o todos los que
forman parte de A x B.

Relaciones

Dado el siguiente diagrama que

relaciona los elementos de A con los
de B
b est
relacionado
con 1

3 es el
correspondiente
de d

Conjuntos de salida y de
llegada de un relacin
A es el conjunto de salida (partida) y
B es el conjunto de llegada

Dominio de una relacin

Dom(R) = x / xA (x,y) R

Dom(R) = {b, c, d}

Imagen de una relacin

Im(R) = y / yB (x,y) R

Im(R) = {1, 3, 4}

Notacin
Si R es una relacin entre A y B , la expresin
x R y significa que (x,y) R , o sea, que x
est relacionado con y por la relacin R.

Ej: b R 1 porque (b,1) R

Relacin definida en un
conjunto
Cuando los conjuntos de partida y de
llegada de una relacin R son el
mismo conjunto A, decimos que R es
una relacin definida en A, o,
simplemente, una relacin en A.
Una relacin R en A es entonces un
subconjunto de A2 = A x A

Propiedades de las relaciones

definidas en un conjunto
Si establecemos una relacin entre los
elementos de un mismo conjunto, existen
cinco propiedades fundamentales que
pueden cumplirse en esa relacin
Propiedad reflexiva
Propiedad simtrica
Propiedad asimtrica
Propiedad antisimtrica
Propiedad transitiva

Propiedad reflexiva
La propiedad reflexiva dice que todos los
elementos de un conjunto estn
relacionados con si mismo

R es reflexiva si para todo x A, el par (x,x) R

Propiedad simtrica
La propiedad simtrica dice que si un
elemento est relacionado con otro, ste
segundo tambin est relacionado con el
primero

R es simtrica si siempre que un par (x,y) R, el par

(y,x) tambin pertenece a R

Propiedad Simtrica
Ejemplo
Dado A = {3, 4, 2} decir si las
siguientes relaciones en A2 son
simtricas
R = {(2, 3), (3, 4), (4, 3), (3, 2), (4, 4)}
S = {(3, 2), (4, 3), (2, 2), (3, 4)}

Propiedad asimtrica

Una relacin es asimtrica si ningn

par ordenado de la relacin cumple
la propiedad simtrica.

Propiedad antisimtrica

Una relacin es
antisimtrica
cuando slo
cumplen la
propiedad
simtrica los pares
de elementos
iguales y no la
cumplen los pares
formados por
distintos
elementos.

Propiedad antisimtrica
Ejemplo
Dado A = {2, 4, 6} decir si las
siguientes relaciones en A2 son
antisimtricas
R = {(2, 2), (4, 4)}
S = {(2, 4)}
T ={(4, 6), (2, 2), (6, 4), (4, 2)}

Propiedad transitiva

La propiedad transitiva dice que si un

elemento est relacionado con otro y ste
est a su vez relacionado con un tercero,
el primer elemento est relacionado con el
tercero.

R es transitiva si
x , y ,z , (x,y) R (y,z) R

(x,z) R

Propiedad transitiva
Ejemplo
Dado A = {2, 4, 6, 3} decir si las
siguientes relaciones en A2 son transitivas
R = {(2, 2), (2, 3), (4, 6), (6, 2), (4, 2), (4,
3), (6, 3)}
S = {(2, 2), (4, 4), (4, 2), (2, 6), (6, 4), (6,
2)}

Ejercicio
Dado A = {1, 2, 3} decir a que tipo
pertenecen las siguientes relaciones
R1 = {(1, 1), (2, 1), (2, 2), (3, 2), (2, 3), (3,
3)}.
R2 = {(1, 1)}.
R3 = {(1, 2)}.
R4 = {(1, 1), (2, 3), (3, 2)}.

Ejercicio
Sea A = {2, 3, 4, 5, 6}
R = {(x, y) / xA, yA, | x y | es divisible
por 3}

Escribir por extensin a R.

Relacin de equivalencia

Permite marcar caractersticas similares

entre los elementos de un conjunto

Ejemplo de Relacin de
Equivalencia
Sea H el conjunto formado por todos los
seres humanos.
R= {(x, y) / x,y H ^ "x es compatriota de
y"}
R es reflexiva puesto que toda persona
es compatriota de si mismo.
R es simtrica, puesto que "si x es
compatriota de y, y es compatriota de x".
R es transitiva, por que "si x es
compatriota de y e y es compatriota de z,
entonces x es compatriota de z".

Ejercicio
Cul de las siguientes relaciones en S
son de equivalencia?
R = {(a, b)/ a y b tienen la misma
madre},
donde S = {a / a es cualquier
persona}