Algebra Moderna Aplicada (evaluacion 3). Febrero 23/2004 prev220033b.tex Tema b. Nombre Codigo Grupo Mi Ju 1. (0,8) Sea R = {(2, 3), (4, 2)(3, 1), (1, 4)} entonces (Falso o verdadero): (a) R es funcion de {1, 2, 3, 4} en {1, 2, 3, 4} (b) R es funcion de {1, 2, 3, 4, 5} en {1, 2, 3, 4} (c) R es funcion inyectiva de {1, 2, 3, 4} en {1, 2, 3, 4} (d) R es funcion sobreyectiva de {1, 2, 3, 4} en {1, 2, 3, 4} 2. (0,5) El conjunto : (a) Es funcion de en cualquier conjunto B (b) Es funcion de cualquier conjunto A en cualquier conjunto B. (c) Es funcion de cualquier conjunto A en . (d) Solo es funcion de en . (e) Nunca es funcion. 3. (0,5) Sea H el conjunto de todos los humanos (que existen y han existido) y las relaciones P y M donde xPy signica que y es el padre de xmientras xMy que x es la madre de y. Entonces (Falso o verdadero): (a) P es funcion. (b) P 1 es funcion. (c) M es funcion. (d) M 1 es funcion. 4. (0,5) Sean f : A B y g : B C funciones tales que g f : A C es biyeccion podemos asegurar que: (a) f : A B y g : B C son biyecciones (b) f : A B es sobreyectiva y g : B C es inyectiva. (c) f : A B es inyectiva y g : B C sobreyectiva. (d) Todas las anteriores (e) Ninguna de las anteriores. Siendo f : A B una funcion, para X A y Y B se denen f[X] = {f(x) B | x X} y f 1 [Y ] = {x A| f(x) Y }. 1 5. Sea A = {1, 2, 3, 4} y B = {a, b, c, d};X = {1, 2} y Y = {c, d}; f = {(1, a), (2, a), (3, a), (4, c)}. Calcule: (0,2) f[X] = (0,4) f 1 [f[X]] = (0,2) f 1 [Y ] = (0,4) f[f 1 [Y ]] = 6. (0,6) Siendo f : A B una funcion cualquiera X A y Y B se cumple siempre que (Falso / Verdadero) Si f es inyectiva entonces f 1 [f[X]] = X Si f es sobre entonces f[f 1 [Y ]] = Y . 7. (0,5) Se dene recursivamente la funcion f : N N N as: f(n) = (0, 0) Si f(n) = (i, j) con i < j entonces f(n + 1) = (i + 1, j 1) Si f(n) = (i, j) con i j entonces f(n + 1) = (0, j + 1) Se tiene entonces: (a) f queda as mal denida. (b) f queda bien denida pero no es 1-1 pero si sobreyectiva. (c) f queda bien denida es 1-1 pero no es sobreyectiva. (c) f queda bien denida no es 1-1 ni es sobreyectiva. (d) f queda bien denida y es biyectiva. 8. (0,5)Sea f : A B una funcion se dene la relacion R f as: x 1 R f x 2 f(x 1 ) = f(x 2 ) Se puede asegurar que: (a) R f es relacion de equivalencia sobre B. (b) R f es relacion de equivalencia sobre A. (c) R f es relacion de orden parcial sobre B. (c) R f es relacion de orden parcial sobre A. (e) Ninguna de las anteriores. 9. (0,5) De la composicion de funciones se puede asegurar: (a) Es transitiva (b) Es conmutativa (c) Es asociativa (c) Todas las anteriores. 2 (d) Ninguna de las anteriores. 10. (0.5) Los n umeros que se pueden escribir en base b > 1 con n cifras (no empiezan por 0) son exactamente: (a) b n1 (b) (b 1)b n1 (c) n! (nb)! (c) Ninguna de las anteriores. 11. (0,5) Cuantos boletos de lotera hay si se juega con 4 cifras (de 0 a 9) y 16 series? 12. (0,5) Cuantos boletos de baloto hay si se escogen 5 n umeros de 1 a 60 sin repetir? 13. (0,5) Muestre (si existe) un subconjunto innito de N tal que su complemento sea nito. 14. (0,6) Muestre (si existe) un subconjunto de N tal que el y su complemento sean nitos. 15. (0,5) Sea A un conjunto y B A tal que A y B son equipotentes A = B. Se puede asegurar: (a) Esto es imposible en cualquier caso. (b) A es nito. (c) A y B son innitos. (d) No puede existir tal B diferente de A. (e) Todas las anteriores. (f ) Ninguna de las anteriores. 16. (0,5) Sea {A i } iN una coleccion (enumerable) de subconjuntos de N. Denamos el conjunto B = {n N|n / A n } podemos asegurar: (a) B no existe. (b) B es vaco. (c) No existe n tal que B = A n . (d) Existe n tal que B = A n . (e) Ninguna de las anteriores. 17. (0,5) De lo anterior se deduce que si {A i } iN es una coleccion (lista) de subconjuntos de N entonces (a)
iN A i = N. (b) {A i } iN = {X | X N}. (c) Puede ser que {A i } iN = {X|X N}. 3 (d) Ninguna de las anteriores. 18. (1,8) Falso o verdadero: Todo conjunto enumerable es nito. Si dos conjuntos son innitos son equipotentes. Si un subconjunto de los naturales y su complemento son efectivamente enumerables enton- ces el conjunto es decidible. Todo subconjunto de los naturales efectivamente enumerable es decidible. Existe una biyeccion entre Z Z y N Existe una biyeccion entre (a, b) = {x R | a < x < b} y R 19. (1,6) Sean A y B subconjuntos de los naturales, A decidible y B efectivamente enumerable; exponga y explique una algoritmo (muy sencillo) que demuestre que A B es efectivamente enumerable. 4