Universidad de Costa Rica Sede Occidente Seccin de Matemtica Ma-0123 Principios de Matemtica. Lista Ejercicios 4 1.

Sea R la relacin en el conjunto de los enteros tal que aRb si y slo si a = b o a = b. Es R una relacin de equivalencia? 2. Sea R la relacin en el conjunto de los nmeros reales tal que aRb si y slo si a b es un entero. Es R una relacin de equivalencia? 3. Demuestre que la relacin R en Z Z denida por (a, b)R(c, d) si y slo si a + d = b + c es una relacin de equivalencia. 4. Suponga que R1 y R2 son relaciones reexivas en un conjunto A. Es R1 R2 tambin reexiva? Es R1 R2 tambin reexiva? 5. Suponga que R1 y R2 son relaciones simtricas en un conjunto A. Es R1 R2 tambin simtrica? Es R1 R2 tambin simtrica? 6. Sea R una relacin reexiva y transitiva sobre X . Demuestre que R R 1 es una relacin de equivalencia sobre X . 7. Cuntas relaciones de equivalencia hay en el conjunto {1, 2, 3}? 8. En los ejercicios siguientes, determine si la relacin dada es de equivalencia sobre {1, 2, 3, 4, 5}. a. {(x, y ) : 1 x 5, 1 y 5}.

b. {(x, y ) : 4 divide a x y }. c. {(x, y ) : 3 divide a x + y }. d. {(x, y ) : x divide a 2 y }. 9. Considere la relacin R = {(a, b) R2 : a b}, mayor o igual que. Es R de equivalencia? 1

10. Considere la relacin R = {(a, b) R2 : a = b}, distinto de. Es R de equivalencia? 11. Considere la relacin R = (R, R, R), donde xRy si y slo si x + y = 0. Es R una relacin de equivalencia? 12. Considere la relacin S = (R, R, S ), donde xSy si y slo si xy 0. Es S una relacin de equivalencia? 13. Sean R y B dos relaciones de A en B . Demuestre que DRB DR DB . 14. Sean R y B dos relaciones de A en B . Demuestre que (R B)[A] = R[A] B[A]. 15. Sean R = (A, B, R) y B = (B, C, S ) relaciones. Demuestre que (B R)1 = R1 B1 . 16. Sea A = {1, 2, 3, 4, 5} y sea R = (A, A, R), con R = {(1, 1), (1, 2), (1, 4), (2, 1), (2, 2), (2, 4), (3, 3), (4, 1), (4, 2), (4, 4), (5, 5)}. a. Muestre que R es una relacin de equivalencia. b. Hallar todas las clases, es decir [a], a A. c. Hallar el conjunto cociente, A/R.
A cmuL TEX......... setiembre 20, 2012