Unidad I.

Relaciones Teora de grafos 2-2010

Conceptos fundamentales y Relaciones de equivalencia UNEFA-Ncleo Mrida

Introduccin a la teora de grafos La teora de grafos, que naci como una rama de la Topologa, se ha convertido hoy en da en una herramienta matemtica indispensable en campos tan diversos como la investigacin operativa, la lingstica, la qumica, la fsica, la gentica, la teora de redes o la teora de la decisin. Es por ello, que para casi cualquier rama de la ciencia, se hace indispensable el conocimiento, a travs de conceptos globales, de las ideas bsicas que sustentan a la denominada teora de grafos. En numerosos problemas cuantificables, en las organizaciones, intervienen una serie de elementos en los que se establecen unas relaciones: por ejemplo, los problemas relacionados con posibilidades de comunicacin, relaciones de orden entre actividades o estructuras de producto complejas. Los grafos son herramientas que permiten modelizar relaciones de esta naturaleza, de modo que se puedan resolver problemas asociados a esas circunstancias, frecuentemente de forma menos costosa que utilizando otras tcnicas como la programacin lineal. Una buena comprensin de la teora de grafos pasa por dominar la nomenclatura y conceptos asociados a estas representaciones de relaciones entre elementos, as como sus diversas formas de representacin. Definicin de Relaciones Las relaciones tienen una importancia fundamental tanto en la teora como en las aplicaciones a la informtica. Estructuras de datos tales como una lista, una matriz o un rbol, se usan para representar conjuntos de elementos junto con una relacin entre los mismos. En la realidad que nos circunda existen relaciones entre elementos, entre conjuntos y entre elementos y conjuntos. Existen relaciones de parentesco, de amistad, de paisanaje, etc., entre personas; relaciones diplomticas, econmicas, etc., entre pases; relaciones de paralelismo o de perpendicularidad entre rectas de un plano; relaciones de inclusin entre conjuntos; relaciones como mayor que o menor o igual que entre nmeros, etc. La matemtica intenta, como ahora veremos, hacerse eco de tales sucesos y, mediante un proceso de abstraccin, expresarlas y estudiarlas cientficamente. Una relacin puede pensarse como una tabla que que enumera la relacin de algunos elementos con otros: Estudiante Curso Jos Mara Juan Rosa Matemtica Fsica Programacin Simulacin

Luisa Instruccin premilitar Tabla 1. Relaciones entre estudiantes y cursos La tabla 1 muestra cules estudiantes estn asistiendo a cules cursos. Esta tabla es slo un conjunto de pares ordenados; de manera abstracta, se puede definir una relacin como un conjunto de pares ordenados. As, el primer elemento del par ordenado se relaciona con el segundo.

Unidad I. Relaciones Teora de grafos 2-2010

Conceptos fundamentales y Relaciones de equivalencia UNEFA-Ncleo Mrida

Definicin matemtica de Relacin Sean los conjuntos A1, A2, . . . , An. Una relacin R sobre A1A2 An es cualquier subconjunto de este producto cartesiano, es decir, R A1 A2 An La clase ms importante de relaciones es la de las relaciones binarias. Debido a que este tipo de relaciones son las ms frecuentes, el trmino relacin denota generalmente una relacin binaria; de esta manera se especificarn las que no sean binarias con trminos tales como ternaria o n-aria. Llamaremos dominio de una relacin R al conjunto formado por todos los primeros elementos de los pares ordenados que pertenecen a R, e imagen o rango al conjunto formado por los segundos elementos. Es decir, si R es una relacin de A a B, entonces: Dom (R) = {a A, b : b B (a, b) R} Img (R) = {b B, a : a A (a, b) R} Si una relacin se indica mediante una tabla, el dominio est formado por los miembros de la primera columna y el rango por los miembros de la segunda columna. Formas de representar una relacin 1.- Matriz de una relacin Dados dos conjuntos finitos, no vacos, A = {a1 , a2 , . . . , am } y B = {b1 , b2 , . . . , bn } y una relacin R cualquiera de A a B, llamaremos matriz de R a la matriz booleana siguiente: 1, si (ai , bj ) se relacionan MR = rij : rij = 0, si (ai , bj ) no se relacionan donde i = 1, 2, . . . . . . , m; j = 1, 2, . . . . . . , n. Directamente de la definicin dada se deduce que la matriz de una relacin binaria es cuadrada. 2.- Digrfica de una relacin Para trazar la digrfica de una relacin se dibujan los puntos o vrtices para representar los elementos del conjunto, luego si existe una relacin entre dos elementos, se traza una flecha llamada arista dirigida, desde un elemento hacia el otro. Cuando un elemento se relaciona con l mismo, aparece un lazo o bucle. Los elementos del dominio son el vrtice inicial y los del rango el vrtice final. A un vrtice que no sea ni inicial ni final se le llama aislado. El grado de entrada de un vrtice es el nmero de aristas que llegan hasta l. El grado de salida de un vrtice es el nmero de aristas que salen de l. Propiedades de las relaciones 1.- Reflexividad Una relacin binaria R sobre un conjunto A se dice que es reflexiva, cuando cada elemento de A est relacionado consigo mismo. Es decir, R es reflexiva a (a A aRa)

Unidad I. Relaciones Teora de grafos 2-2010

Conceptos fundamentales y Relaciones de equivalencia UNEFA-Ncleo Mrida

2.- Simetra Una relacin binaria R sobre un conjunto A es simtrica si cada vez que a est relacionado con b se sigue que b est relacionado con a. Es decir, R es simtrica a, b A (aRb bRa) 3.- Asimetra Una relacin binaria R definida en un conjunto A se dice que es asimtrica si cada vez que aRb se sigue que bRa. Es decir, R es asimtrica a, b A (aRb bRa) 4.- Antisimetra Una relacin binaria R sobre un conjunto A se dice antisimtrica si cuando (a,b) R y a!=b, entonces (b,a). Es decir, R es antisimtrica a, b A(aRb a!=b aRb ) 5.- Transitividad Se dice que una relacin R definida en un conjunto A es transitiva si cuando (a,b) R y (b,c) R, entonces (a, c) R. Es decir, R es transitiva a, b, c A (aRb bRc aRc) Relacin de equivalencia Las relaciones de equivalencia son un concepto matemtico definido sobre un conjunto dado cualquiera. Como tantos otros conceptos matemticos, est basado en una idea intuitiva, la representacin de relaciones del tipo: ciudades en una misma regin, alumnos de la misma clase, instrucciones dentro del mismo bloque de cdigo, entre otros. Definicin Una relacin R en un conjunto A se llama relacin de equivalencia si es reflexiva, simtrica y transitiva. Reflexiva. a C; a R a Simtrica. a, b C; a R b b R a Transitiva. a, b, c C; (a R b) (b R c) (a R c) Es fcil comprobar estas propiedades para los ejemplos anteriores. Por ejemplo, la propiedad reflexiva significa que una ciudad est en la misma regin que ella misma, obviamente!; la simtrica dir que si la ciudad a est en la misma regin que b, entonces b est en la misma regin que a; y la transitiva, que si a est en misma regin que b, y esta en la misma que c, entonces a y c estn en la misma regin. Las tres se cumplen de manera trivial. Las relaciones de equivalencia dan lugar al concepto de clase de equivalencia. La clase de equivalencia de un elemento a, segn una relacin R sobre un conjunto C, es el subconjunto de todos los elementos c de C tales que c R a. Por ejemplo, en los casos anteriores tendramos: la clase de las ciudades de una regin, la clase de los alumnos de segundo curso, etc. El conjunto de todas las clases de equivalencia definidas sobre C segn la relacin R, forma una particin de ese conjunto, es decir, son un conjunto de subconjuntos disjuntos y la unin de todos ellos es el conjunto de partida C.

Unidad I. Relaciones Teora de grafos 2-2010

Conceptos fundamentales y Relaciones de equivalencia UNEFA-Ncleo Mrida

Ejemplo de relacin de equivalencia y clases de equivalencia, definidos sobre el conjunto de los enteros del 1 a 9. Los elementos que estn en la misma clase de equivalencia aparecen dibujados dentro del mismo subconjunto del conjunto C.

Particiones Una particin de un conjunto C es una coleccin s de subconjuntos no vacos de C tal que todo elemento en C pertenece exactamente a un miembro de s. Funciones Una funcin f de X en Y, es una relacin de X en Y con las siguientes propiedades: a.- El dominio de f es X b.- Si (x,y),(x,y')f, entonces y=y' A veces, un funcin de X en Y se denota como f:XY Composiciones Sea R una relacin de x a y, y W una relacin de y a z, la composicin de R y W que se denota por R W es la relacin de x a z, definida como: RW={(x,z)|(x,y)R y (y,z)W} Permutaciones INVESTIGAR