Clase 4
Clase 4
Clase 4
CLASE N°4
▪ Relación de orden
▪ Diagrama de Hasse
▪ Elementos notables
▪ Orden producto
Para todas las clases contamos con la ayuda del sitio de la cátedra
http://discretaunlam.net.ar donde encontrarás videos, ejercicios, explicaciones,
autoevaluaciones de todos los temas de Matemática Discreta.
1
Relación de orden
Cualquier ejemplo en el que ordenemos elementos se tratará casi seguro de una
relación de orden. El orden de los números reales o el alfabético de las letras lo
son. Con criterios muy claros
En las relaciones de orden que estudiaremos. se suele utilizar el símbolo 𝛼 (letra
griega alfa). Es decir, que en lugar de escribir 1ℛ2, o que (1, 2) ∈ ℛ, pondremos 1𝛼2
indicando la relación (orden) entre dichos elementos. Nosotros trabajaremos
especialmente con relaciones de orden amplio cuya definición es la siguiente:
Definición
El par (𝐴, 𝛼) formado por un conjunto A no vacío y una relación de orden amplio 𝛼
definida sobre él, se llama conjunto ordenado.
Ejercicio resuelto
En el conjunto (𝐴 = {1, 2, 4, 5, 6}, |). ¿Qué elementos son comparables con 4? ¿Y con
1? ¿Hay algún elemento que sea comparable con todos los demás?
Respuestas:
Con el 4 son comparables el 1, el 2 y el 4 ya que 1|4; 2|4 y 4|4
Con el 1 son comparables todos ya que 1 es divisor del 1, 2, 4, 5, 6
2
Cuando en el conjunto A, ordenado con (𝐴, 𝛼), dos elementos cualesquiera son
siempre comparables, se dice que 𝛼 es un orden total. En caso contrario se dice
que 𝛼 es un orden parcial.
Por ejemplo (𝑃(𝐴), ⊆) con 𝐴 = {1, 2} es un orden parcial ya que {1} no está incluido
en {2} y {2} no está incluido en {1}. Por lo tanto, no son comparables.
Dado un conjunto A diremos que está ordenado si en él hay definida una relación
de orden amplio. Dicho conjunto estará parcial o totalmente ordenado según que
la relación definida sea parcial o total.
Orden parcial
Una relación de orden amplio es parcial, si algunos elementos del conjunto no son
comparables entre sí. Por ejemplo: la inclusión de conjuntos ⊆ , en el conjunto de
partes P(A) es un orden parcial
Orden total
Una relación de orden amplio es un orden total si todos los elementos del conjunto
son comparables siendo su diagrama de Hasse lineal. Es decir, ∀𝑎, 𝑏 ∈ 𝐴: 𝑎𝛼𝑏 ∨ 𝑏𝛼𝑎
Por ejemplo: la relación “menor o igual que”, ≤, es una relación de orden total.
Ejemplos
3
2) En ℕ se define la siguiente relación: 𝑎𝛼𝑏 ⇔ existe 𝑘 ∈ ℕ tal que 𝑎 ⋅ 𝑘 = 𝑏
Verifica que es una relación reflexiva, antisimétrica y transitiva, es un orden.
El conjunto (ℕ, 𝛼) está ordenado, pero no totalmente ordenado.
DIAGRAMA DE HASSE
Ejemplos
{1, 2}
{1} {2}
{𝑥, 𝑦, 𝑧}
4
Para tener en cuenta
30
6 10 15
2 3 5
18
6 9
2 3
Ejercicio resuelto
Resolución:
(a) Para probar que (𝐴, ≤) está ordenado hay que verificar las propiedades:
reflexiva; antisimétrica y transitiva.
𝛼 es reflexiva ya que ∀𝑥 ∈ 𝐴: 𝑥 ≤ 𝑥 ⇒ (𝑥, 𝑥) ∈ 𝛼
𝛼 es antisimétrica ya que ∀𝑥, 𝑦 ∈ 𝐴: (𝑥, 𝑦) ∈ 𝛼 ∧ (𝑦, 𝑥) ∈ 𝛼 ⇒ 𝑥 ≤ 𝑦 ∧ 𝑦 ≤ 𝑥 ⇒ 𝑥 = 𝑦
𝛼 es transitiva ya que ∀𝑥, 𝑦, 𝑧 ∈ 𝐴: (𝑥, 𝑦) ∈ 𝛼 ∧ (𝑦, 𝑧) ∈ 𝛼 ⇒ 𝑥 ≤ 𝑦 ∧ 𝑦 ≤ 𝑧 ⇒ 𝑥 ≤ 𝑦
⇒ (𝑥, 𝑧) ∈ 𝛼
5
Por lo tanto (𝐴, ≤) es un conjunto ordenado.
0 2 5 10 11 15
ORDEN PRODUCTO
(𝑎1 , 𝑏1 ) (𝑎2 , 𝑏2 ) ⟺ 𝑎1 1 𝑎2 ∧ 𝑏1 2 𝑏2
Ejemplos
En el conjunto producto 𝐴 × 𝐵 = {(0; 1), (0; 2), (0; 3), (0; 6), (1; 1), (1; 2), (1; 3), (1; 6)}
se define un orden de la siguiente manera: (𝑎1 , 𝑏1 ) (𝑎2 , 𝑏2 ) ⟺ 𝑎1 ≤ 𝑎2 ∧ 𝑏1 | 𝑏2
cuyo diagrama de Hasse es el siguiente:
(1, 6)
(0, 1)
Su diagrama de Hasse:
6
(𝑎, 1) (𝑎, 2) (𝑎, 4)
(#,1) (𝑎, 8)
(#,2) (#,4) (#,8)
Análogamente:
7
▪ 𝑐 ∈ 𝐴 es cota inferior de B si c precede a todos los elementos de B.
𝑐 ∈ 𝐴 es cota inferior de B, si 𝑐 𝑏 para todo 𝑏 ∈ 𝐵.
Observaciones
Ejemplos
Maximales de 𝐴 = {1, 4}
Para 𝑩 = {𝟓, 𝟔, 𝟑}
Minimales de 𝐴 = {0, 9} Cotas sup.= {3, 1}; supremo
=3
Máximo de A: No existe Cotas inf. = {0}; ínfimo =
0
Mínimo de A: No existe
Para 𝑩 = {𝟓, 𝟔}
Cotas superiores = {2, 3, 1}; no existe supremo
Cotas inferiores = {0}; ínfimo = 0
Ejercicios resueltos
8
Resolución:
(a) Maximales = {1, 2}; Minimales = {8, 6}. No tiene máximo ni mínimo
(b) Listamos los subconjuntos 𝐴𝑖 : 𝐴1 = {8, 7, 5}; 𝐴2 = {7, 5, 3}; 𝐴3 = {5, 3, 2}; 𝐴4 =
{5, 3, 1}; 𝐴5 = {6, 5, 3}; 𝐴6 = {6, 4, 2}.
Resolución:
(a) Maximales = {𝑎, 𝑏}. Minimales = {𝑓, 𝑔}. No tiene primer elemento ni último
elemento por tener más de un minimal y más de un maximal.
(b) Cotas inferiores = {𝑓}. {𝐶𝑜𝑡𝑎𝑠 𝑠𝑢𝑝𝑒𝑟𝑖𝑜𝑟𝑒𝑠 𝑑𝑒 𝐵} = {𝑐, 𝑎, 𝑏}. Ínfimo = 𝑓. Supremo =
𝑐
b) Completar la tabla:
COTA COTA
SUBCONJUNTO ÍNFIMO SUPREMO
INFERIOR SUPERIOR
{1, 2}
{4, 6, 9}
{4, 8}
{3, 4, 5, 6}
{2, 10}
9
Resolución:
(a) Minimales: {1, 2, 10} / Maximales: {5, 8, 10} / No tiene máximo ni mínimo.
Autoevaluación
10
11