Unidad 4.

- Relaciones

Hay otra manera de visualizar una relacientre n y esconjuntos a travs de una representacin grfica, Relaciones donde se los puntos en el plano que pertenecen destaquen A y los puntos que pertenecen B. Se a trazan a flechas indican la relacin que existe entre cada elemento del conjunto A y su Parejas que ordenadas correspondiente en el conjunto B. A esta representacin grfica se le conoce como diagrama un un conjunto de dos elementos no interesa, por de flechas . de los elementos en El orden {3, 5} = {5, 3} ejemplo: Por otra parte, una pareja ordenada consiste en dos elementos, de los cuales uno designa el primer elemento, y el otro, el segundo. Tal pareja ordenada a, se b ), en donde a es el 1 escribeelemento ( primer by es el segundo. a Dos parejas ordenadas a, b )y( c, d ) son iguales si y solamente a si=c y(b = d. 2 Producto cartesiano
b

Considere dos conjuntos arbitrarios Ay B. El conjunto de todas las parejas ordenadas a, b ) en c 4 donde a A y b B se llama producto o(producto cartesiano deA y B. La definicin de producto cartesiano puede extenderse fcilmente al caso de ms de dos conjuntos. Correspondencias y aplicaciones entre conjuntos1 Se llama producto cartesiano dos conjuntos AyBy se representa A las x Brelaciones , al conjunto A partir de la definici n de de producto cartesiano, introduciremos m de s pares ordenados (a, b), tales que el primer elemento pertenece al primer conjunto y el importantes que se pueden establecer entre los elementos de dos conjuntos segundo elemento al segundo conjunto . Es decir: dados. Correspondencias A x B = {( a, b) / a A, b B} Dados dos conjuntos A y B, se denomina correspondencia entre A y B a unsubconjunto del El producto cartesiano, en Ax Es B B x A. producto cartesiano A de por B.general, no es conmutativo. decir: PuedeAl ocurrir que de loslos conjuntos A yB sean conjunto pares de unacoincidentes. correspondencia se le denomina grafo, y se porG. representa EJEMPLO Se definen tambin los siguientes Si A = conjuntos: a , b, c} y B = {1, 2, 3, 4}, el producto { El conjunto A es el conjunto inicial ocartesiano conjunto de partida, que es del que salen es: las flechas. A xB = {( a , 1), a ( , 2), a ( , 3), el a ( , conjunto 4), b ( , 1), b ( , 2), o b ( ,conjunto 3), b ( , 4), de c ( , 1), c ( , 2), c (que , 3), es c ( , 4)} El conjunto B es final llegada, al que llegan las flechas. Se puede representar grficamente por medio de puntos en un plano, como se muestra El conjunto original es el conjunto formado por los elementos del conjunto inicial continuacin. Aqu, cada punto P representa una pareja ordenada a, b)(de nmeros reales y a de los que parte alguna flecha. Por tanto, el conjunto original est incluido en el viceversa; la lnea vertical a trav Ps encuentra de al eje x ena, y la lnea horizontal a trav P s de conjunto inicial. encuentra el eje y b. en A esta representacin se le conoce diagrama cartesiano . El conjunto imagen es el conjunto formado por los elementos del conjunto final a como los que llega alguna flecha. Por tanto, el conjunto imagen est incluido en el B conjunto final.
4
1 El smbolo se lee para cada, para toda o para cualquier

2 El smbolo se lee existe o para alguna El smbolo se lee por lo tanto igualmente que el smbolo 1 El smbolo se lee lgicamente equivalente o sencillamente iguales a b c A

1 Ing. Miguel ngel Durn Jacobo 2

Unidad 4.- Relaciones

EJEMPLO Si A = { a, b, c}, B = {1, 2, 3, 4}, y un grafo G = [( a, 2), ( b, 2), ( b, 3), c ( , 4)}. Vemos que G es un subconjunto Ade x B, es decir, G( A x B). La correspondencia est representada grficamente en: a) un diagrama cartesiano.
B
4 3 2 1 a b c A

b) Un diagrama de flechas.

a b c

1 2 3 4

El El El El

conjunto conjunto conjunto conjunto

inicial es el conjunto A. final es el conjunto B. original es: Orig () = a, { b, c}. imagen es: Im () = {2, 3, 4}.

Dados dos conjuntos A y B, y una correspondencia entre ellos, se denomina correspondencia inversa o recproca de , y se representa por -1, a la correspondencia que asocia a los elementos del conjunto final con los del conjunto inicial de ; es decir, tiene como conjunto original el conjunto imagende , y como conjunto imagen el conjunto original . de

Ing. Miguel ngel Durn Jacobo 3

Unidad 4.- Relaciones

EJEMPLO
A
1 2 3

a b c

-1 1 2

3 4

Tipos de correspondencia 1. Correspondencia en o inyectiva: Una correspondencia es inyectiva cuando cada elemento del conjunto imagen es imagen de un solo elemento del ; es decir, conjunto original del conjunto final puede llegarle una o ninguna a cada elemento . flecha inyectiva y y1 = ( x1), y2 = ( x2), si y1 = y2 x1 = x2, x1, x2 A 1, y2 B, donde Ejemplo:
A
1 2 3

a b c

2. Correspondencia sobre o suprayectiva o exhaustiva: Una correspondencia es sobre cuando el conjunto imagen coincide con el conjunto ; es decir, cuando todo elemento final del conjunto final es imagen de al menos uno del inicial. A B
1 2 3

a b c

Ing. Miguel ngel Durn Jacobo 4

Unidad 4.- Relaciones

3. Correspondencia unvoca: Una correspondencia es unvoca cuando cada elemento del conjunto original tiene como mximo una ; es decir, de cada elemento del conjunto imagen inicial puede partir una o ninguna flecha al conjunto final. A B
1 2 3

a b c

4. Correspondencia multvoca: Una correspondencia es multvoca cuando existe algn elemento del conjunto inicial con dos o m s . imgenes
A

a b c

1 2 3

5. Correspondencia biunvoca: Una correspondencia unvoca entre dos conjunto A y B es biunvoca cuando su correspondencia -1 tambin es unvoca. inversa
A
1 2 3

a b c

-1

1 2

3 4

Ing. Miguel ngel Durn Jacobo 5

Unidad 4.- Relaciones

Aplicaciones Una aplicacin es una correspondencia unvoca donde el conjunto original coincide con el conjunto inicial . Es decir, de cada elemento del conjunto inicial parte una y solo una imagen al final . Simblicamente podemos expresarlo diciendo que una aplicaci n es una correspondencia que cumple las dos condiciones siguientes: 1. x A, y B / (x) =y 2. x1, x2 A, si x1 = x2 x1) (= ( x2) Luego el concepto de aplicacin es una condicin ms restrictiva que el concepto de correspondencia.

Clases de aplicaciones 1. Aplicacin inyectiva: Es aquella en la que a cada elemento del conjunto imagen le corresponde a uno y slo a un elemento del conjunto es decir, cada elemento del original; final es imagen de al menos un elemento del conjunto conjunto . original
A

a b c

2. Aplicacin suprayectiva o exhaustiva: Es la aplicacin que verifica que el conjunto final es igual a su conjunto imagen.
A
1 2 3

a b c

Ing. Miguel ngel Durn Jacobo 6

Unidad 4.- Relaciones

3. Aplicacin biyectiva: Es la aplicacin que a la vez es inyectiva y suprayectiva. Obsrvese que en este caso, si los dos conjuntos son finitos, deben tener el mismo cardinal.
A
1

a b

Relaciones Una relacin puede pensarse como una tabla que enumera la relaci n de algunos elementos con otros. Estudiante Curso Guillermo Ciencias de la computacin Mary Matemticas Guillermo Historia del arte Beatriz Administracin Beatriz Ciencias de la computaci n David Matemticas La tabla anterior muestra cules estudiantes estn asistiendo a cules cursos. Por ejemplo, Guillermo est cursando Ciencias de la computacin e Historia del arte, y Mary est cursando Matemticas. En la terminologa de las relaciones, podramos decir que Guillermo est relacionado con Ciencias de la computacin e Historia del arte, y que Mary est Matem ticas. relacionada con Por supuesto, la tabla nos muestra tan slo un conjunto de pares ordenados. De manera abstracta, definimos una relacin como un conjunto de pares ordenados. En este contexto, consideramos que el primer elemento del par ordenado se relaciona con el segundo elemento del par ordenado. Si una relacin se indica mediante una tabla, el dominio est formado por los miembros de la primera columna y el rango consta de los miembros de la segunda columna. Una relacin R de un conjunto X en un conjunto Y es un subconjunto del producto cartesiano X x Y. Si ( x, y ) R, escribimos x R yy decimos que x est relacionado con y. Si X =Y, decimos que R es una relacin binaria sobre . X

Ing. Miguel ngel Durn Jacobo 7

Unidad 4.- Relaciones

Relacin binaria La relacin binaria definida en un conjunto A es un subconjunto del producto cartesiano EJEMPLO A x A.

Sea el conjunto A = {x, y, z}. El grafo de la siguiente figura representa una relaci n binaria definida en A, puesto que los pares x, z), (( y, x) (y, y) constituyen un subconjunto Ax de A.
x

yz

Se dice que dos elementos a y b estn relacionados , y se escribe a R b, a est relacionado con b mediante la relacin binaria R, cuando el par ordenado (a, b) pertenece al subconjunto del producto cartesiano que define la . relacin Si dos elementos a y b no estn relacionados mediante R en algn sentido, escribiremos a R bo b R a o ambas cosas. Propiedades de una relacin binaria Las principales propiedades que puede presentar una relaci R definida n en un conjunto A binaria se indican en la siguiente tabla, junto con sus respectivas condiciones. Propiedad Condicin 1. Reflexiva 2. Antireflexiva 3. Simtrica a A, a R a a A, a R a a, b A, a R b b R a

4. Antisimtrica en sentido amplio a, b A, ( a R b y b R a ) a= b a, b A, a R b 5. Antisimtrica en sentido estricto 6. Transitiva bR a

a, b, c A, ( a R by b R c ) a R c

En un diagrama de flechas las propiedades anteriores pueden observarse f cilmente atendiendo a criterios: los siguientes
Ing. Miguel ngel Durn Jacobo 8

Unidad 4.- Relaciones

1. Reflexiva. Cada elemento tiene un bucle. Ejemplo: Si A = {1, 2, 3, 4} Ry es la relacin ser igual que, se tiene:
R = {(1, 1), (2, 2), (3, 3), (4, 4)}

2. Anterreflexiva. Ningn elemento tiene un bucle. Ejemplo: Si A = {1, 2, 3, 4} Ry es la relacin ser menor que, se tiene:
R = {(1, 2), (1, 3), (1, 4), (2, 3), (2, 4), (3, 4)}
12

34

3. Simtrica. Cada flecha de ida tiene otra de vuelta. Ejemplo: Si A = {-1, 2, -3, 4} Ry es tal que a, b A, a R b a b > 0, se tiene:
R = {(-1, -1), (-1, -3), (2, 2), (2, 4), (-3, -1), (-3, -3), (4, 2), (4, 4)}

2 -1

-3 4

Ing. Miguel ngel Durn Jacobo 9

Unidad 4.- Relaciones

4. Antisimtrica en sentido amplio. Ninguna flecha de ida tiene otra de vuelta, salvo en caso el de los bucles, que estn permitidos. Ejemplo: Si A = {1, 2, 3, 4} Ry es la relacin ser menor o igual que, se tiene:
R = {(1, 2), (1, 3), (1, 4), (2, 3), (2, 4), (3, 4), (1, 1), (2, 2), (3, 3), (4, 4)}

21

34

5. Antisimtrica en sentido estricto. Ninguna flecha de ida tiene otra de vuelta, y no estpermitidos n los bucles. Ejemplo: Si A = {5, 7, 10} Ry es la relacin ser menor que, se tiene:
R = {(5, 7), (5, 10), (7, 10)}
5

10 7

6. Transitiva. Siempre que haya dos flechas consecutivas, debe haber otra que una el primer elemento con el tercero. Ejemplo: Si A = {1, 2, 3, 4} y R es la relacin ser mayor que, se tiene:
R = {(2, 1), (3, 1), (3, 2), (4, 1), (4, 2), (4, 3)}
12

34

Ing. Miguel ngel Durn Jacobo 10

Unidad 4.- Relaciones

Relacin de equivalencia Una relacin binaria R es una relacin de equivalencia definida en un A, si cumple las conjunto propiedades reflexiva, simtrica y . transitiva As, en el plano eucldeo considerando el conjunto de todas las rectas, la relaci n R ser paralela a es una relacin de equivalencia. Comprobmoslo: a) Reflexiva:a || a, puesto que cualquier recta es paralela a s b) Simtrica: si a ||misma. b, entonces b || a. c) Transitiva: si a || b y b || c, entonces a || c. Luego por cumplir las tres propiedades anteriores es una relaci n de equivalencia. Clases de equivalencia, conjunto cociente Dada una relacin de equivalencia R definida en un conjunto A, si a A se llama clase de equivalencia de a y se denota pora[], al subconjunto formado por todos los elementos de A relacionados con a por la relacin de equivalencia R. [a] = { x / x A y x R a} Propiedades de las clases de equivalencia a) Ninguna clase equivalencia es vac Porque a. a cualquier clase a ][ pertenece al menos el elemento a. Simblicamente: [ a ] A, a A a [a ] b) Las clases de equivalencias son disjuntas de dos a dos. Lo demostraremos por reducci n al absurdo. Supongamos dos clases no disjuntas y a ] y [b ], con lo que: diferentes [ x [a ]
[ a ] [b ]

x R a (1) a R x (2)

x [ a] [b]

a R b [ a ] = [b ] xR b xRb

x [b ]

Donde en (1) hemos aplicado la propiedad simtrica y en (2) la propiedad transitiva, que es unaya relacin de equivalencia. Y hemos llegado a que ambas clases son iguales, en contra de la hip tesis. Luego han[a de ser ] y [b ] disjuntas, con a] [[ b ]. c) Todo elemento de A pertenece a alguna clase de Esto es porque todo equivalencia. elemento de x de A pertenece al menos a su propia clase. Simblicamente: x A x [a ]
Ing. Miguel ngel Durn Jacobo 11

Unidad 4.- Relaciones

d) La unin de todas las clases de equivalencia en unA es el propio conjunto A: conjunto clase1 clase2 clasen A = Una relacin de equivalencia clasificaal conjunto en el que est definida, en clases de equivalencia. Se llama conjunto cocienteA de respecto a la relaciR n, y se representa por A / R, al conjunto formado por todas sus clases de . equivalencia Ejemplo Sea el conjunto A= { a, b, c, d, e, f} con la relacin de equivalencia R, dada en el grafo de la derecha:
b F aed

Hallamos la clase de equivalencia de cada elemento: [ [ [ a] = { a} [ b] = { b, c} [ e ] = { c] = { b, c} [ f ] = { d] = { d, e, f} d, e, f} d, e , f}

Y las clases de equivalencia resultan: clase1 = a} { , clase2 = b,{ c} y clase3 = d, e { , f} Obsrvese que cualquier elemento de la clase puede ser elegido como representante de la que misma, lo grficamente se puede comprobar en la figura a continuacin. Clase3
a

Clase1 c
b F

ed

Clase2

Ing. Miguel ngel Durn Jacobo 12

Unidad 4.- Relaciones

Luego el cociente es: A / R = {clase1, clase2, clase3} a}, = { b, c}, { d, e, f}} = {[ a ], [b ], [d ]} {{ Relaciones de orden Una relacin binaria R es una relacin de orden amplio si cumple las propiedades reflexiva, antisimtrica en sentido amplio y . transitiva Una relacin binaria R es una relacin de orden estricto si cumple las propiedades antirreflexiva, antisimtrica en sentido estricto y . transitiva Una relacin binaria R es una relacin de orden total si dos elementos cualesquiera estn relacionados en cualquier sentido. Es decir: a, b A, a R b o b R a Si una relacin no es de orden total, se dice que es de orden parcial. Ejemplo1: La relacin R ser menor o igual que definida en un conjunto num rico s de orden total. orden amplio, y adem Si tomamos: A = {1, 3, 4, 8} La relacin est formada por: R = {(1, 1), (1, 3), (1, 4), (1, 8), (3, 3), (3, 4), (3, 8), (4, 4), (4, 8), (8, 8)} Cuya representacin en un diagrama de flechas viene dada en la siguiente figura.
31

A, es una relacin de

48

Ing. Miguel ngel Durn Jacobo 13

Unidad 4.- Relaciones

Ejemplo2: La relacinR ser divisor de definida en un conjunto numA rico , es una relacin de orden amplio, y tambin de orden parcial. Si tomamos: A = {1, 3, 4, 8} Comoa es divisor de b, si el cociente b de /a es entero, la relacin est formada por: R = {(1, 1), (1, 3), (1, 4), (1, 8), (3, 3), (4, 4), (4, 8), (8, 8)} Cuya representacin en un diagrama de flechas viene dada en la siguiente figura.
31

48

Veamos los ejercicios siguientes: Ejercicio 1 : Dados los conjuntos: A = {1, 3} ; B={ a, b, 3} ; C ={ b}

Encontrar. a) A x B. b) ( A B) x C. c) A x B x C (como ejemplo de generalizacin del producto cartesiano que hemos definido). a) A x B = {(1, a), (1,b), (1, 3), (3, a), (3,b), (3, 3)}. b) ( A B) x C = {1, 3, a, b} x { b}= {(1, b), (3,b), ( a, b), ( b, b)} c) A x B x C = {(1, a), (1,b), (1, 3), (3, a), (3,b), (3, 3)} xb{ }= = {(1, a, b ), (1,b, b ), (1, 3, b), (3,a, b ), (3,b, b ), (3, 3, b)} Ejercicio 2 : Dado C =a{ , b, c} y la relacin R = {(a, a), (a, b), (b, a)}, se a) Dibujar supide: diagrama de flechas. b) Dibujar su diagrama cartesiano. c) Determinar qu propiedades cumple. d) Es una relacin de equivalencia? e) Encontrar el conjunto cociente.
Ing. Miguel ngel Durn Jacobo 14

Unidad 4.- Relaciones

a) Dibujar su diagrama de flechas.

b) Dibujar su diagrama cartesiano. C

c b a a b c C

c) Determinar qu propiedades cumple. Reflexiva: No es, puesto que b R b y c R c. Antirreflexiva: No es, pues a R a. Simtrica: S es, pues toda flecha de ida tiene otra de vuelta. Antisimtrica: No es, ni en sentido amplio ni estricto, pues en el caso aR de b, tambin b R a y a b. Transitiva: No es, pues aunque a R b, y b R a implicaraa R a, y efectivamente, a est relacionado con a, sin embargo, tambin ocurre bR que a y a R b b R b. d) Es una relacin de equivalencia? No es una relacin de equivalencia, pues nicamente cumple la propiedad simtrica, pero no as la reflexiva ni la transitiva. e) Encontrar el conjunto cociente. El conjunto cociente no puede hallarse en este caso, ya que la relaci n no es de equivalencia y, por tanto, carece de sentido este concepto.

Ing. Miguel ngel Durn Jacobo 15

Unidad 4.- Relaciones

Ejercicio 3 : Dada la relacin binaria de la figura siguiente, se pide: a) Estudiar sus propiedades. b) Hallar el conjunto cociente.

cb

Clase1
a d

Clase3
e

Clase2

a) Propiedades: Reflexiva: S es, ya que cualquier elemento est relacionado consigo mismo. Antirreflexiva: No es, puesto que a R a, por ejemplo. Simtrica: S es, pues toda flecha de ida tiene otra de vuelta. Antisimtrica: No es, ni en sentido amplio ni estricto, pues en el caso b de R c, tambin c R b y b c. Transitiva: S es, pues dentro del tringulo b, c, d, dos flechas consecutivas de ida tienen otra que une el punto de origen y el final. Por tanto, es relacin de equivalencia. b) Puesto que es relacin de equivalencia, podemos hallar su conjunto cociente. Hallando la equivalencia de cada elemento clase de tenemos: [a] = { a} [ d] = { b, c, d} [b] = { b, c, d} [ e ]=e {} [c] = { b, c, d} Y las clases de equivalencia resultan ser las tres siguientes: clase1 = a} { , clase2 = b,{ c, d} y clase3 = e} { Luego el conjunto cociente es: A / R = {clase1, clase2, clase3} a}, = { b, c, d }, { e}} = {[ a ], [b ], [e ]} {{

Ing. Miguel ngel Durn Jacobo 16

Unidad 4.- Relaciones

Ejercicio 4 : Estudiar las propiedades de la relaciR n ser perpendicular a definida en el conjunto P de las rectas del plano. Reflexiva: No, cualquier recta no es perpendicular a s misma. Antirreflexiva: S, puesto que ninguna recta es perpendicular a ella misma. Simtrica: S, pues si a b, entonces, b a. Antisimtrica: No es, ni en sentido amplio ni estricto, pues en el a caso b, tambin, b a (con a b). Transitiva: No, pues si a ( b) y ( b a), no se cumple a( c), ya que las rectas ayc seran paralelas. Obsrvese que cuando una relacin binaria no cumple la propiedad antisimtrica en sentido amplio, ya no es necesario probar la antisimtrica en sentido estricto, pues si se ltima implicar cumpliera estaa el cumplimiento de la primera.

Ing. Miguel ngel Durn Jacobo 17

Unidad 4.- Relaciones

Ejercicios de repaso para la unidad 4

1. Sea R la siguiente relacinAde = {1, 2, 3} B en ={ a, b}. R = {(1, a), (1,b), (3,a)}; Representar R como un diagrama cartesiano, un diagrama de flechas y como una tabla binaria. 2. Sea R = {(1, 2), (2, 2), (2, 4), (3,2), (3, 4), (4, 1), (4, 3)}; dibuje un grafo considerando que el conjunto A = {1, 2, 3, 4}. 3. Considere las siguientes relaciones en el A = {1, 2, 3} conjunto f = {(1, 3), (2, 3), (3, 1)} g = {(1, 2), (3, 1)} h = {(1, 3), (2, 1), (1, 2), (3, 1)} Indique en cada una de ellas si es una aplicaci n o no y porqu. 4. Sea A = {1, 2, 3} y la relaci R = n {(1, 1), (1, 2), (1, 3), (2, 1), (2, 2), (3,2), (3,3)}; determinar si es una relaci n de equivalencia. 5. Dado A = {1, 2, 3, 4} By ={ x, y, z}. considere la siguiente relaciA n en de B. G = {(1, y), (1,z), (3,y), (4,x), (4,z)} a) Grafique G en un diagrama de coordenadas. b) Dibuje el diagrama de flechas G. de c) Encuentre la relacin inversa G -1 . de 6. Sean A = {1, 2, 3, 4, 6} R la y relacin definida por x divide a y, indicada como: x y. ( x y si y solo si existe un entero z tal que xz =y). a) Escriba R como un conjunto de parejas b) Grafique ordenadas. R en un diagrama de flechas A x A( ), y dibuje su grafo dirigido. -1 de c) Encuentre la relacin inversa R R y describa R-1 en palabras. 7. Considere las siguientes cinco relaciones en el conjunto A = {1, 2, 3} R = {(1, 1), (1, 2), (1, 3), (3, 3)} S = {(1, 1), (1, 2), (2, 1), (2, 2), (3, 3)} T = {(1, 1), (1, 2), (2, 2), (2, 3)} = la relacin vaca A x A = la relacin universal Determine si es verdadero o no que cada una de las relaciones anteriores es: (a) reflexiva, (b) simtrica, (c) transitiva, (d) una relacin de equivalencia.

Ing. Miguel ngel Durn Jacobo 18