Relaciones Binarias

lgebra Moderna Relaciones Binarias
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)}
Al conjunto A se lo denomina conjunto de partida y a B

conjunto de llegada. Al conjunto formado por todos los
elementos de A que se relacionan con los elementos de B se
denomina Dominio, y al subconjunto de B que tienen
antecedentes en A se llama Imagen.O sea que el Dominio de la relacin es el conjunto formado por
todas las primeras componentes de los pares de la relacin, y
la Imagen es el conjunto formado por todas las segundas
componentes de los pares de la relacin.En nuestro ejemplo, se tiene:
AXB={(1,5), (1,6), (2,5), (2,6), (3,5), (3,6)}
R = {(1,5), (1,6), (2,6), (3,6)}
D(R) = {1, 2, 3}
I(R) = {5,6}
GRFICO DE UNA RELACIN EN DIAGRAMAS DE VENN

AXB={(1,5), (1,6), (2,5), (2,6), (3,5), (3,6)}
R = {(1,5), (1,6), (2,6), (3,6)}
GRFICO DE UNA RELACIN EN EL SISTEMA CARTESIANO

AXB={(1,5), (1,6), (2,5), (2,6), (3,5), (3,6)}
R = {(1,5), (1,6), (2,6), (3,6)}
y
6
5
4
3
2
1
GRFICO DE UNA RELACIN EN EL SISTEMA MATRICIAL

R = {(1,5), (1,6), (2,6), (3,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
(x,y) RAXB y=x2

AXB = {(1,1)(1,2)(1,4)(2,1)(2,2)(2,4)(3,1)(3,2)(3,4)}
R={(1,1)(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
RELACIONES DEFINIDAS EN UN CONJUNTO

Sea el conjunto A, se llama relacin definida en un conjunto,
al subconjunto del producto cartesiano AXA o A2.
Por ejemplo:
Sea A={1,2,3} (x,y)RA2 x y
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)}
POSIBLES PROPIEDADES DE LAS RELACIONES

DEFINIDAS EN UN CONJUNTO
1. PROPIEDAD REFLEXIVA
La relacin RA2 es reflexiva, solamente, s todos los

elementos de A determinan pares de componentes iguales
en la relacin.RA2 es reflexiva x: xA (x,x)R
Por ejemplo:
Si A = {1,2,3} y (x,y) RA2 x y

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)}
Los elementos de A son 1, 2 y 3, y en la relacin estn (1,1) (2,2) y (3,3), o

sea que todos los elementos de A determinan pares de componentes
iguales en la relacin, lo que significa que es REFLEXIVA.-
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:
Si A = {1,2,3} y (x,y) RA2 x < y

A2 = {(1,1)(1,2)(1,3) (2,1)(2,2)(2,3) (3,1)(3,2)(3,3)}
R = {(1,2)(1,3) (2,3)}
En este caso, ningn elemento de A determina pares de componentes

iguales en la relacin. Por lo tanto es Arreflexiva.-
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:
Si A = {1,2,3} y (x,y) RA2 2 x+y

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)}
Observando esta relacin que todos los pares tienen pares de

componentes conmutadas en la relacin, por lo tanto es Simtrica.-
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:
Si A = {1,2,3} y (x,y) RA2 2 x+y y1

A2 = {(1,1)(1,2)(1,3) (2,1)(2,2)(2,3) (3,1)(3,2)(3,3)}
R = {(1,3)(2,2) (3,3)}
Es no simtrica, pues est el (1,3) y no est el (3,1), lo que significa que es

No simtrica.-
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:
Si A = {1,2,3} y (x,y) RA2 x<y

A2 = {(1,1)(1,2)(1,3) (2,1)(2,2)(2,3) (3,1)(3,2)(3,3)}
R = {(1,2)(1,3) (2,3)}
En esta relacin, todos los

componentes conmutadas en
Asimtrica.-
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:
Si A = {1,2,3} y (x,y) RA2 2 x+y

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)}
Tomamos dos pares que cumplan con el antecedente de la implicacin:

(1,1) y el (1,3) estos generan el (1,3)
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:
Si A = {1,2,3} y (x,y) RA2 x+y=3

A2 = {(1,1)(1,2)(1,3) (2,1)(2,2)(2,3) (3,1)(3,2)(3,3)}
R = {(1,2) (2,1)}
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.-
10. PROPIEDAD ANTISIMTRICA

Una relacin es antisimtrica, si existen pares de componentes
conmutadas en la relacin, tienen que ser aquellos solamente cuyas
componentes son iguales.
RA2 es antisimtrica x,y: (x,y)R (y,x)R x=y

Por ejemplo:
Si A = {1,2,3} y (x,y) RA2 xy

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)}
En esta relacin, los nicos pares de componente conmutadas son

aquellos que tienen las mismas iguales, por lo tanto es Antisimtrica.-
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
donde I se llama conjunto de ndices

El conjunto de ndices se forma con un representante de
cada clase de equivalencia.
A
K 1 , K 2 1,3 2
y el conjunto de ndices es: I = {1,2}
PARTICIN DE UN CONJUNTO NO VACO

Sea el conjunto A , se dice que {Ki/iI} es una particin de A, si y slo si
se cumplen los siguientes axiomas:
A1) Todo elemento del conjunto de ndice determina un subconjunto de
particin no vaco. O sea:
u: uI Ku
A2) Elementos distintos del conjunto de ndice, determinan subconjuntos
de particin disjuntos. O sea:
uv Ku Kv =
A3) Todos los elementos del conjunto A, pertenecen a algn subconjuntos
de particin, lo que significa que la particin cubre todo el conjunto. O sea:
aA,uI/ a Ku
Por ejemplo: Sea A = {-1,0,1,2,3,4}, y sea la particin {{-1}{0,1,2}{3,4}}
En este caso el conjunto de ndices ser I={-1,0,3}, y si observamos en la
particin se cumple A1 ya que K-1, K0 y K3. La A2 tambin se
cumple ya que: -10 K-1 K0 =; el -13 K-1K3=; y 03
K0K3=. Por otro lado, todos los elementos de A pertenecen a algn
subconjunto de particin.
En diagrama de Venn se observa la particin:

A
-1
0
1
2
3
4
TEOREMA FUNDAMENTAL DE LAS RELACIONES DE EQUIVALENCIAS

Sea una definida en un conjunto A, entonces existe un conjunto de ndices I A, tal que
todo uI existe un KuA, siendo el conjunto de ndices formado por un representante de cada
clase, de tal manera que cumpla con las siguientes proposiciones:
1) Todo elemento del conjunto de ndice, determina una clase no vaca.
2) Dos elementos de A son equivalentes si y slo si pertenece a una misma clase.
3) Clases no disjuntas son iguales.
4) Elementos distintos del conjunto de ndice, determinan clases disjuntas.
5) Todo elemento del conjunto A pertenece a alguna clase de equivalencia. O sea que, todas
las clases de equivalencias cubren a todo el conjunto A como una particin.
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
y por ley del silogismo hipottico y definicin de inclusin: Ku Kv (I)

Ahora:
Sea zKv zv vu zu zKu
y por ley del silogismo hipottico y definicin de inclusin: Kv Ku (II)

Y teniendo en cuenta la definicin de igualdad de conjuntos se tiene que:
Ku Kv Kv Ku Kv = Ku
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.-

PARTICIN Y RELACIN DE EQUIVALENCIA
Propiedad
Sea {Ku / uI} una particin del conjunto A. Entonces queda inducida en A una relacin 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
Relacin de orden amplio

Una relacin es de orden amplio si es reflexiva, antisimtrica y transitiva. O
sea que sea RA2 es de orden amplio si es:
Reflexiva:
x:xA x x
Antisimtrica:
x, y: x y y x x = y
Transitiva:
x,y,z: x y y z x z
Relacin de orden estricto
Una relacin es de orden estricto si es Arreflexiva, Asimtrica y Transitiva. O
sea:
Arreflexiva:
x:xA (x x)
Asimtrica
x,y: x y (y x)
Transitivia:
x,y,z: x y y z x z
Relacin de orden parcial

Una relacin de orden es parcial, si algunos elementos del conjunto no
preceden a otro del mismo conjunto. O sea:
RA2 es de orden parcial xA, y A/-(x y) -(y x)
Ejemplo
A={2,3,4,6,8} ordenado por la relacin xyx|y
Relacin de orden total
Una relacin es de orden total si todos los elementos del conjunto se
ordenan por la relacin definida en l. O sea:
RA2 es de orden total xA, yA : xy x y y x
Ejemplo
Sea el conjunto de los naturales (N) ordenados por la relacin de menor, o
sea que xN, yN : x y x<y
ELEMENTOS DISTINGUIDOS DE UNA RELACIN DE ORDEN

Sea el conjunto A ordenado por una relacin de orden
Primer elemento
El elemento a A es primer elemento si y slo si precede a todos los
dems.
aA es primer elemento x:xA a x
ltimo elemento
El elemento b A se llama ltimo elemento, si y slo si todo elemento de A
precede a b.bA es ltimo elemento x:xA xb
Elementos minimales
El objeto m A es un elemento minimal si y slo si no existe un elemento distinto
que lo anteceda.
m A es un minimal xA: x m m = x
Elementos maximales
El objeto n A es un elemento maximal si y slo si no existe un elemento distinto
que lo siga.
n A es un maximal xA: n x n = x

Cotas inferiores
El objeto a A es una cota inferior del subconjunto XA, si y slo si precede a todo
elemento de X
aA es una cota inferior de XA xX ax
Cotas superiores
El objeto b A es una cota superior del subconjunto XA, si y slo si sigue a todo
elemento de X
bA es una cota superior de XA xX xb
Supremo o cota superior mnima
El elemento s A es un supremo del subconjunto XA, si y slo si es el primer
elemento del conjunto de cotas superiores.nfimo o cota inferior mxima
El elemento i A es un nfimo del subconjunto XA, si y slo si es el ltimo
elemento del conjunto de cotas inferiores.-

De estas definiciones se deduce que:
1. En todo conjunto ordenado puede o no tener primer y/o ltimo elemento.
2. En todo conjunto ordenado pueda que no existan elementos minimales y/o
maximales, y en el caso de que existen, pueden no ser nicos
3. En todo conjunto ordenado pueden existir o no cotas superiores o inferiores, y
por otro lado, pueden no ser nicas.4. Si existen cotas, pueden tener o no nfimos y/o supremos, ya que en todo
conjunto ordenado, no necesariamente debe tener primer y/o ltimo elemento.Por ejemplo:
Sea el intervalo abierto (-1, 1) donde se define la relacin de menor o igual
Es reflexiva, puesto que: a(-1,1) aa
Es antisimtrica ya que: ab ba a=b
Es transitiva ya que: ab bc ac
Ahora si: ab ab ba
Las tres primeras nos estn indicando que esta relacin es de orden amplio y la ltima
nos indica que es de orden total.Como el intervalo es abierto, entonces no tiene primer ni ltimo elemento. Por otro lado
no existen elementos minimales ni maximales, pero hay infinitas cotas inferiores ya que son
todos aquellos reales menores o iguales a 1. de igual forma, existen infinitas cotas
superiores, y son aquellos reales mayores o iguales a 1. No tiene ni nfimo ni supremo, ya
que tendran que ser el 1 y el 1 respectivamente, pero no pertenecen al intervalo.-
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
A = {2, 3, 6, 9, 12, 36}
36
9
En este diagrama, la flecha indica quien divide a quien: el 2 divide al 6 al 12 y al 36

como indica el sentido de la flecha. El 3 divide al 9 y al 36 por un lado, y al 6, al 12
y al 36 por el otro, como indica el sentido de la flecha.
CONJUNTO BIEN ORDENADO

Un conjunto est bien ordenado por una relacin de orden, si y solo si est
totalmente ordenado, y adems todo subconjunto no vaco tiene primer
elemento.-
IDEA Y REALIZACION
Prof. LUIS ERNESTO VALDEZ
FIN
Departamento de Matemtica
Instituto de Estudios Superiores de Andalgal
2008 - 2014

Relaciones Binarias

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Relaciones Binarias

Uploaded by

Copyright:

Available Formats

lgebra Moderna Relaciones Binarias

lgebra Moderna Relaciones Binarias

Al conjunto A se lo denomina conjunto de partida y a B

lgebra Moderna Relaciones Binarias

GRFICO DE UNA RELACIN EN DIAGRAMAS DE VENN

lgebra Moderna Relaciones Binarias

GRFICO DE UNA RELACIN EN EL SISTEMA CARTESIANO

lgebra Moderna Relaciones Binarias

GRFICO DE UNA RELACIN EN EL SISTEMA MATRICIAL

lgebra Moderna Relaciones Binarias

lgebra Moderna Relaciones Binarias

lgebra Moderna Relaciones Binarias

lgebra Moderna Relaciones Binarias

(x,y) RAXB y=x2

lgebra Moderna Relaciones Binarias

lgebra Moderna Relaciones Binarias

RELACIONES DEFINIDAS EN UN CONJUNTO

lgebra Moderna Relaciones Binarias

POSIBLES PROPIEDADES DE LAS RELACIONES

La relacin RA2 es reflexiva, solamente, s todos los

Si A = {1,2,3} y (x,y) RA2 x y

Los elementos de A son 1, 2 y 3, y en la relacin estn (1,1) (2,2) y (3,3), o

lgebra Moderna Relaciones Binarias

lgebra Moderna Relaciones Binarias

lgebra Moderna Relaciones Binarias

Si A = {1,2,3} y (x,y) RA2 x < y

En este caso, ningn elemento de A determina pares de componentes

lgebra Moderna Relaciones Binarias

Si A = {1,2,3} y (x,y) RA2 2 x+y

Observando esta relacin que todos los pares tienen pares de

lgebra Moderna Relaciones Binarias

lgebra Moderna Relaciones Binarias

Si A = {1,2,3} y (x,y) RA2 2 x+y y1

Es no simtrica, pues est el (1,3) y no est el (3,1), lo que significa que es

lgebra Moderna Relaciones Binarias

Si A = {1,2,3} y (x,y) RA2 x<y

En esta relacin, todos los

lgebra Moderna Relaciones Binarias

Si A = {1,2,3} y (x,y) RA2 2 x+y

Tomamos dos pares que cumplan con el antecedente de la implicacin:

lgebra Moderna Relaciones Binarias

lgebra Moderna Relaciones Binarias

Si A = {1,2,3} y (x,y) RA2 x+y=3

lgebra Moderna Relaciones Binarias

10. PROPIEDAD ANTISIMTRICA

RA2 es antisimtrica x,y: (x,y)R (y,x)R x=y

Si A = {1,2,3} y (x,y) RA2 xy

En esta relacin, los nicos pares de componente conmutadas son

lgebra Moderna Relaciones Binarias

lgebra Moderna Relaciones Binarias

lgebra Moderna Relaciones Binarias

donde I se llama conjunto de ndices

y el conjunto de ndices es: I = {1,2}

lgebra Moderna Relaciones Binarias

PARTICIN DE UN CONJUNTO NO VACO

lgebra Moderna Relaciones Binarias

En diagrama de Venn se observa la particin:

lgebra Moderna Relaciones Binarias

TEOREMA FUNDAMENTAL DE LAS RELACIONES DE EQUIVALENCIAS

lgebra Moderna Relaciones Binarias

lgebra Moderna Relaciones Binarias

y por ley del silogismo hipottico y definicin de inclusin: Ku Kv (I)

Sea zKv zv vu zu zKu