Relaciones Ejercicios adicionales - comisin de la ma ana o n Versin del 17/09/2012 o

Juntamos todas las deniciones

Relacin binaria entre A y B: subconjunto de A B. o Relacin inversa: si R A B, entonces R1 B A, y o 1 R = {(b, a) / (a, b) R}. Relacin funcional: R A B es funcional sii se cumplen estas dos condiciones o existencia x : x A (x B : (x, y) R)
f (x)=y

x : y1 : y2 : ((x, y1 ) R (x, y2 ) R) y1 = y2 unicidad

f (x)=y1 =y2

Relacin denida en A: subconjunto de A A. o Una relacin R denida en A es o reexiva sii x : xRx. simtrica e sii x : y : xRy yRx. antisimtrica e sii x : y : (xRy yRx) x = y. transitiva sii x : y : z : (xRy yRz) xRz. de orden sii es reexiva, antisimtrica y transitiva. e de equivalencia sii es reexiva, simtrica y transitiva. e Una relacin de orden es total si (adems de ser de orden, claro), se cumple esta o a condicin: x : y : xRy yRx. o Si una relacin de orden no es total, entonces se dice que es parcial (te queda a o vos escribir la frmula de la condicin de orden parcial, que es negar la de orden o o total). Conjunto ordenado: (A, R) es un conjunto ordenado sii R es una relacin de orden o denida en A. Si R es un orden total, entonces (A, R) es un conjunto totalmente ordenado. Elementos particulares: si (A, R) es un conjunto ordenado y B A, entonces

Pgina 1 de 12 a

Relaciones adicionales comisin de la maana o n Versin del 17/09/2012 Matemtica I. TPI. UNQ. 2012 o a cota superior cota inferior supremo z z z o z o z z z z es cota superior de B sii x : x B x R z. es cota inferior de B sii x : x B z R x. es el supremo de B sii es la cota superior ms chica de B, a sea, sii z es cota superior de B y x : x es cota superior de B z R x. es el nmo de B sii es la cota inferior ms grande de B, a sea, sii z es cota inferior de B y x : x es cota inferior de B x R z. es el mximo de B sii z es el supremo de B y z B. a es el m nimo de B sii z es el nmo de B y z B. es maximal de B sii z B y x : x B {z} z R x. es minimal de B sii z B y x : x B {z} x R z.

nmo

mximo a m nimo maximal minimal

Recordamos que: supremo, nmo, mximo y m a nimo son unicos, si existen. maximales y minimales pueden no ser unicos. el supremo es el m nimo de las cotas superiores. el nmo es el mximo de las cotas inferiores. a Bi = para todo i, Bi Bj = si i = j Particin de A: {Bi }iI = {B1 , B2 , . . .} tales que: o A = iI Bi Cada Bi es un bloque de la particin {Bi }iI de A. o I es el conjunto de ndices de la particin. o

P.ej. en la particin de N entre pares e impares, nos queda N = {B1 , B2 } donde B1 o y B2 son los conjuntos de nmeros pares e impares respectivamente, y I = {1, 2}. u

Cada relacin de equivalencia R denida en A genera una particin de A. o o A la particin de A generada por R se la llama A/R, el conjunto cociente de A o por R. A los bloques de A/R se los llama clases de equiivalencia de A/R. Para indicar la clase de equivalencia a la que pertenece un elemento a A, notamos cl(a).

Ejercicios
1. Consideremos A un conjunto de personas y B un conjunto de cuadros de ftbol. u Qu quiere decir que la relacin R denida como e o aRb sii a es hincha de b es funcional?

Pgina 2 de 12 a

Relaciones adicionales comisin de la maana o n Versin del 17/09/2012 Matemtica I. TPI. UNQ. 2012 o a

2. Consideremos los siguientes conjuntos A equipos que participaron en un campeonato B partidos de ese campeonato N0 nuestros amigos los nmeros naturales, incluyendo el 0. u Para cada una de las siguientes relaciones, indicar en dnde est denida cada o a una, si es funcional o no, y en los casos en que tenga sentido la pregunta, si son necesariamente reexivas, simtricas, antisimtricas, y/o transitivas. e e Nota: un contrajemplo de un campeonato inventado alcanza para mostrar que una relacin no tiene, necesariamente, una propiedad. o a) aRb sii a y b son dos partidos que se jugaron el mismo d a. b) aRb sii en el partido a se hicieron ms goles que en b. a c) aRb sii el equipo a jug el partido b. o d ) aRb sii los partidos a y b tienen, al menos, un equipo en comn. u e) aRb sii b es la cantidad total de goles que hizo el equipo a en el campeonato. f ) aRb sii a a b fue el resultado de al menos un partido, o sea, sii en algn u partido el local hizo a goles y el visitante hizo b goles. g) aRb si los equipos a y b ganaron la misma cantidad de partidos. h) aRb si b es la cantidad de goles que se hizo en el partido a. i ) aRb si a es la cantidad de goles que se hizo en el partido b. 3. Consideremos los siguientes conjuntos A personas que hicieron compras en un negocio. B art culos que se venden en el negocio. R nuestros amigos los nmeros reales. u Para cada una de las siguientes relaciones, indicar en dnde est denida cada o a una, si es funcional o no, y en los casos en que tenga sentido la pregunta, si son reexivas, simtricas, antisimtricas, y/o transitivas. e e a) la que relaciona cada persona con el importe total de las compras que hizo (0 si no hizo ninguna compra). b) aRb sii hay algn art u culo que compraron tanto a como b. c) aRb sii b es el art culo ms caro que compr a. a o d ) aRb sii a fue una cantidad mayor o igual de veces al mercado de las que fue b. e) aRb sii todos los art culos que compr a, tambin los compr b. o e o f ) aRb sii b es la madre de a. g) aRb sii a y b son familiares directos en primer grado, o sea, a es padre/madre, hermano hijo de b, o bien a y b son la misma persona. o Pgina 3 de 12 a

Relaciones adicionales comisin de la maana o n Versin del 17/09/2012 Matemtica I. TPI. UNQ. 2012 o a

h) aRb sii a y b son art culos y el precio de los dos es un nmero par. u i ) aRb sii b es el precio del art culo a. 4. Si A = {a, b, c, d}, indicar para cada una de las siguientes relaciones si son funcionales, reexivas, simtricas, antisimtricas, y/o transitivas. En cada caso que una e e relacin no sea como se pide, indicar un conjunto lo ms chico posible de pares a o a agregar y/o quitar para que la relacin sea como se pide. o a) {(a, a), (a, b), (b, c)}. b) {(a, a), (a, b), (a, c), (b, b), (b, c), (d, d)}. c) {(a, a), (a, b), (a, c), (b, a), (b, b), (b, c), (c, b), (c, c), (d, d)}. d ) {(a, a), (b, a), (b, b), (c, c), (d, d)}. e) {(a, a), (a, d), (b, b), (c, c), (d, a), (d, d)}. f ) A A. 5. Para cada una de las siguientes relaciones: dar tres pares que pertencen y tres pares que no; indicar si son funcionales, reexivas, simtricas, antisimtricas, y/o e e transitivas; y denir la relacin inversa. Considerar A = {1, 2, 3, 4}. o a) en b)

ambos terminan en 38). c) en d) e) f) g) h) i) j)

N, aRb sii a + b = 11. en N, aRb sii las dos ultimas cifras de a y b coinciden (p.ej. 1438 R 738 porque

N, aRb sii b = 2a. en Z, aRb sii a = b2 (p.ej. 9 R 3 porque 9 = 32 ). en Z, aRb sii | a b | 5. en Z, aRb sii a b 5. k ) en R, xRy sii | x | y. en R, xRy sii x 4 y 4. l ) en R, xRy sii y x y + 2. en R, xRy sii x 4 y 5. m) en A, xRy sii x = y x + y = 5. en R, xRy sii x 4 y 4. n) en P (A), xRy sii x y = A. en R, xRy sii x 4 y 5. n) en P (A), xRy sii y = A x.

o) en P (A), xRy sii x {2, 3} = y {2, 3}. 6. Para evitar que haya corazones rotos por amores no correspondidos, cmo deber o a ser la relacin o aRb sii a ama a b denida en el conjunto de las personas? Pgina 4 de 12 a

Relaciones adicionales comisin de la maana o n Versin del 17/09/2012 Matemtica I. TPI. UNQ. 2012 o a

7. Si Juan es hermano de Ana y Ana es hermana de Lucas, de quines ms s que e a e son hermanos? Esto tiene que ver con que la relacin de ser hermanos es cmo? o o 8. Consideremos A = {a, b, c, d}. a) La relacin vac denida en A, es de orden?, es de equivalencia? Justicar. o a b) Dar una relacin de orden de cardinal m o nimo, o sea, que no existe una relacin de orden con menos elementos. o c) Dar una relacin de equivalencia de cardinal m o nimo, o sea, que no existe una relacin de equivalencia con menos elementos. o d ) Dar una relacin de orden de cardinal mximo, o sea, que no existe una o a relacin de orden con ms elementos. o a e) Dar una relacin de equivalencia de cardinal mximo, o sea, que no existe o a una relacin de equivalencia con ms elementos. o a 9. Si | A | = n, | B | = m, y R es una relacin funcional en AxB, cul es | R |? o a 10. Demostrar que si R es simtrica y transitiva y aRb para ciertos a y b, entonces e aRa y bRb. 11. Dados los siguientes conjuntos ordenados a travs de diagramas de Hasse, hallar e los elementos particulares para cada subconjunto indicado. j h a) e b f c a i g b) d a e b f c Pgina 5 de 12 a j h B1 B2 B3 B4 = {g, h, i, j} = {j, h, f, c} = {i, d, b} = {e, b} i g d B1 B2 B3 B4 = {f, g} = {i, f, c} = {e, f, h} = {a, g, j}

Relaciones adicionales comisin de la maana o n Versin del 17/09/2012 Matemtica I. TPI. UNQ. 2012 o a

12.

Respecto del diagrama que se muestra al costado, se pide a) Encontrar un subconjunto de 5 elementos que tenga mximo, uno de 3 elementos que no tenga mxia a mo pero s supremo, uno de 2 elementos que no tenga supremo. b) Agregar un elemento g y relacionarlo con el resto, de modo tal que en el diagrama modicado, el nmo de {e, f } sea g, en lugar de d.

13. Se parte de la relacin R denida en A = {a, b, c, d, e} cuyo diagrama de Hasse es o d c a Se pide a. Denir R agregando a R pares que relacionen e con otros elementos, de forma tal que {a, b} no tenga supremo pero {a, b, c, e} s . b. Denir R que sea un orden total en A y que verique que xRy xR y. 14. En cada caso, encontrar una relacin de orden que cumpla lo pedido o a) En A = {a, b, c, d, e}, un orden total R en el que: a sea el mximo de a {a, b, d, e}, c sea el mximo de {a, b, c}, dRb, y e sea cota inferior de {c, d, e}. a b) En A = {a, b, c, d, e}, un orden parcial (o sea, no total) R en el que el supremo de {b, c, d} sea a, que las cotas superiores de {b, c, d} sean {a, e}, y que el m nimo de {b, c, d} sea c. c) En A = {a, b, c, d, e}, un orden parcial R en el que c sea tanto el supremo de {d, e} como el nmo de {a, b}, y en el que {a, b, d, e} no tenga ni mximo ni a m nimo. d ) En A = {a, b, c, d, e, f }, un orden parcial R en el que: la unica cota superior de {b, c, d, e, f } sea a, los maximales de {b, c, d, e} sean {b, c}, el mximo de a {b, d, f } sea b, el m nimo de {b, d, f } sea f , se verique que f Re, y nalmente que el supremo de {d, e, f } sea c. e) En A = {a, b, c, d, e, f }, una relacin de orden R en la que: las cotas superiores o de {e, f } sean {a, b, c, d, e}, el supremo de {b, c} sea a, el nmo de {b, d} sea e, el subconjunto {c, d} no tenga supremo, (d R a). Pgina 6 de 12 a b obsrvese que e est relacionado e a solamente con l mismo e

Relaciones adicionales comisin de la maana o n Versin del 17/09/2012 Matemtica I. TPI. UNQ. 2012 o a

f ) En A = {a, b, c, d, e, f }, una relacin de orden R en la que: el supremo de o {e, f } sea d, el supremo de {b, c, d} sea a, el nmo de {b, c, d} sea c y el subconjunto {c, e, f } tenga tres maximales. g) En A = {a, b, c, d, e, f, g}, una relacin de orden R que cumpla con todas las o condiciones que siguen: sup({d, e, f }) = g inf ({d, e, f }) = d sup({a, b, c}) = sup({a, c}) = d sup({a, b}) = b 15. Gracar el diagrama de Hasse y la matriz de una relacin de orden en el conjunto o A = {a, b, c, d, e, f } que cumpla las siguientes condiciones: {a, b, c} tiene como nmo a c y no tiene supremo, {d, e, f } tiene como supremo a d y no tiene nmo, c R d. 16. Algunos de relaciones que s son de orden a) Se dene esta relacin de orden en R2 : (a, b)R(c, d) sii (a < c) (a = c b o d). Mostrar que es un orden total, y encontrar los elementos particulares de {(2, 3), (3, 4), (2, 4), (3, 2)}.

b) Se dene esta relacin de orden en R2 : (a, b)R(c, d) sii (a = c b = d) (a + o b < c+d). Encontrar los elementos particulares de {(1, 1), (1, 2), (2, 1), (3, 4), (2, 5)}. La relacin, es un orden total o parcial? o c) Se escribe a//b como la parte entera de a/b; por ejemplo, 328//3 = 109 porque 328/3 = 109,33 . . . y del resultado 109,33 . . . se toma lo que est a a la izquierda de la coma. Ms ejemplos: 5//3 = 1, 6//3 = 7//3 = 8//3 = 2, a 9//3 = 3. Se dene esta relacin de orden en N: aRb sii a = b (a 1)//3 < (b 1)//3. o Encontrar los elementos particulares de {2, 6, 13, 14}. Si te anims, demostr que la relacin es de orden. a a o

d ) Se dene la relacin de orden R en N de esta forma: x R y ssi x = y o x tiene o menos cifras que y. P.ej. 248 R 248, 248 R, 1304, 248 R 77, 248 R 304. Se pide Demostrar que R no es un orden total. Indicar cules de estos conjuntos tienen mximo. a a {20, 30, 200, 300} {20, 30, 200, 300, 1000} {8, 20, 30, 200, 300}

17. Consideremos la relacin de orden R denida en N: x R y si y slo si x = y o o o la ultima cifra de x es menor estricto a la ultima cifra de y. P.ej. los siguientes pares estn en la relacin: (134, 27), (134, 134), (134, 9), (134, 305), mientras que a o ni (134, 22) ni (134, 481) ni (134, 74) estn en la relacin (se destaca la ultima a o cifra de cada nmero, que es la que hay que mirar para determinar si un par est o u a no en la relacin). o Se pide resolver justicando en cada caso ( tem sin justicacin no cuenta): o

Pgina 7 de 12 a

Relaciones adicionales comisin de la maana o n Versin del 17/09/2012 Matemtica I. TPI. UNQ. 2012 o a

a) mostrar que el orden no es total. b) indicar cules de los siguientes nmeros a u 1000, 103, 65, 27, 12, 9 son cotas inferiores del subconjunto {47, 104, 33, 17}. c) indicar cules de los siguientes subconjuntos a {16, 25, 34}, {16, 25, 36}, {16, 24, 34} tienen mximo. a d ) obtener un subconjunto de cinco elementos que tenga m nimo y tenga exactamente dos maximales. e) indicar cules son los elementos internos del subconjunto {26, 35, 128, 348, 507} a respecto de R. Decimos que z B es interno si cumple esta condicin: o (x : x B x = z xRz) (x : x B x = z zRx) 18. Consideremos la relacin de orden R denida en N: x R y si y slo si x = y o la o o suma de las cifras de x es menor estricto a la suma de las cifras de y. P.ej. los pares (321, 38) y (321, 9) estn en la relacin, porque 3 + 2 + 1 = 6 < 11 = 3 + 8 y a o 3 + 2 + 1 = 6 < 9; mientras que ni (321, 1000) (6 < 1 = 1 + 0 + 0 + 0), ni (321, 4) (6 < 4), ni (321, 42) (6 < 6 = 4 + 2) estn en la relacin. a o Se pide resolver justicando en cada caso ( tem sin justicacin no cuenta): o a) mostrar que el orden no es total. b) dar mximo, m a nimo, 3 cotas superiores y 2 cotas inferiores del subconjunto {412, 339, 78, 704, 125}. c) indicar cules de los siguientes subconjuntos a {385, 59, 761}, {385, 59, 762}, {385, 59, 763} tienen mximo. a d ) obtener un subconjunto de seis elementos que tenga exactamente tres minimales y tenga mximo. a e) indicar cules son los elementos internos del subconjunto {126, 34, 981, 425, 2122} a respecto de R. Decimos que z B es interno si cumple esta condicin: o (x : x B x = z xRz) (x : x B x = z zRx) 19. Algunos de relaciones que no son de orden. a) Se dene esta relacin en o relacin no es de orden. o

R2: (a, b)R(c, d) sii a b o c d. Mostrar que esta

Pgina 8 de 12 a

Relaciones adicionales comisin de la maana o n Versin del 17/09/2012 Matemtica I. TPI. UNQ. 2012 o a

b) Se dene esta relacin en o relacin no es de orden. o

R2: (a, b)R(c, d) sii a + b c + d. Mostrar que esta

20. Algunos ms sobre elementos particulares. a a) En una relacin de orden denida en {a, b, c, d, e, f }, sabemos que el supremo o de {c, d, e} es b. Demostrar que: {c, d, e} no tiene mximo, {b, c, d, e} s tiene a mximo, el orden es parcial. a b) En una relacin de orden R denida en {g, h, i, j, k}, sabemos que los maxio males de {i, j, k} son {i, k}. Demostrar que: {i, j, k} no tiene mximo, i y k a no son comparables segn R (o sea ni iRk ni kRi), el orden es parcial. u Ayuda: en varios casos puede venir bien razonar por absurdo. 21. Completar la siguiente matriz de relacin, sabiendo que es de orden. Se trata de o una relacin de orden total? o
2\ 1

a b c d 22. Algunos de relaciones de equivalencia

a b c d 1 0 0 1 1

a) En el supermercado Don Manolo1 se puso el siguiente cartel en la gndola o de la yerba Se limita la compra de yerba a 3 paquetes por persona por d a. Como Don Manolo conoce a sus clientes, puede impedir que hagan trampa comprando ms de 3 paquetes el m a smo d yendo varias veces. a, En el conjunto A de las personas que hicieron compras en el supermercado en un d dado, se dene la relacin R de esta forma: xRy si y slo si x e y a o o compraron la misma cantidad de paquetes de yerba ese d a. Denir el conjunto cociente A/R, teniendo en cuenta que pudo haber gente que no compr yerba. o b) En un barrio, se quiere armar una asamblea vecinal con un representante por manzana. Si denimos A como el conjunto de los habitantes del barrio, denir una relacin R de equivalencia en A tal que en la asamblea haya exactamente una o persona por cada bloque de A/R.
1

que, como todos sabemos, vende ms barato . . . si no te suena a nada, preguntale a algn t a u o

Pgina 9 de 12 a

Relaciones adicionales comisin de la maana o n Versin del 17/09/2012 Matemtica I. TPI. UNQ. 2012 o a

c) Denir A/R donde A = P ({a, b, c, d, e}) y xRy si y slo si {x {a, b, c}} = o {y {a, b, c}}. d ) Un equipo de ftbol tiene un plantel formado por 35 jugadores, de los cuales u 4 son arqueros, 14 son defensores, 10 son mediocampistas y 7 son atacantes2 . Arquero, defensor, mediocampista y atacantes son las posibles posiciones de un jugador. Decimos que A es el conjunto de jugadores del equipo, y denimos la relacin R as xRy ssi3 x e y juegan en la misma posicin. o : o Se pide: denir A/R, e indicar cuntos elementos de cada bloque tengo que a tomar para armar un equipo que se pare 4-4-2 (o sea, con 4 defensores, 4 mediocampistas y 2 atacantes; recordar que un equipo tiene exactamente un arquero). e) Dentro del conjunto A de los alumnos de una escuela, se dene la relacin o R as dos alumnos estn relacionados ssi estn en el mismo grado y adems : a a a son, o bien los dos varones, o bien las dos mujeres. Denir A/R e indicar qu se obtiene tomando un representante de cada clase e de equivalencia (clase de equivalencia = bloque) resultante. f ) Dentro del conjunto A de los seres humanos, se dene la relacin R as dos o : personas estn relacionadas ssi cumplen aos en el mismo d a n a. Suponiendo que todos los d nace al menos una persona, denir A/R, indicar as cuntos bloques hay, y cul de ellos en principio deber tener un cardinal a a a menor al de los otros (ayuda: pensar en los aos bisiestos). n 23. Consideremos A = y1 + 3 y2 . Se pide:

N2 incluyendo el 0 en N, y (x1, x2) R (y1, y2) ssi x1 + 3 y2 =

a) describir cl(9, 4) por extensin. o b) encontrar el conjunto de ndices de la particin A/R. o c) encontrar una clase de equivalencia que tenga un solo elemento. d ) a partir de analizar B3 , B6 , B9 , etc., encontrar una frmula que permita o 4 calcular el cardinal de Bn si n es mltiplo de 3. Si te anims, den Bn por u a comprensin. o 24. Consideremos A = R2 incluyendo el 0, y (x1 , x2 ) R(y1 , y2 ) ssi x1 +3y2 = y1 +3y2 . Se pide: a) gracar cl(9, 4). Ayuda: es una recta. b) encontrar I, el conjunto de ndices de la particin A/R. o
2 3

es un equipo conservador si y slo si o 4 cantidad de elementos . . . aunque a esta altura ya deber acordarte. as

Pgina 10 de 12 a

Relaciones adicionales comisin de la maana o n Versin del 17/09/2012 Matemtica I. TPI. UNQ. 2012 o a

c) Denir Bi por comprensin para cada i en I. Ayuda: va a tener la forma o Bi = {(x1 , x2 )/x2 = . . .} donde en los puntos suspensivos va una frmula, o donde conviene usar x1 e i. 25. Algunos ms con a

N2.

a) Denir A/R donde A = N2 y (x1 , x2 ) R (y1 , y2 ) ssi (x1 + x2 )2 = (y1 + y2 )2 . Atencin! Hay que denir I en forma exacta, no le puede sobrar nada. o

b) Dados A = N2 incluyendo el 0 en N, y (x1 , x2 ) R (y1 , y2 ) ssi x1 x2 = y1 y2 : describir cl(2, 5) y cl(5, 2), y despus denir A/R, pensando bien quin es I. e e Ayuda: conviene denir por un lado los bloques correspondientes a cuando la resta da negativo, y por otro para los casos en que da positivo. Pensar en los pares (0, x) en qu bloques pueden estar. e

26. En una encuesta hecha a 100 personas sobre los medios de transporte que usan, se descubre que 40 usan el tren, 50 usan el colectivo, y 30 no usan ninguno de los dos. Se dene A como el conjunto de las 100 personas encuestadas, y R como la relacin o en la que x R y ssi x e y usan, entre tren y colectivo, exactamente los mismos medios (si los dos usan ambos, si los dos no usan ninguno, etc.). Llamemos C al conjunto de las personas que usan el colectivo, y T al conjunto de las personas que usan el tren. Denir A/R, asociando una frmula de conjuntos usando C y T a cada bloque; e o indicar el cardinal de cada bloque resultante. 27. Se hace un estudio en 91 comercios, viendo en cules se venden las marcas de jabn a o Lix, Dubi y/o Verono. Se obtienen estos datos: en 10 comercios se venden las tres marcas, en 19 Lix y Dubi, en 50 se vende Lix, en 17 se vende Lix y ninguna de las otras dos, en 44 se vende Dubi, en 15 Dubi y Verono, en un negocio no se vende ninguna de las tres marcas. Se dene A como el conjunto de los 91 comercios estudiados; llamemos L, D y V a los conjuntos de los negocios que venden Lix, Dubi y Verono respectivamente. a) Si R es la relacin en la que x R y ssi x e y venden, entre Lix, Dubi o y/o Verono, exactamente las mismas marcas (si los dos venden las tres marcas, si ninguno de los dos vende ninguna marca, si los dos venden Lix y ninguna de las otras dos, etc.), denir A/R, asociando una frmula de o conjuntos usando L, D y V a cada bloque; e indicar el cardinal de cada bloque resultante.

Pgina 11 de 12 a

Relaciones adicionales comisin de la maana o n Versin del 17/09/2012 Matemtica I. TPI. UNQ. 2012 o a

b) Si R es la relacin en la que x R y ssi x e y venden exactamente las mismas o marcas teniendo en cuenta solamente , entre Lix y Verono, (si los dos venden las ambas marcas, si , si los dos venden Lix y no Verono, etc.), denir A/R , asociando una frmula de conjuntos usando L, D y V a cada o bloque; e indicar el cardinal de cada bloque resultante. 28. Sean A = {a, b, c, d, e, f }, y los predicados p y q cuyas extensiones son p = {a, b, c, d} y q = {b, d, e}. Denimos las relaciones R1 y R2 donde x R1 y ssi p(x) p(y) es verdadera, y x R2 y ssi (p(x) p(y)) (q(x) q(y)) es verdadera. Demostrar que R1 y R2 son de equivalencia, y hallar A/R1 y A/R2 , deiendo en ambos casos cada clase de equivalencia por extensin. o 29. Sean A = {a, b, c, d, e}, y el predicado p = {(a, a), (a, b), (b, a), (b, b), (c, a), (e, a)}. Denimos la relacin R en A as x R y ssi r(x, z) r(y, z) es verdadera. o : Hallar A/R, deniendo cada clase de equivalencia por extensin. o

Pgina 12 de 12 a