Relación de orden

Pág.103

2. En A = a, b, c, d, e, f, g ordenado como sigue:

2.1. Hallar maximales; minimales; primer elemento; último elemento;

2.2. Considerar B = c, d, e y hallar cotas superiores e inferiores, ínfimo, mínimo, supremo,
máximo de B

Solución
2.1. Maximales = { a,b} ;
Minimales= {f,g} ;
No tiene primer elemento ni último elemento por tener más de un minimal y más de un
maximal.
2.2. Cotas inferiores = {f }
Cotas superiores de B = {c, a, b}
Ínfimo = f
Supremo = c

Pág.104.

b)

COTA COTA
SUBCONJUNTO INFIMO SUPREMO
INFERIOR SUPERIOR

{1,2} No existe {3,4,5,6,8} No existe 3

{4,6,9} {2} No existe 2 No existe
{4,8} {1,2,3} No existe 3 No existe
 {3,4,5,6} {1,2,3} {5} 3 5
{2.10} No existe No existe No existe No existe

Pág.106

Propiedad

ab ↔ a b=b y a  b=a

Es decir siempre existen el supremo, a  b, y el ínfimo, a  b, entre elementos que están
relacionados.
Por lo tanto para saber si es red alcanza con fijarse solamente si existe el supremo y el ínfimo
entre los elementos que son incomparables.

Ejemplo
1. Determinar si el conjunto con la relación dada es retículo:
1.1 A = a, b, c, d, f

Solución
Los elementos incomparables son a,b y c.Entonces buscamos el ínfimo y supremo entre
ellos para saber si (A,  ) es red.

Inf {a, b}= a  b = d y sup {a, b} = a  b = f

Inf {c, b}= c  b = d y sup {c, b} = c  b = f
Inf {a, c}= a  c = d y sup {a, c} = a  c = f

Como todos tienen ínfimo y supremo (A,  ) es red.

Pág.107
 Solución
Los elementos incomparables son b y c.Entonces buscamos el ínfimo y supremo entre ellos
para saber si (A,  ) es red.

Inf {c, b}= c  b = a y sup {c, b} = c  b = u

Como todos tienen ínfimo y supremo (A,  ) es red.

2. Los siguientes diagramas de Hasse no representan retículos. ¿Por qué?

2.1. A= {a, b, c, d, e, f, g} 2.2. B= {1, 2, 3, 4, 5,6}

2.1. Solución
Los elementos incomparables son b, c, e y f .Entonces buscamos el ínfimo y supremo entre
ellos para saber si (A,  ) es red.

Inf {b, c}= b  c = a y sup {b, c} = b  c = d

Inf {e, f}= e  f = g y sup {e, f} = e  f no existe

Como no existe el supremo entre e y f entonces (A,  ) no es red.