Escolar Documentos
Profissional Documentos
Cultura Documentos
RELACIONES BINARIAS
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)
Producto Cartesiano
Representacin en forma de Tabla
Ejemplo:
A={
,
B={
Producto Cartesiano
Representacin en forma de
Diagrama
Ejemplo:
A={
,
B={
Producto Cartesiano
Ejemplo:
A={
,
B={
Grfico cartesiano
componente de cada
elemento del producto
cartesiano es la
ordenada
La primera
componente de cada
elemento del producto
cartesiano es la
abscisa
Relaciones
3 es el
correspondiente
de d
Conjuntos de salida y de
llegada de un relacin
A es el conjunto de salida y B es el
conjunto de llegada
Dom(R) = {b, c, d}
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.
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
Relacin definida en un
conjunto
Ejemplo:
Sea H = { x / x es un ser humano} y
R la relacin es madre de
R es una relacin en H. Por qu?
Como Ana es la madre de Luis, decimos
que el par (Ana,Luis) R.
Note que los pares que verifiquen R son
un subconjunto de H x H.
Propiedad reflexiva
La propiedad reflexiva dice que todos los
elementos de un conjunto estn
relacionados con si mismo
Propiedad simtrica
La propiedad simtrica dice que si un
elemento est relacionado con otro, ste
segundo tambin est relacionado con el
primero
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
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
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}
Relacin de equivalencia
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".
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"}
Dado un elemento a de H, su clase de
equivalencia estar formada por sus
compatriotas.
El conjunto cociente de H por R, H/R, es
el conjunto formado por todas las clases
de equivalencias.
H/R es una particin de H.
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}
S es el conjunto de nmeros enteros y R es la
relacin x es congruente con y mdulo 2, es
decir, que x e y tienen el mismo resto al ser
divididos por 2.