Professional Documents
Culture Documents
RELACIONES BINARIAS
Definicin
Sean los conjuntos A y B. Se llama relacin binaria entre
los conjuntos A y B a un subconjunto del producto cartesiano
AXB, cuyos pares cumplen con una determinada proposicin.O sea que si R es la relacin entre los conjuntos A y B,
entonces R AXB
Por ejemplo:
Sean los conjuntos A = {1,2,3} y B = {5,6}
(x, y) RAXB xy
AXB={(1,5), (1,6), (2,5), (2,6), (3,5), (3,6)}
R = {(1,5), (1,6), (2,6), (3,6)}
I(R) = {5,6}
RELACIN INVERSA
Sea una relacin R AXB, se dice que la relacin R-1 es la
relacin inversa de R, solamente s R-1 BXA.O sea que R-1 = {(y,x)/(x,y) R}
R = {(1,5), (1,6), (2,6), (3,6)}
R-1 = {(5,1), (6,1), (6,2),(6,3)}
COMPOSICIN DE RELACIONES
Dada dos relaciones: RAXB y SBXC. Se llama relacin
compuesta a la relacin SoRAXC (R compuesto con S
incluida en AXC) a la formada por los pares que tienen como
primera componente a las primeras componentes de los pares
de R y como segunda componente a la segundas de los pares
de S, siempre que las segundas componentes de los pares de
R sean primera de los pares de S.
SoR = {(x,z) / (x,y) R (y,z) S}
(x,z) SoRAXC (x,y) R (y,z) S
GFICAMENTE
A
S o R
C
S
Por ejemplo:
A = {1, 2, 3}
B = {1,2,4} y
1 1
C , , 2
2 4
y
( y, z ) S BXC z
2
1
BXC 1,
2
1
1
1
,
1
,
2
2,
4
2
S 1, 4,2
2
1
1
2
,
2
,
2
4,
4
2
4
,
4
,
2
1
SoR 1, (2,2)
2
x2
( x, z ) SoR AXC z
2
GFICAMENTE
A
S o R
C
S
1
2
1
4
2
GRFICAMENTE
A2 = {(1,1)(1,2)(1,3) (2,1)(2,2)(2,3) (3,1)(3,2)(3,3)}
R = {(1,1)(1,2)(1,3)(2,2)(2,3)(3,3)}
A
3
2
1
2. PROPIEDAD NO REFLEXIVA
La propiedad no reflexiva, es la negacin de la reflexividad. Entonces, la
relacin RA2 es no reflexiva si algunos elementos de A no tienen pares
de componentes iguales en la relacin. Esto se obtiene negando el
cuantificador de la propiedad anterior, y aplicando la negacin de una
implicacin:
RA2 es No reflexiva (x:xA (x,x)R) x/( xA (x,x)R)
x/xA (x,x)R
Ejemplo
Si A = {1,2,3} y (x,y) RA2 x y y 2
A2 = {(1,1)(1,2)(1,3) (2,1)(2,2)(2,3) (3,1)(3,2)(3,3)}
R = {(1,1)(1,3) (2,3) (3,3)}
En esta relacin tenemos los pares de componentes iguales (1,1) y (3,3);
pero los elementos de A son el 1,2,3, lo que significa que algunos
elementos de A determinan pares de elementos iguales en la relacin. O
sea que R de A2 es No Reflexiva.-
3. PROPIEDAD ARREFLEXIVA
Una relacin R de A2 es Arreflexiva, si no tiene pares de componentes
iguales en la relacin.
RA2 es Arreflexiva x:xA (x,x) R
Por ejemplo:
4. PROPIEDAD SIMTRICA
Una relacin R definida en un conjunto es simtrica, si y slo si todos los
pares de la relacin determinan pares de componentes conmutadas en la
relacin.
RA2 es simtrica x,y: (x,y)R (y,x)R
Por ejemplo:
GRFICAMENTE
A2 = {(1,1)(1,2)(1,3) (2,1)(2,2)(2,3) (3,1)(3,2)(3,3)}
R = {(1,1)(1,3)(2,2)(3,1)(3,3)}
A
3
2
1
5. PROPIEDAD NO SIMTRICA
Una relacin es no simtrica, si algunos de los pares de la relacin no
tienen pares de componentes conmutadas en la relacin. Esta propiedad
es la negacin de la simetra.
RA2 es no simtrica (x,y: (x,y)R (y,x)R)
x/(y: (x,y)R (y,x)R)
x, y/[(x,y)R (y,x)R)]
x, y/(x,y)R (y,x)R)
Por ejemplo:
6. PROPIEDAD ASIMTRICA
Una relacin es asimtrica si todos los pares de la relacin no tienen
pares de componentes conmutadas en la relacin.
RA2 es asimtrica x,y: (x,y)R (y,x)R
Por ejemplo:
pares ordenados no
la misma relacin,
tienen
por lo
pares
tanto
de
es
7. PROPIEDAD TRANSITIVA
Una relacin es transitiva solamente s todos los pares cumplen que,
eligiendo dos de ellos, la segunda componente del primero, es primera
componente del segundo, estos generan un tercer par en la relacin, cuya
primera componente es la primera del primero, y la segunda es la segunda
del segundo.
RA2 es transitiva x,y,z: (x,y)R (y,z)R (x,z)R
Por ejemplo:
8. PROPIEDAD NO TRANSITIVA
Como en las anteriores, la no transitividad es la negacin de la
transitividad, o sea que una relacin es no transitiva solamente s algunos
pares de la relacin no cumplen con las condiciones de la transitividad.
Simblicamente:
RA2 es no transitiva (x,y,z: (x,y)R (y,z)R (x,z)R)
x/(y,z: (x,y)R (y,z)R (x,z)R)
x,y/(z: (x,y)R (y,z)R (x,z)R)
x,y,z/ [(x,y)R (y,z)R (x,z)R]
x,y,z/ (x,y)R (y,z)R (x,z)R
Por ejemplo:
Si A = {1,2,3} y (x,y) RA2 3 x+y
A2 = {(1,1)(1,2)(1,3)(2,1)(2,2)(2,3)(3,1)(3,2)(3,3)}
R = {(1,2) (2,1) (3,3)}
Observamos que con el par (3,3) cumple la condicin de transitividad, pero
con los pares (1,2) y (2,1) no, ya que el par (1,1) R. Por lo tanto es No
transitiva.-
9. PROPIEDAD ATRANSITIVA
Una relacin es atransitiva, si ninguno de los pares de la relacin
cumplen con las condiciones de la transitividad.
RA2 es atransitiva x,y,z: (x,y)R (y,z)R (x,z)R
Por ejemplo:
Observamos esta relacin que tiene slo dos pares, y no existe el tercer
par, por lo tanto ninguno de los pares cumple con la condicin de
transitividad, o sea que es Atransitiva.-
RELACIN DE EQUIVALENCIA
La relacin RA2 se dice que es de equivalencia, si y slo si es Reflexiva,
Simtrica y Transitiva.Una relacin de equivalencia se la denota con , y si (a,b) entonces se dice que
a es equivalente con b y se denota ab. Con esta notacin, las propiedades
quedaran:
Reflexiva:
Simtrica:
A2 es reflexiva x: xA (x,x)
A2 es reflexiva x: xA xx
A2 es simtrica x,y: (x,y) (y,x)
A2 es simtrica x,y: xy yx
Transitiva:
A2 es transitiva x,y,z: (x,y) (y,z) (x,z)
A2 es transitiva x,y,z: xy yz xz
Por ejemplo:
Probar que la siguiente relacin es de equivalencia:
Si A = {1,2,3} y xy A2 2 x-y
A2 = {(1,1)(1,2)(1,3) (2,1)(2,2)(2,3) (3,1)(3,2)(3,3)}
= {(1,1)(1,3) (2,2) (3,1) (3,3)}
Es de equivalencia pues es:
Reflexiva ya que:
11, 22 y 33
Simtrica ya que:
11 11 13 31 22 22 31 13
33 33
Transitiva ya que:
11 11 11 11 13 13 22 22 22 13 31 11
13 33 13 31 11 31 31 13 33 33 33 33
CLASES DE EQUIVALENCIA
Sea una relacin de equivalencia definida en un conjunto A, se llama clase
de equivalencia de m, al conjunto formado por todos los elementos de A
que son equivalentes con m, y se denota con Km.
A2, Km ={xA/xm}
Dicho de otra forma, xKm xm
En el ejemplo que se ha dado anteriormente es:
K1 = {1,3} K2 = {2} y K3 = {1,3}, lo que significa que la K1 = K3
CONJUNTO COCIENTE
Se llama conjunto cociente al conjunto formado por todas las clases de
A
equivalencias, y se denota a
A
Ki / i I
A
K 1 , K 2 1,3 2
0
1
2
3
4
Hiptesis
Sea A,
Sea A2 I A/ uI, KuA,
Siendo I el conjunto formado por un representante de cada una de las clases,
Tesis
1) u:uI Ku
2) ab aKu bKu
3) Ku Kv Ku = Kv
4) uv Ku Kv =
5) aA,uI/aKu
Demostracin
1) u:uI Ku
Como A aA. Pero por hiptesis, en A se define una relacin de
equivalencia, y en particular es reflexiva aa, y por definicin de clase de
equivalencia se tiene que aKa.
Ahora, como IA uKa ua au aKu Ku
2) ab aKu bKu
Para poder demostrar esta proposicin, debemos desdoblar la doble
implicacin. O sea:
I) ab aKu bKu
ab aKb por definicin de clase de equivalencia.
Ahora, supongamos que uKb ub bu bKu por definicin de clase.
Pero ab bu au aKu
II) aKu bKu ab
Como aKu bKu au bu au ub ab
3) Ku Kv Ku = Kv
Esta proposicin se demuestra teniendo en cuenta la definicin de
igualdad de conjuntos, o sea:
Ku = Kv Ku Kv Kv Ku
Ku Kv a Ku Kv a Ku a Kv au av ua av
Ahora:
uv vu
Sea yKu yu uv yv yKv
4) uv Ku Kv =
Esta proposicin la demostraremos utilizando el mtodo de reduccin al
absurdo, o sea HT -T-H, lo que nos lleva a negar la tesis, o sea:
Ku Kv aKu Kv aKu a Kv au av ua av uv
ESTO CONTRADICE LA HIPTESIS, PUES LOS ELEMENTOS DEL
CONJUNTO DE NDICE NO PUEDEN SER EQUIVALENTES YA QUE SE
HA DICHO QUE STE CONJUNTO EST FORMADO POR UN
REPRESENTANTE DE CADA CLASE DE EQUIVALENCIA (ABSURDO). uv Ku Kv = ES VERDADERO
5) aA,uI/aKu
como A a A aa aKa
Ahora, supongamos que uKa ua au aKu, y por la propiedad
anterior, Ku=Ka, lo que significa que todo el conjunto A est cubierto por
todas las clases de equivalencia.-
Hiptesis
Sea A y Sea {Ku / uI} una particin de A
Tesis
Queda inducida A2
Demostracin
Para poder demostrar esta propiedad, primero debemos definir una relacin
indicando que un par ordenado pertenece a la relacin, si ambas componentes
pertenece a un mismo conjunto de particin. O sea:
(x,y) R x Ku y Ku (A)
Reflexividad
Supongamos que x Ku x Ku x Ku por idempotencia de la conjuncin, y
por la definicin (A) se tiene que (x,x) R A2
Simetra
Tomemos (x,y) R x Ku y Ku y Ku x Ku (y,x) R
Transitividad
Tomemos (x,y) R (y,z) R x Ku y Ku y Ku z Ku, y en particular
podemos decir que x Ku z Ku (x,z) R.
Luego la relacin R es de equivalencia.-
Por ejemplo:
Determinar la relacin de equivalencia definida en A={1,2,3,4} teniendo en
cuenta la particin de A {{1}{2,3}{4}}.Cada uno de los elementos de la particin es una clase de equivalencia,
o sea:
K1 = {1}
K2 = {2,3} K4 = {4}
Y por definicin de clase de equivalencia, todo elemento que pertenece a
una clase es equivalente con el ndice, o sea que:
11 22 23 32 33 44, lo que nos da la relacin de
equivalencia como:
= {(1,1)(2,2)(2,3)(3,2)(3,3)(4,4)}
y el conjunto de ndices es:
I={1,2,4}
RELACIN DE ORDEN
Al tener un conjunto numrico, es importante analizar si est ordenado o
no. Para eso se trabaja con una relacin denominada de orden. Antes de
poder definir esta relacin, definiremos preceder teniendo en cuenta que:
Un nmero precede a otro si y slo si, el par formado por esos elementos
pertenecen a la relacin. O sea:
x y (x,y) R A2
: signo preceder
Ahora, las relaciones pueden ser de orden amplio o estricto, y en cada
una de stas se dividen en orden amplio parcial o total, y de orden
estricto parcial o total. O sea:
AMPLIO
PARCIAL
TOTAL
RELACIN DE ORDEN
ESTRICTO
PARCIAL
TOTAL
Ejemplo:
Sea el conjunto A = {2, 3, 6, 9, 12, 36} ordenado por la relacin de
divisibilidad.a)Es reflexiva ya que todo nmero es divisible por si mismo.b)Es antisimtrica un nmero divide a otro y este al primero,
solamente se da en el caso de que ellos sean iguales.c)Es transitiva ya que si un nmero divide a otro y este a un tercero,
entonces el primero divide al tercero.d)Por ltimo existen elementos que no dividen al siguiente como es
el caso del 2 y del 3.De a), b) y c) deducimos que esta relacin es de orden amplio; y de
d) que es de orden parcial.Ahora, como no existe en A un elemento que sea divisor de todos los
dems, entonces carece de primer elemento, pero tiene ltimo
elemento y es el 36 ya que es divisible por todos los anteriores. Este
tambin es el elemento maximal, y como el 2 y el 3 dividen a los que
los siguen, son los elementos minimales. Con respecto a las cotas
inferiores, no existen, pero la superior es el 36 y tambin es el
supremo.-
DIAGRAMAS DE HASSE
El diagrama de Hasse se construye partiendo de los elementos ordenados
de un conjunto y teniendo en cuenta la relacin que lo orden y utilizando
flechas. En nuestro caso anterior es:
12
36
9
IDEA Y REALIZACION
Prof. LUIS ERNESTO VALDEZ
FIN
Departamento de Matemtica
Instituto de Estudios Superiores de Andalgal
2008 - 2014