DISCRETAS I

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

Relacin de Orden Total

Se dice que la relacin R definida sobre un conjunto A es un
orden total si cumple las propiedades:
Reflexiva
Antisimtrica
Transitiva
Conexin

CONJUNTOS

ORDENADOS

Dra.. Norka Bedregal Alpaca

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

Dra.. Norka Bedregal Alpaca

ORDENADOS
CONJUNTOS

Conjuntos Ordenados

Conjunto Parcialmente Ordenado

Se dice que el conjunto (E, <=) es parcialmente ordenado si <=
cumple con ser un orden parcial
Luego en el conjunto E existen elementos que no son
comparables

Conjunto Totalmente Ordenado

Se dice que el conjunto (E, <=) es totalmente ordenado si
<=cumple con ser un orden total
Es decir E es totalmente ordenado si adems de ser parcialmente
ordenado se cumple que cualquier par de elementos de E son
comparables

CONJUNTOS

ORDENADOS

Dra.. Norka Bedregal Alpaca

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

Dra.. Norka Bedregal Alpaca

Dra.. Norka Bedregal Alpaca

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:

Un camino ascendente es por ejemplo {1, 2, 8, 16 }

2 est relacionado con 20, existe el camino ascendente que los une
3 no est relacionado con 16, no existe un camino ascendente

CONJUNTOS

ORDENADOS

Dra.. Norka Bedregal Alpaca

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

Dra.. Norka Bedregal Alpaca

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

Se puede generalizar a cualquier nmero de ordenes.

Para cada i = 1; 2 ,, n,

(a , a
1

2,

..., an ) <= (b1 , b2, ..., bn ) ai bi i = 1,2,..., n

CONJUNTOS

ORDENADOS

Dra.. Norka Bedregal Alpaca

Orden en Conjuntos
Orden Lexicogrfico
Se define de la siguiente manera.

(a, b)

<= (c, d ) a = c b d

Orden de las funciones:

Considere el conjunto de todas las funciones reales de variable real,
dadas f y g definidas sobre este conjunto:
f <= g

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

Dra.. Norka Bedregal Alpaca

ORDENADOS
CONJUNTOS

Elementos: Maximal y Minimal

Definicin:
Sea (P, <=) un conjunto parcialmente ordenado,
entonces:
Se dice que a es estrictamente menor que b, a < b en P
a <= b

ab

Se dice que b en P es elemento minimal si y slo si no existe c en

P, tal que:
c< b
Se dice que a en P es elemento maximal si y slo si no existe c en
P, tal que:
a < c
Observaciones:
Sea (P,<=) un conjunto ordenado o simplemente un orden.
Un elemento del orden P se dice minimal si no existe ningn
elemento que sea estrictamente menor que l.
Similarmente, un elemento es maximal si no hay elementos
estrictamente mayores que l.

CONJUNTOS

ORDENADOS

Dra.. Norka Bedregal Alpaca

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

Se dice que a en P es elemento mnimo o cero de P si y slo si:

a <= x,

xP

Dra.. Norka Bedregal Alpaca

ORDENADOS
CONJUNTOS

Ejemplos
Ejemplo

Minimales: 1 que es mnimo.

Maximales: 4, 5, 6, 9. No hay mximo.
Ejemplo
En el orden producto sobre el conjunto {a, b, c}

Ejemplos
Ejemplos

CONJUNTOS

ORDENADOS

Dra.. Norka Bedregal Alpaca

Dra.. Norka Bedregal Alpaca

ORDENADOS
CONJUNTOS

Cotas en Conjuntos Ordenados

Definicin:
Sea (P, <=) un conjunto parcialmente ordenado, y sea B P entonces:
Se dice que x en P es cota superior de B si y slo si:

b <= x,

b B

Se dice que y en P es cota inferior de B si y slo si:

y <= b,

b B

La menor de las cotas superiores de B se denomina supremo de

B y se denota:
sup B
La mayor de las cotas inferiores de B se denomina nfimo de B y
se denota:
inf B

CONJUNTOS

ORDENADOS

Dra.. Norka Bedregal Alpaca

Cotas: Superior e Inferior

Ejemplo

No hay mnimo, minimales: a,b

Mximo i
B = {c, d, e}

cotas inferiores: a,b

cotas superiores: f, g, h, i
supB = f
inf B = c
Dra. Norka Bedregal Alpaca

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

Dra. Norka Bedregal Alpaca

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

Dra. Norka Bedregal Alpaca

10

CONJUNTOS

ORDENADOS

Latices o Retculas
Ltice producto:
Sean (L1 , 1 ), (L2 , 2 )
define como:

( L, )

ltices, entonces la ltice producto se

donde L = L1 x L2 , (a, b ) (c, d ) a 1 c b 2 d

( L, )

es una ltice pues

(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

Dra. Norka Bedregal Alpaca

Dra. Norka Bedregal Alpaca

11

En una latis el supremo y el nfimo se pueden definir como operaciones

que satisfacen las siguientes propiedades:

CONJUNTOS

ORDENADOS

Latices o Retculas

Dra. Norka Bedregal Alpaca

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

Dra. Norka Bedregal Alpaca

12

ORDENADOS
CONJUNTOS

Ltices Isomorfas
Definicin:
Sean (L1 , 1 ), (L2 , 2 )

f : L1 L2
ltices, y sea una funcin biyectiva

f es un isomorfismo entre las ltices dadas si:

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

Dra. Norka Bedregal Alpaca

CONJUNTOS

ORDENADOS

Ltices Isomorfas
Observaciones:
Sea

(L, )

una ltice, entonces se cumple:

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)

Dra. Norka Bedregal Alpaca

13

Esto significa que dos ltices son isomorfas si el diagrama de Hasse de

una de ellas se obtiene reetiquetando los vrtices de la otra

Ejemplo

CONJUNTOS

ORDENADOS

Ltices Isomorfas

Dra. Norka Bedregal Alpaca

CONJUNTOS

ORDENADOS

Ltices Distributivas
Definicin:
Una latis es distributiva si cumple las siguientes propiedades:

Ejemplo
Las siguientes latices son distributivas:

Dra. Norka Bedregal Alpaca

14

ORDENADOS
CONJUNTOS

Ltices Acotadas
No todas las latices son acotadas

Ejemplo
En ZxZ con la relacin de orden:

Las operaciones de supremo e nfimo:

Ltices Acotadas

CONJUNTOS

ORDENADOS

Dra. Norka Bedregal Alpaca

Dra. Norka Bedregal Alpaca

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:

Una latis es complementada si todo elemento posee complemento

Dra. Norka Bedregal Alpaca

Teorema:
Sea E una latis acotada, entonces:

CONJUNTOS

ORDENADOS

Ltices Complementadas

Dra. Norka Bedregal Alpaca

16

CONJUNTOS

ORDENADOS

Ltices Complementadas
Ejemplos
La latis D20 no es complementada, 2 y 10 no tienen complemento

Las siguientes latices son complementadas

Dra. Norka Bedregal Alpaca

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

Dra. Norka Bedregal Alpaca

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

Dra. Norka Bedregal Alpaca

Ejercicio 1.Estudia en cada caso si la relacin dada es o no un orden sobre el

conjunto dado.

CONJUNTOS

ORDENADOS

Ejercicios Propuestos

Dra. Norka Bedregal Alpaca

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

Dra. Norka Bedregal Alpaca

Ejercicio 6.Estudia los elementos extremos y extremales en los siguientes

conjuntos de nmeros, ordenados por la relacin de divisibilidad.
a)
b)
c)
d)

{1, 2, 3, 4, 6, 8, 12, 24}

{2, 3, 4, 6, 8, 12, 24}
{1, 2, 3, 4, 6, 8, 12}
{2, 3, 4, 6, 8, 12}

CONJUNTOS

ORDENADOS

Ejercicios Propuestos

Dra. Norka Bedregal Alpaca

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

Dra. Norka Bedregal Alpaca

CONJUNTOS

FIN

Dra. Norka Bedregal Alpaca

20