Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Funciones Relaciones 4
Funciones Relaciones 4
Sea R una relacin en un conjunto A, y sea R una relacin de orden parcial. El conjunto A con R se llama conjunto parcialmente ordenado y se denota como (A,R). Dada una relacin de orden parcial, esta puede representarse mediante un grafo dirigido de orden parcial
c b
DIAGRAMAS DE HASSE
1. 2. 3.
Los lazos de cada nodo pueden ser eliminados para simplificar el grafo. Si se eliminan las aristas que representan la propiedad transitiva. Las flechas pueden omitirse y los crculos se reemplacen por punto.
El diagrama resultante de un orden parcial, mucho ms simple que su grafo dirigido, se llamar diagrama de Hasse de un orden parcial o de un conjunto parcialmente ordenado.
c b b 1
c b
c
b
a
a
Diagrama de Hasse
DIAGRAMA DE HASSE
Es una representacin grfica simplificada de un conjunto parcialmente ordenado finito. Esto se consigue eliminando informacin redundante. Para ello se dibuja una arista ascendente entre dos elementos solo si uno sigue a otro sin haber otros elementos intermedios. Ejemplo Sea S={a,b,c} y sea R el conjunto potencia de S, es decir R={ ,{a},{b},{c},{a,b},{a,c},{b,c},{a,b,c}}. Dibujar el diagrama de Hasse del conjunto parcialmente ordenado con el orden .
{a,b,c}
{b,c} {a,b}
{a,c}
{c} {b}
{a}
sea el conjunto A = {1, 2, 3, 4, 5, 6, 10, 12, 15, 20, 30, 60} (todos los divisores de 60). Este conjunto est ordenado parcialmente por la relacin de divisibilidad. Diagrama de Hasse:
La relacin "< " en Z + no es un orden parcial porque no es reflexiva. Las ordenes parciales mas comunes son las relaciones >= y <= en Z y N .
1. 2.
Dibujar el diagrama de Hasse de la relacin a>=b (en orden alfabtico), donde a,b A, A={a,b,c,d,e,f} Sea A={1,2,3,4,12}, Examine el orden parcial de la divisibilidad en A (a<=b si y slo si b/a). Dibuja el diagrama de Hasse.
EJERCICIOS
12
4 3
Elemento Maximal
Elemento Minimal Elemento Mximo
Elemento Mnimo
Mnima Cota Superior Mxima Cota Inferior
ELEMENTO MAXIMAL
Sea (A,R) un conjunto parcialmente ordenado. Un elemento x A se llama elemento maximal de A si para todo a A, a x entonces xRa.
a3
a1
a2
b1
b2
b3
Ejemplo 1 : sea A el conjunto parcialmente ordenado de todos los nmeros reales no negativos con el orden parcial <=, en este caso no existen elementos maximales.
ELEMENTO MINIMAL
a1
Ejemplo 1: sea A el conjunto parcialmente ordenado de todos los nmeros reales no negativos con el orden parcial <=, en este caso el cero es el elemento minimal.
ELEMENTO MXIMO
Sea (A,R) un conjunto parcialmente ordenado. Un elemento x A se llama elemento mximo de A y es nico si para todo a A, entonces aRx existe.
a
Elemento mximo a
Ejemplo 1: sea A el conjunto parcialmente ordenado de todos los nmeros reales no negativos con el orden parcial <=, en este caso no existe un elemento mximo.
ELEMENTO MNIMO
Sea (A,R) un conjunto parcialmente ordenado. Un elemento y A se llama elemento mnimo de A y es nico, si para todo a A, entonces yRa existe.
a
Elemento mnimo b
Ejemplo 1: sea A el conjunto parcialmente ordenado de todos los nmeros reales no negativos con el orden parcial <=, en este caso el cero es el elemento mnimo.
g e c
B1 tiene como cotas superiores a c,d,e,f,g,h y como mnima cota superior tiene a c B2 tiene como cotas superiores a f,g,h y no tiene mnima cota superior porque no existe fRg
g e c
B1 no tiene cotas inferiores y por ende no tiene mxima cota inferior B2 tiene como cotas inferiores a a,b,c y su mxima cota inferior es c
1.
Dados los diagrama de Hasse determinar los maximales, minimales, mximo, mnimo. Define dos subconjuntos de A y determina cotas inferiores, superiores, minima cota superior, mxima cota inferior.
EJERCICIOS
{c} {b}
{a}