Relaciones y grafos Relaciones Relacin `R' : Es cualquier subconjunto de AB que cumpla la definicin de la relacin en concreto. Otra def.

: Sean x"A,y"A y grafo(grfica) R / R" AA, decimos que xRy si (x,y)"R El n de relaciones subconjuntos de AB ser Relacin n-aria : Cualquier subconjunto del producto cartesiano de A1 A2...An (Una relacin binaria sera una relacin de A1A2) Propiedades que puede cumplir una relacin : 1) Reflexiva, si " a"A ! aRa 2) Simtrica si " a,b / aRb ! bRa 3) Transitiva, si " a,b,c / (aRb y bRc) ! aRc Antisimetrica, si " a,b / (aRb y bRa) ! a=b Todo elemento cumple las tres primeras consigo mismo, respecto a la 4 cuidado!, no simetrica"antisimetrica Respecto a esto ltimo, ver ej. 5.11 pg 126 Grimaldi. Matriz de una relacin AB : - filas = elementos de A, columnas = elementos de B - 1 si (ai,bj) " R , 0 si (ai,bj) R Relacin equivalente '~' : Es la relacin binaria que verifica las propiedades reflexiva, simtrica y transitiva. Clase de equivalencia `[x]' : Para " x"A, se define clase de equivalencia de x como el conjunto de las a"A / y~x Se cumple : - x"a ! [x]=[y] (prop. transitiva) - y por tanto, x no"a ! [x]"[a] = " pero solo para [x]"" porque x"[x] Las clases de equivalencia forman una familia de subconjuntos"" y disjuntos 2 a 2, (porque por transitiva si tuvieran un elemento en comn seran iguales), cuya unin es A. Dos clases de equivalencia son entre si, o identicas, o disjuntas. Ver ejemplo 5.45, pag 146 Grimaldi Congruencia modulo n : Un ejemplo de relacin de equivalencia en Z Dado un natural p>1 se dice que "a es congruente con b mdulo p" y se escribe "a"b (mod p)"

si a=b+ [a-b es mltiplo de p]

p,

"Z ; es decir : [a~b] !

Esta relacin es una equivalencia, ya que : - es reflexiva, pues b-b es mltiplo de p para todo b " Z . porque b-b=0 que sera mltiplo de p para =0

- es simtrica, ya que si a-b es mltiplo de p, entonces b-a= tambin es mltiplo de p. porque b-a=-(a-b) y puede ser + o - porque pertenece a Z.

- es transitiva, ya que, si a-b, b-c son mltiplos de p, entonces a-c=(a-b)+(b-c) tambin es mltiplo de p. porque a-c=(a-b)+(b-c) Seran congruentes mdulo p si y solo si dan el mismo resto al dividirlos por p.

OTRA INFORMACION

4.PROPIEDADES DE LAS RELACIONES a)reflexivas y b)irreflexivas Una relacin R en un conjunto A es reflexiva si (a, a) R para todas las a A, esto es, si a R e para todas las a e A. Una relacin R en un conjunto A es irreflexiva si a R a para toda a A. Por consiguiente, R es reflexiva si cada elemento a e A est relacionado consigo mismo y es irreflexiva si ningn elemento est relacionado consigo mismo. Ejemplo 1 (a) Sea = [(a, a)\ a A], de modo que A es la relacin de igualdad en el conjunto A. Entonces A es reflexiva, ya que (a, a) para todas la s a e A. (b) Sea R = {(a, b) e A x A | a + b}, R es la relacin de desigualdad en el conjunto A. Entonces R es irreflexible, ya que (a, a) R para todas las x A. (c) Sean A = {1, 2, 3}. y J = {(1, 1), (1, 2)}. Entonces A es reflexiva ya (2,2) R y (.3,3) R. Por otra parte, R no es irreflexiva, ya que (1, l) R. (d) Sea A un conjunto no vacio. Sea R = A x A, la relacin vaca. Enlaces R no es reflexiva, ya que (a, a) R para todas las a A (el conjunto vaco tiene elementos). Sin embargo, R es irreflexiva. ^ Es posible caracterizar una relacin reflexiva o irreflexiva por su matriz con sigue. La matriz de una relacin reflexiva deber tener unos en toda su diagon principal; en cambio, la matriz de una relacin irreflexible deber tener ceros. De igual manera, es posible caracterizar una relacin reflexiva o irreflexiva por su grafo dirigido como sigue. Una relacin reflexiva tiene un ciclo de longitud 1. Que cada vrtice; en cambio, una relacin irreflexiva no tendr ciclos de longitud 1. De manera til de decir lo mismo es usar la relacin de igualdad en un conjunto A es reflexiva si y solo si R, y es irreflexible si y solo si A R = 0. Finalmente, se deber observar que, si R es reflexible en un conjunto A, entonces Dom(R) = Ran(.R) = A. Relaciones c) simtricas, d)asimtricas y e)antisimtricas Una relacin R en un conjunto A es simtrica si cuando a R b, entonces b R a. De esto se sigue que R no es simtrica se tiene a y b A con a R b, pero b R a. Una relacin R en un conjunto A es asimtrica si cuando a R b, entonces b Ra. De esto se sigue que R no es simtrica si se tiene a y b e A con ambos a R b y b R a. Una relacin R en un conjunto A es antisimtrica si cuando a R b y b R a, entonces a = b. Otra forma de expresar esta definicin es diciendo que R es antisimtrica si cuando a b, se tiene a R b o b R a. De esto se sigue que R no es antisimtrica si se tiene a y b en A. a b, y ambas a R b y b R a.

Dada una relacin R, s desea determinar qu propiedades se cumplen para R Se tendr presente la siguiente observacin. Una propiedad no se cumple en general si se encuentra una situacin en donde la propiedad no se cumpla. Si no hay situacin alguna en la que la propiedad no se cumpla, se deber concluir que la propiedad se cumple siempre. Ejemplo sea A = Z, el conjunto de los enteros y sea R=[(a,b) A xA | a < b} ya que R es la relacin menor que. Es R simtrica, asimtrica o antisimtrica? Solucin. Simetra. Si a <b, entonces no es verdadero que b < a, por lo cual no es simtrica. Asimetra. Si a < b, entonces b < a (b no es menor que a), por lo cual R es asimtrica. Antisimetra. Si a b, entonces a < b o b < a, por lo cual R es antisimtrica. Ejemplo 3 Sea A el conjunto de las personas y sea R = {(x, y) e A x A | x es primo de: y} Entonces R es una relacin simtrica Ejemplo 4 Sea A = {1,2,3,4} y sea R {(1,2). (2, 2), (3,4), (4,1)} Entonces R no es simtrica, ya que(l, 2) e R pero (2, 1) ^ R. Por otra parte, R no es asimtrica, ya que (2, 2) R. Finalmen te R es antisimtrica ya que, si ab, (a, b) no R o (b, a) no R Ejemplo 5 Sea A = Z+, el conjunto de los enteros positivos y sea R={(a, b) A x A |a divide b} Es R simtrica, asimtrica o antisimtrica? Solucin. Si a | b, no se sigue que b \ a, por lo cual R no es simtrica. Si a = b = 3, por ejemplo, entonces a R b y b R a, por lo cual R no es asimtrica. Si a | b y b | a, entonces a = b, por lo cual R es antisimtrica. Es posible caracterizar las propiedades de simetra, asimetra o antisimetra de una relacin por las propiedades de su matriz. La matriz m{ = [my] de una relacin simtrica satisface la propiedad de que si mij = 1, entonces mji = 1 Adems, si mji == 0, entonces mij = 0. Por consiguiente, MR es una matriz tal que todo par de componentes, colocados simtricamente alrededor de la diagonal principal es un par de ceros o de unos. Se sigue que MR = MTR, por lo que MR es una matriz simtrica. La matriz MR = [mij] de una relacin asimtrica R satisface la propiedad que si mij == 1, entonces mji = 0. Si R es asimtrica, se sigue que mu=s 0 para todas las i; esto es, la diagonal principal de la matriz MR contiene slo ceros. Esto tene que ser verdadero pues la propiedad asimetra implica que, si m,, = 1, entonces m = O, lo que es una contradiccin. Finalmente, la matriz MR = [miJ]de una relacin antisimtrica R satisface propiedad que si i j, entonces miJ = 0 o miJ = 0. | Ejemplo 6 Examine las matrices en la figura 1, donde cada una es la matriz de una relacin como est indicado. Las relaciones R1 y R2 son simtricas ya que sus matrices Mr1 Y mr2 son matrices simtricas. La relacin R3 es antisimtrica, pues no hay posiciones simtricas dispuestas, fuera de la diagonal de mr3 que contengan un uno. Estas posiciones pudiera tener ceros, y en la diagonal los elementos son irrestrictos. La relacin R3 no es asimtrica porque MR3 tiene unos en la diagonal. La relacin R4 no tiene ninguna de las tres propiedades; Mr4 no es simtrica La presencia del uno en la posicin 4, 1 de Mr4 viola las dos propiedades de asimetra y antisimetra. Finalmente, R3 es antisimtrica pero no asimtrica, y R6 es a la vez asimtrica y antisimtrica. 1110110 0 0 1 = MR11 1 0 0 = MR2 1 1 1 (a) 1 0 1 1 (b) 0011 1110011 0 1 0 = MR3 0 0 1 0 = Mr4 0 0 0 (c) 0 0 0 1 (d) 1000 1001 0 1 1 1 = MR5 0 1 1 1 0 0 1 0 0 0 1 0 = MR6

0 0 0 1 (e) 0 0 0 1 (f) 0000

Figura 1 Ahora se explicarn los grafos dirigidos de estos tres tipos de relaciones. Si R es una relacin asimtrica, entonces el grafo dirigido no puede tener simultaname una arista del vrtice i al vrtice j y una arista del vrtice j al vrtice i. Esto es verdadero para cualquier i y j y en particular si i = j, por lo cual no puede haber ciclos de longitud 1. Si R es una relacin antisimtrica, entonces para vrtices i yj distintos no puede haber una arista del vrtice i al vrtice j y una arista del vrtice j al vrtice i. Cuando i = j, no se impone condicin alguna, por lo cual podrn existir ciclos de longitud Se examinar el grafo dirigido de las relaciones simtricas con mayor detalle El grafo dirigido de una relacin simtrica R tiene la propiedad de que, si existe una arista del vrtice j al vrtice i, entonces existe una arista del vrtice j al vrtice i. Por consiguiente, si dos vrtices estn conectados por una arista, debern siempre estar conectados en ambas direcciones. Por esto, es posible y muy til dar una representacin diferente de una relacin simtrica. Se mantienen los vrtices como aparecen en un grafo dirigido, pero si los vrtices a y b estn conectados por aristas en cada direccin, se remplazarn stas con una sola arista no dirigida. Esta arista no dirigida es slo una lnea sin las flechas y conecta a y b. Al diagrama resultante se llamar grafo de la relacin simtrica. Ejemplo 7 Sea A = [a, b, c, d, e} y sea R la relacin simtrica dada por R = {(a, b), (b, a), (a, c), (c, a), (b, c), (c, b), (b, e), (e, b), (e, a), (a, e), (c, a), (a,c)} El grafo dirigido de R se muestra en la figura 2(a), mientras que en la figura

Grafo dirigido de R Grafo dirigido de R Aparece el grado de R. Obsrvese que cada arista no dirigida corresponde a dos pares ordenados en la relacin R. Una arista no dirigida entre a y b, en el grafo de la relacin simtrica R, corresponde al conjunto {a, b} tal que (a, b) R y (b, a) R. Algunas veces tambin se referir a este conjunto {a, b} como una arista no dirigida de la relacin R. A una relacin simtrica R en un conjunto A se le llamar conexa si existe una trayectoria de cualquier elemento de A a cualquier otro elemento de A. Esto significa sencillamente que el grafo de R est todo en una pieza. En la figura 3 se muestran los grafos de dos relaciones simtricas. El grafo de la figura 3(a) est conectado mientras que el de la figura 3(b) no lo est.

(a) (b) f) Relaciones transitivas Se dice que una relacin R en un conjunto A es transitiva si cuando a R b y b R e, entonces a R c. Se sigue que R no es transitiva si y slo si se puede encontrar elemento a, b y c en A tal que a R b y b R c, pero a R c. Ejemplo 8 Sea A = Z el conjunto de los enteros y sea R la relacin considerada en el ejemplo 2 Para ver si R es transitiva, se supone que a R b y b R c. Por consiguiente, a < b; b < c. Entonces se sigue que a < c, por lo cual a R c. De aqu que R sea transitiva Ejemplo 9 Sea A = Z+ y sea R la relacin considerada en el ejemplo 5. Es R transitiva? Solucin. Supngase que a R b y b R c, ya que a \ b y b \ c, entonces se sigue que a|c. [Vase la seccin 1.7, teorema 2, parte (c)]. Por consiguiente, R es transitiva. Ejemplo 10 Sea A ={l,2, 3,4} y sea R ={(1,2), (I, 3), (4, 2)}

Es R transitiva? Solucin. Ya que no es posible encontrar elementos a. b y c en A tal que a R b y b R c, se concluye que R es transitiva. Es posible caracterizar la relacin transitiva por su matriz MR = [mij] as: si mij =1 y mjk = 1, entonces mik = 1 Para ver qu significa transitividad en trminos del grafo dirigido de una relacin, se traducir esta definicin a trminos geomtricos. Si se examinan los vrtices particulares a y c, las condiciones a R b y b R c ocurrirn si y slo si existe una trayectoria de longitud 2 de a a c, esto es, si y slo si a R2 c. Es posible replantear la definicin de transitividad como sigue: Si a R2 c, entonces a R c, esto es, R2 R (como un subconjunto de A x A). Es posible generalizar un poco esta caracterstica geomtrica de la transitividad en los trminos siguientes: Teorema 1 Una relacin R en un conjunto A es transitiva si y slo si satisface las siguientes propiedades: Si existe una trayectoria de longitud mayor que 1 del vrtice a al vrtice b, hay una trayectoria de extensin 1 de a a b (esto es, a est relacionada con b). Establecido algebraicamente, R es transitiva si y slo si Rn R para todas las n 1. g) Relaciones Equivalentes A una relacin R sobre un conjunto A se le llama relacin de equivalencia si es reflexiva, simtrica y transitiva. Ejemplo 11 Sea A el con junto de todos los tringulos en un plano y sea R la relacin en A definida como sigue: R = {(a, b) A x A | a es congruente con b} Es fcil ver que R es una relacin de equivalencia. Ejemplo 12 Sea A = {1,2, 3,4} y sea R = {(1, 1). (1. 2), (2, 1), (2.'2), (3, 4), (4, 3), (3. 3). (4, 4)} Es fcil de verificar que R es una relacin de equivalencia. R={(a,b) A x A | ab} Es R una relacin de equivalencia? Solucin. Ya que a a, R es reflexiva. Si a b, no necesariamente se sigue que b a, por lo cual R no es simtrica. A prop sito, R es transitiva, ya que a b y implica que a c . Se ve que R no es una relacin de equivalencia. Ejemplo 14 Sea A = Z y sea R = {(a, b) e A x A |2 divide a - b} Se escribir a R b como a b (mod 2) y se leer "a es congruente con b mdulo 2". Demuestre que la congruencia modulo 2 es una relacin de equivalencia. Solucin. Primero, aa (mod 2) ya que 2 |(a-a). Segundo, si a b (mod 2), entonces 2|{a-b), o a b = para alguna K Z. Entonces ' b a =2(-K) por lo cual 2 |(b - a) -y ba (mod 2). Finalmente, supngase que a b (mod 2) y b c (mod 2). Entonces 2| (a b) por lo cual a - b=2k1 donde k1 Z. Tambin, 2| (b c), por lo cual b - c == 2k2 donde k2 Z. Sumando las ecuaciones (1) y (2), se obtiene a - c = 2(k1 + k2) por lo cual 2| (a-c), lo que significa que a =c (mod 2) De aqu que la congruencia mdulo 2 sea una relacin de equivalencia. Ejemplo 15 Sea A = Z y sea n Z+. Se generalizar la relacin definida en al ejemplo 14 como sigue. Sea R = {(a, b) A x A | n divide a - b} y se escribir a R b como a b (mod n) lase "a es congruente con b mdulo n". Al proceder exactamente como en el ejemplo 14, se podr demostrar que la congruencia mdulo n es una relacin de equivalencia.

Relaciones de equivalencia y particiones Ahora se demostrar que una relacin de equivalencia sobre un conjunto produce una participacin de l, y recprocamente, una particin de un conjunto determina una relacin de equivalencia sobre ste. Sea R una relacin de equivalencia sobre el conjunto A. Si a e A, entonces [a]={x A | x R a} se llama clase de equivalencia de a. Obsrvese que la clase de equivalencia [a] nunca es vaca, ya que la propiedad reflexiva de R implica que a [a]. Ejemplo 16 Sea R la relacin de equivalencia definida en el ejemplo 12. Entonces [1]={1,2} y [2] ={1,2} ya que (1. !),(1, 2), (2,1), y (2,2) R