Apunte Relaciones de Orden - Matemática Discreta
Apunte Relaciones de Orden - Matemática Discreta
Apunte Relaciones de Orden - Matemática Discreta
UNIDAD 5.1
R : A A es de ORDEN si es ANTISIMETRICA
TRANSITIVA
{1} {1,2}
{2} {1,3}
{1,2,3}
{3} {2,3}
{1} {1,2}
{2} {1,3}
{1,2,3}
{3} {2,3}
DIAGRAMA DE HASSE:
{1,2,3}
Ejercicio:
a R b b = a k con k Z
Solución:
Entonces podemos decir que ( N ; ) está ordenado
8
Hagamos el diagrama
de Hasse de (A ; ) :
10 4 6 9
5 2 3 7
1
Ejemplo 2: Consideremos el conjunto D18 = { x N / x 18 }
18
Y el diagrama de Hasse de ( D18 ; ) es:
9 6
3 2
En general: si n N, se define: Dn = { x N / x n }
( Dn ; ) es un conjunto ordenado.
Conjunto Totalmente Ordenado
Sea ( A ; )
A está totalmente
x,yA:( x y y x )
ordenado
Observaciones:
a) Totalmente ordenado lo abreviamos tto.
b) El Hasse de un conjunto tto. es una cadena.
c) También se dice Orden Total u Orden Lineal.
d) Si hay elementos que no cumplen con la definición de tto. se
dicen incomparables.
Sea ( A ; ) Sea R : A A / x R y y x
Ejemplos:
ORDEN USUAL DEL PRODUCTO
(x ; y) R (z ; t) x 1 z y 2 t
( 0 ; c) ( 1 ; b)
b
( 0 ; b) ( 1 ; a)
0
( 0 ; a)
a
ELEMENTOS NOTABLES de un conjunto ordenado
Sea ( A ; )
m A es maximal de A x A : m xx=m
m A es minimal de A x A : x mx=m
MAXIMALES
MINIMALES
¿Qué es un átomo?
m A es átomo de A x A : ( x m x = m x=p ) m p
8
Ejemplo:
Sea A = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 } 10 4 6 9
con la relación “ divide”
PRIMER ELEMENTO 1
Sea ( A ; )
8
Ejemplo:
A = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 }
10 4 6 9
con la relación “ divide”
s A es cota superior de B x B: x s
i A es cota inferior de B x B: i x
B
b
e f
CONJUNTO
MINORANTE CONJUNTO
MAYORANTE
a d g
c h i
INFIMO SUPREMO
Sea ( A = { a, b, c, d, e, f, g, h } ; )
Sabiendo que:
los minimales de A son c , d y h
los maximales de A son e y g
el supremo entre c y d es a
las cotas superiores de { h , a } son f y e
Halla B A que sea un buen orden con la mayor cantidad de elementos
SOLUCION: Una posibilidad es:
b g
d
e
c a
f
h
El subconjunto bien ordenado puede ser: { c, a, f, e }
Ejemplo 3:
3n
Sea ( R; ) y el subconjunto A = { x/ x = con n N}
n 1
3 9 12 5
A= { ,2, , , , } = {1.5 , 2 , 2.25 , 2.4 , 2.5 , }
2 4 5 2
lím 3n
=3
n n 1
SOLUCION:
El conjunto minorante de X es:
(3;3)
{ (1;1), (1;3), (2;3) (2;1), (3;1), (3;3) }
Ínfimo de X es: (3;3) (2;3) (3;1)
Mínimo de X: (3;3)
(1;3) (2;1)
El conjunto mayorante de X es:
{ (x;y) NXN / x 15 y = 18 • k con k Z } (1;1)
Supremo de X: (15;18)
X no tiene máximo.