UNIDAD 2 RELACIONES Y ESTRUCTURAS DE ORDEN. M.C. Mireya Tovar Vidal

Documentos relacionados
UNIDAD 1 RELACIONES Y ESTRUCTURAS DE ORDEN. Dra. Mireya Tovar Vidal

Relaciones Binarias. Matemática Discreta. Agustín G. Bonifacio UNSL. Relaciones Binarias

Conjuntos Parcialmente Ordenados y Reticulados. Matemática Discreta. Agustín G. Bonifacio UNSL. Conjuntos Parcialmente Ordenados y Reticulados

y exámenes. Temas 3 y 4

y exámenes. Temas 3 y 4

7. Seguiría siendo válida la proposición anterior si algunos de los conjuntos A, B, C y D son vacíos?

Definiciones Una relación R en un conjunto A es una relación de orden si verifica las propiedades reflexiva, antisimétrica y transitiva.

Relaciones. Estructuras Discretas. Relaciones. Relaciones en un Conjunto. Propiedades de Relaciones en A Reflexividad

Ordenación parcial Conjunto parcialmente ordenado Diagrama de Hasse

Matemáticas Discretas Relaciones y funciones

28/06/2011 CONTENIDO UNIDAD 3 RELACIONES Y GRAFOS IDEA INTUITIVA DE RELACIÓN DEFINICIÓN FORMAL DE RELACIÓN

Matemáticas Discretas TC1003

Capítulo 6. Relaciones. Continuar

Ing. Bruno López Takeyas. Relaciones

Relaciones Binarias. Matemática Discreta. Agustín G. Bonifacio UNSL. Relaciones Binarias

Matemáticas Discretas TC1003

Relaciones de orden. Álgebras de Boole

Matemáticas Discretas

RELACIONES Y FUNCIONES. M.C. Mireya Tovar Vidal

Ejemplo 66 Sea A = {los alumnos de este curso}, entonces podemos definir la siguiente relación el el conjunto A, dada por:

UNIDAD 2 RELACIONES Y ESTRUCTURAS DE ORDEN. M.C. Mireya Tovar Vidal

Relaciones de orden. Definición 1. Llamamos conjunto ordenado a un par (E, ) donde E es un conjunto y es un orden definido en E

Relaciones binarias. Matemática discreta. Matemática discreta. Relaciones binarias

Análisis Matemático I: Numeros Reales y Complejos

Lección No.4: Relación de equivalencia

Conjuntos y relaciones entre conjuntos

Apuntes de Matemática Discreta 8. Relaciones de Equivalencia

ÁLGEBRA (Ciencias) año 2014 PRÁCTICA N 4. ELEMENTOS DE TEORÍA DE CONJUNTOS: nociones básicas

RELACIONES BINARIAS. (1, b)} es una relación de A en B. Sea A = {1, 2, 3, 4}. En A se tiene la relación R = {(a, b)/a, b A y a divide a b}:

TEMA 1. Teoría de Conjuntos. Ejercicio 1.1. Decidir si A = B, A B ó A B en los siguientes casos:

Relaciones. Tema Operaciones con relaciones.

CAPÍTULO III RELACIONES Y FUNCIONES

ÁLGEBRA I. Curso Grado en Matemáticas

Matemática Discreta: relaciones

Conjuntos y relaciones

6 Relaciones Binarias

Una manera de describir un conjunto es por extensión y consiste en enumerar sus elementos entre llaves

Universidad Central de Venezuela Facultad de Ciencias Escuela de Computación. Lecturas en Ciencias de la Computación ISSN

Departamento de Matemática Aplicada a las TIC Curso 15-16

TEMA II TEORÍA INTUITIVA DE CONJUNTOS

TEMA 2. TEORÍA DE CONJUNTOS

1. Números reales. Análisis de Variable Real

Centro Asociado Palma de Mallorca. Tutor: Antonio Rivero Cuesta

Conjuntos, Aplicaciones y Relaciones

Relación de Orden Parcial

RELACIONES Y FUNCIONES CLASE 4

Teorema de Lagrange. En esta sección demostramos algunos hechos básicos sobre grupos, que se pueden deducir de la definición

Capítulo 1: Fundamentos: Lógica y Demostraciones Clase 3: Relaciones, Funciones, y Notación Asintótica

Contenido. Capítulo 1. Lógica de Predicados y Proposiciones 5 1. Proposiciones, predicados y paradojas 5

SOLUCIONES COMENTADAS

Plan de Animación para la enseñanza de las Matemáticas

PRODUCTO CARTESIANO RELACIONES BINARIAS

ESTRUCTURAS ALGEBRAICAS. Parte 1

2. Estructuras Algebraicas

DEFINICIÓN: Se define el conjunto vacio como el complementario de en, don de es un conjunto. Se representa por :

Álgebra de Boole. Retículos.

Relaciones IIC1253. IIC1253 Relaciones 1 / 32

PRELIMINARES. En este capítulo vamos a dar, sin ser muy estrictos, algunas nociones necesarias para la compresión de la asignatura.

Conjuntos, relaciones y grafos

MATEMATICAS DISCRETAS

Relaciones binarias I

SESIÓN N 07 III UNIDAD RELACIONES Y FUNCIONES

Reticulados y Álgebras de Boole

23/10/14. Algebra Matricial $ $ ' ' ' $ & & & # # I 3 I 2 = 1 0 $ DEFINICION DE MATRIZ 2.1 CONCEPTOS DE MATRICES CONCEPTOS DE MATRICES. $ n. ! a.

1.- DETERMINANTE DE UNA MATRIZ CUADRADA

Tema 1 Aritmética entera

Aritmética Entera MATEMÁTICA DISCRETA I. F. Informática. UPM. MATEMÁTICA DISCRETA I () Aritmética Entera F. Informática.

0.1 Axioma del supremo

1. Conjuntos y funciones

GLOSARIO DE TÉRMINOS BÁSICOS

2 pero esto implica que (c,d) S (a,b) y x. = } = {(x,y) A / y = 0 } 2 } = {(x,y) A / y =

Capitulo V: Relaciones

Portal educativo. Visítanos desde

1 Relaciones de orden

Conjuntos. Relaciones. Aplicaciones

Los Números Enteros. 1.1 Introducción. 1.2 Definiciones Básicas. Capítulo

Práctico 1 Conjuntos, Relaciones y Funciones

Estructuras. Rafael F. Isaacs G. * 12 de septiembre de 2014

Universidad de Costa Rica Sede del Pacífico Arnoldo Ferreto Segura. Material didáctico ESTRUCTURAS MATEMATICAS DISCRETAS

MÉTODOS MATEMÁTICOS DE LA FÍSICA I

AUTÓMATAS DE ESTADO FINITO

GUÍA PRÁCTICA DE CONJUNTOS Y RELACIONES BINARIAS

Apuntes de Matemática Discreta 7. Relaciones de Orden

Total de horas: Horas de teoría: semana UNIDAD 1 OBJETIVO

Teoría de anillos. Dominios, cuerpos y cuerpos de fracciones.

Álgebra Lineal y Estructuras Matemáticas. J. C. Rosales y P. A. García Sánchez. Departamento de Álgebra, Universidad de Granada

EL CUERPO ORDENADO REALES

5 RELACIONES DEFINICION

RELACIÓN DE PROBLEMAS Nº 2 CONJUNTOS Y APLICACIONES

Capítulo 4: Conjuntos

EJERCICIOS DE GEOMETRÍA PLANA. 1. Hallar las ecuaciones paramétricas de la recta r que pasa por el punto ( 2, 2) tiene como vector director el vector

ESCUELA TÉCNICA SUPERIOR DE NÁUTICA Y MÁQUINAS NAVALES / NAUTIKAKO ETA ITSASONTZI MAKINETAKO GOI ESKOLA TEKNIKOA NOCIONES PRELIMINARES DE MATEMÁTICAS

b) Sea una relación de equivalencia en A y una operación en A. Decimos que y son compatibles si a b a c b c y c a c b para todo a, b, c A

Grupo de Modelización, Simulación Numérica y Matemática Industrial. Universidad Carlos III de Madrid Avda. de la Universidad, Leganés

CONJUNTOS. Los conjuntos son conceptos primitivos que representan una totalidad, una reunión de cosas.

TEMA 5 El tipo grafo. Tipo grafo

Métodos combinatorios en teoría de juegos

Transcripción:

UNIDAD 2 RELACIONES Y ESTRUCTURAS DE ORDEN M.C. Mireya Tovar Vidal

CONTENIDO 2.1 Relaciones y sus propiedades 2.2 Relaciones de equivalencia y particiones. 2.3 Relaciones de orden parcial y retículos 2.4 Aplicaciones

Se dice que R es una relación de equivalencia si es: Reflexiva Simétrica Transitiva Por ejemplo, sea A={1,2,3,4,5,6} R={(1,1),(1,2),(2,1),(2,2),(3,3), (4,4),(4,5),(5,4),(5,5),(6,6)}

GRAFO Y MATRIZ DE UNA RELACIÓN R={(1,1),(1,2),(2,1),(2,2),(3,3), (4,4),(4,5),(5,4),(5,5),(6,6)} 1 2 3 4 5 6 1 1 1 0 0 0 0 1 2 1 1 0 0 0 0 3 0 0 1 0 0 0 4 0 0 0 1 1 0 2 4 6 5 0 0 0 1 1 0 6 0 0 0 0 0 1 3 5

EJERCICIOS Sean los conjuntos A=B={1,2,3,4,5} y la relación R={(1,1),(1,3),(1,4),(2,1),(2,4),(2,5),(3,3),(3,4),(3,5), (4,2),(4,4),(5,1),(5,3),(5,5)}, obtenga el grafo y la representación matricial correspondiente Sean los conjuntos A=B={1,2,3,4} y la relación R={(1,1),(1,2),(2,1),(2,4),(3,4),(4,2),(4,3),(4,4)}, obtenga el grafo y la representación matricial correspondiente

CLASES DE EQUIVALENCIA Y PARTICIONES Una relación de equivalencia tiene clases de equivalencia y éstas forman particiones. Las clases de equivalencia son conjuntos que contienen a todos los elementos b B y que están relacionados con a A. Se indica: [a] = {b b B, arb} Una partición es un conjunto de clases de equivalencia. Es un subgrafo completo. Deben estar contenidos todos los elementos del conjunto A. La intersección entre las clases de equivalencia es vacia.

EJERCICIO: Verifique que R es una relación de equivalencia. Sean A=B={1,2,3,4,5} y R={(1,1),(1,2),(1,5),(2,1), (2,2),(2,5),(3,3),(3,4),(4,3),(4,4),(5,1),(5,2),(5,5)}. Obtenga la matriz y grafo correspondiente.

Como R es una relación de equivalencia, entonces sus clases de equivalencia son: [1] = {1,2,5} Todos los elementos relacionados con 1 [2] = {1,2,5} Todos los elementos relacionados con 2 [3] = {3,4} [4] = {3,4} [5] = {1,2,5} De esto obtenemos [1] = [2] = [5] [3] = [4] Dos particiones: P ={{1,2,5},{3,4}}

CONJUNTO PARCIALMENTE ORDENADO Sea R una relación en un conjunto A, y sea R una relación de orden parcial. El conjunto A con R se llama conjunto parcialmente ordenado y se denota como (A,R). Dada una relación de orden parcial, esta puede representarse mediante un grafo dirigido de orden parcial c b a

DIAGRAMAS DE HASSE 1. Los lazos de cada nodo pueden ser eliminados para simplificar el grafo. 2. Si se eliminan las aristas que representan la propiedad transitiva. 3. Las flechas pueden omitirse y los círculos se reemplacen por punto. El diagrama resultante de un orden parcial, mucho más simple que su grafo dirigido, se llamará diagrama de Hasse de un orden parcial o de un conjunto parcialmente ordenado. c c c c b b a b a b a a 1 2 3 Diagrama de Hasse

DIAGRAMA DE HASSE Es una representación gráfica simplificada de un conjunto parcialmente ordenado finito. Esto se consigue eliminando información 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} {b} {c} {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 relación de divisibilidad. Diagrama de Hasse:

La relación "< " en Z + no es un orden parcial porque no es reflexiva. Las ordenes parciales mas comunes son las relaciones >= y <= en Z y N.

EJERCICIOS 1. Dibujar el diagrama de Hasse de la relación a>=b (en orden alfabético), donde a,b A, A={a,b,c,d,e,f} 2. Sea A={1,2,3,4,12}, Examine el orden parcial de la divisibilidad en A (a<=b si y sólo si b/a). Dibuja el diagrama de Hasse. 12 4 3 2 1

Ejemplo Sea S un conjunto no vacío. Definimos R como (contenido en o igual a) P(S). Claramente, (P(S), ), es un conjunto de orden parcial. A P(S), A A A, B P(S), A B y B A => A = B A, B, C, P(S), si A B y B C => A C Por lo tanto, es una relación de orden parcial sobre P(S) (conjunto potencia de S).

Ejemplo Sea un orden parcial sobre el conjunto de los enteros (Z), y a, b, c son enteros. Claramente a a; a Z Si a b y b a entonces, a = b, donde a,b Z Si a b y b c entonces a c, donde a, b, c Z Por lo tanto, (Z, ) es un conjunto de orden parcial (poset).

Ejercicio Dibuje el diagrama de Hasse que represente el orden parcial {(a,b) a b} sobre {2, 4, 5, 10, 12, 20, 25}. Nota: a b = b a (división entera)

Solución La relación es: R={ (2,2), (2, 4), (2, 12), (4,4), (4, 12), (5,5), (5,10), (5, 20), (5, 25), (10,10), (10, 20), (20,20) }

ELEMENTOS EXTREMOS DE LOS CONJUNTOS PARCIALMENTE ORDENADOS Elemento Maximal Elemento Minimal Elemento Máximo Elemento Mínimo Mínima Cota Superior Máxima Cota Inferior

ELEMENTO MAXIMAL Sea (A,R) un conjunto parcialmente ordenado. Un elemento xa se llama elemento maximal de A si para todo aa, ax entonces xra. a 3 a 1 a 2 Elementos maximales a 1,a 2,a 3 b 1 b 2 b 3 Ejemplo 1 : sea A el conjunto parcialmente ordenado de todos los números reales no negativos con el orden parcial <=, en este caso no existen elementos maximales. Ejemplo 2 : En este caso el elemento maximal es c c b a

ELEMENTO MINIMAL Sea (A,R) un conjunto parcialmente ordenado. Un elemento ya se llama elemento minimal de A si para todo ba, by entonces bry. a 3 a 1 a 2 Elementos minimales b 1,b 2,b 3 b 1 b 2 b 3 Ejemplo 1: sea A el conjunto parcialmente ordenado de todos los números reales no negativos con el orden parcial <=, en este caso el cero es el elemento minimal. Ejemplo 2 : En este caso el elemento minimal es a c b a

ELEMENTO MÁXIMO Sea (A,R) un conjunto parcialmente ordenado. Un elemento xa se llama elemento máximo de A y es único si para todo aa, entonces arx existe. a Elemento máximo a b Ejemplo 1: sea A el conjunto parcialmente ordenado de todos los números reales no negativos con el orden parcial <=, en este caso no existe un elemento máximo. Ejemplo 2 : En este caso el elemento máximo es c c b a

ELEMENTO MÍNIMO Sea (A,R) un conjunto parcialmente ordenado. Un elemento ya se llama elemento mínimo de A y es único, si para todo aa, entonces yra existe. a Elemento mínimo b b Ejemplo 1: sea A el conjunto parcialmente ordenado de todos los números reales no negativos con el orden parcial <=, en este caso el cero es el elemento mínimo. Ejemplo 2 : En este caso el elemento mínimo es a c b a

Sea (A,R) un conjunto parcialmente ordenado y B un subconjunto de A. MÍNIMA COTA SUPERIOR aa,a es cota superior de B si bra para todo bb. a A a es mínima cota superior(mcs)(lub) de B si a es una cota superior de b y si a Ra para todas las demás a cotas superiores de B. Ejemplo: Sea A={a,b,c,d,e,f,g,h} con el siguiente diagrama de Hasse, determinar las cotas superiores y su mínima cota superior para los subconjuntos B 1 ={a,b} y B 2 ={c,d,e}. h f d c e g B 1 tiene como cotas superiores a c,d,e,f,g,h y como mínima cota superior tiene a c B 2 tiene como cotas superiores a f,g,h y no tiene mínima cota superior porque no existe frg a b

Sea (A,R) un conjunto parcialmente ordenado y B un subconjunto de A. MÁXIMA COTA INFERIOR ya,y es cota inferior de B si yrb para todo bb. y A, y es máxima cota inferior(mci)(glb) de B si y es una cota inferior de B y si y Ry para todas las demás y cotas inferiores de B. Ejemplo: Sea A={a,b,c,d,e,f,g,h} con el siguiente diagrama de Hasse, determinar las cotas inferiores y su máxima cota inferior para los subconjuntos B 1 ={a,b} y B 2 ={c,d,e}. h f d c e g B 1 no tiene cotas inferiores y por ende no tiene máxima cota inferior B 2 tiene como cotas inferiores a a,b,c y su máxima cota inferior es c a b

EJERCICIOS 1. Dados los diagrama de Hasse determinar los maximales, minimales, máximo, mínimo. Define dos subconjuntos de A y determina cotas inferiores, superiores, mínima cota superior, máxima cota inferior. {a,b,c} a b {b,c} {a,b} {a,c} d e {b} {c} {a}

Ejercicio Encontrar la mínima cota superior y máxima cota inferior de los conjuntos {3, 9, 12} y {1, 2, 4, 5, 10} si existen en el poset (Z+, )

Solución Encontrar la mínima cota superior y máxima cota inferior de los conjuntos {3, 9, 12} y {1, 2, 4, 5, 10} si existen en el poset (Z+, ) Un entero es una cota inferior de {3,9,12} si 3, 9 y 12 son divisibles por este entero. Tales enteros son 1 y 3 unicamente. Claramente 3 es la máxima cota inferior de {3,9,12}. Similarmente la máxima cota inferor para {1,2,4,5,10} es 1. Un entero es una cota superior para {3, 9, 12} si es divisible por 3, 9 y 12. Los enteros con esta propiedad son los divisibles por la mínima cota superior de 3, 9 y 12, el cual es 36. Es decir, 36 es la minima cota superior para el conjunto {3, 9, 12}. Similarmente 20 es la minima cota superior para el conjunto {1,2,4,5,10}

Retícula (red o lattice) El conjunto parcialmente ordenado (A,R) es una retícula (red o lattice) si para cualquier x,ya la MCS{x,y} (denotada x y) y MCI{x,y} (denotada xy) existen. Ejemplo 1 : sea A el conjunto parcialmente ordenado de todos los números naturales con el orden parcial, en este caso Para todo a,bn MCS{a,b}=mínimo{a,b}, MCI{a,b}=máximo{a,b} Por tanto es una retícula

Ejemplo 2, retícula En este caso el diagrama de Hasse representa a los divisores positivos de 20, y si cumple que sea una retícula dado que: CS{1,2} ={2,4,10,20} MCS{1,2}={2} CS{1,4} ={4,20} MCS{1,4}={4} CS{1,20} ={20} MCS{1,20}={20} CS{1,5} ={5,10,20} MCS{1,5}={5} CS{1,10} ={10,20} MCS{1,10}={10} CS{2,4} ={4,20} MCS{2,4}={4} CS{2,5} ={10,20} MCS{2,5}={10} CS{2,10} ={10,20} MCS{2,10}={10} CS{2,20} ={20} MCS{2,20}={20} CS{4,10} ={20} MCS{4,10}={20} CS{4,20} ={20} MCS{4,20}={20} CS{5,4} ={20} MCS{5,4}={20} CS{5,10} ={10,20} MCS{5,10}={10} CS{5,20} ={20} MCS{5,20}={20} CS{10,20} ={20} MCS{10,20}={20} CI{1,2} ={1} MCI{1,2}={1} CI{1,4} ={1} MCI{1,4}={1} CI{1,20} ={1} MCI{1,20}={1} CI{1,5} ={1} MCI{1,5}={1} CI{1,10} ={1} MCI{1,10}={1} CI{2,4} ={1,2} MCI{2,4}={2} CI{2,5} ={1} MCI{2,5}={1} CI{2,10} ={1,2} MCI{2,10}={2} CI{2,20} ={1,2} MCI{2,20}={2} CI{4,5} ={1} MCI{4,5}={1} CI{4,10} ={1,2} MCI{4,10}={2} CI{4,20} ={1,2,4} MCI{4,20}={4} CI{5,10} ={1,5} MCI{5,10}={5} CI{5,20} ={1,5} MCI{5,20}={5} CI{10,20} ={1,2,5,10} MCI{10,20}={10} 4 2 5 1 20 10

Lattice Un poset en el que cada par de elementos tiene ambos una minima cota superior y una máxima cota inferior se llama lattice. Ejemplo El poset ({1,2,4,8}, ) es un lattice El poset (P(S), ) es un lattice, para cualquier A S, B S A υ B = minima cota superior de A y B, ( sup{a,b}= a v b ) A B = máxima cota inferior de A y B, ( inf{a,b} = a b )

Propiedad Retículo Si arb <-> a v b = b y a b= a Es decir, siempre existen a v b y a b entre los elementos relacionados. Sólo hay que revisar, los que son incomparables. Ejemplo: Sup(2,3)=6 Sup(3,4)=12 Sup(4,6)=12 Inf(2,3)=1 Inf(3,4)=1 Inf(4,6)=2 Es una retícula, porque todos tienen supremo (Sup) e ínfimo (Inf).

Ejercicio Sea (A; R) con A={serpiente, pollito, canario, gato, león, araña, hormiga } y la relación tiene menos patas que o es el mismo animal que El diagrama de hasse es un lattice?

Solución No es un lattice, porque No hay Sup(pollito, canario) Cotas superiores(pollito, canario)={gato, león, hormiga, araña}, pero no hay forma de definir la inferior cota superior, es decir, ninguna precede a todas.

Referencias N. Iyengar. Discrete Mathematics. Vikas Publishing House Pvt Ltd, 2003