Documente Academic
Documente Profesional
Documente Cultură
CONJUNTOS
ORDENADOS
ESTRUCTURAS
Estructuras
Discretas I
Conjuntos
Ordenados
Dra. Norka Bedregal Alpaca
Conjuntos Ordenados
Los nmeros naturales, enteros, reales, fraccionarios, tienen definido
un orden entre sus elementos.
Dado un conjunto cualquiera, sobre el que se define una relacin
binaria, si la relacin cumple ciertas propiedades, entonces se puede
establecer un orden entre los elementos de ese conjunto
Propiedad antisimtrica:
Sea R una relacin en un conjunto de X.
Se dice que se cumple la propiedad antisimtrica cuando:
Si
x R y yRx x = y
Propiedad de conexin:
Sea R una relacin en un conjunto de X.
Se dice que se cumple la propiedad de conexin cuando:
x, y X x <= y
y <= x
Dra.. Norka Bedregal Alpaca
ORDENADOS
CONJUNTOS
Relaciones de Orden
Relacin de Orden Parcial
Se dice que la relacin R definida sobre un conjunto A es un
orden parcial si cumple las propiedades:
Reflexiva
Antisimtrica
Transitiva
CONJUNTOS
ORDENADOS
Elementos Comparables
Notacin:
Se acostumbra denotar una relacin de orden R por el smbolo
<=
Luego si x R y se usar la notacin x <= y que se lee x
precede a y o x es menor o igual a y
La notacin y >= x equivale a x <= y
Elementos comparables:
Sea (P, <=) un conjunto ordenado, se dice que dos elementos a y b
son comparables si se cumple:
a <= b
b <= a
ORDENADOS
CONJUNTOS
Conjuntos Ordenados
CONJUNTOS
ORDENADOS
Conjuntos Ordenados
Observaciones:
o Por simplicidad cuando se tiene una relacin de orden parcial, se le
refiere simplemente como orden
o Cuando la relacin es de orden total se le referencia como orden
total u orden lineal
Ejemplos:
Los conjuntos de nmeros N, Z, Q y R con su orden habitual, es
decir, magnitud, son conjuntos totalmente ordenados.
El conjunto N con la relacin divisor de es parcialmente
ordenado
Luego x | y si y slo si x divide a y; es un orden.
La notacin para el conjunto ordenado es: (N, | )
El conjunto de los divisores de un entero positivo n, ordenados como
en el ejemplo anterior por la relacin de divisibilidad, es tambin
parcialmente ordenado.
Dra.. Norka Bedregal Alpaca
ORDENADOS
CONJUNTOS
Diagrama de Hasse
Diagrama de Hasse
Si E es finito, en la representacin grfica de la relacin se
obtiene un diagrama de Hasse si:
Se evita el tener que poner arcos dirigidos, colocando los
elementos que preceden a otros, en escalones inferiores unidos
por una sucesin ascendente de aristas.
No se grafican las reflexividades
No se grafican las transitividades
Diagrama de Hasse
Ejemplos:
({1, 2, 3, 4, 5, 6, 9}, |) es parcialmente ordenado
({1, 2, 3, 4, 5, 6,9}, menor o igual ) es totalmente ordenado
Sus respectivos diagramas de Hasse son:
CONJUNTOS
ORDENADOS
ORDENADOS
CONJUNTOS
Diagrama de Hasse
Ejemplo:
Considere el conjunto A = {1, 2, 3, 5, 6, 8, 10, 15, 16, 20, 30 } y la
relacin es divisor de
El Diagrama de Hasse asociado es:
CONJUNTOS
ORDENADOS
Diagrama de Hasse
Dada una relacin de orden sobre un conjunto se puede pasar de la
representacin de grafo a la representacin de diagrama de Hasse y
viceversa
Diagrama de Hasse
Grafo
Grafo
Diagrama de Hasse
ORDENADOS
CONJUNTOS
Orden en Conjuntos
Orden de Conjuntos
Si X es un conjunto y P ( X ) , donde ( X ) es el conjunto de
todos los subconjuntos de X, entonces
(P, ) es un orden.
Se le llama orden de conjuntos.
Orden producto:
Sobre Z x Z, el conjunto de los pares ordenados de nmeros
enteros, se define el orden producto
(a, b )
<= (c, d ) a c b d
(a , a
1
2,
CONJUNTOS
ORDENADOS
Orden en Conjuntos
Orden Lexicogrfico
Se define de la siguiente manera.
(a, b)
<= (c, d ) a = c b d
f (x ) g ( x), x IR
Orden Inverso:
Considere el conjunto ordenado (P,<=), luego el conjunto (P, <=*)
tambin es un conjunto ordenado, donde:
x <=* y
y <= x
ORDENADOS
CONJUNTOS
ab
CONJUNTOS
ORDENADOS
Elementos: Mximo y
Mnimo
Es importante no confundir elementos minimales (maximales) con
el mnimo (mximo) elemento de P.
Definicin:
Sea (P, <=) un conjunto parcialmente ordenado, entonces:
Se dice que b en P es elemento mximo o unidad de P si y slo si:
x <= b,
xP
a <= x,
xP
ORDENADOS
CONJUNTOS
Ejemplos
Ejemplo
Ejemplos
Ejemplos
CONJUNTOS
ORDENADOS
ORDENADOS
CONJUNTOS
b <= x,
b B
y <= b,
b B
CONJUNTOS
ORDENADOS
ORDENADOS
CONJUNTOS
Supremo e nfimo
Observaciones
El supremo o nfimo de B, si existe, es nico
Si B = {a,b} entonces se acostumbra usar la notacin:
sup B : a b
inf B : a b
Ejemplo
B = {d , e}
d e= f;
d e = c
B = {a, b}
a b = c;
a b = no existe
B = {d , f }
d f = f;
d f =d
CONJUNTOS
ORDENADOS
Ltices o Retculas
Definicin:
Sea (L, <=) un conjunto parcialmente ordenado, L con la relacin de
orden <=es una ltice o retcula, si se cumple que todo par de
elementos de L tiene supremo e nfimo
Ejemplo
Sea U un conjunto no vaco y (U )
entonces:
el conjunto de partes de U ,
((U ), )
es una ltice, ya que:
A, B (U )
A B = A B;
A B = A B
10
CONJUNTOS
ORDENADOS
Latices o Retculas
Ltice producto:
Sean (L1 , 1 ), (L2 , 2 )
define como:
( L, )
( L, )
(a, b ) (c, d ) = (a 1 c , b 2 d )
(a, b ) (c, d ) = (a 1 c , b 2 d )
Ejemplo
Sea Di el conjunto de los divisores de i donde se define la relacin es
divisor de, para i un nmero natural.
Encuentre la ltice D = D2 x D8
Latices o Retculas
Solucin:
D
D2
D8
CONJUNTOS
ORDENADOS
11
CONJUNTOS
ORDENADOS
Latices o Retculas
CONJUNTOS
ORDENADOS
Latices o Retculas
Definicin:
Sea (L, <=) una ltice, se dice que S subconjunto no vaco de L, es
una subltice si se cumple:
ab S
y a b S,
a, b S
Ejemplo
Ltice
Subltice
12
ORDENADOS
CONJUNTOS
Ltices Isomorfas
Definicin:
Sean (L1 , 1 ), (L2 , 2 )
f : L1 L2
ltices, y sea una funcin biyectiva
f (a 1 b ) = f (a ) 2 f (b )
f (a 1 b ) = f (a ) 2 f (b )
Luego se dice que las ltices
se denota por:
(L1 , 1 ), (L2 , 2 )
son isomorfas y
L1 L2
CONJUNTOS
ORDENADOS
Ltices Isomorfas
Observaciones:
Sea
(L, )
a b ab =b
Dadas (L1 , 1 ), (L2 , 2 )
entre las ltices
Si
y ab = a
ltices, y f : L1 L2 es un isomorfismo
a 1 b f ( a) 2 f (b)
Ya que
a 1 b a 1 b = b
f ( a 1 b) = f (b)
y a 1 b = a
f ( a 1 b) = f (a )
f ( a ) 2 f (b)
13
Ejemplo
CONJUNTOS
ORDENADOS
Ltices Isomorfas
CONJUNTOS
ORDENADOS
Ltices Distributivas
Definicin:
Una latis es distributiva si cumple las siguientes propiedades:
Ejemplo
Las siguientes latices son distributivas:
14
ORDENADOS
CONJUNTOS
Ltices Acotadas
No todas las latices son acotadas
Ejemplo
En ZxZ con la relacin de orden:
Ltices Acotadas
CONJUNTOS
ORDENADOS
15
ORDENADOS
CONJUNTOS
Ltices Complementadas
Definicin:
Sea una latis acotada, con elemento mnimo m y elemento mximo M
Se dice que el elemento a posee complemento si existe un elemento a
tal que:
Teorema:
Sea E una latis acotada, entonces:
CONJUNTOS
ORDENADOS
Ltices Complementadas
16
CONJUNTOS
ORDENADOS
Ltices Complementadas
Ejemplos
La latis D20 no es complementada, 2 y 10 no tienen complemento
CONJUNTOS
ORDENADOS
Ltices Booleanas
Ejercicio
Determine si D30 es una latis complementada
Definicin
Una latis distributiva y complementada recibe el nombre de latis de
Boole o Algebra de Boole
17
CONJUNTOS
ORDENADOS
Ltices Booleanas
Ejemplos
La latis D20, es distributiva, no es complementada por tanto no es
lgebra de Boole
El conjunto {0, 1} con las operaciones booleanas y el
complemento booleano es una latis de Boole
El conjunto potencia de {a, b, c} con la operacin de inclusin de
conjuntos es una latis de Boole
CONJUNTOS
ORDENADOS
Ejercicios Propuestos
18
CONJUNTOS
ORDENADOS
Ejercicios Propuestos
Ejercicio 2.Demuestra que el orden de inclusin en P(A) solo es lineal cuando A
es vaco o unitario.
Ejercicio 3.Dibuja el diagrama de Hasse de P({a, b, c, d}).
Ejercicio 4.Sea (A,*) un conjunto ordenado y finito. Demuestra que si * es un
orden total, entonces (A,*) es un conjunto bien ordenado
Ejercicio 5.Dibuja diagramas de Hasse que representen los siguientes
conjuntos ordenados
CONJUNTOS
ORDENADOS
Ejercicios Propuestos
19
Ejercicio 7.Razona en cada uno de los casos siguientes si se tiene una latice,
tomando como orden la relacin de inclusin.
CONJUNTOS
ORDENADOS
Ejercicios Propuestos
ORDENADOS
CONJUNTOS
FIN
20