universidad de san carlos clave-960-2-M-1-00-2012

Facultad de Ingenierı́a
Escuela de Ciencias
Departamento de Matemática

CLAVE DE EXAMEN
—matemática para computación 1—
código de curso: 960

Datos de la clave Datos del examen

Elaborada por: segundo parcial
José Carlos Bonilla Primer semestre, 2012
Jornada matutina
Revisada por:
Lic. Carlos Morales Curso impartido por:
Lic. Carlos Morales

21 de mayo de 2012
 TEMARIO

TEMA 1 (24 pts)

z
Sea f : R3 → R3 definida por f (x, y, 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úmeros enteros. Se define R ⊆ Z × Z ası́:

R = { (a, b) ∈ Z × Z | b − a es múltiplo de 4 }

2.1) (16 pts) Demuestre que R es una relación de equivalencia.

2.2) (5 pts) Escriba la clase del cero.
2.3) (5 pts) Describir la partición inducida por R en Z.

TEMA 3 (24 pts)

Considere el conjunto N = {0, 1, 2, 3, 4, . . .} de los números naturales. Se define:
 
−2 1
An = , U = [−2, 1] ( U es el conjunto universo)
n+1 n+1

3.1) (5 pts) Hallar An

3.2) (6 pts) Hallar An+1 ∩ An
T ∞
3.3) (7 pts) Hallar k=1 Ak , explique.
3.4) (6 pts) Hallar An 4An+1

TEMA 4 (10 pts)

Suponga que |A| = n y |B| = m.

4.1) (5 pts) Hallar |P(P(A × B))| (aquı́, P(·) es el sı́mbolo para conjuntos potencia)
4.2) (5 pts) ¿Cuántas 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) {∅} ∈ P(∅)
 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-
ción es inyectiva. Consideremos los elementos (x1 , y1 , z1 ) y (x2 ,
y2 , z2 ) del dominio
R3 , tales que
f (x1 , y1 , z1 ) = f (x2 , y2 , z2 ). Esto quiere decir que z31 , y1 + 5, 2x1 = z32 , y2 + 5, 2x2 . 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:

z1
= z32

 3
y1 + 5 = y2 + 5
2x1 = 2x2


A partir de esas ecuaciones, mediante sencillas eliminaciones, obtenemos


 z1 = z2
y1 = y2
x1 = x2


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
R3 ,
queremos mostrar que existen valores de x, y, z tales que f (x, y, z) = (a, b, c), esto es, z3 , 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 solución única, que podemos
obtener simplemente despejando, y es
c
x= , y = b − 5, z = 3a
2
Con lo cual ( 2c , b − 5, 3a) es la preimagen de (a, b, c).

1.3) Del inciso anterior tenemos que f ( 2c , b − 5, 3a) = (a, b, c). Puesto que el procedimiento de obtener
preimágenes es el mismo que el de obtener funciones inversas, eso nos da la pista de definir la función
inversa mediante f −1 (x, y, z) = ( z2 , y − 5, 3x) para cada (x, y, z) ∈ R3 . Por el procedimiento hecho
anteriormente, tenemos automáticamente que (f ◦ f −1 )(x, y, z) = (x, y, z), y sólo resta corroborar
el otro orden: (f −1 ◦ f )(x, y, z) = (x, y, z), lo cual es muy sencillo.

z  
−1 −1
 (2x) z 
f (f (x, y, z)) = f , y + 5, 2x = , (y + 5) − 5, 3 = (x, y, z)
3 2 3

1
Si f (a) = b, entonces decimos que b es imagen de a, y también decimos que a es preimagen de b.
 TEMA 2

2.1) Debemos probar que la relación cumple tres propiedades: reflexividad, simetrı́a y transitividad. Para
la reflexividad basta observar que a − a = 0 para cualquier entero a, y cero es múltiplo de cualquier
número, en particular, de 4. Ahora, para la simetrı́a, sean a, b ∈ Z tales que (a, b) ∈ R. Esto quiere
decir que b − a es múltiplo de 4. Notemos que a − b = −(b − a), y si un número es múltiplo de
4, entonces también es múltiplo de 4 aquél que se obtiene al cambiarle de signo. Esto prueba que
(b, a) también pertenece a la relación. Finalmente, para la transitividad, asumamos que (a, b) ∈ R
y también (b, c) ∈ R. Por la definición de R tenemos que los números (b − a) y (c − b) son ambos
múltiplos de 4. Ahora bien, puesto que la suma de múltiplos de 4 es también un múltiplo de 4,
tenemos que (b − a) + (c − b) = (c − a) es otro múltiplo de 4. Pero esta condición es la exigida por
la definición de R, y asi concluimos que (a, c) ∈ R, lo que nos indica que la relación 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últiplos de 4.

2.3) En Z/R 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úmeros de la forma 4k + 0

1 = {1, +5, −3, +9, −7, . . .}, los números de la forma 4k + 1
2 = {2, +6, −2, +10, −6, . . .}, los números de la forma 4k + 2
3 = {0, +3, −1, +7, −5, . . .}, los números de la forma 4k + 3

Donde k varı́a sobre todo el conjunto de los números enteros. Esta partición es altamente regular,
cosa que podemos apreciar en la siguiente tabla:

Números 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.
h   i
−2 1
3.1) An = −2, n+1 ∪ n+1 , 1 . No hay necesidad de separar el caso inicial A0 , pues un intervalo del
tipo [−2, −2) es en realidad vacı́o.

3.2) Por
h ser intervalos
  anidados
i tenemos que An+1 ∩An = An+1 y, en consecuencia, An+1 ∩ An = An+1 =
−2 1
−2, n+2 ∪ n+2 , 1 , haciendo uso del inciso anterior, pero sustituyendo n 7→ n + 1.

3.3) También podemos argumentar gracias a la anidación que

∞  
\ −2 1
Ak = lı́m An = lı́m , = [0, 0] = {0}
n→∞ n→∞ n+1 n+1
k=1

Ası́ que tenemos un único elemento que pertenezca a la intersección de todos los intervalos. Esto se
puede explicar de otra forma: si consideramos un número z 6= 0, no importando que tan próximo
 esté al número cero, eventualmente en la sucesión de intervalos habrá un intervalo tal que z esté fuera
de él (Esta parte del argumento hace uso de la llamada propiedad arquimedeana, que le recomiendo
investigar al lector curioso), en consecuencia ningún z 6= 0 puede pertenecer a la intersección de
todos los intervalos.
h i h i
−2 1 −2 1
3.4) Primero notemos que An = n+1 , n+1 , en tanto que An+1 = n+2 , n+2 . Ahora bien, aplicando la
definición de diferencia simétrica, y observando que una de las diferencias que la componen es vacı́a
por el hecho de que An+1 ⊂ An , obtenemos

An 4An+1 = (An − An+1 ) ∪ (An+1 − An ) = (An − An+1 ) ∪ ∅ = An − An+1

Siendo cuidadosos con el orden de los números que conforman los lı́mites de los intervalos (quizá ha-
ciendo una recta numérica para apoyarnos) concluimos lo siguiente:
   
−2 −2 1 1
An 4An+1 = , ∪ ,
n+1 n+2 n+2 n+1

TEMA 4

|A×B| ) |A|·|B| ) n·m )

4.1) |P(P(A × B))| = 2|P(A×B)| = 2(2 = 2(2 = 2(2
2)
4.2) La cantidad de relaciones de A en A es equivalente a |P(A × A)| = 2n·n = 2(n

TEMA 5
Para resolver este tema, puede ser útil imaginar que el conjunto vacı́o es como una caja vacı́a. Entonces
{∅} vendrı́a siendo como una caja que tiene adentro una caja vacı́a, aunque recomiendo no aplicar
esta analogı́a de manera ciega. También hay que recordar que ∅ es subconjunto de cualquier conjunto.
Finalmente, nos será de utilidad saber que P(∅) = {∅}. Pertenecer a un conjunto (caja) significa estar
adentro de dicha caja.

5.1) Falso.

5.2) Verdadero.

5.3) Verdadero.

5.4) Falso.