You are on page 1of 4

Universidad Industrial de Santander

Escuela de Ingeniera de Sistemas e Informatica.


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

You might also like