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.
Funciones Una funcin f es una relacin que asigna a cada elemento x de un conjunto A un nico elemento b de un conjunto B, es decir

Para que sea funcin debe cumplirse:

a f, entonces b=c, es decir a cada elemento del dominio debe estar relacionado con slo un elemento del codominio.

Relacion y equivalencia Se dice que R es una relacin de equivalencia si es:

Por ejemplo, sea A={1,2,3,4,5,6}

Clases Relacion y equivalencia Una relacin 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 estn relacionados con a A. Se indica: [a] = {b| b B, aRb}

clases de equivalencia es vacia.

Relaciones de equivalencia Definicin 118 Una relacin de equivalencia una relacin reflexiva, simtrica y transitiva.

es