5 Relaciones de Orden

Otro tipo particular de relaciones binarias Diagramas de Hasse Elementos extremos Compatibilidad de órdenes
Relaciones de orden
Matemática Discreta
Dr. Carlos Casanova
1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU
16 de abril de 2020
MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

RBO
Esquema
1 Otro tipo particular de relaciones binarias

Antisimetrı́a
Ejemplos
2 Diagramas de Hasse
3 Elementos extremos
4 Compatibilidad de órdenes

RBO
Una Relación de Orden es una relación binaria reflexiva, antisimétrica y transitiva

(orden amplio).
Las Relaciones de Orden se simbolizan con 4
(A, 4) es una estructura llamada conjunto ordenado.
El orden de los conjuntos numéricos es un caso particular de orden.

RBO
Antisimetrı́a
Antisimetrı́a
Dada una relación R ⊆ A2 , definimos:
R es antisimétrica ≡ ∀x, y ∈ A, xRy ∧ yRx → x = y

Ejemplos:

RBO
Antisimetrı́a
¿Cómo determinar antisimetrı́a?

R es antisimétrica ≡ R ∩ R −1 ⊆ I
Demostración
Sabemos que R ∩ R −1 = {(x, y ) ∈ A2 : xRy ∧ xR −1 y } = {(x, y ) ∈ A2 : xRy ∧ yRx}.
Luego, planteamos
R ∩ R −1 ⊆ I ≡ ∀(x, y ) ∈ A2 , (x, y ) ∈ R ∩ R −1 → (x, y ) ∈ I

Sabemos que (x, y ) ∈ I si y sólo si x = y . Por lo tanto, reemplazando,
∀(x, y ) ∈ A2 , (x, y ) ∈ R ∩ R −1 → (x, y ) ∈ I ≡ ∀x, y ∈ A, xRy ∧ yRx → x = y
Esta última es la definición exacta de antisimetrı́a.

RBO
Antisimetrı́a
Antisimetrı́a
¡Con matrices esto se puede evaluar fácilmente!

RBO
Antisimetrı́a
Antisimetrı́a
¡Con matrices esto se puede evaluar fácilmente!
La conjunción de la matriz con su transpuesta no puede tener 1 en posiciones distintas

a las de la diagonal principal, MR ∧ MRt → MI = MA2

RBO
Ejemplos
Ejemplos
Inclusión de conjuntos ⊆

RBO
Ejemplos
Ejemplos
≤ en cualquier conjunto numérico

RBO
Ejemplos
Ejemplos
Orden lexicográfico en palabras (diccionario)

RBO
Ejemplos
Ejemplos
Orden lexicográfico en palabras (diccionario)
Actividades en un plan

RBO
Ejemplos
Un ejemplo
Sea A = {a, b}, y sea S ⊆ PA2 la relación definida por el predicado X ⊆ Y .

RBO
Ejemplos
Un ejemplo
Sea A = {a, b}, y sea S ⊆ PA2 la relación definida por el predicado X ⊆ Y . Luego,
S = {(∅, ∅), (∅, {a}), (∅, {b}), (∅, {a, b}), ({a}, {a}), ({a}, {a, b}),
({b}, {b}), ({b}, {a, b}), ({a, b}, {a, b})}

RBO
Ejemplos
Un ejemplo
Sea A = {a, b}, y sea S ⊆ PA2 la relación definida por el predicado X ⊆ Y . Luego,
S = {(∅, ∅), (∅, {a}), (∅, {b}), (∅, {a, b}), ({a}, {a}), ({a}, {a, b}),
({b}, {b}), ({b}, {a, b}), ({a, b}, {a, b})}
 
1 1 1 1
 0 1 0 1 
MS = 
 0

0 1 1 
0 0 0 1

RBO
Ejemplos
Otro ejemplo
Sea A = {1, 2, 3, 4}, y sea T ⊆ A2 la relación definida por el predicado x ≤ y .

RBO
Ejemplos
Otro ejemplo
Sea A = {1, 2, 3, 4}, y sea T ⊆ A2 la relación definida por el predicado x ≤ y . Luego,
T = {(1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4),
(3, 3), (3, 4), (4, 4)}

RBO
Ejemplos
Otro ejemplo
Sea A = {1, 2, 3, 4}, y sea T ⊆ A2 la relación definida por el predicado x ≤ y . Luego,
T = {(1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4),
(3, 3), (3, 4), (4, 4)}
 
1 1 1 1
 0 1 1 1 
MT = 
 0

0 1 1 
0 0 0 1

RBO
Esquema

Antisimetrı́a
Ejemplos

RBO
Diagramas de Hasse
Consideremos el digrafo de (P({a, b}), ⊆)

RBO
Diagramas de Hasse
Consideremos el digrafo de (P({a, b}), ⊆)
{a, b}
{a} {b}

RBO
Considerando que este es el digrafo de una relación de orden, hay información que es
redundante.
1 Bucles
2 Transitividades
3 Orientación de los arcos (tomando un criterio)
Si al digrafo de una relación de orden se le quitan estos tres elementos se obtiene un

diagrama de Hasse.

RBO
Diagramas de Hasse
{a, b}
{a} {b}

RBO
Diagramas de Hasse
{a, b}
{a, b}
{a} {b}
{a} {b}
∅
∅

RBO
Comparabilidad
En esta relación de orden

existen dos elementos distintos x e y que no {a, b}
son comparables, esto es a x 64 y ∧ y 64 x
{a} {b}

RBO
Comparabilidad

Pregunta rápida: ¿Cuáles son?
{a} {b}
A) ∅ y {a, b}
B) {a} y {a, b}
C) {b} y ∅ ∅
D) {a} y {b}

RBO
Comparabilidad

Pregunta rápida: ¿Cuáles son?
{a} {b}
A) ∅ y {a, b}
B) {a} y {a, b}
C) {b} y ∅ ∅
D) {a} y {b} X
En este caso se dice
que A está parcialmente ordenado por 4
RBO
Comparabilidad
En un conjunto parcialmente ordenado (A, 4), dos elementos x, y ∈ A son no
comparables si y sólo si x 64 y ∧ y 64 x

RBO
Comparabilidad
Pregunta repaso de Lógica: entonces, ¿qué son dos elementos comparables?

A) Dos elementos x, y ∈ A distintos tales que a 4 b ∨ b 4 a
B) Dos elementos x, y ∈ A distintos tales que a 4 b ∨ b < a
C) Dos elementos x, y ∈ A distintos tales que a 4 b ∧ b 4 a
D) Dos elementos x, y ∈ A distintos tales que a 64 b → b 4 a

RBO
Comparabilidad
Pregunta repaso de Lógica: entonces, ¿qué son dos elementos comparables?

A) Dos elementos x, y ∈ A distintos tales que a 4 b ∨ b 4 a X
B) Dos elementos x, y ∈ A distintos tales que a 4 b ∨ b < a
C) Dos elementos x, y ∈ A distintos tales que a 4 b ∧ b 4 a
D) Dos elementos x, y ∈ A distintos tales que a 64 b → b 4 a X
Cuando todos los elementos son comparables el conjunto queda

totalmente ordenado (orden total o lineal).
RBO
¿Cómo es el Diagrama de Hasse de ({1, 2, 3, 4}, ≤)?

RBO
Para resolver ahora...
Construir los diagramas de Hasse de:

1 A = {1, 2, 3}2 con la relación (x1 , y1 )S(x2 , y2 ) ⇔ x1 < x2 ∨ x1 = x2 ∧ y1 < y2
(orden estricto)
2 {a, des, in, átomo, acéfalo, despiste, desprolijo, desarmado, insı́pido} con la
relación xRy ⇔ x es prefijo de y

RBO
Punto 1
({1, 2, 3}2 , 4lex )

RBO
Punto 2
({a, des, in, átomo, acéfalo, despiste, desprolijo, desarmado, insı́pido}, prefijo de)

RBO
Esquema

Antisimetrı́a
Ejemplos

RBO
Elementos extremos
Existen elementos destacables en un conjunto ordenado (A, 4).

Maximal u ∈ A es maximal ≡ ¬∃x ∈ A, u 4 x ≡ ∀x ∈ A, u 64 x
Máximo u ∈ A es máximo ≡ ∀x ∈ A, x 4 u

RBO
Elementos extremos
Existen elementos destacables en un conjunto ordenado (A, 4).

Maximal u ∈ A es maximal ≡ ¬∃x ∈ A, u 4 x ≡ ∀x ∈ A, u 64 x
Máximo u ∈ A es máximo ≡ ∀x ∈ A, x 4 u
Puede haber varios maximales (no comparables entre sı́). Cuando hay un solo maximal,
recibe el nombre de máximo.

RBO
Ejemplos maximales y máximo

RBO
Elementos extremos
Análogamente...
Minimal l ∈ A es minimal ≡ ¬∃x ∈ A, x 4 l ≡ ∀x ∈ A, x 64 l
Mı́nimo l ∈ A es mı́nimo ≡ ∀x ∈ A, l 4 x

RBO
Elementos extremos
Análogamente...
Minimal l ∈ A es minimal ≡ ¬∃x ∈ A, x 4 l ≡ ∀x ∈ A, x 64 l
Mı́nimo l ∈ A es mı́nimo ≡ ∀x ∈ A, l 4 x
Puede haber varios minimales (no comparables entre sı́). Cuando hay un solo minimal,
recibe el nombre de mı́nimo.

RBO
Ejemplos minimales y mı́nimo

RBO
Buen orden
Un conjunto ordenado (A, 4) está bien ordenado si y sólo si está totalmente ordenado
y cualquier subconjunto no vacı́o de A tiene un elemento mı́nimo.
Todos los conjuntos finitos totalmente ordenados están bien odenados.
Ejemplo infinito: (N, ≤)

RBO
Esquema

Antisimetrı́a
Ejemplos

RBO
Compatibilidad de órdenes
Al
momento de establecer una planificación
(por ejemplo, de una materia)
es necesario definir el orden de los temas.
¿Qué orden
puede seguirse respetando el diagrama
de la derecha? ¿Cuál no podrı́a?
Figura 2: Dependencia de los capı́tulos de Epp

RBO
Sea A un conjunto, R un orden parcial y 4 un orden total, ambos sobre A. Se dice que:
4 es compatible con R ≡ ∀x, y ∈ A, xRy → x 4 y

Coloquialmente podrı́amos decir que 4 es compatible con R si y sólo si 4 es al menos
tan restrictivo como R.

RBO
Es posible formar sistemáticamente un orden total a partir de un orden parcial con el

“algoritmo” de ordenación topológica.
Este procedimiento elimina un minimal de (A, R) y lo convierte en máximo de (A, 4).
Este paso se repite hasta que (A, R) se vuelve vacı́o.

RBO
Ejemplo:

RBO
¿Preguntas?

RBO
¿Preguntas?
¡Muchas gracias por su atención!

RBO

5 Relaciones de Orden

Cargado por

Información del documento

Descripción original:

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

5 Relaciones de Orden

Cargado por

Copyright:

Formatos disponibles

Otro tipo particular de relaciones binarias Diagramas de Hasse Elementos extremos Compatibilidad de órdenes

Dr. Carlos Casanova

1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

1 Otro tipo particular de relaciones binarias

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

Una Relación de Orden es una relación binaria reflexiva, antisimétrica y transitiva

Las Relaciones de Orden se simbolizan con 4

(A, 4) es una estructura llamada conjunto ordenado.

El orden de los conjuntos numéricos es un caso particular de orden.

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

Dada una relación R ⊆ A2 , definimos:

R es antisimétrica ≡ ∀x, y ∈ A, xRy ∧ yRx → x = y

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

¿Cómo determinar antisimetrı́a?

R ∩ R −1 ⊆ I ≡ ∀(x, y ) ∈ A2 , (x, y ) ∈ R ∩ R −1 → (x, y ) ∈ I

∀(x, y ) ∈ A2 , (x, y ) ∈ R ∩ R −1 → (x, y ) ∈ I ≡ ∀x, y ∈ A, xRy ∧ yRx → x = y

Esta última es la definición exacta de antisimetrı́a.

¡Con matrices esto se puede evaluar fácilmente!

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

¡Con matrices esto se puede evaluar fácilmente!

La conjunción de la matriz con su transpuesta no puede tener 1 en posiciones distintas

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

Sea A = {a, b}, y sea S ⊆ PA2 la relación definida por el predicado X ⊆ Y .

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

Sea A = {1, 2, 3, 4}, y sea T ⊆ A2 la relación definida por el predicado x ≤ y .

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

Sea A = {1, 2, 3, 4}, y sea T ⊆ A2 la relación definida por el predicado x ≤ y . Luego,

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

Sea A = {1, 2, 3, 4}, y sea T ⊆ A2 la relación definida por el predicado x ≤ y . Luego,

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

1 Otro tipo particular de relaciones binarias

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

Consideremos el digrafo de (P({a, b}), ⊆)

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

Consideremos el digrafo de (P({a, b}), ⊆)

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

Si al digrafo de una relación de orden se le quitan estos tres elementos se obtiene un

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

En esta relación de orden

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

En esta relación de orden

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

En esta relación de orden

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

Pregunta repaso de Lógica: entonces, ¿qué son dos elementos comparables?

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

Pregunta repaso de Lógica: entonces, ¿qué son dos elementos comparables?

Cuando todos los elementos son comparables el conjunto queda

¿Cómo es el Diagrama de Hasse de ({1, 2, 3, 4}, ≤)?

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

Para resolver ahora...

Construir los diagramas de Hasse de:

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU

MD2020 1.er año Ingenierı́a en Sistemas de Información, UTN–FRCU