universidad de san carlos

Facultad de Ingeniera
Escuela de Ciencias
Departamento de Matematica
clave-960-2-M-1-00-2012
CLAVE DE EXAMEN
matem

atica para computaci

on 1
c odigo de curso: 960
Datos de la clave
Elaborada por:
Jose Carlos Bonilla
Revisada por:
Lic. Carlos Morales
Datos del examen
segundo parcial
Primer semestre, 2012
Jornada matutina
Curso impartido por:
Lic. Carlos Morales
21 de mayo de 2012
TEMARIO
TEMA 1 (24 pts)
Sea f : R
3
R
3
denida por f(x, y, z) =
_
z
3
, y + 5, 2x
_
1.1) (8 pts) Demostrar que f es inyectiva.
1.2) (8 pts) Demostrar que f es sobreyectiva.
1.3) (8 pts) Hallar f
1
.
TEMA 2 (26 pts)
Sea Z = 0, +1, 1, +2, 2, +3, 3, . . ., el conjunto de los n umeros enteros. Se dene ! ZZ as:
! = (a, b) Z Z [ b a es m ultiplo de 4
2.1) (16 pts) Demuestre que ! es una relacion de equivalencia.
2.2) (5 pts) Escriba la clase del cero.
2.3) (5 pts) Describir la particion inducida por ! en Z.
TEMA 3 (24 pts)
Considere el conjunto N = 0, 1, 2, 3, 4, . . . de los n umeros naturales. Se dene:
A
n
=
_
2
n + 1
,
1
n + 1
_
| = [2, 1] ( | es el conjunto universo)
3.1) (5 pts) Hallar A
n
3.2) (6 pts) Hallar A
n+1
A
n
3.3) (7 pts) Hallar

k=1
A
k
, explique.
3.4) (6 pts) Hallar A
n
A
n+1
TEMA 4 (10 pts)
Suponga que [A[ = n y [B[ = m.
4.1) (5 pts) Hallar [T(T(AB))[ (aqu, T() es el smbolo para conjuntos potencia)
4.2) (5 pts) Cuantas relaciones existen de A en A?
TEMA 5 (16 pts)
Escribir el valor de verdad de las siguientes proposiciones.
5.1) (4 pts)
5.2) (4 pts)
5.3) (4 pts)
5.4) (4 pts) T()
SOLUCIONES
TEMA 1
1.1) Queremos mostrar que si dos elementos del dominio tuvieran la misma imagen, es porque los
dos elementos del dominio son en realidad el mismo. Esto es equivalente a mostrar que la fun-
cion es inyectiva. Consideremos los elementos (x
1
, y
1
, z
1
) y (x
2
, y
2
, z
2
) del dominio R
3
, tales que
f(x
1
, y
1
, z
1
) = f(x
2
, y
2
, z
2
). Esto quiere decir que
_
z
1
3
, y
1
+ 5, 2x
1
_
=
_
z
2
3
, y
2
+ 5, 2x
2
_
. Puesto que,
para que los vectores sean iguales, debemos tener que cada coordenada sea igual a su correspondiente
en el otro vector, obtenemos el siguiente sistema:
_
_
_
z
1
3
=
z
2
3
y
1
+ 5 = y
2
+ 5
2x
1
= 2x
2
A partir de esas ecuaciones, mediante sencillas eliminaciones, obtenemos
_
_
_
z
1
= z
2
y
1
= y
2
x
1
= x
2
Lo que nos indica que los elementos del dominio eran, efectivamente, el mismo.
1.2) Para mostrar que f es sobreyectiva, debemos mostrar que cada elemento del contradominio tiene
al menos una preimagen
1
en el dominio. Sea (a, b, c) un elemento arbitrario del contradominio R
3
,
queremos mostrar que existen valores de x, y, z tales que f(x, y, z) = (a, b, c), esto es,
_
z
3
, y + 5, 2x
_
=
(a, b, c). De ello se deduce el sistema
_
_
_
z
3
= a
y + 5 = b
2x = c
Notamos que cada una de esas ecuaciones es lineal, y el sistema posee solucion unica, que podemos
obtener simplemente despejando, y es
x =
c
2
, y = b 5, z = 3a
Con lo cual (
c
2
, b 5, 3a) es la preimagen de (a, b, c).
1.3) Del inciso anterior tenemos que f(
c
2
, b 5, 3a) = (a, b, c). Puesto que el procedimiento de obtener
preimagenes es el mismo que el de obtener funciones inversas, eso nos da la pista de denir la funcion
inversa mediante f
1
(x, y, z) = (
z
2
, y 5, 3x) para cada (x, y, z) R
3
. Por el procedimiento hecho
anteriormente, tenemos automaticamente que (f f
1
)(x, y, z) = (x, y, z), y solo resta corroborar
el otro orden: (f
1
f)(x, y, z) = (x, y, z), lo cual es muy sencillo.
f
1
(f(x, y, z)) = f
1
_
z
3
, y + 5, 2x
_
=
_
(2x)
2
, (y + 5) 5, 3
_
z
3
_
_
= (x, y, z)
1
Si f(a) = b, entonces decimos que b es imagen de a, y tambien decimos que a es preimagen de b.
TEMA 2
2.1) Debemos probar que la relacion cumple tres propiedades: reexividad, simetra y transitividad. Para
la reexividad basta observar que a a = 0 para cualquier entero a, y cero es m ultiplo de cualquier
n umero, en particular, de 4. Ahora, para la simetra, sean a, b Z tales que (a, b) !. Esto quiere
decir que b a es m ultiplo de 4. Notemos que a b = (b a), y si un n umero es m ultiplo de
4, entonces tambien es m ultiplo de 4 aquel que se obtiene al cambiarle de signo. Esto prueba que
(b, a) tambien pertenece a la relacion. Finalmente, para la transitividad, asumamos que (a, b) !
y tambien (b, c) !. Por la denicion de ! tenemos que los n umeros (b a) y (c b) son ambos
m ultiplos de 4. Ahora bien, puesto que la suma de m ultiplos de 4 es tambien un m ultiplo de 4,
tenemos que (b a) + (c b) = (c a) es otro m ultiplo de 4. Pero esta condicion es la exigida por
la denicion de !, y asi concluimos que (a, c) !, lo que nos indica que la relacion es, en efecto,
transitiva.
2.2) La clase del cero es precisamente el conjunto 0, +4, 4, +8, 8, +12, 12, . . ., que contiene a todos
los m ultiplos de 4.
2.3) En Z/! tenemos 4 clases de equivalencia a las que denotaremos 0, 1, 2, 3, y son precisamente los
conjuntos siguientes:
0 = 0, +4, 4, +8, 8, . . ., los n umeros de la forma 4k + 0
1 = 1, +5, 3, +9, 7, . . ., los n umeros de la forma 4k + 1
2 = 2, +6, 2, +10, 6, . . ., los n umeros de la forma 4k + 2
3 = 0, +3, 1, +7, 5, . . ., los n umeros de la forma 4k + 3
Donde k vara sobre todo el conjunto de los n umeros enteros. Esta particion es altamente regular,
cosa que podemos apreciar en la siguiente tabla:
N umeros enteros: -7 -6 -5 -4 -3 -2 -1 0 1 2 3 4 5 6 7
Clase a la que pertenecen: 1 2 3 0 1 2 3 0 1 2 3 0 1 2 3
TEMA 3
En este tema tenemos una familia de intervalos anidados, esto es, tal que cada miembro es subconjunto
del miembro anterior.
3.1) A
n
=
_
2,
2
n+1
_

_
1
n+1
, 1
_
. No hay necesidad de separar el caso inicial A
0
, pues un intervalo del
tipo [2, 2) es en realidad vaco.
3.2) Por ser intervalos anidados tenemos que A
n+1
A
n
= A
n+1
y, en consecuencia, A
n+1
A
n
= A
n+1
=
_
2,
2
n+2
_

_
1
n+2
, 1
_
, haciendo uso del inciso anterior, pero sustituyendo n n + 1.
3.3) Tambien podemos argumentar gracias a la anidacion que

k=1
A
k
= lm
n
A
n
= lm
n
_
2
n + 1
,
1
n + 1
_
= [0, 0] = 0
As que tenemos un unico elemento que pertenezca a la interseccion de todos los intervalos. Esto se
puede explicar de otra forma: si consideramos un n umero z ,= 0, no importando que tan proximo
este al n umero cero, eventualmente en la sucesion de intervalos habra un intervalo tal que z este fuera
de el (Esta parte del argumento hace uso de la llamada propiedad arquimedeana, que le recomiendo
investigar al lector curioso), en consecuencia ning un z ,= 0 puede pertenecer a la interseccion de
todos los intervalos.
3.4) Primero notemos que A
n
=
_
2
n+1
,
1
n+1
_
, en tanto que A
n+1
=
_
2
n+2
,
1
n+2
_
. Ahora bien, aplicando la
denicion de diferencia simetrica, y observando que una de las diferencias que la componen es vaca
por el hecho de que A
n+1
A
n
, obtenemos
A
n
A
n+1
= (A
n
A
n+1
) (A
n+1
A
n
) = (A
n
A
n+1
) = A
n
A
n+1
Siendo cuidadosos con el orden de los n umeros que conforman los lmites de los intervalos (quiza ha-
ciendo una recta numerica para apoyarnos) concluimos lo siguiente:
A
n
A
n+1
=
_
2
n + 1
,
2
n + 2
_

_
1
n + 2
,
1
n + 1
_
TEMA 4
4.1) [T(T(AB))[ = 2
|P(AB)|
= 2
(2
|AB|
)
= 2
(2
|A||B|
)
= 2
(2
nm
)
4.2) La cantidad de relaciones de A en A es equivalente a [T(AA)[ = 2
nn
= 2
(n
2
)
TEMA 5
Para resolver este tema, puede ser util imaginar que el conjunto vaco es como una caja vaca. Entonces
vendra siendo como una caja que tiene adentro una caja vaca, aunque recomiendo no aplicar
esta analoga de manera ciega. Tambien hay que recordar que es subconjunto de cualquier conjunto.
Finalmente, nos sera de utilidad saber que T() = . Pertenecer a un conjunto (caja) signica estar
adentro de dicha caja.
5.1) Falso.
5.2) Verdadero.
5.3) Verdadero.
5.4) Falso.