Documente Academic
Documente Profesional
Documente Cultură
Relaciones de Orden
Ejm.: A={0,1,2,3,4,5,6}
R={(x,y) A*A / (x-y) es divisible por 3}
R= {(0,0), (0,3), (0,6), (1,1), (1,4), (2,2), (2,5), (3,0), (3,3), (3,6),
(4,1),(4,4), (5,2), (5,5), (6,0), (6,3), (6,6)}
Relaciones de Equivalencia
R={(x,y) A*A / (x-y) es divisible por 3}
El grfico de R ser:
0 3
Observar los 3 grupos que se
6 forman, en cada uno de ellos,
los elementos estn totalmente
1 4
relacionados.
2 5
Estos grupos se denominan
bloques de particin, aqu
[0]={x A / (x-0) es divisible por 3}={0,3,6} hay 3 bloques de particin:
[1]={x A / (x-1) es divisible por 3}={1,4} {0,3,6},{1,4} y {2,5}
[2]={x A / (x-2) es divisible por 3}={2,5}
[3]={x A / (x-3) es divisible por 3}={0,3,6}=[0]
[4]={1,4} = [1]
[5]={2,5} = [2]
[6]= [3] = [0]
A/R = {[0], [1], [2]} = {{0,3,6},{1,4},{2,5}}= CONJUNTO COCIENTE
Relaciones de Equivalencia
Teorema: Sea R una relacin de equivalencia en A, con a, b A, entonces:
[a] = [b] a R b
[a] [b] [a][b] =
Teorema:
Concordancia entre Relaciones de equivalencia y Particiones
Dada una relacin de equivalencia R en A, entonces,
el conjunto cociente A/R es una particin de A.
Dada una particin P de A, entonces se puede formar
una relacin de equivalencia R, definida por:
x R y Ai P, tal que: xAi yAi
Relaciones de Orden
Una relacin R en A, es de orden parcial, si R es reflexiva,
antisimtrica y transitiva (RAT).
Se dice entonces que, el conjunto A es un conjunto
parcialmente ordenado, y se denota por:
(A,R) (A, ) A (Observar que es lo mismo que R)
R-1 tambin es un orden parcial llamado el dual del orden
parcial R
Si a y b son elementos de (A, ), se dice que:
a<b si (a b y a b)
a y b son comparables si: ab ba
Si cada par de elementos de A son comparables, entonces, A es
un conjunto totalmente ordenado.
Relaciones de Orden
Ejm.: A es el conjunto de todos los subconjuntos del conjunto S
, la relacin R de inclusin de conjuntos, es una
relacin de orden parcial:
Ejm: S= {1,2} A={, {1}, {2}, {1,2}}
Relaciones de Orden
Ejm.: Sea A= Z+ , y sea R la relacin :
a b (b-a) es un nmero natural
Obsrvese que cualquier par de nmeros a y b, cumplen, o
bien a b o bien b a
Luego cada par de nmeros a y b son comparables, por lo
tanto, esta relacin es un orden total, o A es un conjunto
totalmente ordenado.
La relacin de divisibilidad R, definida por:
a R b a | b a es divisor de b
R si es una relacin de orden (reflexiva antisimetrica y
transitiva). Es una relacin de orden parcial.
R no es un orden total, ya que no todas las parejas de nmeros
son comparables, por ejemplo, 3 y 4 no son comparables, ya
que no cumplen ni 3 | 4 , ni 4 | 3
El dual de R (es divisor de), R-1 (es mltiplo de) tambin es un
orden parcial
Diagramas de Hasse
Son diagramas simplificados para los rdenes parciales.
Se obtiene a partir de los digrafos:
Borrando los lazos
Borrando las aristas implicadas por la propiedad transitiva
Se dibujan las aristas apuntando hacia arriba (se omiten las flechas)
Los crculos de los nodos ahora son puntos
Ejm: Sea A= D6 = conjunto de divisores positivos de 6 = {1,2,3,6}
Sea R la relacin de divisibilidad en D6
6
6
2 3
2 3
1 1
Diagramas de Hasse
Ejm: Sea A= D18 = conjunto de Ejm: Sea A= {1,2,3,4,5}
divisores positivos de 18 = Sea R =
{1,2,3,6,9,18} a b (b-a) es un nmero natural
Sea R = | , la relacin de
divisibilidad en D18 5
4
18 18
3
9 6 2
6 9
1
2 3 2 3
Obsrvese que R es un orden total
1 1
Diagramas de Hasse
Ejm: (A, | ) Ejm: (A, | )
A= D30 = {1,2,3,5,6,10,15,30} A= D24 = {1,2,3,4,6,8,12,24}
24
30
8 12
10 6 15 4 6
2 5 3 2 3
1 1
Orden parcial producto
Sean (A1, 1) y (A2, 2) 2 conjuntos parcialmente ordenados, entonces:
(A1x A2 , ) es un conjunto parcialmente ordenado, es el orden parcial
producto, y : (a1,a2) (b1,b2) (a1 1 b1) y (a2 2 b2)
Por ejm.: (2,b)
2 b
A1 A2 A1x A2 (2,a) (1,b)
1 a
(1,a)
4 (b,4)
b
A1 A2 2 3 A1x A2
a (b,2) (a,4) (b,3)
(a,1)
Puntos extremos
Sea (A, ) un conjunto parcialmente ordenado:
Maximal y minimal de A:
a A es un elemento maximal de A, si no hay c A / a < c
{No existe un c A , mayor que a}
a A es un elemento minimal de A, si no hay c A / c < a
{No existe un c A , menor que a}
Teorema: Todo conjunto parcialmente ordenado no vaco y finito, tiene al
menos un maximal y al menos un minimal.
Mximo y mnimo de A:
a A es el mximo de A, si: ( x a x A)
a A es el mnimo de A, si: ( a x x A)
Teorema: Todo conjunto parcialmente ordenado, tiene a lo mucho un
mximo, y a lo mucho un mnimo.
Si existe mximo se denota por I (elemento unidad)
Si existe mnimo se denota por 0 (elemento cero)
Cota superior e inferior: Dado (A, ), y dado B, un subconjunto de A:
a A es una cota superior de B, si: x a x B
a A es una cota inferior de B, si: a x x B
Puntos extremos
Supremo e nfimo: Dado (A, ), y dado B, un subconjunto de A:
a A es el supremo de B (mnima cota superior de B), si:
siendo a una cota superior de B, y
siendo c una cota superior de B,
entonces: ac
a A es el nfimo de B (mxima cota inferior de B), si:
siendo a una cota inferior de B, y
siendo c una cota inferior de B,
entonces: ca
Teorema: B tiene a lo mucho un supremo, y a lo mucho un nfimo.
Ejm: a
maximal de A: a Siendo B= {c,d,e} :
minimal de A: g, h cota superior: c,a
b c mximo de A: a cota inferior: g
d e f mnimo de A: No existe supremo: c
nfimo: g
g h Hallar con B={b,c}, luego con B={c,f} y con B={b,c,d}
Puntos extremos
Ejm:
maximal de A: a, d Siendo B= {b, c, f} :
a minimal de A: h, j cota superior: a
mximo de A: No existe cota inferior: f, h
b c d mnimo de A: No existe supremo: a
nfimo: f
e f g