Mat Discretas Umsa

Ejercicios
de
Introducción al Álgebra
Ronnald Álvaro Silva Guzmán
La matemática no es un deporte para contemplar.

Tu no podrás aprender matemática, sin hacer matemática,
ası́ como no se puede aprender a nadar sin meterse al agua.
T. H. Hungerford
1
Lógica
La lógica puede ayudarnos a decidir... ya que tiene que ver
1 con la rigurosa comprobación de los razonamientos.

T. Crilly
Lógica proposicional (g) Para que una pelı́cula gane el premio Os-
car, es suficiente con que le guste a los
1. Escriba simbólicamente las siguientes
miembros de la Academia de Hollywood.
proposiciones:
(h) La garantı́a de tu equipo es válida sólo si
(a) Si Enrique juega bien y Pedro viene a to-
los has comprado hace menos de noventa
dos los encuentros, entonces ganaremos
dias.
el campeonato y el presidente del club
organizará una fiesta. 3. Proporcionar las recı́procas de las si-
(b) Si a es un número no positivo o si a2 es guientes proposiciones:
un número negativo, entonces a no es un √
(a) Si p es primo, entonces p es irracional.
número real. Por otro lado, si a y b son
números positivos, entonces a2 = b2 es (b) Si acepto el mundo que me ofrecen y soy
equivalente a afirmar que a es igual a feliz, entonces empiezo a cavar mi propia
b. Pero en el caso de que uno de los dos tumba.
números, a o b sea negativo, la equiva- (c) Si a · b = 0, entonces a = 0 o b = 0.
lencia no es cierta.
(d) Si a < 0, entonces a−1 < 0.
(c) Hoy no es feriado y mañana tampoco.
Sin embargo, si el Sábado hay activida- 4. Proporcione las contrarecı́procas del
des o el Miércoles no se suspenden las ejercicio anterior.
actividades, entonces el Viernes será fe-
5. Escribir las siguientes proposiciones
riado.
en forma simbólica, negarlas, y luego escri-
bir las negaciones en español:
2. Escriba las siguientes implicaciones
en la forma “si ... entonces ...”: (a) Si acepto el mundo que me ofrecen y soy
feliz, entonces empiezo a cavar mi propia
(a) La práctica diaria de su servicio es una tumba.
condición suficiente para que Daniela
tenga una buena posibilidad de ganar el (b) El sol está brillando si, y sólo si no
torneo de tenis. está lloviendo.
(b) Arreglé mi aire acondicionado o no pa- (c) Un triángulo isósceles o tiene dos lados
garé la renta. iguales o tiene dos ángulos iguales.
(d) Si a > 0 y b < 0, entonces a · b < 0.
(c) Marı́a puede subir a la motocicleta de
Luis sólo si usa el casco. (e) Si estudio bastante, entonces no me va
bien en deportes.
(d) Nieva siempre que el viento sople del no-
roeste. 6. Determinar el valor de verdad de las
(e) Que Bolı́var gane el clásico, implica que siguientes proposiciones:
ha derrotado a The strongest. (a) Si 2 + 3 = 4, entonces 1 + 1 = 5.
(f) Es necesario caminar ocho kilómetros (b) Si verde es rojo, entonces la luna está he-
para llegar a la meta. cha de queso.
2
(c) Si verde es rojo, entonces la luna no (c) (p ∧ r) → m.
está hecha de queso.
(d) (p ∧ r) ∧ t.
(d) 7 < 2 si 2 < 1.
(e) r ↔ [q ∨ (p ∧ r)].
(e) Rojo es blanco si, y sólo si verde es azul.
(f) p ∨ (r ∨ t).
(f) 2 + 1 = 3 y 3 + 1 = 5 implica que 4 es
(g) ¬r ∧ [m ∨ (t ∧ r)].
impar.
11. Determine, si es posible, todos los va-
7. Si p: “7 es un entero par”, q: “3 + 1 = 4”,
lores de verdad para p, q, r, s y, t de modo
y r: “24 es divisible por 8”, traduzca las si-
que las siguientes proposiciones sean falsas:
guientes proposiciones y asigne valores de
verdad. (a) ¬(t ∧ q) ∨ r.
(a) p ∨ ¬q. (b) (t → q) ∧ (p → r).
(b) ¬(r ∧ q). (c) (p ∨ q) ↔ (r ∨ s).
(c) ¬r ∨ ¬q. (d) [(p ∧ q) ∧ r] → (s ∨ t).
(d) ¬q ∧ ¬p. (e) [(p ∧ q) ∧ r] → (¬r ∨ ¬t).
8. Escriba en forma simbólica y asigne 12. Encontrar la respuesta a las siguien-

valores de verdad: tes cuestiones:
(a) 3 + 1 6= 4 y 24 es divisible por 8. (a) ¿Es la condicional asociativa? En otras

palabras, ¿Es
(b) No es cierto que 7 sea impar o 3 + 1 = 4.
[(p → q) → r] ↔ [p → (q → r)]
(c) 3 + 1 = 4 pero 24 no es divisible por 8.
una tautologı́a?
(d) 7 es par si, y sólo si 3 + 1 = 4.
(b) ¿Es la bicondicional asociativa? Es decir,
9. Utilizando solamente los conectivos ¿Será
“¬”y “∨”, encuentre proposiciones lógica- [(p ↔ q) ↔ r] ↔ [p ↔ (q ↔ r)]
mente equivalentes a las siguientes:
una tautologı́a?
(a) p ↔ q.
(b) (¬p ∧ r) → (p ∧ q). 13. ¿Cuáles de las siguientes proposicio-

nes son tautologı́as?
(c) (p ↔ r) → q.
(a) Si 2 + 2 = 4, entonces 5 es impar.
(d) p → ¬(¬q → r).
(b) 3 + 1 = 4 y 5 + 3 = 8 implica que 3 + 2 = 5.
(e) (p ⊻ q) → r.
(c) 3 + 1 = 4 o 5 + 3 = 7 implica que 3 + 2 = 5.
(f) p ↔ (q ↔ p).
(d) Rojo es amarillo o rojo no es amarillo.
10. Sabiendo que p es verdadera y que (e) Rojo es amarillo o rojo es rojo.
q → (p ∧ r) es falsa, indique el valor de ver-
dad de: (f) 4 es impar o, 2 es par y 2 es impar impli-
ca que 4 es impar.
(a) p ∧ q.
(g) 4 es impar o, 2 es par y 2 es impar impli-
(b) r → p. ca que 4 es par.
3
14. Simbolice: “Puedes engañar a algu- (a) 1 ¬p ∨ q
nos todo el tiempo, y puedes engañar a to- 2 p
dos algún tiempo; pero no puedes engañar a ∴ q
todos todo el tiempo”.
(b) 1 p→q
15. Sin utilizar tablas de verdad, probar
2 r → ¬q
que las siguientes proposiciones son tauto-
logı́as. ∴ p → ¬r
(a) p → (p ∨ q). (c) 1 ¬r → ¬q

2 ¬p ∧ q
(b) ¬[(p → q) ∧ (p ∧ ¬q)].
∴ p → ¬r
(c) [p ∧ (p → q)] → q.
(d) 1 p → (q ∨ r)
(d) [(p → q) ∧ (q → r)] → (p → r). 2 q→s
∴ p → (r ∨ s)
(e) [(p → q) ∧ (¬p → q)] → q.
(f) [(p ∨ q) ∧ ¬p] → q. (e) 1 p∨q

2 q → ¬r
(g) (p ∧ ¬p) → q. 3 ¬r → ¬p
(h) [(¬p ∨ ¬q) → (p ∧ q ∧ r) ↔ (p ∧ q). ∴ ¬(p ∧ q)
(f) 1 p→q
16. ¿Cuáles de las siguientes proposicio- ¬q → ¬r
2
nes son tautologı́as? r → ¬p
3
(a) [(p ∧ q) ∨ r] ∧ ¬q. ∴ ¬p
(b) (p ∨ q) → (p ∧ ¬q). (g) 1 p→q

2 ¬q → ¬r
(c) (¬p ↔ ¬q) ↔ (p → q).
3 s → (p ∨ r)
(d) [(¬p ∧ q) → (p ∨ ¬q)] ↔ [p → (¬q ∧ p)]. 4 s
∴ q
(e) (p ∨ q) ∧ (¬p ∧ ¬q). 1 ¬(q ∨ r) → ¬p
(h)
2 p → ¬q
(f) (p → q) ↔ (p ∧ ¬q).
3 s → ¬r
(g) (p ∧ q) → (q ∨ r). 4 p
(h) (p ∧ ¬q) ∨ (¬p ∧ q) ∨ (¬p ∧ ¬q). ∴ ¬s ∨ ¬p
(i) (p → q) ∨ (p ∨ q). 18. Construya demostraciones formales

(j) [(¬p ∧ q) ∧ (p → q)] → (p ∧ q). de los siguientes teoremas:
(a) Si p ∨ ¬q, t ∧ q, t → ¬(¬s ∧ p);
(k) [(p → q) ∧ (¬p → q)] → q. entonces r ∨ s.
(l) ¬[(¬p → q) ↔ ¬(p ∨ ¬q)]. (b) Si ¬(p → ¬q), q → ¬(p ∧ ¬t), r ∨ s;
(m) p ∨ q ∨ (¬p ∧ ¬q ∧ r) ↔ (p ∨ q). entonces ¬t ∨ s.
(c) Si p → q, r → s, ¬(p → s);
(n) p ∧ [(¬q → r) ∨ ¬{q ∨ ((r ∧ s) ∨ (r → s))}].
entonces q ∧ ¬r.
17. Construya demostraciones formales (d) Si p → q, ¬r → s, ¬q ∨ ¬s;
de los siguientes teoremas: entonces p → r.
4
(e) Si p → (q ∧ r), (q ∨ s) → t, p ∨ s; o no puedo estar orgulloso de mı́ mismo.
entonces t. Si estudio bastante, entonces no me va
bien en deportes. Por tanto, si mi padre
(f) Si p → (q ∧ r), r → s, ¬(q ∧ s); me alaba, entonces no estudio bastante.
entonces ¬p.
Lógica cuantificada
19. Escriba en lenguaje formal las si- 20. Negar la siguiente proposición:
guientes inferencias demostrándolas si son Todos los estudiantes de esta clase han apro-
válidas y especificando las reglas de inferen- bado algún examen en marzo.
cia utilizadas:
21. Escribir en forma simbólica las si-
(a) Si salgo a la calle me visto. He salido a guientes proposiciones de tal forma que, al
la calle. Por tanto voy vestido. final, ningún cuantificador esté precedido
por una negación:
(b) La comida incluye el primer plato y el se-
gundo. Por tanto, incluye el primer plato. (a) No todos los españoles son periodistas.
(b) Si algún caminante bosteza, todos los ca-
(c) Si vale menos de Bs. 100, tengo dine-
minantes bostezan.
ro suficiente. Si tengo dinero suficiente
lo compraré. Vale menos de Bs. 100. Por (c) Todo el mundo conoce a algún abogado.
tanto, lo compro.
(d) Entre dos números reales distintos cua-
(d) Si el mayordomo es el asesino, se lesquiera existe algún número racional.
pondrá nervioso cuando le interroguen.
(e) No existe un primo mayor que el resto de
El mayordomo se puso muy nervioso
los números primos.
cuando le interrogaron. Por lo tanto, el
mayordomo es el asesino. 22. Escriba formalmente las siguientes
(e) Si las manos del mayordomo están man- proposiciones, luego determine sus negacio-
chadas de sangre, entonces es culpa- nes y traduzca estas al lenguaje natural.
ble. El mayordomo está impecablemen- (a) Si vale menos de Bs. 15, comeré en la ca-
te limpio. Por lo tanto, el mayordomo es feterı́a.
inocente.
(b) Todos los habitantes de Madrid viajan
(f) Si a es un número perfecto, entonces a en metro.
es par y n es un número impar. a es par
(c) Hay personas en todas las ciudades que
y n es impar. Por consiguiente, a no es
usan el transporte publico.
perfecto.
(g) Si no hay huelga o el sindicato miente o 23. Proporcione un contraejemplo para

el ministro tiene la razón. Hay huelga o las siguientes afirmaciones:
en caso contrario el ministro se equivoca. (a) Todo entero mayor que 17 es el cuadrado
Por lo tanto, el sindicato no miente. de un número entero.
(h) Si José ganó la carrera, entonces Pedro (b) Todo entero mayor que 6 es múltiplo de
fue el segundo o Ramón fue el segun- 2 o de 3.
do. Si Pedro fue el segundo, entonces
(c) 100n + 1 > n2 para todo entero n.
José gano la carrera. Si Carlos fue el se-
gundo, entonces Ramón no fue el segun- 24. Dado el conjunto A = {1, 3, 5, 7}, de-
do. José gano la carrera. Luego, Carlos termine el valor de verdad de las siguientes
no fue el segundo. proposiciones:
(i) Mi padre me alaba si yo estoy orgulloso (a) (∃x ∈ A)(4x2 − 19x − 5 = 0) ∧ (∃x ∈
de mı́ mismo. O me va bien en deportes A)(x2 = x).
5
(b) (∃x ∈ A)(2x + 3 = 5x) ∨ (∃x ∈ A)(2x = x). (e) P (2, 3) → P (5, 10).
(f) P (5, 10) → P (2, 3).
25. Considere el siguiente predicado
(g) (∀m ∈ N)(∀n ∈ N)(P (m, n)).
p(x) : x2 + 1 ≤ 0.
(h) (∃m ∈ N)(∀n ∈ N)(P (m, n)).
¿Hay algún número real x que lo haga cier-
to? ¿Algún número complejo? (i) (∃n ∈ N)(∀m ∈ N)(P (m, n)).
26. Considerando los números enteros (j) (∀m ∈ N)(P (m, 1)).
como universo de discurso, sean los siguien- Demostraciones
tes predicados:
28. Demostrar por contradicción: Si m+n
p(x) :x > 0. es impar, entonces m es impar o n es impar.
q(x) :x es par. 29. Demuestre o refute:
r(x) :x es un cuadrado perfecto.
(a) Si x es un entero impar, entonces x3 es
s(x) :x es divisible por 4. impar.
t(x) :x es divisible por 5.
(b) Si x ∈ N, el resto de dividir x2 entre 4
Escriba en forma simbólica. sólo puede tomar los valores 0 o 1.
(a) Algún entero es par. (c) Si n es un entero natural y 3n + 1 es un

cuadrado perfecto, n + 1 es suma de tres
(b) Existe al menos un entero positivo y par. cuadrados perfectos.
(c) Si x es par, entonces x no es un divisor (d) Sea x ∈ Z, x es par si, y sólo si x2 es par.
de 5.
(e) Si x ≥ 0 es un número real tal que pa-
(d) Ningún entero par es divisible entre 5. ra todo número real ǫ > 0 se cumple que
0 ≤ a < ǫ, entonces a = 0.
(e) Existe al menos un entero par divisible √
entre 5. (f) 2 no es racional.
(f) Si x es par y un cuadrado perfecto, en- (g) La suma de tres enteros consecutivos es
tonces x es divisible entre 4. múltiplo de tres.
Traduzca al lenguaje natural. (h) El producto de un entero par con un en-

tero impar es par.
(a) (∀x)[r(x) → p(x)].
(i) La suma de dos números primos nunca
(b) (∃x)[s(x) ∧ ¬r(x)]. es primo.
(c) (∀x)[s(x) → ¬t(x)]. (j) Si un número real x es racional, enton-
ces π + x no es racional.
27. Sea N el conjunto de los números na-
turales y sea P (r, s) el predicado “r divide a 30. Demostrar que:
s”. Determine el valor de verdad de las si-
(a) Si a es un entero impar, entonces a2 +
guientes proposiciones:
3a + 5 es impar.
(a) P (2, 3). (b) Sumando 1 al producto de cuatro enteros
(b) P (5, 10). consecutivos da un cuadrado perfecto.
(c) P (2, 3) ∧ P (5, 10). (c) Si n es un número natural y 2n + 1 es un

cuadrado perfecto, entonces n + 1 es la
(d) P (2, 3) ∨ P (5, 10). suma de dos cuadrados perfectos.
6
31. Usando la contrarecı́proca demostrar (b) Si a 6 |bc, entonces a 6 |b.
que: Para todo m, n ∈ Z, si m · n es impar,
entonces ambos m y n son impares. (c) Si 4 6 |a2 , entonces a es impar.
32. Sea n un entero. Probar que n es par 37. Demostrar que los siguientes predi-
si, y sólo si 31n + 12 es par. cados son falsos:
33. Un número real r es racional si exis- (a) ∀n ∈ N : 2n2 − 4n + 31 es primo.
ten enteros p y q 6= 0 tales que r = p/q. Por
el método directo, demostrar que: (b) ∀n ∈ N : n2 + 17n + 17 es primo.
(a) si r y s son racionales, entonces r + s es Miscelanea

racional. 38. Determinar el valor de verdad de ca-
da una de las siguientes proposiciones:
(b) si r es un número racional, entonces rs
es racional. (a) senθ + cosθ = 1 y cos π = −1.
(c) si r es un número racional no nulo, en- (b) sen(π/2) = 0 ó cos π = 0.

tonces r −1 es racional.
(c) Si sen 45◦ = 1 y cos 45◦ = 1 entonces se
tiene que tan 30◦ = 1/2.
34. Sean m y n números enteros. Reali-
√ √
zando una demostración directa demostrar (d) 2 < 3 si, y sólo si 1/2 < 1/3.
que:
39. Demostrar que:
(a) Si n es impar, entonces n3 es impar.
(a) Si x es impar, entonces x + 1 es impar.
(b) Si n es impar, entonces n2 + 3n + 5 tam-
bién es impar. (b) Si x = 2, entonces x2 > 3.
(c) Si n es par y m es impar, entonces n + m (c) Si x = 2, entonces x2 − 2x = −1.

es impar. √
(d) x2 = x si, y sólo si x ≥ 0.
(d) Si n y m son pares, entonces nm es par.
40. Sean p y q proposiciones. La disyun-
(e) Si n y m son impares, entonces el pro- ción exclusiva de p y q, denotada por p ⊻ q
ducto nm también es impar. es falso si p y q (ambos) tienen el mismo va-
lor de verdad, en otros casos es verdadero.
35. Un entero a divide al entero b (deno- Construir la tabla de verdad de:
tado a|b) si b = ka para algún entero k. Si
(a) p ⊻ q.
a, b, c y n son números enteros, entonces de-
muestre: (b) (p ⊻ q) ⊻ r.
(a) Si a|b y a|c, entonces a|(b + c). (c) p ⊻ (q → r).
(b) Si a|b, entonces a|(3b3 − b2 + 5b). (d) Demostrar que p ⊻ q ≡ (p ∨ q) ∧ ¬(p ∧ q).
(c) Si n es impar, entonces 4|(n2 − 1). (e) Simplificar p ⊻ p.
(d) n2 + 3n + 4 es par. (f) Es (p ⊻ q) ⊻ r ≡ p ⊻ (q ⊻ r)? Demostrar o

dar un contraejemplo.
(e) 4|n2 o 4|(n2 − 1).
(g) ¿Será p ∧ (q ⊻ r) es equivalente a (p ∧ q) ⊻
36. Aplicando la forma contrarrecı́proca (p ∧ r)? Justifique su respuesta.
de una implicación, probar que:
41. Encuentre la negación de las siguien-
(a) Si n2 es impar, entonces n es impar. tes proposiciones:
7
(a) {(p ∧ q) → r} ↔ s. (d) [(¬p → q) → ¬r] ∨ (¬q → r) falsa.
(b) {(p ↔ r) ↔ s} ↔ t. (e) (p ↔ ¬q) ∧ (q → r) falsa
42. Sea x ∈ R. Encuentre la negación de 48. Se sabe que la proposición

las siguientes proposiciones:
[(p ∨ q) ∧ p] → [(r ∨ q) ↔ p]
(a) x 6= 2.
es falsa. Determinar el valor de verdad de la
(b) |x| ≤ 2. proposición [(p∨¬q) → (r∧p)] ↔ [¬q ∧(r∨p)].
(c) 2 ≤ |x| < 4. 49. Determinar cuales de los siguientes
enunciados son una tautologı́a, contradic-
(d) 2 ≤ x < 3. ción o contingencia.
43. Demostrar que: (a) p ∧ q → q.
(a) ¬(p → q) 6≡ ¬p → ¬q. (b) q → p ∧ q.
(b) p ↔ q ≡ ¬p ↔ ¬q. (c) p ∧ q → ¬p.
(d) (p ↔ q) ↔ (q ↔ p).
44. Sea t una tautologı́a y c una contra-
dicción. Demostrar que las siguientes afir- (e) (p ↔ ¬p) ∧ q.
maciones son tautologı́as:
(f) (p → q) ↔ [(p → ¬q) → ¬p].
(a) p → p ∧ t.
50. Mediante el álgebra de proposiciones,
(b) c → p.
demuestre que
(c) p ↔ (p ↔ p). (a) (p ∨ q) ∧ ¬p ≡ ¬p ∧ q.
(d) c ↔ (p ∧ ¬p). (b) ¬(p ∨ q) ∨ (¬p ∧ q) ≡ ¬p.
45. Construir la tabla de verdad de la (c) (p → (q → r) ≡ (p ∧ ¬r) → ¬q.

proposición (p ∨ q) ∧ (¬p ∧ ¬q). Determinar
si esta proposición es una tautologı́a, contra- (d) p → (q ∧ r) ≡ (p → q) ∧ (p → r).
dicción o contingencia.
51. Demostrar las reglas de inferencia:
46. Si p y q son proposiciones verdaderas
y r es falsa, determine el valor de verdad de: (a) Silogismo disyuntivo.
(a) p → (q → r). (b) Modus tollens (MT).
(b) [(¬p ∨ q) ∧ (r ∨ ¬p)] ↔ q. (c) Silogismo hipotético (SH).
(c) [(¬p ∧ q) ∨ r] → q. 52. Construya demostraciones formales

de los siguientes teoremas:
(d) [(p ↔ ¬q) → ¬r] ∨ (¬q ↔ r).
(a) 1 p→q
47. Que valores de verdad deben tener p, 2 ¬p → r
q y r para que sea ∴ q∨r
(a) (p → q) ∨ (p ↔ r) falsa.
(b) 1 ¬(r ∧ s)
(b) [(q ↔ p) ∧ ¬r] ↔ r verdadera. 2 ¬s → ¬q
∴ r → ¬q
(c) p ∧ (p ∨ q) ∧ (p ↔ q) verdadera.
8
(c) 1 p∧t 54. Dados los conjuntos A = {1, 2, 3/2} y
2 p→q B = {3, 4, 3/2}, determinar el valor de ver-
3 q → (r ∧ s) dad de:
4 ¬r ∨ ¬t ∨ w
(a) ∃x ∈ N : x ∈ A ∧ x ∈ B.
∴ w
(b) ∃x ∈ Q : x ∈ A ∧ x ∈ B.
(d) 1 p∨q
2 ¬p ∨ r 55. Determinar el valor de verdad de los
3 ¬r ∨ s siguientes predicados y escribir su negación:
∴ q∨s
(a) ∀x ∈ R : x > 1 → x > 3.
(e) 1 p→q (b) ∃x ∈ Z : x2 − 6x + 8 < 0.

2 ¬r ∨ ¬q
3 r (c) ∃x ∈ Z : x2 − 3x + 2 < 0.
∴ ¬p (d) ∀x ∈ R, ∃y ∈ R : x + y = 0.
1 p → ¬q (e) ∀n ∈ N : 4n2 + 4n + 3 ≥ 0.
(f)
2 q ∨ ¬r (f) ∀n ∈ N : 9n2 + 6n − 15 > 0.
3 p∧s
4 t → (r ∧ s) (g) En cualquier triángulo, la suma de sus
ángulos internos es igual a 180◦ .
∴ ¬t
1 p → (p → ¬q) (h) ∀x, y, z ∈ R : x + y + z = 0 ↔ (x = 0 ∧ y =
(g)
q ∨ ¬r 0 ∧ z = 0).
2
3 p (i) ∃n ∈ N : 4n2 + 12n − 41 < 0.
4 s→r
(j) ∀x ∈ Z : x2 + 1 ≥ 0.
∴ s→t
(k) ∃x ∈ Z : x2 − 1 ≥ 0.
(h) 1 p ∨ ¬q
2 (t ∨ s) → (p ∨ r) (l) ∀x ∈ Z, ∃y ∈ N : x + y = 0.
3 ¬r ∨ t ∨ s
4 p ↔ (t ∨ s) (m) ∃x ∈ Z, ∃y ∈ N : x + y = 0.
∴ (p ∨ r) → (q ∨ r)
56. Determinar la negación de los si-
guientes predicados:
53. Simbolizar los siguientes razona-
mientos y demostrar que la conclusión es (a) ∃x : P (x) ∨ ¬Q(x).
una consecuencia lógica.
(b) ∀x : P (x) → Q(x).
(a) Si 2 es mayor que 1, entonces 3 es mayor
(c) ∀x, ∀y : P (x) ∧ P (y) → x = y.
que 1. Si 3 es mayor que 1, entonces 3 es
mayor que 0. 2 es mayor que 1. Por tanto,
57. Sea P (x, y) : x < 2 → y > 3, donde
3 es mayor que 0.
x, y ∈ R. Determinar el valor de verdad de
(b) Si se levanta aire húmedo, entonces re- los siguientes predicados:
frescará. Si refresca, entonces se for- (a) P (2, y) → [P (1, 2) → P (x, 4)].
marán nubes. Se levanta aire húmedo.
Por tanto, se formarán nubes. (b) P (1/2, 1) ↔ [P (x, 4) ∨ P (−1, 5)].
9
Conjuntos
El concepto matemático de un conjunto puede ser usado
2 como el fundamento de todas las matemáticas.

P. R. Halmos
Introducción 5. Enlista cinco elementos de cada uno de

los siguientes conjuntos:
1. Describa cada conjunto listando sus √
elementos (a) {a + b 2| a ∈ N, −b ∈ {2, 5, 7}}
(a) Los enteros entre −3 y 9. (b) {x/y| x, y ∈ R, x2 + y 2 = 25}
(b) Los enteros negativos mayores que −10. (c) {n ∈ N| n2 + n es múltiplo de 3}
(c) Los enteros positivos cuyo cuadrado es 6. Si A = {1, 2, 3, 4} enlistar todos los
menor a 25. subconjuntos B de A tales que:
(d) Los enteros positivos cuya raı́z cuadrada (a) {1, 2} ⊆ B. (d) B * {1, 2}.
es menor o igual a 4.
(b) B ⊆ {1, 2}. (e) {1, 2} B.
2. Describa los siguientes conjuntos por
(c) {1, 2} * B. (f) B {1, 2}.
comprensión:
(a) Los números reales positivos. 7. Si A = {{a, b}}, determinar cuales de

las siguientes afirmaciones son falsas o ver-
(b) Los números irracionales negativos. daderas. Explicar su respuesta.
(c) Los enteros negativos pares mayores (a) a ∈ A.
que -50.
(b) A ∈ A.
(d) Todos los puntos en el plano coordenado
(c) {a, b} ∈ A.
cartesiano con primera coordenada ra-
cional. (d) Hay dos elementos en A.
3. ¿Cuáles de los siguientes conjuntos 8. Determinar cuales de las siguientes

son vacı́os? afirmaciones son falsas o verdaderas. Justi-
fique su respuesta.
(a) {r ∈ Q| r 2 = 2}.
(a) 3 ∈ {1, 3, 5}
(b) {s ∈ R| s2 + 5s − 7 = 0}.
(b) {3, 5} * {1, 3, 5}
(c) {t ∈ Z| 6t2 − t − 1 = 0}. √
(c) 0 ∈ {a + b 2| a, b ∈ Q, b 6= 0}
(d) {Todos los perros que han escrito sobre
álgebra abstracta}. 9. Determine si las siguientes afirmacio-
nes son falsas o verdaderas. Justifique su
4. Enlista los elementos de cada uno de respuesta.
los siguientes conjuntos: (a) ∅ ⊆ ∅
(a) {x ∈ Z| xy = 15 para algún y ∈ Z} (b) ∅ ⊆ {∅}
(b) {x ∈ Q| x(x2 − 2)(2x + 3) = 0} (c) ∅ ∈ ∅
(c) {x ∈ N| a < −4 y a > 4} (d) ∅ ∈ {∅}
10
(e) ∅ * ∅ (a) ¿Será A * B → B A verdadera o fal-
sa? Explicar.
(f) ∅ ⊂ {∅}
(b) ¿La inversa de la implicación en (a)
(g) A ⊆ ∅ será verdadera o falsa? Explicar.
(h) ∅ ⊆ A 14. Supongamos que A, B y C son con-
(i) A ∈ A juntos. Probar o dar un contraejemplo que
refute cada una de las siguientes afirmacio-
(j) A = {A} nes.
(k) {a, b} = {{a}, {b}} (a) C ∈ P(A) ↔ C ⊆ A.
(l) ∅ ∈ {∅} (b) A ⊆ B ↔ P(A) ⊆ P(B).

(c) A = ∅ ↔ P(A) = ∅.
(m) {1, 2} * {1, 2, 3{1, 2, 3}}
Operaciones con conjuntos
(n) {1, 2} ∈ {1, 2, 3{1, 2, 3}}
15. Sean U = {a, b, c, d, e, f, g, h, i, j},
(ñ) {1, 2} {1, 2{{1, 2}}} A = {a, c, i, e}, B = {b, c, e, f }, C = {a, c, d, e}
hallar los conjuntos:
(o) {1, 2} ∈ {1, 2{{1, 2}}}
(a) Ac , B c , C c , A \ B, C ∩ B.
(p) {1, 2} ⊆ {1, 2{1, 2}}
(b) A ∩ B c , B ∩ Ac , (A ∩ B ∩ C)c .
10. Sea A un subconjunto y supongamos (c) (A \ B) \ C, A \ (B \ C).
que x ∈ A. ¿Es posible que x ⊆ A? Explicar.
11. Cuantos elementos se pueden encon- 16. Sean A = {x ∈ N| x < 7}, B = {x ∈
trar en el conjunto de partes del conjunto de Z| |x − 2| < 4} y C = {x ∈ R| x3 − 4x = 0}.
partes de A (es decir P(P(A))) si: (a) Enlista los elementos de cada uno de es-
tos conjuntos.
(a) A es el conjunto vacı́o.
(b) Encontrar A ∪ C, B ∩ C, B \ C, A ⊕ B,
(b) A tiene un elemento. C × (B ∩ C), (A \ B) \ C, A \ (B \ C), y
(B ∪ ∅) ∩ {∅},.
12. Suponga que A, B y C son conjuntos.
Para cada una de las siguientes afirmacio- (c) Enlista los elementos en
nes, proporcione una demostración si es ver- S = {(a, b) ∈ A × B| a = b + 2} y en
dadera o un contraejemplo si es falsa. T = {(a, c) ∈ A × C| a ≤ c}
√
(a) A ∈ B, B ∈ C → A ∈ C. 17. Sean S = {2, 5, 2, 25, π, 52 } y T =
√
{4, 25, 2, 6, 32 }.
(b) A ⊆ B, B ⊆ C → A ⊆ C.
(a) Encontrar S ∩ T , S ∪ T , y T × (S ∩ T ).
(c) A B, B C→A C.
(b) Encontrar Z ∪ S, Z ∩ S, Z ∪ T , y Z ∩ T .
(d) A ∈ B, B ⊆ C → A ∈ C.
(c) Enlista los elementos de los conjuntos
(e) A ∈ B, B ⊆ C → A ⊆ C. Z ∩ (S ∪ T ) y (Z ∩ S) ∪ (Z ∩ T ). ¿Que es lo
que notas?
(f) A ⊆ B, B ∈ C → A ∈ C.
(d) Enlista los elementos de los conjuntos
(g) A ⊆ B, B ∈ C → A ⊆ C. Z ∪ (S ∩ T ) y enlista los elementos de
(Z ∪ S) ∩ (Z ∪ T ). ¿Que es lo que obser-
13. Suponga que A y B son conjuntos. vas?
11
18. Considerando A = {a, b, c, {a, b}} y 25. Sea n ≥ 1 un número natural.
B = {a, b, c}, encontrar ¿Cuántos elementos hay en el conjunto
{(a, b) ∈ N × N| a ≤ b ≤ n}? Explicar.
(a) A \ {a, b} (d) ∅ \ A
26. Suponga que A es un subconjunto de
(b) {∅} \ P(A) (e) {a, b, c} \ A N × N con las propiedades
• (1, 1) ∈ A y
(c) A \ ∅ (f) (B ∪ {A}) \ A • (a, b) ∈ A entonces (a + 1, b + 1) y
(a + 1, b) están en A.
19. Encontrar Ac (con respecto a U = R) ¿Piensas que {(m, n) ∈ N × N| m ≥ n} es un
en cada uno de los siguientes casos. subconjunto de A? Explı́cate.
(a) A = (1, ∞) ∪ (−∞, −2] 27. Sean A, B y C subconjuntos de algún
conjunto universal U .
(b) A = (−3, ∞) ∩ (−∞, 4]
(a) Probar que A ∩ B ⊆ C.
(c) A = {x ∈ R| x2 ≤ −1}
(b) Probar que Ac ∩ B ⊆ C implica B ⊆ C.
20. Sean n > 3 y A = {1, 2, 3, . . . , n}. (c) ¿Si se sabe que A ∩ B = A ∩ C y Ac ∩ B =
¿Cuántos subconjuntos B de A Ac ∩ C, se puede concluir que B = C?
(a) contienen {1, 2}? Justifica tu respuesta.
(b) tienen la propiedad B ∩ {1, 2} = ∅? 28. Si A, B y C son conjuntos.
(c) tienen la propiedad B ∪ {1, 2} = A? (a) Encontrar un contraejemplo a la afirma-

ción A ∪ (B ∩ C) = (A ∪ B) ∩ C.
21. Sean a y b numeros reales con a < b. (b) Sin el empleo de diagramas de Venn,
Encontrar (a, b)c , [a, b)c , (a, ∞)c , y (−∞, b]c . probar que A∪(B ∩C) = (A∪B)∩(A∪C).
22. Encontrar formulaciones equivalen-
tes de cada una de las siguientes afirmacio- 29. Suponga que A, B y C son subconjun-
nes usando la notación conjuntista. tos de algún conjunto universal U .
(a) Existen números primo pares. (a) Generaliza las leyes de De Morgan par
encontrar la forma equivalente de des-
(b) 0 es un número entero pero no un núme- cribir los conjuntos (A ∪ B ∪ C)c y (A ∩
ro natural. B ∩ C)c .
(c) Cada número primo es a la vez un núme- (b) Encontrar la manera de describir el con-
ro natural y un número entero. junto [A∩(B \C)]c ∩A sin usar el sı́mbolo
de complementación c .
(d) Cada número primo es impar salvo 2.
30. Usar las leyes de De Morgan y cual-
23. Para n ∈ Z, sea An = {a ∈ Z| a ≤ n}. quier otra identidad conjuntista para probar
Encontrar los siguientes conjuntos. que (A\B)\C = A\(B∪C) para cualesquiera
conjuntos A, B y C.
(a) A3 ∪ A−3 (c) A3 ∩ (A−3 )c
31. Sean A y B conjuntos, su diferen-
(b) A3 ∩ A−3 (d) ∩4i=0 Ai cia simétrica de define como Sea A ⊕ B =
(A − B) ∪ (B − A). Encontrar una condición
24. Sean A y B conjuntos tales que necesaria y suficiente para que
(a) A ∩ B = A. (b) A ∪ B = A. (a) A ⊕ B = A. (b) A ∩ B = A ∪ B.
¿Qué puedes concluir? ¿Por qué? Explica tus respuestas.
12
32. Demostrar que: A ⊕ B = ∅ si, y solo si (e) (A \ B) × (C \ D) = (A × C) \ (B × D)
A = B.
38. Demuestre en detalle las siguientes
33. ¿Cuáles de las siguientes condiciones
proposiciones.
implica que B = C? En cada caso, proporcio-
na una prueba o un contraejemplo. (a) A ⊂ C, B ⊂ D implica A × B ⊂ C × D.
(a) A ∪ B = A ∪ C. (c) A ⊕ B = A ⊕ C. (b) A ⊆ {A} si, y solo si A = ∅.
(b) A ∩ B = A ∩ C. (d) A × B = A × C. (c) Si A ⊆ B entonces P(A) ⊆ P(B). ¿Que

sucederá con el recı́proco?
34. ¿Verdadero o falso? En cada caso,
(d) Para cualquier conjunto X, P(X) * X.
proporciona una demostración o un contra-
ejemplo.
39. Pruébese que:
(a) A ⊆ C, B ⊆ D implica que A×B ⊆ C×D.
1. A\B = (A ∪ B)\B.
(b) A × B ⊆ C × D implica que A ⊆ C y
2. A\(B\C) = (A\B) ∪ (A ∩ C).
B ⊆ D.
3. (A\C)\(B\C) = (A\B)\C.
(c) A ⊆ C y B ⊆ D si, y sólo si A×B ⊆ C×D.
4. (A\C) ∪ (B\C) = (A ∪ B)\C.
(d) A ∪ B ⊆ A ∩ B implica que A = B.
5. (A\C) ∩ (B\C) = (A ∩ B)\C.
35. Sean A, B, C y D subconjuntos de
algún conjunto universal U . Use las identi- 6. (A\B)\(A\C) = A ∩ (C\B).
dades de la teorı́a de conjuntos para simpli- 7. A1 ∪ A2 ∪ · · · ∪ An = (A1 \A2 )!∪ · · ·
ficar las expresiones n
\
∪(An−1 \An ) ∪ (An \A1 ) ∪ Ak .
(a) [(A ∪ B)c ∩ (Ac ∪ C)c ]c \ D c
k=1
(b) {[C ∪ (B \ Ac )] ∩ [B \ (C ∪ A)]c } ∪ B 8. Si A ⊆ X y B ⊆ X, entonces

(X\A)\(X\B) = B\A.
(c) {(A∪B)∩[(B\A)∪(A∩B)]}∩[A∪(A∪B)c]
(d) [(A ∪ B c ) ⊕ (B \ A)]c ∪ [(A ∩ B)c − (B \ A)] 40. Si A 6= ∅ entonces demuestre que
(A ∪ A)\A 6= A ∪ (A\A).
36. Para conjuntos A, B y C, mostrar que Cardinalidad
(a) (A ∪ B) × C = (A × C) ∪ (B × C). 41. Si C es un conjunto finito, denótese
por |C| el número de elementos de C. Si A, B
(b) (A ∩ B) × C = (A × C) ∩ (B × C).
son conjuntos finitos pruébese que
(c) (A\B) × C = (A × C)\(B × C).
|A ∪ B| = |A| + |B| − |A ∩ B|.
37. Sean A, B y C conjuntos arbitrarios.
Sobre las siguientes afirmaciones, dar una 42. Si A, B, C son conjuntos finitos, de-
demostración de las que son verdaderas, o termine una formula para |A ∪ B ∪ C|.
proporciona un contraejemplo de las falsas. 43. Trate de determinar |A1 ∪ A2 ∪ · · · ∪
An |, para A1 , . . . , An conjuntos finitos.
(a) A \ (B ∪ C) = (A \ B) ∪ (A \ C)
44. Para conjuntos finitos A, B demues-
(b) (A \ B) × C = (A × C) \ (B × C) tre que |A × B| = |A| · |B|.
(c) (A ⊕ B) × C = (A × C) ⊕ (B × C) 45. Si S es un conjunto con 5 elementos:
(d) (A ∪ B) × (C ∪ D) = (A × C) ∪ (B × D) (a) ¿Cuántos subconjuntos tiene S?
13
(b) ¿Cuántos subconjuntos de cuatro ele- leen el periódico cada dı́a, entonces por lo
mentos tiene S? menos 50 % reúnen ambas condiciones. ¿Por
que?
(c) ¿Cuántos subconjuntos de dos elementos
tiene S? 52. Un sondeo de opinión publica mues-
tra que un 93 % de la población está de
46. Sean los conjuntos A y B, tales que acuerdo con el gobierno de Carlos de Mesa
en una primera decisión, el 84 % en la se-
(a) |A ⊕ B| = 10 y |A ∪ B| = 25. ¿Cuántos gunda, y el 74 % en la tercera. Determinar
elementos tiene A ∩ B? por lo menos que porcentaje de la población
está de acuerdo con las tres decisiones toma-
(b) |A ∪ B| = 18 y |A ∩ B| = 7. ¿Cuántos ele-
das por el gobierno actual.
mentos tiene A ⊕ B?
53. En su libro A Tangled Tale, Lewis
47. De un total de 120 personas encues- Carrol propuso el siguiente acertijo acerca
tadas, 25 personas hablan inglés y francés, de un grupo de ex-combatientes inválidos:
40 solo hablan francés y 20 no hablan nin- Supongamos que un 73 % han perdido un
guno de estos idiomas. ¿Cuántas personas ojo, 75 % una oreja, 80 % un brazo y 85 %
hablan solo uno de estos idiomas? una pierna. ¿Que porcentaje, por lo menos
habrá sufrido las cuatro perdidas?
48. Laura tiene discos de diferentes
géneros musicales: pop, rock, punk, gothic, 54. De un grupo de 4 personas que van a
clásica y jazz. Su amiga Diana tiene discos comer a un restaurante se sabe que 3 perso-
de salsa, gothic, hip-hop, pop y metal. nas piden sopa, 3 piden carne, 3 piden jugo,
y solo una persona pide sopa, carne y jugo.
(a) Luis, un amigo común, quiere escuchar El número de personas que pidieron sopa y
la música que le gusta exclusivamente carne, y no pidieron jugo es:
a cada una de ellas, ası́ que le presta-
ron un disco de cada uno de esos géne- 55. De 76 estudiantes que pueden matri-
ros. ¿De qué géneros le han prestado los cularse en los cursos de álgebra, geometrı́a
discos? y cálculo. Se sabe que 42 se matricularon
en álgebra, 30 en geometrı́a y 28 en cálcu-
(b) Si Luis opta por los discos que a ambas lo. Uno se matriculó en los tres cursos. Si to-
gustan, ¿qué discos ha de oı́r? dos tomaron al menos un curso, encontrar el
número de estudiantes que se matriculó solo
49. De un grupo de estudiantes bachille- en 2 de los cursos.
res que piensan presentar el examen de ad-
56. La profesora Diana puso un examen
misión a una universidad se sabe que 1/3 se
con tres preguntas a su grupo de quı́mica.
presentará a medicina, 7/12 se presentará a
Hay 21 estudiantes en su clase y cada uno
psicologı́a y 1/8 se presentará a ambas carre-
de ellos contestó al menos una pregunta. 5
ras. Si el resto, que son 15 estudiantes, aun
estudiantes no contestaron la primera pre-
no deciden a qué carrera presentarse. Dedu-
gunta, 7 fallaron al contestar la segunda, y
cir el número total de estudiantes.
seis no contestaron la tercera pregunta. Si 9
50. Sobre una población de 113 personas estudiantes contestaron las tres preguntas,
se determinó que los que van solamente al ¿cuántos contestaron exactamente una pre-
cine son el doble de los que van únicamente gunta?
al teatro y los que van a ambos lugares son
57. Una mesera tomo una orden de 57
la sexta parte de los que van a un solo lugar.
hamburguesas: 22 con cebolla, 29 con mos-
Si ocho personas no van al cine ni al teatro,
taza y 25 con ketchup. De éstas, 10 tenı́an
¿cuántas personas van al teatro?
sólo cebolla y 15 sólo mostaza; 7 de las ham-
51. Supongamos que si el 80 % de los bo- burguesas tenı́an sólo cebolla y mostaza, y 3
livianos han cursado el bachillerato y el 70 % los tres ingredientes. Determine:
14
(a) ¿Cuántas hamburguesas llevan sólo ket- (b) ¿Cuántos prefieren a los candidatos A o
chup y mostaza? B, pero no a C?
(b) ¿Cuántas sólo llevaban ketchup? (c) ¿Cuántos prefieren a dos de los candida-
tos?
(c) ¿Cuántas hamburguesas llevaban cebo-
lla o mostaza, pero no ketchup? 61. Un profesor tiene dos docenas de li-
bros de introducción a las ciencias de la
58. Un ingeniero que dirige la construc- computación y está interesado en la forma
ción de un edificio de tres plantas, distribuye en que tratan los temas (C) compiladores,
el personal de la siguiente manera: 43 tra- (E) estructuras de datos e (I) intérpretes.
bajan en la primera planta, 58 en la tercera Los siguientes datos representan la canti-
planta, 16 en la primera y segunda plantas, dad de libros que contienen material relati-
22 en las plantas primera y tercera, 7 tra- vo a estos temas:
bajan en las tres plantas. Si 52 trabajan en
|C ∩ E| = 5
sólo una planta, y 37 en dos plantas a la vez |C| = 8
pero no en las tres, ¿cuántos trabajan: |E ∩ I| = 6
|E| = 13
|I ∩ C| = 3
(a) en la primera y segunda plantas, pero no |I| = 13
|C ∩ E ∩ I| = 2
en la tercera planta?
(a) ¿Cuántos libros incluyen el material de
(b) en la segunda o tercera plantas, pero no
exactamente uno de estos temas?
en la primera planta?
(b) ¿Cuántos no tratan ninguno de estos te-
(c) únicamente en la primera planta?
mas?
(d) en total en toda la obra? (c) ¿Cuántos no contienen material sobre
compiladores?
59. En una exposición cientı́fica de una
escuela secundaria, 34 estudiantes recibie- Miscelánea
ron premios por sus proyectos cientı́ficos. Se
dieron 14 premios por proyectos de biologı́a, 62. Pruébense las siguientes proposicio-
13 de quı́mica y 21 de fı́sica. Si 3 estudiantes nes:
recibieron premios en las tres áreas temáti- (a) A × B = ∅ si, y solo si A = ∅ ó B = ∅.
cas, ¿cuántos recibieron premios por exacta-
mente?: (b) Si C × D = ∅, entonces; C × D ⊆ A × B
si y solo si C ⊆ A y D ⊆ B.
(a) un área temática?
(c) A × B = B × A si y solo si A = B.
(b) dos áreas temáticas?
(d) Si A y B son conjuntos no vacı́os y (A ×
B)∪(B×A) = C×C entonces A = B = C.
60. En una encuesta a 120 electores so-
bre sus candidatos favoritos, se determino
63. Si I = {1, 2, 3, 4}, A1 = {2, 5, 7}, A2 =
que: 66 electores prefieren al candidato A,
{2, 3, 9}, A3 = {1, 2, 4} y A4 = {2, 5, 9}, en-
50 prefieren al candidato B, 50 prefieren al
cuentre.
candidato C, 27 prefieren a los candidatos A [ \
Ai y Ai .
y C, 30 prefieren a los candidatos A y B, 21
i∈I i∈I
prefieren a los candidatos B y C, y 20 no tie-
ne preferencia por ninguno de los tres can- 64. Dada una familia de conjuntos {Ai }
didatos. con i ∈ I, sea X un conjunto con las siguien-
tes propiedades.
(a) ¿Cuántos electores tienen preferencia
por los tres candidatos? (a) Para todo i ∈ I, se tiene que Ai ⊂ X,
15
S T
(b) Si para todo i ∈ I, Ai ⊂ Y entonces 72. Demostrar que α y α se distribu-
X ⊂Y, yen sobre el producto cartesiano:
[ !  
pruebe con estas condiciones que X = Ai . [ [ [
i∈I
Aα ×  Bβ  = (Aα × Bβ ),
α∈I β∈J α∈I
65. Repita el ejercicio
anterior con los β∈J
1 !  
conjuntos I = N , y Ai = 1 − . \ \ \
n+1 Aα × Bβ  = (Aα × Bβ ).
66. Si A1 ⊆ A2 ⊆ · · · ⊆ An , demuestre β∈J
n
[ n
\ Como un corolario del anterior problema
Ai = An , y Ai = A1 tenemos las formas más concretas las cuales
i=1 i=1 son de frecuente uso
[ [
A∩ Aα = (A ∩ Aα ),
67. Demuéstrese que: (a, b) = (c, d) si, y
α∈I α∈I
solo si a = c y b = d. [Recuerde : El par or- \ \
denado de los elementos a y b esta definido A∪ Aα = (A ∪ Aα ),
como el conjunto (a, b) = {{a}, {a, b}}.] α∈I α∈I
[ [
A× Aα = (A × Aα ),
68. Si X, A, B son conjuntos tales que
α∈I α∈I
A ∪ B ⊆ X, demuestre que: \ \
A× Aα = (A × Aα ),
1. Si A ∪ B = X entonces X\A ⊆ B. α∈I α∈I
S
2. Si A ∩ B = ∅ entonces A ⊆ X\B. T73. Demostrar que α y P conmutan, pe-
ro α y P no del todo,
3. A = X\B si, y sólo si A ∪ B = X y !
A ∩ B = ∅.
\ \
P(Aα ) = P Aα ,
α∈I α∈I
!
69. El sistema de ecuaciones A ∪ X = [ [
A ∪ B, A ∩ X = ∅ tiene a lo más una solu- P(Aα ) ⊂ P Aα .
ción para X. α∈I α∈I
S \
70. Probar que α se distribuye sobre 74. Demuestre que un conjunto con n ele-
mentos tiene 2n subconjuntos.
T S
y α se distribuye sobre .
!   75. Si 0 < m < n, determinese cuan-
[ [ [ tos subconjuntos hay que consten de exac-
Aα ∩ Bβ  = (Aα ∩ Bβ ), tamente m elementos.
β∈J 76. De un grupo de 50 estudiantes que
 
aprobaron el curso de Aritmética o el curso
!
\ \ \
Aα ∪ Bβ  = (Aα ∪ Bβ ). de Álgebra, se sabe que el número de muje-
α∈I β∈J α∈I res que aprobaron solo Álgebra es la quinta
β∈J
parte del número de mujeres que aprobaron
solo Aritmética. El número de estudiantes
71. Si los complementos se toman con que aprobaron Aritmética y Álgebra excede
respecto a X, entonces probar que: en 5 al número de estudiantes hombres que
[ \ aprobaron solo Aritmética y este último es
X\ Aα = (X\Aα ), igual al número de estudiantes hombres que
α∈I α∈I
\ [ aprobaron solo Álgebra. ¿Cuál es la mı́nima
X\ Aα = (X\Aα ). cantidad de estudiantes que aprobaron solo
α∈I α∈I Álgebra?
16
Relaciones binarias
Cuando nos referimos a relaciones en contextos ordinarios, insistimos en que debe haber una
3 descripción intuitiva del tipo de; conexión existente entre las cosas que están relacionadas.
P. Suppes
Introducción encontrar todas las relaciones binarias con

esta propiedad.
1. Si B denota el conjunto de los libros
en una biblioteca colegial y S denota el con- 5. ¿Cuál es el error con el siguiente argu-
junto de los estudiantes que asisten a ese mento que se propone para probar que una
colegio. Interpretar el producto Cartesiano relación binaria que es simétrica y transiti-
S × B. Dar un ejemplo consistente de una va debe ser también reflexiva?
relación binaria de S a B. Suponga que R es una relación simétrica
2. Determinar cuales de las propiedades y transitiva sobre el conjunto A y sea a ∈ A.
Entonces, para cualquier b con (a, b) ∈ R,
reflexiva, simétrica o transitiva se aplican a
tendremos también que (b, a) ∈ R por la
las siguientes relaciones sobre el conjunto de
simetrı́a. Como ahora tenemos que (a, b) y
personas.
(b, a) están en R, tenemos que (a, a) ∈ R, por
(a) es padres de la transitividad. Por lo tanto R es reflexiva.
(b) es un amigo de 6. Determinar si cada una de las rela-

ciones binarias R definidas sobre el conjun-
(c) es un descendiente de tos dados A son reflexivas, simétricas, anti-
simétricas o transitivas. Si una relación tie-
(d) tienen los mismos padres ne una cierta propiedad, probarlo; por otro
(e) es un tı́o de lado, proveer un contraejemplo para mos-
trar que no.
3. Sea A = {1, 2, 3}. Enlista los pares or- (a) A es el conjunto de todas las palabras
denados de una relación sobre A que sea (del Castellano); (a, b) ∈ R si, y sólo si a
y b tienen al menos una letra en común.
(a) no reflexiva, no simétrica y no transiti-
va. (b) A es el conjunto de todas las personas,
(b) reflexiva, no simétrica y no transitiva. (a, b) ∈ R si, y sólo si ni a ni b están ma-
triculados actualmente en la UMSA, o si
(c) no reflexiva, simétrica y no transitiva. ambos están matriculados en la UMSA
y han tomado al menos una materia jun-
(d) no reflexiva, no simétrica y transitiva. tos.
(e) reflexiva, simétrica y no transitiva. (c) A = {1, 2}; R = {(1, 2)}.
(f) reflexiva, no simétrica y transitiva. (d) A = {1, 2, 3, 4};
(g) no reflexiva, simétrica y transitiva. R = {(1, 1), (1, 2), (2, 1), (3, 4)}.
(h) reflexiva, simétrica y transitiva. (e) A = Z; (a, b) ∈ R si, y sólo si ab ≥ 0.
(i) reflexiva, simétrica y transitiva. (f) A = R; (a, b) ∈ R si, y sólo si a2 = b2 .
(g) A = R; (a, b) ∈ R si, y sólo si a − b ≤ 3.

4. ¿Es posible para una relación ser
simétrica y antisimétrica a la vez? Si la res- (h) A = Z × Z; ((a, b), (c, d)) ∈ R si, y sólo si
puesta es no, ¿por qué? Si la respuesta es si, a − c = b − d.
17
(i) A = N; R es 6=. (b) Encontrar la clase de equivalencia de 1.
√ √
(j) A = Z; R = {(x, y)| x + y = 10}. (c) Mostrar que 3 = 12.
(k) A = R2 ; R = {((x, y), (u, v))|x+y ≤ u+v}.
11. Para a, b ∈ N, se define
a
(l) A = N; (a, b) ∈ R si, y sólo si es un
b a ∼ b si, y sólo si a2 + b es par.
entero.
a Probar que ∼ define una relación de equi-
(m) A = Z; (a, b) ∈ R si, y sólo si b es un
valencia sobre N y encontrar el conjunto co-
entero.
ciente determinado por ∼.
7. Sea S un conjunto que contiene al me- 12. Para a, b ∈ R, se define
nos dos elementos a y b. Si A es el con-
junto potencia de S, determinar que propie- a ∼ b si, y sólo si a − b ∈ Z.
dades -reflexividad, simetrı́a, antisimetrı́a, (a) Probar que ∼ define una relación de
transitividad- posee cada una de las relacio- equivalencia sobre Z.
nes R sobre A. Dar una demostración o un
contraejemplo según el caso. (b) ¿Cuál es la clase de equivalencia de 5?
¿Cuál es la clase de equivalencia de 5 12 ?
(a) (X, Y ) ∈ R si, y sólo si X ⊆ Y .
(c) ¿Cuál es el conjunto cociente determina-
(b) (X, Y ) ∈ R si, y sólo si X $ Y . do por esta relación de equivalencia?
(c) (X, Y ) ∈ R si, y sólo si X ∩ Y = ∅.
13. Para enteros a, b, se define a ∼ b si,
Relaciones de equivalencia y sólo si 2a + 3b = 5n para algún entero n.
Mostrar que ∼ define una relación de equi-
8. Explicar porque cada una de las si-
valencia sobre Z.
guientes relaciones binarias sobre S =
{1, 2, 3} no es una relación de equivalencia 14. Se define la relación ∼ sobre Z por
sobre S. a ∼ b si, y sólo si 3a + b es un múltiplo de 4.
(a) R = {(1, 1), (1, 2), (3, 2), (3, 3), (2, 3), (a) Probar que ∼ define una relación de
(2, 1)}. equivalencia.
(b) R = {(1, 1), (2, 2), (3, 3), (2, 1), (1, 2), (b) Encontrar la clase de equivalencia de 0.
(2, 3), (3, 1), (1, 3)}.
(c) Encontrar la clase de equivalencia de 2.
(c) R = {(1, 1), (1, 2), (1, 3), (2, 1), (2, 2),
(d) Hacer una conjetura sobre el conjunto
(3, 1)}.
cociente.
(d) R = {(1, 1), , (1, 2), (2, 2), (1, 3), (3, 3)}.
15. Para enteros a y b, se define
9. Los conjuntos {1}, {2}, {3}, {4}, {5}
a ∼ b si, y sólo si 3a + 4b = 7n.
son las clases de equivalencia para una bien
conocida relación de equivalencia sobre el (a) Probar que ∼ define una relación de
conjunto S = {1, 2, 3, 4, 5}. ¿Cuál es el nom- equivalencia.
bre usual de esta relación de equivalencia?
(b) Encontrar la clase de equivalencia de 0
10. Para a, b ∈ R \ {0}, se define
a 16. Para a, b ∈ Z \ {0}, se define a ∼ b si,
a ∼ b si, y sólo si ∈ Q.
b y sólo si ab > 0.
(a) Probar que ∼ es una relación de equiva- (a) Probar que ∼ define una relación de
lencia. equivalencia sobre Z.
18
(b) ¿Cuál es la clase de equivalencia de 5? (c) Critique y después corrija la siguiente
¿Cuál es la clase de equivalencia de −5? demostración de la simetrı́a de ∼.
(c) ¿Cuál es la partición de Z \ {0} determi- Si (x, y) ∼ (u, v) si x − y = u − v.

nada por esta relación de equivalencia? Entonces u − v = x − y.
Por lo tanto, (u, v) ∼ (x, y)
17. Para a, b ∈ Z, se define a ∼ b si, y sólo
si a2 − b2 es divisible por 3. (d) Critique y después corrija la siguiente
demostración de transitividad para ∼.
(a) Probar que ∼ define una relación de
equivalencia sobre Z. Si (x, y) ∼ (u, v) y (u, v) ∼ (w, z)
Entonces u − v = w − z.
(b) ¿Qué es 0? ¿Qué es 1?
Si x − y = u − v, entonces x − y = w − z.
(c) ¿Cuál es la partición de Z determinada Por lo tanto, (x, y) ∼ (w, z)
por esta relación de equivalencia?
(e) ¿La relación ∼ define una relación de
equivalencia sobre R2 ?
18. Determinar y justificar, sı́ las si-
guientes relaciones definidas sobre el con- (f) Determinar las clases de equivalencia de
junto A son relaciones de equivalencia. (0, 0) y (2, 3) y describir estos geométrica-
mente.
(a) A es el conjunto de todos los triángulos
en el plano; a ∼ b si, y sólo si a y b son
20. Para (x, y), (u, v) ∈ R2 se define
congruentes.
(x, y) ∼ (u, v) si, y sólo si x2 − y 2 = u2 − v 2 .
(b) A es el conjunto de todos los cı́rculos en Probar que ∼ define una relación de equi-
el plano; a ∼ b si, y sólo si a y b tienen el valencia sobre R2 . Describe geométricamen-
mismo centro. te la clase de equivalencia de (0, 0). Describe
geométricamente la clase de equivalencia de
(c) A es el conjunto de todas las lı́neas rec- (1, 0).
tas en el plano; a ∼ b si, y sólo si a es
21. Determinar cuales de las siguientes
paralelo a b.
relaciones de equivalencia definidas sobre
(d) A es el conjunto de todas las lı́neas en el R2 . Para los que lo sean, dar una interpre-
plano; a ∼ b si, y sólo si a es perpendicu- tación geométrica de los elementos del con-
lar a b. junto cociente.
(a) (a, b) ∼ (c, d) si, y sólo si a + 2b = c + 2d.
19. Se define la relación ∼ sobre R2 por
(b) (a, b) ∼ (c, d) si, y sólo si ab = cd.
(x, y) ∼ (u, v) si, y sólo si x − y = u − v.
(c) (a, b) ∼ (c, d) si, y sólo si a2 + b = c + d2 .
(a) Critique y después corrija la siguiente
(d) (a, b) ∼ (c, d) si, y sólo si a = c.
demostración de que ∼ es reflexiva.
(e) (a, b) ∼ (c, d) si, y sólo si ab = c2 .
Si (x, y) ∼ (x, y), entonces x − y = x − y.
22. Si ∼ denota una relación de equiva-
(b) ¿Cuál es el problema con la siguiente in- lencia sobre el conjunto A. Asumamos que
terpretación de la simetrı́a en esta situa- a, b, c, d ∈ A son tales que a ∈ b, c ∈ d y d ∈ b.
ción? Probar que a = c.
Si (x, y) ∈ R, entonces (y, x) ∈ R. 23. Sea A = {1, 2, 3, 4, 5, 6, 7, 8, 9}. Para

a, b ∈ A, se define a ∼ b si, y sólo si ab es
Escriba una correcta afirmación de la un cuadrado perfecto (es decir el cuadrado
propiedad simétrica. de un entero).
19
(a) ¿Cuáles son los pares ordenados en esta (e) (N × N, ), donde (a, b) (c, d) si, y sólo
relación? si a ≤ c y b ≥ d.
(b) Para cada a ∈ A, encontrar a = {x ∈ (f) (W, ) donde W es el conjunto de to-

A| x ∼ a}. das las cadenas de letras del alfabeto (es
decir “palabras”reales o imaginarias) y
(c) Explicar porque ∼ define una relación de w1 w2 si, y sólo si w1 tiene una lon-
equivalencia sobre A. gitud que no excede la longitud de w2
(Aquı́ longitud quiere decir número de
24. En el ejercicio anterior, sea A el con- letras).
junto de todos los números naturales y ∼ co-
mo se dio. Mostrar que ∼ define una relación 29. Enlista todos los pares (x, y) tales
de equivalencia sobre A. que x ≺ y en los ordenes parciales descritos
25. Sean A = {1, 2, 3, 4, 5, 6, 7} y la rela- por los siguientes diagramas de Hasse.
ción definida por a ∼ b si, y sólo si ab es una
(a) d bc
(b) b bc
e bc
potencia de 2, es decir, ab = 2m para algún

entero m, positivo, negativo o cero. c bc
c bc
b bc
(a) ¿Cuáles son los pares ordenados en esta

relación? a bc
a bc
d bc
(b) Para cada a ∈ A, encontrar la clase de (c) e bc

(d) d bc
equivalencia a.
b bc
c bc
d bc
b bc
c bc
f bc
(c) Explicar porque ∼ define una relación de

equivalencia sobre A. a bc
a bc
e bc
d
26. En el ejercicio anterior, sea A el con- (e) bc
c bc
e bc
(f) c bc
e bc
junto de todos los números naturales y ∼ co-

mo se dio. Mostrar que ∼ aun define una re- b bc
a bc
f bc
lación de equivalencia sobre A.

a bc
b bc
d bc
27. Sea R una relación de equivalencia

c i
sobre un conjunto S y sea {S1 , S2 , . . . , St } (g) bc
a bc
d (h) bc
f bc bc
una colección de subconjuntos de S con la

propiedad; (a, b) ∈ R si, y sólo si a y b son ele- b bc
e bc
b bc
e bc bc
h
mentos del mismo conjunto Si , para algún i.
Suponga que para cada i, Si *j6=i Sj . Probar c bc
f bc
a bc
d bc bc g
que {S1 , S2 , . . . , St } es una partición de S.
(i) c bc
(j) bc
d bc
e bc
f bc g
Relaciones de orden
28. Determinar si cada una de las si- b bc bc
d b bc bc
c
guientes relaciones son un orden parcial, y
establecer cual de los ordenes parciales es a bc
a bc
un orden total. 30. Enlista todos los elementos maximal,

minimal, máximo y mı́nimo para cada uno
(a) Para a, b ∈ R, a b significa a ≥ b.
de los ordenes parciales descritos en el ante-
(b) Para a, b ∈ R, a b significa a < b. rior ejercicio.
(c) (R, ), donde a b significa a2 < b2 . 31. ¿En el conjunto parcialmente ordena-
do (P(S), ⊆) de subconjuntos de un conjunto
(d) (N × N, ), donde (a, b) (c, d) si, y sólo S, bajo que condiciones un conjunto B cubre
si a ≤ c. a otro conjunto A?
20
32. Trazar el diagrama de Hasse para ca- (d) {{1}, {1, 2}, {1, 3}, {1, 2, 3}}
da uno de los ordenes parciales
(e) {{1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}}
(a) ({1, 2, 3, 4, 5, 6}, ≤).
(f) {{1}, {2}, {3}, {1, 2}, {1, 3},
(b) ({{a}, {a, b}, {a, b, c}, {a, b, c, d}, {2, 3}, {1, 2, 3}}
{a, c}, {c, d}}, ⊆).
39. En un conjunto parcialmente ordena-
33. Enlista todos los elementos maximal, do (A, ), probar que:
minimal, máximo y mı́nimo para cada orden
del anterior ejercicio. (a) la máxima cota inferior de dos elementos
es única, siempre que exista.
34. Probar que cualquier conjunto par-
cialmente ordenado (no vacı́o) finito de- (b) la mı́nima cota superior de dos elemen-
be contener elementos maximal y mini- tos es única, siempre que exista.
mal. ¿Esto será verdad para conjuntos par-
cialmente ordenados de tamaño arbitrario? 40. Si a y b son dos elementos de un con-
Explı́cate. junto parcialmente ordenados (A, ), obser-
35. Sea A = Z2 . Para a = (a1 , a2 ) y va y convéncete de que los conceptos
b = (b1 , b2 ) en A, se define a b si, y sólo (
si a1 ≤ b1 y a1 + a2 ≤ b1 + b2 . a , si b a
máx(a, b) =
b , si a b
(a) Probar que es un orden parcial sobre
A. ¿Será éste orden parcial un orden to- y (
tal? Justifica tu respuesta con una de- a , si a b
mostración o un contraejemplo. mı́n(a, b) =
b , si b a
(b) Generalizar el resultado de la parte (a) no tienen sentido a menos que el orden sea
definiendo un orden parcial sobre el con- total. Explicar.
junto Zn de las n-tuplas de enteros.
41. Consideremos el conjunto D12 =
36. Demostrar que un conjunto parcial- {1, 2, 3, 4, 6, 12} de todos los divisores positi-
mente ordenado tiene: vos de 12, donde para a, b ∈ D12 se define
a b si, y sólo si a divide a b.
(a) a lo más un elemento máximo.
(a) Verificar que D12 es un conjunto parcial-
(b) a lo más un elemento mı́nimo. mente ordenado.
37. Sea S un conjunto no-vacı́o, A y B ele- (b) Trazar el diagrama de Hasse para D12 .
mentos de conjunto potencia de S. En el con-
(c) Determinar el supremo e ı́nfimo de
junto parcialmente ordenado (P(S), ⊆),
los conjuntos {3, 4}, {1, 3}, {2, 6}, {4, 6},
(a) probar que A ∧ B = A ∩ B. {1, 2, 3}, {4, 6, 12}.
(b) probar que A ∨ B = A ∪ B. (d) ¿Será D12 un retı́culo? Explı́que.
38. Sea U = {1, 2, 3, 4}, con A = P y sea 42. Mostrar que cualquier conjunto total-
∼ la relación de inclusión sobre A. Hallar el mente ordenado es un retı́culo.
ı́nfimo y el supremo de cada conjunto B
43. Sea el conjunto E = {0, 1, 2, 3, 4, 5}
(a) {{1}, {2}} con la relación ≤ (menor o igual que). De-
terminar si (E, ≤) es un orden total.
(b) {{1}, {2}, {3}, {1, 2}}
44. Si a y b dos elementos de un conjunto
(c) {∅, {1}, {2}, {1, 2}} parcialmente ordenado (A, ) con a b.
21
(a) Mostrar que a ∨ b existe, encontrar este (b) ¿Suponga que A tiene diez elementos,
elemento, y explica tu respuesta. entonces, cuántas relaciones binarias
hay sobre A?
(b) Mostrar que a ∧ b existe, encontrar este
elemento, y explica tu respuesta.
52. Para a, b ∈ N, se define a ∼ b si, sólo si
a ≤ 2b. Determinar si ∼ es reflexiva, simétri-
45. Dar un ejemplo de conjunto
ca, antisimétrica, transitiva, una relación de
(a) parcialmente ordenado que tenga un equivalencia o un orden parcial sobre N.
máximo y un mı́nimo pero que no sea to- 53. Se define una relación R sobre Z por
talmente ordenado. aRb si, y sólo si 4a + b es un múltiplo de 5.
(b) totalmente ordenado que no tenga mı́ni- Mostrar que R define una relación de equi-
mo ni máximo. valencia sobre Z.
54. Se define una relación R sobre Z por
46. Probar que en un conjunto totalmen- aRb si 2a + 5b es un múltiplo de 7. Mostrar
te ordenado, cualquier elemento maximal es que R define una relación de equivalencia
un máximo, sobre Z.
47. Suponiendo que (A, ) es un conjunto
(a) Probar que R define una relación de
parcialmente ordenado conteniendo un ele-
equivalencia.
mento mı́nimo a. Probar que
(b) ¿Es R un orden parcial? Explicar tu res-
(a) a es minimal.
puesta brevemente.
(b) a es el único elemento minimal.
Miscelánea
lencia sobre el conjunto A. Probar que x ∼
48. Sean A, B y C conjuntos. Determi- a ←→ x = a para cualquier x, a ∈ A.
nar cuales de las siguientes afirmaciones
son verdaderas o falsas. En cada caso, pro-
lencia sobre el conjunto A. Asumiendo que
veer una demostración o exhibir un contra-
a, b, c, d ∈ A son tales que a ∈ b, d 6∈ c y d ∈ b.
ejemplo.
Probar que a ∩ c = ∅.
(a) A ∩ B = A si, y sólo si A ⊆ B. 57. Mostrar que (Z, ⊆) es un conjunto
(b) (A ∩ B) ∪ C = A ∩ (B ∪ C). parcialmente ordenado.
58. Sea A = {1, 2, 4, 6, 8}, para a, b ∈ A, se
49. Sean A, B, C y D conjuntos. define a b si, y sólo si ab es un entero.
(a) Dar un ejemplo mostrando que la afir- (a) Probar que define un orden parcial so-
mación “A ⊕ (B \ C) = (A ⊕ B) \ C”es bre A.
falsa en general.
(b) Trazar el diagrama de Hasse para .
(b) Probar que la afirmación “A ⊆ C, B ⊆ D
implica A × B ⊆ C × D”es verdadera. (c) Enlista los elementos mı́nimo, minimal,
máximo y maximal.
50. Dar un ejemplo mostrando que la
afirmación “(A × B) ⊆ (C × D) implica que (d) ¿Es (A, ) totalmente ordenado? Explica
A ⊆ C y B ⊆ D”es falsa. tu respuesta.
51. Sea A un conjunto.
59. Sea (A, ) un conjunto parcialmente
(a) ¿Que es lo que entiendes por el término ordenado y a, b ∈ A. ¿Pueden tener a y b dos
relación binaria sobre A? mı́nimas cotas superiores?
22
Funciones
Sin exageración, esta es probablemente la noción mas importante y universal
4 presente siempre a través de todas las matemáticas.

I. N. Herstein
Introducción Explica tu respuesta.

1. Determina si cada una de las siguien- 6. Se define g : Z → B por g(x) = |x| + 1.
tes relaciones es una función con dominio Determinar sı́ g es uno-uno o sobre en cada
{1, 2, 3, 4}. Explicar la respuesta. uno de los siguientes casos.
(a) f = {(1, 1), (2, 1), (3, 1), (4, 1), (3, 3)} (a) B es el conjunto Z.
(b) f = {(1, 2), (2, 3), (4, 2)} (b) B es el conjunto N.
(c) f = {(1, 1), (2, 1), (3, 1), (4, 1)} 7. Se define f : A → A por f (x) = 3x + 5.
Determinar sı́ f es uno-uno o sobre en cada
(d) f = {(1, 1), (1, 2), (1, 3), (1, 4)} uno de los siguientes casos.
(e) f = {(1, 4), (2, 3), (3, 2), (4, 1)} (a) A es el conjunto Q.
(b) A es el conjunto N.
2. Suponga que A y B son conjuntos no
vacı́os. ¿Puede A×B, en algún momento, ser 8. Se define h : A → A por h(x) = x2 + 2
una función A → B? Explica determinar sı́ h es uno-uno o sobre en cada
3. Dar un ejemplo de función N → N que uno de los siguientes casos.
(a) A es el conjunto Z.
(a) sea uno-uno pero no sobre;
(b) A es el conjunto N.
(b) sea sobre pero no uno-uno;
(c) no sea uno-uno ni sobre; 9. Se define g : A → A por g(x) = 3x2 +

14x − 51. Determinar sı́ g es uno-uno o sobre
(d) sea ambos uno-uno y sobre . en cada uno de los siguientes casos.
(a) A es el conjunto Z.
4. Con el conjunto S = {1, 2, 3, 4, 5} se de-
fine f : S → Z por (b) A es el conjunto R.
(
x2 + 1 , si x es par, 10. Se define f : A → B por f (x) =
f (x) = x2 + 14x − 51. Determinar sı́ f es uno-uno
2x − 5 , si x es impar.
o sobre en cada uno de los siguientes casos.
Expresar f como un subconjunto de S × Z. (a) A = N, B = {b ∈ Z| b ≥ −100}.
¿Será f uno-uno?
(b) A = Z B = {b ∈ Z| b ≥ −100}.
5. La adición y multiplicación de núme-
ros reales son las funciones adi, mul : R × (c) A = R B = {b ∈ R| b ≥ −100}.
R → R, donde
11. Encontrar el dominio y rango de cada
adi(x, y) = x + y; mul(x, y) = xy una de las funciones de variable real. En ca-
da caso, determinar sı́ la función es uno-uno
(a) ¿Será adi uno-uno? ¿Será sobre? o sobre
(b) ¿Será mul uno-uno? ¿Será sobre? (a) g : R → R definida por g(x) = x|x|.
23
(b) β : ( 43 , ∞) → R con β(x) = log2 (3x − 49. 16. Sea S un conjunto conteniendo el
número 5. Sea A = {f : S → S} el conjunto
(c) f : R → R definida por f (x) = 2x−1 + 3. de todas las funciones S → S. Para f, g ∈ A,
se define f ∼ g si f (5) = g(5).
12. Se define la función:
(a) f : R → R por f (x) = 3x3
+ x. Gráficar f equivalencia sobre A.
para determinar sı́ la función es uno-uno
(b) Encontrar las clases de equivalencia de
y/o sobre
f = {(5, a), (a, b), (b, b)} en el caso de que
(b) f : Z → Z por 3x3 + x. Gráficar f para S = {5, a, b}.
determinar sı́ la función es uno-uno y/o
sobre 17. Sean A un conjunto y f : A → A uno
función. Para x, y ∈ A, se define x ∼ y si
f (x) = f (y).
13. Se define la función:
(a) g : R → R por g(x) = 3x3 + x. Gráficar g equivalencia sobre A.
para determinar sı́ la función es uno-uno
y/o sobre. (b) Para A = R y f (x) = ⌊x⌋, encontrar las
clases de equivalencia de 0, 75 , − 34 .
(b) g : Z → Z por g(x) = 3x3 + x. Gráficar g
para determinar sı́ la función es uno-uno (c) Si A = {1, 2, 3, 4, 5, 6} y f = {(1, 2), (2, 1),
y/o sobre. (3, 1), (4, 5), (5, 6), (6, 1)}. Encontrar to-
das las clases de equivalencia.
(c) Repetir (b) para la función g : N → N
definida por g(x) = x3 − x + 1. 18. Sean X = {a, b} y Y = {1, 2, 3}
(a) Enlistar todas las funciones de X en Y ,
14. Determinar sı́ cada una de las si- y de Y en X.
guientes reglas de correspondencia define
una función uno-uno y/o sobre. Dar una de- (b) Enlistar todas las funciones uno-uno de
mostración o exhibir un contraejemplo para X en Y , y de Y en X.
justificar su respuesta. (c) Enlistar todas las funciones sobre de X
en Y , y de Y en X.
(a) f (n, m) = 2n + 3m; f : N × N → N.
(b) f (n, m) = 2n + 3m; f : Z × Z → Z. 19. Sean X = {a, b, c} y Y = {1, 2, 3, 4}

(a) ¿Cuántas funciones uno-uno de X en Y ,
(c) f (n, m) = 14n + 22m; f : N × N → N.
y de Y en X habrá? En cada caso enlistar
(d) f (n, m) = 89n + 246m; f : Z × Z → Z. todas las funciones.
(b) ¿Cuántas funciones sobre de X en Y , y
(e) f (n, m) = n2 + m2 + 1; f : Z × Z → N.
de Y en X habrá? En cada caso enlistar
todas las funciones.
15. En cada uno de los siguientes casos,
explicar por que la función dada no es uno- 20. Dados los conjuntos X y Y , con |X| =
uno. Entonces restringir el dominio de la m y |Y | = n, conjetura una formula general
función, tanto como sea posible, hasta que para el número de funciones f : X → Y .
la función sea uno-uno.
21. Suponga que A y B son conjuntos,
(a) f = {(a, α), (b, β), (c, γ), (d, α)}. A contiene n elementos y B contiene m ele-
mentos.
(b) f : R → R dada por f (x) = −4x2 +12x−9.
(a) Si n > m, probar que no hay funciones
(c) f : R → R definida por f (x) = sen x. f : A → B que puedan ser uno-uno.
24
(b) Si m > n, probar que no hay funciones x−3
(d) A = {x ∈ R| x 6= −3}, f (x) =
f : A → B que puedan ser sobre. x+3
26. Se define f : Z → N por

22. Suponga que A y B son conjuntos,
que contienen el mismo número finito de ele-
(
2|x| , sı́ x < 0
mentos y que f : A → B es una función. f (x) = .
2x + 1 , sı́ x ≥ 0
(a) Probar que f es uno-uno si, y sólo si f es
(a) Mostrar que f tiene una inversa.
sobre.
(b) Encontrar f −1 (2586).
(b) Dar un ejemplo de una función uno-uno
N → N que no sea sobre. ¿Esto contradi-
27. Sı́ A es el conjunto de toda la gen-
ce el inciso (a)? Explica.
te casada, madre : A → A es la función
(c) Dar un ejemplo de una función sobre que asigna a cada persona casada su madre,
N → N que no sea uno-uno. ¿Esto con- padre y cónyuge tienen similar explicación.
tradice el inciso (a)? Explica. Dar una coherente interpretación de cada
una de las siguientes funciones:
Inversas y composición
(a) madre ◦ madre
23. Si A = {1, 2, 3, 4, 5}, encontrar la in-
versa de cada una de las siguientes funcio- (b) madre ◦ padre
nes f : A → A.
(c) padre ◦ madre
(a) f = {(1, 2), (2, 3), (3, 4), (4, 5), (5, 1)}
(d) madre ◦ cónyuge
(b) f = {(1, 2), (2, 4), (3, 3), (4, 1), (5, 5)}
(e) cónyuge ◦ madre
(c) f = {(1, 1), (2, 4), (3, 3), (4, 2), (5, 5)}
(f) padre ◦ cónyuge
24. Gráficar cada una de las siguientes (g) cónyuge ◦ cónyuge

funciones y encontrar sus inversas. Además,
especificar el dominio y el rango de cada in- (h) (cónyuge ◦ padre) ◦ madre
versa. (i) cónyuge ◦ (padre ◦ madre)
(a) f : R → R dado por f (x) = 3x + 5.
28. Sean los conjuntos S = {1, 2, 3, 4, 5} y
(b) f : R → R dado por f (x) = x3 − 2. T = {1, 2, 3, 8, 9}. Además se definen las fun-
ciones f : S → T y g : S → S por
(c) β : ( 43 , ∞) → R con β(x) = log2 (3x − 4).
f = {(1, 8), (3, 9), (4, 3), (2, 1), (5, 2)},
(d) g : R → R dado por g(x) = x|x|.
g = {(1, 2), (3, 1), (2, 2), (4, 3), (5, 2)}.
25. Mostrar que cada una de las siguien- (a) Encontrar f ◦ g o explicar por que f ◦ g no
tes funciones f : A → R es uno-uno. Encon- está definida. Hacer lo mismo para g ◦ f ,
trar el rango de cada función y una adecua- f ◦ f y g ◦ g.
da inversa.
(b) ¿Cuál de las funciones f , g es uno-uno?
1 ¿Cuál es sobre? Explicar.
(a) A = {x ∈ R| x 6= 4}, f (x) = 1 +
x−4
(c) Encontrar f −1 sı́ existe. Si no es ası́ ex-
1
(b) A = {x ∈ R| x 6= −1}, f (x) = 5 − plicar porque.
1+x
3x (d) Encontrar g−1 sı́ existe. Si no es ası́ ex-
(c) A = {x ∈ R| x 6= − 12 }, f (x) = plicar porque.
2x + 1
25
29. Sean f, g, h : R → R definidas por (a) Si g ◦ f es uno-uno y f es sobre, mostrar
que g es uno-uno.
1
f (x) = x + 2, g(x) = , h(x) = 3
x2 +1 (b) Si g ◦ f es sobre y g es uno-uno sobre,
mostrar que f es sobre.
Calcular (g ◦ f )(x), (f ◦ g)(x), (h ◦ g ◦ f )(x),
(g ◦ h ◦ f )(x), (g ◦ f −1 ◦ f )(x), y (f −1 ◦ g ◦ f )(x).
35. Demostrar que
30. Sean f : R → R una función, c un
número real, y se define g : R → R por (a) la composición de funciones uno-uno es
g(x) = x − c. Explicar, como están relacio- otra función uno-uno.
nados
(b) el recı́proco de (a) no es verdad, por me-
(a) los gráficos de f y g ◦ f . dio de un ejemplo.
(b) los gráficos de f y f ◦ g. (c) si g ◦ f es uno-uno, entonces f debe ser

uno-uno.
31. Sea la función f : R → R y la función (d) la composición de funciones sobre es otra
g : R → R definida por g(x) = −|x|. ¿Cómo función sobre.
están relacionados
(e) el recı́proco de (d) no es verdad, por me-
(a) los gráficos de f y g ◦ f ? dio de un ejemplo.
(b) los gráficos de f y f ◦ g? (f) si g ◦ f es sobre, entonces f debe ser so-
bre.
32. Sean S = {1, 2, 3, 4, 5} y las funciones
f, g, h : S → S definidas por 36. ¿Será la composición de dos funciones
biyectivas otra función biyectiva? Explique
f = {(1, 2), (2, 1), (3, 4), (4, 5), (5, 3)},
su respuesta.
g = {(1, 3), (2, 5), (3, 1), (4, 2), (5, 4)},
37. Se define f : Z → Z por
h = {(1, 2), (2, 2), (3, 4), (4, 3), (5, 1)}.
(
(a) Encontrar f ◦ g y g ◦ f . ¿Estas funciones n−2 , sı́ n ≥ 1000,
f (n) =
son iguales? f (f (n + 4)) , sı́ n < 1000.
(b) Explicar porque f y g tienen inversa pe- (a) Encontrar el valor de f (1000), f (999),
ro h no. Encontrar f −1 y g−1 . f (998), f (997) y f (996).
(c) Demostrar que (f ◦ g)−1 = g−1 ◦ f −1 6= (b) Conjetura una formula para f (n).
f −1 ◦ g−1 .
(c) Conjetura el rango de f .
33. Sean los conjuntos A = {x ∈ R|x 6= 2} Cardinalidad
y B = {x ∈ R| x 6= 1}, se definen f : A → B y
g : B → A por 38. Una gran multitud cubre el campo
del estadio para un concierto de rock. Sugie-
x 2x re una sencilla manera para determinar sı́ el
f (x) = , g(x) =
x−2 x−1 tamaño de la multitud excede la cantidad de
asientos en el estadio.
(a) Encontrar (f ◦ g)(x).
39. A primera vista, los cuadrados per-
(b) ¿Son f y g inversas? Explicar. fectos -1, 4, 9, 16, 25, 36, . . .- parece ser un
subconjunto de N muy disperso. Sin embar-
34. Sean las dos funciones f : A → B y go, Galileo afirmó que hay tantos cuadrados
g : B → C. perfectos como numeros naturales.
26
¿Cuál pudo ser el razonamiento que lo llevo (a) Todas las potencias de 2 con exponente
a esta afirmación? entero.
40. Encontrar la correspondencia uno-
(b) Todos los números naturales que dejan
uno entre los siguientes pares de conjuntos:
un resto igual a 1 al ser divididos por 3.
(a) {x, y, {a, b, c}} y {14, −3, t}.
(c) N × {1, 2, 3}.
(b) 2Z y 17Z.
m
(d) los números racionales positivos con n
(c) N × N y {a + bi ∈ C| a, b ∈ N}. n
impar.
(d) N y { m
n | m ∈ N, n = 1, 2}.
(e) N × Z.
41. Suponga que f : N → Z es una fun-
ción sobre y uno-uno (f) Z × Z.
(a) Probar que la función g : N × N → N × Z
definida por g(m, n) = (m, f (n))es uno- 49. Determinar, con justificación, cuales
uno y sobre. de los siguientes conjuntos son finitos, infi-
nitos numerables, o no-numerables:
(b) Encontrar una correspondencia uno-uno
entre N × N y N × Z. (a) {x ∈ R| 1 < x < 2}
42. Verdadero o falso. Si A B, entonces (b) {x ∈ Q| 1 < x < 2}

|A| y |B| no tienen la misma cardinalidad.
(c) { m
n | m, n ∈ N, m < 100, 5 < n < 105}
43. Suponga que S es un conjunto y que
para todo A, B ∈ P(S), definimos A B co- (d) { m
n | m, n ∈ Z, m < 100, 5 < n < 105}
mo |A| ≤ |B|. ¿Es esta relación un orden par-
cial sobre P(S)? Explica (e) {a + bi ∈ C| a, b ∈ N}
44. Mostrar que para cualesquiera con-
(f) {(a, b) ∈ Q × Q| a + b = 1}
juntos A y B, |A × B| = |B × A|.
√
45. Sean los conjuntos X, Y y Z. (g) {(a, b) ∈ R × R| b = 1 − a2 }
(a) Verdadero o falso: (X × Y ) × Z = X ×
(Y × Z). Proveer una demostración o dar 50. Si S1 y S2 son las esferas de radio 1 y
un contraejemplo. 100 respectivamente. Probar que los puntos
sobre la superficie de S1 y los puntos de la
(b) Encontrar una correspondencia uno-uno superficie de S2 constituyen conjuntos con la
(X × Y ) × Z → X × (Y × Z). misma cardinalidad.
46. Probar que la función definida por 51. Sean S un conjunto infinito, y x un
f (x) = 3x establece una correspondencia elemento que no esta en S. Probar que S y
uno-uno entre los números reales R y los S ∪ {x} son conjuntos con la misma cardina-
números reales positivos R+ . ¿Qué puedes lidad.
concluir sobre la cardinalidad? 52. Suponga que A es un conjunto finito,
47. Probar que R y el intervalo (a, b) (con B es un conjunto infinito-numerable y que
a < b) tienen la misma cardinalidad. A ∩ B = ∅. Mostrar que A ∪ B es infinito-
numerable.
48. Probar que cada uno de los siguien-
tes conjuntos es numerable, enlistando sus 53. Si S es el conjunto de todos los núme-
elementos en una simétrica y definitiva ma- ros reales en el intervalo (0, 1) cuyas expan-
nera. (Muestra al menos los primeros doce siones decimales muestren sólo ceros y unos.
términos de tus listas.) Probar que S es no-numerable.
27
Números
Dios creo los números naturales,
5 todo lo demás es obra del hombre.

L. Kronecker
Algoritmo de la división 6. Probar que para cada entero impar a,

el número a2 es de la forma 8k+1 para algún
1. Encontrar los enteros q y r, con 0 ≥
entero k.
r < |b|, tal que a = bq + r en cada uno de los
siguientes casos 7. Demostrar que el cubo de cualquier
entero tiene que ser exactamente de una de
(a) a = 12 345; b = −39. las formas: 9k o 9k + 1 o 9k + 8 para algún
entero k.
(b) a = −102 497; b = −977.
8. El resto de dividir cn − 1 por cm − 1 es
(c) a = 98 764; b = 4 789. cr − 1, donde r es el resto de dividir n por m.
(d) a = −81 538 416 000; b = 38 754. Máximo común divisor
9. Ya vimos que (N, |) es un conjunto par-
2. Escoge un número natural n > 1 y cialmente ordenado.
define f : Z → Z tomando f (a) igual al co-
ciente resultante de dividir a por n; es decir (a) ¿Estará totalmente ordenado?
f (a) = q donde a = nq + r con 0 ≥ r < n. (b) ¿(N, |) tendrá un máximo?
(a) Encontrar el dominio y el rango de f . (c) ¿(N, |) tendrá un mı́nimo?
(b) ¿f será uno-uno? 10. Sea el orden parcial ({2, 4, 6, 8}, |)
(c) ¿f será sobre? (a) Explica porque en este orden cada par
de elementos tiene una máxima cota in-
Explica tus respuestas. ferior.
3. Supón que n > 1 es un número natural
(b) ¿Cada par de elementos tendrá mı́nima
y f : Z → N ∪ {0} es la función que a cada
cota superior?
a ∈ Z le asigna el residuo resultante de di-
vidir a por n; es decir, que sı́ a = nq + r con (c) ¿Este orden parcial será un retı́culo?
0 ≥ r < n, entonces f (a) = r.
11. Traza el diagrama de Hasse para ca-
(a) Encontrar el dominio y el rango de f . da uno de los siguientes ordenes parciales
(b) ¿Será f uno-uno? (a) ({2, 3, 4, 5, 6, 7}, |)
(c) ¿f será sobre? (b) ({1, 2, 3, 4, 5, 6, 7, 8, 9, 10}, |)
Explica tus respuestas. (c) Enlista todos los elementos minimal,

mı́nimo, maximal y máximo para los or-
4. Usar el algoritmo de la división par denes parciales de los incisos (a) y (b).
probar que cada entero impar es, o de la for-
ma 4k + 1 o bien es de la forma 4k + 3 para 12. Sea n un número natural. Dados los
algún entero k. n enteros consecutivos,
5. Probar que el cuadrado de cualquier
a, a + 1, a + 2, . . . , a + n − 1,
entero a es, o de la forma 3k o bien de la for-
ma 3k + 1 para algún entero k. mostrar que uno de ellos es divisible por n.
28
13. Probar que n2 − 2 (n un entero) no es 22. Probar que para enteros a y b, se tie-
divisible por 4. ne mcd (a, a + b) = mcd (a, b).
14. Dados los enteros a y x, con a > 1, 23. Encontrar un par de enteros x, y ta-
a|(11x + 3) y a|(55x + 52), encontrar a. les que
15. Suponga que a y b son enteros con el (a) 17369x + 5472y = 4
mismo residuo por ser divididos por el mis-
mo número natural n. Probar que n|(a − b). (b) 154x + 260y = 4
16. ¿Verdadero o falso? En cada caso, jus-
24. Mostrar que no existen enteros x, y
tifica tu respuesta con una demostración o
tales que
un contraejemplo (todas las variables repre-
sentan enteros). (a) 154x + 260y = 3
(a) Si a|b y b| − c, entonces a|c. (b) 196x + 260y = 14
(b) Si a|b y c|b, entonces ac|b.

25. Dados los enteros d, x y y
(c) Si a|b y a|c, entonces a|bc. (a) Suponga que existen enteros m y n tales
(d) Si a|b y c|d, entonces ac|bd. que d = mx+ny. Probar que mcd (x, y)|d.
(e) Si a|b y c| ab , entonces c|b y a| bc . (b) ¿Será verdad la implicación recı́proca

de (a)? ¿Si mcd (x, y)|d es necesario que
existan enteros m y n tales que d =
17. Suponga que los enteros a y b son pri-
mx + ny?
mos relativos y que c es un entero tal que a|c
y b|c. Probar que ab|c.
26. Si k es un número natural, probar
18. En cada uno de los siguientes casos, que mcd (3k + 2, 5k + 3) = 1.
encontrar el máximo común divisor de a y b,
27. Para a, b, c son números naturales,
y expresarlo en la forma ma + nb para apro-
probar que mcd (ac, bc) = cmcd (a, b).
piados enteros m y n.
28. Si a ∈ N, probar que
(a) a = 93, b = 119. (
1 , si a es impar
(b) a = −93, b = 119. mcd (a, a + 2) =
2 , si a es par
(c) a = −93, b = −119.
29. Probar que mcd (n, n + 1) = 1 para
(d) a = 1575, b = 231.
cualquier n ∈ N. Encontrar enteros x y y ta-
(e) a = 1575, b = −231. les que nx + (n + 1)y = 1.
Números primos
(f) a = −1575, b = −231.
30. Determinar si los siguientes enteros
(g) a = −3719, b = 8416. son primos.
(h) a = 12345, b = 54321.
(a) 157 (d) 1001
19. ¿Cuales de los enteros del ejercicio (b) 9831 (e) 55551111
anterior son primos relativos?
(c) 9833 (f) 2216090 − 1
20. Si los enteros a y b son primos relati-
vos, probar que mcd (a + b, a − b) = 1 o 2. √
31. ¿Existirá un número r < n tal que,
21. Probar que los enteros a y b pueden si n no es primo, entonces n tiene un factor
tener a lo mas un máximo común divisor. primo p ≥ r?
29
32. Suponga que p es el másppequeño fac- (d) ¿Porqué no podemos expresar f como
tor primo de un entero n y p > n/p. Probar una función f : N → N?
que n/p es primo.
40. Determinar cuales de las siguientes
33. Expresar 16773121 como un producto
funciones N × N → N es uno-uno. Explica tus
de primos, sabiendo que 433 es el más pe-
respuestas.
queño factor primo.
34. Encontrar la descomposición prima (a) f (n, m) = 2m 6n
de cada uno de los siguientes números na- (b) f (n, m) = 36m 6n
turales.
41. Sean p y q primos diferentes y n un
(a) 856 (d) 9970 número natural. ¿Si p|n y q|n, puede pq divi-
(b) 2323 (e) (28 − 1)20 dir a n?
42. Dados a y b diferentes enteros positi-
(c) 6647 (f) 55551111 vos, mostrar que existe un entero n ≤ 0 tal
que a + n y b + n son primos relativos.
35. Emplear el Teorema Fundamental de
43. Para las siguientes cuestiones, expli-
la Aritmética para probar que: para ningún
ca tu respuesta.
número natural n el entero 14n termina en
0. (a) ¿Es 215 − 1 primo?
36. Si A = { m
n ∈ Q| 3 6 |n} (b) ¿Es 291 − 1 primo?
(a) Enlistar cinco diferentes elementos de A (c) Mostrar que si 291 − 1 es primo, entonces
con al menos un entero. es necesario que n sea primo.
(b) Probar que A es cerrado bajo la adición. (d) ¿El recı́proco de (c) será verdad?
(c) Probar que A es cerrado bajo la multipli- 44. Mostrar que

cación.
(a) 26 + 1 no es primo.
37. Sea A cualquier subconjunto de Z \ (b) 220 + 1 no es primo.
{0} y, para a, b ∈ A se define a ∼ b si, y sólo
si ab es un cuadrado perfecto. Mostrar que ∼ (c) si 2n + 1 es primo, entonces necesaria-
define una relación de equivalencia sobre A. mente n deberá ser una potencia de 2.
38. ¿Verdadero o falso? Explica tus res- (d) la suma de dos números primos impares
puestas. nunca es primo.
(a) Para todo n ∈ N, n > 1 existe un primo p (e) el inciso (d) es falso si se borra la palabra
tal que p|n. impar.
(b) Existe un primo p tal que p|n para todo 45. Probar que la suma de dos primos
n ∈ N, n > 1. consecutivos nunca es el doble de un primo.
46. Si n es un entero impar, mostrar que
39. Define f : N \ {1} → N colocando f (n) x2 − y 2 = 2n no tiene soluciones enteras.
igual al mayor divisor primo de n.
47. Verdadero o falso: {n ∈ N : n >
(a) Encontrar el rango de f . 2 y an + bn = cn para algún a, b, c ∈ N} = ∅?
(b) ¿Determinar si f es uno-uno? 48. Suponga que a, b, c son enteros tales

que, cada dos son primos relativos. Probar
(c) ¿Será f una función sobre? que mcd (ab, bc, ac) = 1.
30
49. Sean a, b, c números enteros, cada (a) Cada entero positivo impar de la forma
uno primo relativo a otro entero n. Probar 3n + 2, n ∈ N, tiene un factor primo de la
que el producto abc es primo relativo a n. misma forma. ¿Que pasarı́a si se omite
la palabra impar?
50. Para el número primo p se sabe que,
mcd (a, p2 ) = p y mcd (b, p3 ) = p2 , encontrar (b) Repetir (a) para enteros positivos de la
(a) mcd (ab, p4 ) forma 4n + 3.
(b) mcd (a + b, p4 ) (c) Repetir (a) para enteros positivos de la

forma 6n + 5.
51. Si p1 , p2 , . . . , pn+1 denotan los prime-
ros n + 1 primos (en orden). Probar que ca- (d) Existe una infinidad de primos de la for-
da número entre p1 p2 · · · pn + 2 y p1 p2 · · · pn + ma 6n + 5.
pn+1 − 1 (inclusive) es compuesto. ¿Cómo
muestra esto, que existen lagunas de longi- 59. Suponga que p y p + 2 son primos ge-
tud arbitraria en la sucesión de primos? melos y p > 3. Probar que 6|(p + 1).
52. Si el máximo común divisor de los en- Inducción matemática
teros a y b es el primo p, ¿cuáles son los posi- 60. Escribir cada P
una de las siguientes
bles valores de sumas sin el sı́mbolo , y calcular su valor.
(a) mcd (a2 , b)? (c) mcd (a3 , b)? P5 2
P2 j+2
(a) i=1 i (e) j=0 3
(b) mcd (a2 , b2 )? (d) mcd (a2 , b3 )? P4 i P4 2
(b) i=1 2 (f) k=−1 (2k − k)
53. Sean a y b números naturales con P6 i−1 P4
(c) i=1 (2 − 2i ) (g) k=−1 (k
2 − 1)
mcd (a, b) = 1 y ab cuadrado perfecto; Probar
que a y b también son cuadrados perfectos. P1 Pn k
(d) t=1 sen πt (h) k=0 (−1)
54. Si a y b son números naturales
(a) Encontrar la descomposición prima de 61. Enlista los elementos de conjuntos si-
mcm (a, b) en términos de la descomposi- guientes:
ción prima de a y b y probar tu respuesta. (a) { ni=0 (−1)i | n = 0, 1, 2, 3}
P
(b) Usar el inciso (a) para demostrar que

(b) { ni=1 2i | n ∈ N, 1 ≤ n ≤ 5}
P
mcd (a, b)mcm (a, b) = ab.
55. Probar que un entero que es un cua- 62. Usar la inducción matemática para
drado (a2 para algún a) y un cubo (b3 para probar la verdad de cada una de las siguien-
algún b) es también una sexta potencia. tes afirmaciones, para todo n ≥ 1.
56. Sean a y b enteros y p un primo. Res- (a) n2 + n es divisible por 2.

ponder verdadero o falso y explicar la res-
puesta. (b) n3 + 2n es divisible por 3.
(a) Si p|a entonces p|a. (c) n3 + (n + 1)3 + (n + 2)3 es divisible por 9.
(b) Si p|a y p|(a2 + b2 ) entonces p|b. (d) 5n − 1 es divisible por 4.

(c) Si p|(a9 + a17 ) entonces p|a. (e) 8n − 3n es divisible por 5.
57. Demostrar que existe una infinidad (f) n2 + 2 es divisible por 4.

de tripletas de enteros a, b, c que satisfacen
la ecuación a2 + b2 = c2 . (g) 52n − 25n es divisible por 7.
58. Probar que (h) 10n+1 + 10n + 1 es divisible por 3.
31
(i) an − bn es divisible por a − b, para cuales- (c) Para cualquier p ∈ R, p > −1, se tiene
quiera enteros a, b con a − b 6= 0. (1 + p)n ≥ 1 + np, para todo n ∈ N.
63. Probar por inducción matemática, (d) Para cualquier entero n ≥ 2 se tiene
1 1 1 1 13
que para cualquier número natural n: n+1 + n+2 + n+3 + · · · + 2n > 24 .
Pn 1 √
n(n + 1) (e) i=1 i >
√ n para n ≥ 2.
(a) 1 + 2 + 3 + · · · + n = ,
2
n2 (n + 1)2 68. Encontrar el error en la siguiente
(b) 13 + 23 + 33 + · · · + n3 = , “demostración”por inducción matemática de
4
(c) (1+2+3+· · · +n)2 = 13 +23 +33 +· · ·+n3 . (2n + 1)2
1 + 2 + 3 + ··· + n =
8
64. Por medio de la inducción matemáti- para todo número natural n.
ca establecer la veracidad de cada una de las (2k + 1)2
siguientes afirmaciones, para n ≥ 1. Si 1 + 2 + 3 + · · · + k = entonces
8
(a) 1 + 2 + 22 + 23 + · · · + 2n = 2n+1 − 1 1 + 2+3 + · · · + k + (k + 1) =
(b) 12 − 22 −+ 32 42
+ ··· + (−1)n−1 n2 = = (1 + 2 + 3 + · · · + k) + (k + 1)
n(n + 1) (2k + 1)2
= (−1)n−1 = + (k + 1)
2 8
(c) 12 + 32 + 52 + 72 + · · · + (2n − 1)2 = 4k2 + 4k + 1 + 8k + 8
=
n(2n − 1)(2n + 1) 8
= .
3 4k2 + 12k + 9
=
(d) 1·2·3+2·3·4+3·4·5+· · · +n(n+1)(n+2) = 8
n(n + 1)(n + 2)(n + 3) (2k + 3)2
= . =
4 8
[2(k + 1) + 1]2
1 1 1 n =
(e) + + ··· + = 8
1·2 2·3 n(n + 1) n+1
y ası́, que sea verdad para k implica que sea
65. Reescribir cada una de las sumas
P del verdad para k + 1.
ejercicio anterior usando la notación .
69. Es tentador el pensar que si una afir-
66. Demostrar las siguientes formulas mación que involucra un número natural n
por inducción matemática. es verdad para cualquier valor consecutivo
n
X de n, entonces debe ser verdad para todo n.
(a) (i + 1)2i = n2n+1 En relación a esto, el siguiente ejemplo de-
i=1 bido a Euler es ilustrativo.
n Sea f (n) = n2 + n + 41.
X i2 n(n + 1)
(b) =
(2i − 1)(2i + 1) 2(2n + 1) (a) Verifique, que f (n) es primo para n =
i=1
1, 2, 3, . . . , 39 y aun ası́ f (40) no es primo.
n
X n(n + 1)(4n − 1)
(c) (2i − 1)(2i) = (b) Mostrar que para cualquier n de la for-
3
i=1 ma n = k2 + 40, f (n) no es primo.
67. Establecer las siguientes inecuacio- 70. Suponga que cualquier conjunto fini-
nes por inducción matemática. to no vacı́o de números naturales tiene un
(a) 2n > n2 , para n ≥ 5. elemento mı́nimo. Probar que cualquier con-
junto no vacı́o de números naturales tiene
(b) (1 + 21 )n ≥ 1 + n2 , para n ∈ N. un elemento mı́nimo.
32
71. Probar que un conjunto con n ele- relativos por pares. Suponga además que ca-
mentos, n ≥ 0, contiene 2n subconjuntos. da mi divide a n. Probar que el producto
m1 m2 . . . mt divide n.
72. Demostrar que
Congruencias
(a) para cualquier entero n ≥ 1, cualquier
conjunto de n números reales positivos 77. Las siguientes cuestiones hacen refe-
tiene un elemento mı́nimo. rencia a congruencias (mód 7)
(a) Enlista tres enteros positivos y cuatro
(b) el resultado de (a) no es verdad para con- enteros negativos de 5.
juntos infinitos de números reales positi-
vos en general, pero es verdad para algu- (b) Enlista cuatro enteros positivos y tres
nos conjuntos infinitos. enteros negativos de −3.
(c) ¿Cuál es el nombre del principio que (c) Determinar la forma general de un ente-
afirma, que cualquier conjunto no vacı́o ro en 5.
de números naturales tiene un elemento (d) ¿Cuál es la forma general de un entero
mı́nimo? en −3?
73. Sean n ≥ 1 y A, B1 , B2 , . . . , Bn conjun- 78. Estas cuestiones hacen referencia a

tos, probar que para cualquier n ≥ 1 congruencias (mód 13)
\n
! n
\ (a) Enlista cinco enteros positivos y cuatro
(a) A ∪ Bi = (A ∪ Bi ). enteros negativos de 3.
i=1 i=1
(b) Enlista cuatro enteros positivos y cinco
n n
!
[ [ enteros negativos de −2.
(b) A ∩ Bi = (A ∩ Bi ).
i=1 i=1 (c) Determinar la forma general de un ente-
ro en 3.
74. La diferencia simétrica de n ≥ 3 con-
(d) ¿Cuál es la forma general de un entero
juntos A1 , . . . , An puede ser definida inducti-
en −2?
vamente como sigue:
79. Encontrar a (mód n) en cada uno de
A1 ⊕ · · · ⊕ An = (A1 ⊕ · · · ⊕ An−1 ) ⊕ An .
los siguientes casos.
Probar que para cualquier n ≥ 2, A1 ⊕ · · · ⊕ (a) a = 1 286, n = 39
An consiste de los elementos que pertene-
(b) a = 43 197, n = 333
cen a un número impar de los conjuntos
A1 , . . . , An . (c) a = −545 608, n = 51
75. Para n ≥ 3, el máximo común divisor (d) a = −125 617, n = 315
de n enteros no nulos a1 , a2 , . . . , an puede ser
definido inductivamente como (e) a = 11 111 111 111, n = 1 111
mcd (a1 , . . . , an ) = mcd (a1 , mcd (a2 , . . . , an )). 80. ¿Verdadero o falso? Dar una razón
para cada respuesta.
Probar que mcd (a1 , a2 , . . . , an ) es una com- (a) 2 = 18 (mód 10)
binación lineal entera de a1 , a2 , . . . , an para
todo n ≥ 2; es decir, que hay que probar (b) 7 ∈ −13 (mód 5)
que existen enteros s1 , s2 , . . . , sn tales que (c) −8 = 44 (mód 13)
mcd (a1 , a2 , . . . , an ) = s1 a1 + s2 a2 + · · · + sn an .
(d) 17 ∩ 423 = ∅ (mód 29)
76. Suponga que n, m1 , m2 , . . . , mt son
números naturales, y que los mi son primos (e) −18 6∈ 400 (mód 19)
33
81. Realiza cada uno de los cálculos indi- x + 5y ≡ 3 (mód 9)
(b)
cados, reduciendo la respuesta a (mód n) 4x + 5y ≡ 1 (mód 9)
(a) 21 758 623 + 17 123 055, n = 6 x + 5y ≡ 3 (mód 8)

(c)
4x + 5y ≡ 1 (mód 8)
(b) 21 758 623 × 17 123 055, n = 6
7x + 2y ≡ 3 (mód 15)
(c) (17 123)50 , n = 6 (d)
9x + 4y ≡ 6 (mód 15)
(d) 104 , 108 , 1012 , 1020 , 1024 , n = 7
87. Si a ≡ b (mód n), mostrar que
(e) 2, 22 , 23 , . . . , 210 , n = 11 mcd (a, n) = mcd (b, n).
(f) 4, 42 , 43 , . . . , 410 , n = 11 88. Sean a y n > 1 números naturales,

r y s enteros. Suponga que r ≡ s (mód n).
¿Verdadero o falso? Explicar.
82. Encontrar a + b (mód n), ab (mód n),
(a + b)2 (mód n), en cada uno de los siguien- (a) ar ≡ as (mód n)
tes casos:
(b) r a ≡ sa (mód n)
(a) a = 4003, b = −127, n = 85
89. Suponga que a y b son enteros, n > 1
(b) a = 17 891, b = 14 485, n = 143 número natural y a ≡ b (mód n). ¿Verdadero
(c) a = 22 222, b = 33 333, n = 55 o falso? En cada caso, probar o dar un con-
traejemplo.
(d) a = −389 221, b = 123 450, n = 10 000
(a) a3 ≡ b2 (mód n)
83. Si a ∈ Z y a 6≡ 0 (mód 7), mostrar que (b) a2 ≡ b2 (mód n)
a ≡ 5k (mód 7) para algún entero k.
(c) a2 ≡ b3 (mód n)
84. Dados los enteros a, b, c, d, x, y el pri-
mo p, suponga que (ax + b)(cx + d) ≡ 0 (d) a2 ≡ b2 (mód n2 )
(mód p). Probar que ax + b ≡ 0 (mód p) o
cx + d ≡ 0 (mód p). 90. Encontrar todos los enteros x, 0 ≤
x < n, que satisfacen cada una de las si-
85. Encontrar todos los enteros x, 0 ≤ guientes congruencias
x < n, que satisfacen cada una de las si-
guientes congruencias. Sı́ tal x no existe ex- (a) x2 ≡ 1 (mód n), n = 5
plicar el porque.
(b) x2 ≡ 1 (mód n), n = 7
(a) x2 ≡ 4 (mód 13)
(c) x2 ≡ 1 (mód n), n = 13
(b) (2x + 1)(3x + 4) ≡ 0 (mód 17)
91. Suponga que p 6= 2 es un primo. En-
(c) 3x2 + 14x − 5 ≡ 0 (mód 57) contrar todos los enteros x, 0 ≤ x < p tales
que x2 ≡ 1 (mód p).
(d) x2 ≡ 2 (mód 6)
92. Encontrar todos los enteros x, 0 ≤
(e) 4x2 + 3x + 7 ≡ 0 (mód 5) x < n, que satisfacen cada una de las si-
guientes congruencias
86. Encontrar todos los enteros x, y, 0 ≤
x < n, que satisfacen cada una de los si- (a) x2 ≡ 1 (mód n), n = 52
guientes pares de congruencias. Sı́ tales x, y (b) x2 ≡ 1 (mód n), n = 53
no existe explicar el porque no.
(c) x2 ≡ 1 (mód n), n = 35
2x + y ≡ 1 (mód 6)
(a) (d) x2 ≡ 1 (mód n), n = 72
x + 3y ≡ 3 (mód 6)
34
93. En cada uno de los siguientes incisos, 99. Probar o refutar las siguientes afir-
p es un primo. maciones:
(a) Encontrar 188970 , 188971 y 188972 en (a) Si ab = 0 en Zn , entonces a = 0 o b = 0.

(mód 8971).
(b) Si ab = ac y a 6= 0 en Zn , entonces b = c.
(b) Encontrar 5320592 , 5320593 y 5320594 en
(mód 20593). 100. Respecto a la ecuación x2 + x = 0
(c) Encontrar 3508 , 3509 y 3512 en (mód 509). (a) Resolver x2 + x = 0 en Z5 .
(d) Encontrar 23948 y 23941 en (mód 3943). (b) Resolver x2 + x = 0 en Z6 .
94. Mostrar que x97 − x + 1 ≡ 0 (mód 97) (c) Si p es primo, probar que las únicas so-
no tiene soluciones. luciones de x2 + x = 0 en Zp son 0 y p − 1.
Aritmética en Zn 101. .
95. Construir las tablas de adición y mul-
(a) En Z5 calcular (a + b)5 .
tiplicación para
(b) En Z3 calcular (a + b)3 .
(a) Z2 (c) Z7
(c) En Z2 calcular (a + b)2 .
(b) Z4 (d) Z12
(d) En base a los resultados de (a), (b) y (c),
96. El conjunto Zn contiene sólo n ele- a que piensas que es igual (a + b)7 en Z7 .
mentos. Para resolver una ecuación en Zn
basta con reemplazar estos n elementos en 102. Encontrar todos los a para los cua-
la ecuación y ver cuales la resuelven. Resol- les la ecuación ax = 1 tiene una solución:
ver las ecuaciones:
(a) en Z3 (e) en Z7
(a) x2 = 1 en Z8
(b) en Z4 (f) en Z8
(b) x4 = 1 en Z5
(c) en Z5 (g) en Z9
(c) x2 + 3x + 2 = 0 en Z6
(d) en Z6 (h) en Z10
(d) x2 + 1 = 0 en Z12
103. Si n es compuesto, probar que exis-
97. Encontrar un elemento a en A tal que ten a, b ∈ Zn tales que a 6= 0 y b 6= 0 pero
cada elemento no nulo de A es una potencia ab = 0.
de a; hacer esto para:
104. Probar que si p es primo y ab = 0 en
Zp , entonces a = 0 o b = 0.
(a) A = Z7 (c) A = Z6
105. Resolver la ecuación 58x = 1 en
(b) A = Z5 (d) A = Z8 Z127 .
98. Resolver las siguientes ecuaciones 106. Sea p un primo y asumamos que
a 6= 0 en Zp . Probar que para cualquier b en
(a) x + x + x + x + x = 0 en Z5 Zp , la ecuación ax = b tiene una solución.
(b) x + x + x = 0 en Z3 107. Sea a 6= 0 en Zn . Probar que ax = 0

tiene una solución no nula en Zn si, y sólo si
(c) x + x + x + x = 0 en Z4 ax = 1 no tiene solución.
35
Estructuras algebraicas
El álgebra es generosa, frecuentemente
6 da más de lo que le piden.

J. Le Rua D’lambert
Grupos 11. En un grupo, probar que (ab)−1 =

b−1 a−1 .Encontrar un ejemplo, mostrando
1. Mostrar que 1, 2, 3 bajo la multipli-
que es posible tener (ab)−2 6= b−2 a−2 . Encon-
cación (mód 4) no es un grupo, pero que
trar un ejemplo no abeliano en el que se ten-
1, 2, 3, 4 bajo la multiplicación (mód 5) si es
ga (ab)−1 = a−1 b−1 para algunos elementos
un grupo.
a y b distintos de la identidad. Trazar una
2. Mostrar que el grupo GL(2, R) no es analogı́a entre la afirmación (ab)−1 = b−1 a−1
Abeliano, exhibiendo un par de matrices A y y la acción de ponerte y quitarte tus calceti-
B en GL(2, R) tales que AB 6= BA. nes y calzados.
3. Encontrar la inversa del elemento 12. Probar que un grupo G es abeliano si,
2 6 y sólo si (ab)−1 = b−1 a−1 para cualesquiera a
en GL(2, Z11 ).
3 5
y b en G.
4. Dar un ejemplo de elementos a y b de
13. En un grupo, probar que (a−1 )−1 = a
un grupo con la propiedad a−1 ba 6= b.
para todo a.
5. Traducir cada una de las expresiones
14. Mostrar que el conjunto {5, 15, 25, 35}
multiplicativas siguientes a su contraparte
es un grupo bajo la multiplicación módulo
aditiva.
40. ¿Cuál es el elemento identidad en este
(a) a2 b3 grupo? ¿Puedes ver alguna relación entre es-
te grupo y U (8)?
(b) a−2 (b−1 c)2
15. ¿Si a1 , a2 , . . . , an pertenecen a un gru-
(c) (ab2 )−3 c2 = e po, cuál es la inversa de a1 a2 · · · an ?
16. Los enteros 5 y 15 son parte de una
6. Para cualesquiera elementos a y b de
colección de 12 enteros que forman un grupo
un grupo y cualquier entero n, probar que
bajo la multiplicación módulo 56. Enlista los
(a−1 ba)n = a−1 bn a.
12 elementos.
7. Probar que el conjunto de todas las
17. Mostrar un grupo con 105 elementos.
matrices 2 × 2 con entradas en R y determi-
Encontrar dos grupos, cada uno con 42 ele-
nante +1 es grupo bajo la multiplicación de
mentos.
matrices.
18. Construir una tabla de Cayley para
8. Para cualquier entero n > 2, mostrar
U (12).
que se pueden encontrar al menos dos ele-
mentos en U (n) que satisfacen la ecuación 19. Probar que la Tabla de cualquier gru-
x2 = 1. po es un Cuadrado Latino; es decir que ca-
da elemento del grupo aparece exactamente
9. Si G es un grupo con la siguiente pro-
una vez en cada fila y en cada columna.
piedad: Sı́ a, b, c ∈ G y ab = ca, entonces
b = c. Probar que G es abeliano. 20. Probar que sı́ (ab)2 = a2 b2 en un gru-
po G, entonces ab = ba.
10. Si a y b son elementos de un gru-
po abeliano y n es un entero. Mostrar que 21. Sean a, b, c elementos de un grupo.
(ab)n = an bn . ¿Esto también será verdad pa- Resolver la ecuación axb = c para x. Resol-
ra grupos no abelianos? ver a−1 xa = c para x.
36
22. A continuación se muestra la tabla de 30. Mostrar que U (14) = h3i = h5i. ¿Es
un grupo. Complete los espacios en blanco. decir que U (14) es cı́clico? ¿U (14) = h11i?
e a b c d 31. Mostrar que Z10 = h3i = h7i = h9i.
¿Será Z10 = h2i?
e e
32. Mostrar que U (20) 6= ∠ki para cual-
a b e quier k en U (20). ¿Por lo tanto, U (20) es no
b c d e cı́clico?
c d a b 33. Probar que un grupo abeliano con dos
elementos de orden 2 debe tener un subgru-
d
po de orden 4.
34. Encontrar un grupo que contiene ele-
23. Probar que el conjunto de todos los
mentos a y b tales que |a| = |b| = 2 y
números racionales de la forma 3m 6n , donde
m y n son enteros, es un grupo bajo la mul- (a) ab = 3,
tiplicación.
(b) ab = 4,
24. Sea G un grupo finito. Mostrar que el
número de elementos x de G tales que x3 = e (c) ab = 5.
es impar. Mostrar que el número de elemen- ¿Puedes ver alguna relación entre |a|, |b| y
tos x de G tales que x2 6= e es par. |ab|?
Subgrupos 35. Para cada divisor k de n, sea
25. Para cada uno de los siguientes gru- Uk (n) = {x ∈ U (n)|x = 1 (mód k)}.
pos, encontrar el orden del grupo y el orden
de cada elemento en el grupo. En cada ca- (Por ejemplo, U3 (21) = {1, 4, 10, 13, 16, 19} y
so, determinar como están relacionados el U7 (21) = {1, 8}) Enlistar los elementos de
orden del grupo y el orden del elemento. U4 (20), U5 (20), U5 (30) y U10 (30). Probar que
Uk (n) es un subgrupo de U (n)
(a) Z12 (d) U (20)
36. Suponga que H es un subgrupo pro-
(b) U (10) (e) D4 pio de Z bajo la adición y que 18, 30, 40 ∈ H.
Determinar H.
(c) U (12) (f) U (15)
37. Si H y K son subgrupos de G, mos-
26. Sean Q el grupo de los números ra- trar que H ∩ K es un subgrupo de G. (¿Pue-
cionales bajo la adición, Q∗ el grupo de los des ver que la misma demostración muestra
números racionales no nulos bajo la multi- que la intersección de cualquier número de
plicación. Enlista los elementos de h 21 i en Q. subgrupos de G, finita o infinita, es también
Enlista los elementos de h 12 i en Q∗ . un subgrupo de G?)
27. En cualquier grupo probar: un ele- 38. Sean G un grupo y a ∈ Z(G). En la
mento y su inversa tienen el mismo orden. tabla de Caley de G, ¿cómo es que la fila en-
cabezada por a se compara con la columna
28. Sin calcular los ordenes, explicar por-
encabezada por a?
que los dos elementos en cada uno de los si-
guientes pares de elementos de Z30 deben te- 39. Para G un grupo, mostrar que
ner el mismo orden: {2, 28}, {8, 22}. Hacer lo
Z(G) = ∩a∈G C(a)
mismo para los siguientes pares de elemen-
tos de U (15): {2, 8}, {7, 13}. (Esto significa, la intersección de todos los
subgrupos de la forma C(a).).
29. Si x pertenece a un grupo. Si x 6= e
y x6= e, probar que x4 6= e y x5 6= e. ¿Que 40. Sean G un grupo, a ∈ G. Probar que
podemos afirmar sobre el orden de x? C(a) = C(a−1 ).
37

41. Suponga que G es un grupo definido 0 −1
49. Sean los elementos A = y
por la siguiente tabla de Caley. 1 0

0 1
1 2 3 4 5 6 7 8 B = de SL(2, R). Encontrar |A|,
−1 −1
1 1 2 3 4 5 6 7 8
|B| y |AB|. ¿La respuesta te sorprenderá?
2 2 1 8 7 6 5 4 3
3 3 4 5 6 7 8 1 2 1 1
50. Considera el elemento M =
4 4 3 2 1 8 7 6 5 0 1
5 5 6 7 8 1 2 3 4 en SL(2, R). ¿Cuál es el orden de M ? ¿Si ve-
6 6 5 4 3 2 1 8 7 mos a M como un miembro de SL(2, Zp ) (p es
7 7 8 1 2 3 4 5 6 primo), cuál será el orden de M ?
8 8 7 6 5 4 3 2 1 51. Para cualquier entero positivo n y
(a) Hallar el centralizador de cada miembro cualquier ángulo θ, mostrar que en el grupo
de G. SL(2, R),
n
(b) Encontrar Z(G). cos θ − sen θ cos nθ − sen nθ
= .
sen θ cos θ sen nθ cos nθ
(c) Encontrar el orden de cada elemento
de G. ¿Cómo es que están relacionados Use esta formula para encontrar
√ ◦ el orden
√ ◦de
cos 60◦ − sen 60◦

(aritméticamente hablando) estos orde- cos √2 − sen√ 2
y ◦ ◦ .
nes con el orden del grupo? sen 60◦ cos 60◦ sen 2 cos 2
(Geometricamente, el elemento
42. Si H es un subgrupo de G, entonces

cos θ − sen θ
el centralizador de H es el conjunto C(H) = sen θ cos θ
{x ∈ G| xh = hx para todo h ∈ H}. Probar
que C(H) es un subgrupo de G. es una rotación de θ grados del plano.)
43. ¿El centralizador de un elemento de- 52. Sea G el grupo simétrico de un cı́rcu-
be ser un grupo abeliano? lo. Mostrar que G tiene elementos de cada
orden finito ası́ como elementos de orden in-
44. ¿El centro de un grupo debe ser abe- finito.
liano?
53. U (15) tiene seis subgrupos cı́clicos.
45. Sean G un grupo abeliano con identi- Encuentralos.
dad e y n algún entero. Probar que el conjun-
to de todos los elementos de G que satisfacen 54. Si |a| = n y k divide a n, probar que
la ecuación xn = e es un subgrupo de G. En- |an/k | = k.
contrar un grupo G en el que el conjunto de 55. Suponga que G es un grupo que tie-
todos los elementos que satisfacen la ecua- ne exactamente ocho elementos de orden 3.
ción x2 = e no sea un subgrupo de G. ¿Cuántos subgrupos de orden 3 tiene G?
46. Mostrar que un grupo de orden 6 no 56. Si H = {x ∈ U (20)| x = 1 (mód 3)}
puede tener un subgrupo de orden 4. ¿La de- entonces, ¿H es un subgrupo de U (20)?
mostración que usaste será valida para un
a b
subgrupo H de orden 5? Generaliza estos re- 57. Si G = |a, b, c, d ∈ Z es un
c d
sultados al caso en que G tiene orden n.
grupo bajo
la adición.
Probar que el conjun-
47. Suponga que n es un entero positivo a b
to H = ∈ G|a + b + c + d = 0 es un
par y H es un subgrupo de Zn . Probar que, o c d
cada miembro de H es par o exactamente la subgrupo de G. ¿Que sucederá si se reempla-
mitad de los miembros de H son pares. za 0 por 1?
48. Suponga que un grupo tiene elemen- 58. Sea G = GL(2, R). Mostrar que H =
tos a y b tales que |a| = 4, |b| = 2, y a3 b = ba. {A ∈ G| det(A) es una potencia de 2} es un
Encontrar |ab|. subgrupo de G.
38
59. Si H es un subgrupo de R bajo la adi- 72. ¿Cuántos grupos tiene Z20 ? Encuen-
ción. Probar que K = {2a | a ∈ H} es un sub- tra todos los generadores para cada uno de
grupo de R∗ bajo la multiplicación. estos subgrupos.
60. Si G es el grupo de las funciones de 73. Suponga que G = hai y |a| = 20.
R en R∗ bajo la multiplicación. Probar que ¿Cuántos subgrupos tiene G? Enlistar todos
H = {f ∈ G| f (1) = 1} es un subgrupo de G. los generadores para cada uno de estos gru-
pos.
61. Sean G = GL(2, R) y H =
a 0 74. Sean G = hai y |a| = 24. Determinar
| a, b son enteros no nulos . Probar
0 b todos los generadores para el subgrupo de
o refutar que H es un subgrupo de G. orden 8.
62. Si H = {a+bi|a, b ∈ R, ab ≥ 0}, probar 75. Sean G un grupo y a|inG. Probar que
o refutar que H es un subgrupo de C bajo la ha−1 i
= hai.
adición. 76. Suponga que a tiene orden infinito.
63. Si H = {a + bi| a, b ∈ R, a2 b2
+ = 1}, Encontrar todos los generadores del subgru-
probar o refutar que H es un subgrupo de C∗ po ha3 i.
bajo la multiplicación. Describir los elemen- 77. Suponga que |a| = 24. Encontrar
tos de H geométricamente. un generador para ha21 i ∩ ha10 i. ¿En gene-
Grupos cı́clicos ral, cuál es el generador para el subgrupo
ham i ∩ han i?
64. Encontrar todos los generadores de
Z6 , Z8 y Z20 . 78. Suponga que un grupo cı́clico G tiene
exactamente tres subgrupos: G mismo, {e} y
65. Suponga que hai, hbi y hci son grupos
un subgrupo de orden 7. Hallar |G|
cı́clicos de ordenes 6, 8 y 20, respectivamen-
te. Encontrar todos los generadores de hai, 79. Sean G un grupo abeliano y H = {g ∈
hbi y hci. G| |g| divide a 12}. Probar que H es un sub-
grupo de G. ¿Hay algo especial sobre 12? ¿Tu
66. Enlistar los elementos de los subgru- demostración será valida si reemplazas 12
pos h20i y h10i en Z30 . por algún otro entero positivo? Establece un
67. Encontrar todos los elementos de los resultado general.
subgrupos h3i y h15i en Z18 . 80. Si un grupo cı́clico tiene un elemen-
68. Enlistar los elementos de los subgru- to de orden infinito, ¿cuántos elementos de
pos h3i y h7i en U (20). orden finito tendrá?
69. ¿Qué es lo que tienen en común los 81. Encuentra todos los subgrupos cı́cli-
anteriores tres ejercicios? Intente hacer una cos de U (30).
generalización que incluya estos tres casos. 82. Sean G un grupo y a es un elemento
70. Encontrar un grupo no cı́clico, en el de G.
que todos los subgrupos propios si sean cı́cli-
(a) Si a12 = e, ¿que se puede decir sobre el
cos.
orden de a?
71. Sea a el elemento de un grupo tal que
|a| = 15. Calcular el orden de los siguientes (b) Si am = e, ¿que se puede decir sobre el
elementos de G. orden de a?
(c) Suponga que |G| = 24 y que G es cı́clico.

(a) a3 , a6 , a9 , a12
Sı́ a8 6= e y a12 6= e, mostrar que hai = G.
(b) a5 , a10
83. Probar que un grupo de orden 3 debe
(c) a2 , a4 , a8 , a14 ser cı́clico.
39
84. Para cualquier elemento a en un gru- mento de orden 8, encuentra los otros ele-
po G, probar que hai es un subgrupo de C(a). mentos de orden 8.
85. Sı́ se tiene |a| = n, mostrar que hak i = 99. Encuentra todos los elementos de Z40
hamcd (n,k) i y que |ak | = n/mcd (n, k). que tengan orden 10.
86. Encontrar todos los generadores del 100. Si |x| = 40, determina todos los ele-
grupo Z. mentos de hxi que tengan orden 10.
87. Suponga que a y b pertenecen a un 101. Probar que Zn tiene un número par
grupo, a tiene orden impar, y aba−1 = b−1 . de generadores si n > 2.
Mostrar que b2 = e.

1 n
102. Probar que H = | n ∈ Z es
88. Si G es un grupo finito, Mostrar que 0 1
existe un entero positivo fijo n tal que an = e un subgrupo cı́clico de GL(2, R).
para todo a ∈ G (notar que n es independien- Anillos y campos
te de a). √ √
√ Si Z[ 2] = {a+b 2|a, b ∈ Z}. Probar
103.
89. Determinar el retı́culo que forman que Z[ 2] es un anillo bajo la adición y mul-
los subgrupos de Z12 . tiplicación de números reales habituales.
90. Determinar el retı́culo que forman 104. Mostrar, por medio de ejemplos, que
los subgrupos de Zp2 q , donde p y q son pri- para elementos no-nulos fijos a y b en un ani-
mos diferentes. llo, la ecuación ax + b puede tener (sólo) una
solución. ¿Cómo se compara esto con lo que
91. Trazar el retı́culo que forman los sub-
ocurre en grupos?
grupos de Z8 .
105. Probar que un anillo la unidad es
92. Determinar el retı́culo que forman
única.
los subgrupos de U (12).
106. Encontrar un entero n que muestre
93. Mostrar que el grupo de los números
que los anillos Zn no tienen necesariamente
racionales positivos bajo la multiplicación es
las siguientes propiedades propias del anillo
no cı́clico.
Z
94. Construyendo la tabla de Cayley
mostrar que el conjunto {4, 8, 12, 16} es un (a) a2 = a implica que a = 0 o a = 1.
grupo bajo la multiplicación módulo 20. (b) ab = 0 implica que a = 0 o b = 0.
¿Quien es la identidad? ¿Es un grupo cı́clico?
Si es el caso encontrar todos los generadores. (c) ab = ac y a 6= 0 implica que b = c.
95. Construye la tabla de Cayley del gru- ¿Es primo el entero n que buscas?
po {7, 35, 49, 77} con la multiplicación módu-
lo 84. ¿Quien es la identidad? ¿Es un grupo 107. Mostrar que las tres propiedades
cı́clico? Si es el caso encontrar todos los ge- enunciadas en el anterior ejercicio son va-
neradores. lidas en Zp , donde p es primo.
96. Probar que un grupo infinito debe te- 108. Mostrar que un anillo es conmuta-
ner un número infinito de subgrupos. tivo si tiene la propiedad: ab = ac implica
b = c donde a 6= 0.
97. Sea p un primo. Si un grupo tiene sólo
p−1 elementos de orden p, ¿por qué no puede 109. Mostrar que un anillo que es cı́clico
ser cı́clico? bajo la adición es conmutativo.
110. Encontrar un anillo no-conmutativo
98. Suponga que G es un grupo cı́clico y
que tenga exactamente 16 elementos.
que 6 divide a |G|. ¿Cuántos elementos de
orden 6 tiene G? Sı́ 8 divide a |G|, ¿cuántos 111. Describir todos los subanillos del
elementos de orden 8 tiene G? Si a es un ele- anillo Z de los enteros.
40
112. Mostrar que si m y n son enteros, 128. Si n es un entero mayor que 1. Sı́ en
a y b son elementos de un anillo, entonces el anillo R se tiene xn = x para todo x, mos-
(ma)(nb) = (mn)(ab). trar que: ab = 0 implica ba = 0.
113. Mostrar que si n es un entero y a 129. Explicar por qué cada subgrupo de
es un elemento del anillo, entonces n(−a) = Zn bajo la adición es también un subanillo
−na. de Zn .
114. Si a y b pertenecen a un anillo R, y 130. ¿Será Z6 un anillo de Z12 ?
m es un entero. Probar que m(ab) = (ma)b =
a(mb). 131. Suponga que R es un anillo con uni-
dad 1 y a es un elemento de R tal que a2 = 1.
115. Probar que la intersección de cual- Sea S = {ara| r ∈ R}. Probar que S es un
quier colección de subanillos de un anillo R subanillo de R. ¿S contendrá la unidad 1?
es un subanillo de R.
132. Sean, M2 (Z) el anillo de las ma-
116. Si a pertenece a un anillo R, y S =
trices de 2 × 2 sobre los enteros y R =
{x ∈ R|ax = 0}. Mostrar que S es un subani-
a a+b
llo de R. | a, b ∈ Z . Probar que R es
a+b b
117. Si R es un anillo, entonces el cen- un subanillo de M2 (Z).
tro de R es el conjunto {x ∈ R| ax =
133. Sean, M2 (Z) el anillo de las ma-
xa para todo a ∈ R}. Probar que el centro de
trices de 2 × 2 sobre los enteros y R =
un anillo es un subanillo.
a a−b
| a, b ∈ Z . Probar o refutar
118. Describir los elementos de M2 (Z) a−b b
que tienen inverso multiplicativo. que R es un subanillo de M2 (Z).
119. Suponga que R1 , R2 , . . . , Rn son ani- 134. Sean R = Z ⊕ Z ⊕ Z y S = {(a, b, c) ∈
llos que contienen elementos no nulos. Mos- R| a + b = c}. Probar o refutar que S es un
trar que R1 ⊕ R2 ⊕ · · · ⊕ Rn tiene una unidad subanillo de R.
si, y sólo si cada Ri tiene una unidad.
135. ¿Tendrá la unidad de un subanillo
120. Si R es un anillo conmutativo con que ser la misma que la unidad del anillo?
unidad y U (R) denota el conjunto de las uni- Si es ası́, probarlo; y si no, dar un ejemplo.
dades de R. Probar que U (R) es un grupo ¿Cuál es la análoga situación para grupos?
bajo la multiplicación de R.
136. Mostrar que 2ent ∪ 3Z no es un
121. Determinar U (Z[i]). subanillo de Z.
122. Determinar U (Z[x]).
137. Si R es un anillo, probar que a2 −
123. Determinar U (R[x]). b2 = (a + b)(a − b) para todo a, b ∈ R si, y sólo
124. Mostrar que en cualquier anillo una si R es conmutativo.
unidad divide cada elemento del anillo. 138. Dar un ejemplo de anillo booleano
125. En Z6 , mostrar que 4|2; En Z8 , mos- con cuatro elementos. Dar un ejemplo de
trar que 3|7; En Z15 , mostrar que 9|12. anillo booleano infinito.
126. Suponga que a y b pertenecen a un 139. Encontrar el subconjunto de un ani-

anillo conmutativo R. Si a es una unidad de llo que es un subgrupo bajo la adición pero
R y b2 = 0, mostrar que a + b es una unidad no es un subanillo.
de R.
140. Suponga que existe un entero po-
127. Encontrar un anillo en el que dos sitivo par n tal que an = a para todos los
elementos a y b tengan la propiedad: ab = 0 elementos a de algún anillo. Mostrar que
pero ba 6= 0. −a = a para todo a en el anillo.
41
Álgebras de Boole
La teorı́a es el general
7 los experimentos son los soldados.

L. Da Vinci
Retı́culos 5. Determine si el retı́culo (D18 , ) es dis-

tributivo y complementado. Trace el diagra-
1. Demuestre que los siguientes conjun-
ma de Hasse y encuentre el ó los comple-
tos parcialmente ordenados son retı́culos.
mentos de cada elemento.
Además, trace el diagrama de Hasse para
cada uno. 6. Demuestre que en cualquier retı́culo
(A, ), se verifican
(a) (D6 , ) donde D6 son los divisores de 6,
y a b si, y sólo si a divide a b. x ∨ (y ∧ z) (x ∨ y) ∧ (x ∨ z),
(b) (P(A), ⊆), donde A = {a, b, c}. (x ∧ y) ∨ (x ∧ z) x ∧ (y ∨ z).
(c) (D12 , ), como en el inciso (a).

7. ¿Existen elementos en (D36 , ) que no
(d) La relación de orden definida a través tengan complemento? Si los hay, encuéntre-
del diagrama: los todos.
a bc 8. De tres ejemplos de retı́culos que no
sean distributivos.
b bc
c bc bc
d 9. De tres ejemplos de retı́culos que no
sean complementados.
e bc bc bc g
f 10. De tres ejemplos de retı́culos que
bc sean distributivos pero no complementados.
h
11. De tres ejemplos de retı́culos que
(e) (D10 , ), como en el inciso (a). sean complementados pero no distributivos.
2. ¿Por que el conjunto parcialmente or- Álgebras de Boole

denado 12. ¿Cuáles de los siguientes retı́culos
a bc
son álgebras de Boole?
b bc
c bc bc
d (a) (P(A), ⊆), donde A = {a, b}.
e bc bc bc g (b) (D30 , ) divisores de 30.

f
bc
(c) (P(A), ⊆), donde A = {a, b, c}.
h
(d) (D36 , ).
no es un retı́culo?
3. Determine si el retı́culo del ejercicio 1 (e) La retı́culo definido por el diagrama:
b), con m = 20 es distributivo y complemen- a bc
tado. Además encuentre el complemento de

2, si existe.
b bc
c bc bc
d
4. Determine si el retı́culo (D10 , ) es dis-
tributivo y complementado. Además trace el e bc bc bc g
f
diagrama de Hasse y encuentre el comple-
bc
mento de 2. h
42
13. Sea D210 y defina +, · y como: x + y = 19. Exprese las siguientes expresiones
mcm (x, y), x · y = mcd (x, y) y x = 210/x. booleanas E(x, y, z) en su forma normal dis-
Determine lo siguiente: yuntiva y su forma normal disyuntiva com-
pleta.
(a) 30 + 5 · 7 (d) 21 · (2 + 10)
1. x(y + z)′
(b) (30 + 5) · (30 + 7) (e) (2 + 3) + 5
2. x(yz ′ )′
(c) 14 + 15 (f) (6 + 35)(7 + 10)
3. (x + xy)′ + z ′
14. Encuentre el valor de cada una de las 4. (x + xy)′
siguientes expresiones booleanas si los valo-
res de las variables booleanas x, y, z, w son 5. (xyz ′ + y)′ x
1, 1, 0, 0, respectivamente.
6. (xy + xz)′ + (x′ y ′ + x′ z ′ )′
(a) xy + xy (d) wx + xy + yz 7. ((x + y)′ + (y + z)′ )′
(b) w + xy (e) (w + y)(x + y) 8. y(x + z ′ ) + x(x′ + z)
(c) wx + y + yz (f) (wx + yz) + wy
20. Construya una red de compuertas
para cada uno de las siguientes funciones
15. Simplifique las siguientes expresio- booleanas y encuentre también una tabla
nes booleanas. que determine todos sus valores.
1. x + y = y 1. f (x, y) = x′ + y
2. xy = x 2. f (x, y, z) = x′ y + z ′
3. x′ + y = 1 3. f (x, y) = x′ y + y
4. xy ′ = 0. 4. f (x, y, z) = xyz ′ + xz + z ′
5. f (x, y) = (xy ′ + x)′

16. Demuestre que en un álgebra de Boo-
le, las siguientes proposiciones son equiva- 6. f (x, y, z) = (x + y ′ )(x + z ′ )(y + z)′
lentes:
21. Encuentre las formas normales dis-
1. xy + (x + y)z + y yuntivas completas en su forma óptima.
2. x + y + (x + y + z) 1. E(x, y) = xy + y ′ .
3. yz + wx + z + wz(xy + wz) 2. E(x, y, z) = xyz ′ + xy ′ z ′ .
4. x + xy + xyz + xyzw. 3. E(x, y, z) = x′ yz + x′ y ′ z.
4. E(x, y, z, u) = xyzu + xy ′ zu + x′ yz ′ u.
17. Encuentre todos los átomos de D36 y
el isomorfismo entre el conjunto de partes de 5. E(x, y, z, u) = xyzu + x′ y ′ zu + xy ′ zu +
los átomos y D36 .Grafique ambas álgebras x′ yzu + xyz ′ u + x′ yz ′ u + xy ′ z ′ u + x′ y ′ z ′ u.
de Boole.
6. E(x, y, z, u) = xyzu + x′ yzu + xyz ′ u +
18. Encuentre todos los átomos de D210 x′ yz ′ u + x′ y ′ z ′ u′ .
y el isomorfismo entre el conjunto de partes
de los átomos y D210 .Grafique ambas álge- 7. E(x, y, z, u) = xyzu + xyzu′ + xy ′ zu′ +
bras de Boole. xy ′ z ′ u.
43
Relaciones de recurrencia
Fallar es instructivo.
8 La persona aprende más de sus errores que de sus éxitos.

J. Dewey
Introducción (b) sn − 4sn−2 = 3n, s0 = 1, s1 = 0

1. Encuentre al menos 5 términos de la (c) sn + 2sn−1 − 3sn−2 = 0, s0 = 0, s1 = 0
sucesión:
(d) sn + 2sn−1 + −3sn−2 = 2n , s0 = 0, s1 = 1
(a) sn = 3n + 2
(b) sn = 2n2 − 3. (e) sn + 2sn−1 − 3sn−2 = 3n + 2n − 1, s0 = 0,

s1 = 0
(c) s0 = 1, sn = sn−1 + n + 1.
(f) sn + 2sn−1 + sn−2 = 0, s0 = 1, s1 = −1
(d) s0 = 0, sn = 2sn−1 − n + 2.
(e) s0 = 1, s1 = 0, sn = 2sn−1 + sn−2 + 1. 6. Resuelva las siguientes relaciones de

recurrencia.
(f) s0 = 0, s1 = 0, sn = sn−1 − sn−2 + n − 1.
(a) sn+2 + 3sn+1 + 2sn = 3n , s0 = 0, s1 = 1
2. Verifique que sn = 3n, n ≥ 0, es so-
(b) sn+2 + 4sn+1 + 4sn = 7, s0 = 1, s1 = 2
lución de la relación de recurrencia sn =
sn−1 + 3, s0 = 0. (c) sn+2 − sn = sen(nπ/2), s0 = 1, s1 = 1
3. Verifique que sn = 2n+1 ,
n ≥ 0, es
solución de la relación de recurrencia sn = (d) sn+2 + 2sn+1 + sn = (−1)n , s0 = 1, s1 = 1
2sn−1 + 1, s0 = 1.
(e) sn+2 + 4sn+1 + 20sn = 0, s0 = 0, s1 = 0
Resolución de recurrencias
(f) sn + 4sn−1 + 20sn−2 = 3n cos(3nπ/4),
4. Resuelva las siguientes relaciones de s0 = −1, s1 = 1
recurrencia.
(g) 2sn − 7sn−1 + 3sn−2 = n3n + 2n − 1,
(a) sn+1 − sn = 2n + 3, s0 = 1
s0 = 0, s1 = 1
(b) sn+1 − 2sn = 5, s0 = 1
(h) 2sn −7sn−1 +3sn−2 = n2 3n +(n+1)2−n +1,
(c) sn+1 − sn = 3n2 − n, s0 = 3 s0 = 0, s1 = 0
(d) sn+1 − 2sn = 2n , s0 = 1 (i) sn + 3sn−1 − 4sn−3 = 0,
s0 = −1, s1 = 0, s2 = 1
(e) sn+1 − 3sn = 5 · 7n , s0 = 2
(f) sn+1 − 3sn = 5 · 3n , s0 = 2 (j) sn + 3sn−1 − 4sn−3 = n − 1,

s0 = 0, s1 = 1, s2 = 0
(g) sn+1 + n · sn = n!, s0 = 1
(k) sn + 3sn−1 − 4sn−3 = n(−2)n + 1,
5. Resuelva las siguientes relaciones de s0 = 0, s1 = 0, s2 = 0
recurrencia.
(l) sn − 3sn−1 + 3sn−2 − sn−3 = 3 + 5n,
(a) sn − 4sn−2 = 0, s0 = 1, s1 = 0 s0 = 0, s1 = 0, s2 = 0
44

Mat Discretas Umsa

Cargado por

Copyright:

Formatos disponibles

Mat Discretas Umsa

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Mat Discretas Umsa

Cargado por

Copyright:

Formatos disponibles

Ejercicios

Ronnald Álvaro Silva Guzmán

La matemática no es un deporte para contemplar.

1 con la rigurosa comprobación de los razonamientos.

(a) p ∨ ¬q. (b) (t → q) ∧ (p → r).

(b) ¬(r ∧ q). (c) (p ∨ q) ↔ (r ∨ s).

(c) ¬r ∨ ¬q. (d) [(p ∧ q) ∧ r] → (s ∨ t).

(d) ¬q ∧ ¬p. (e) [(p ∧ q) ∧ r] → (¬r ∨ ¬t).

8. Escriba en forma simbólica y asigne 12. Encontrar la respuesta a las siguien-

(a) 3 + 1 6= 4 y 24 es divisible por 8. (a) ¿Es la condicional asociativa? En otras

(b) (¬p ∧ r) → (p ∧ q). 13. ¿Cuáles de las siguientes proposicio-

(a) p → (p ∨ q). (c) 1 ¬r → ¬q

(f) [(p ∨ q) ∧ ¬p] → q. (e) 1 p∨q

(h) [(¬p ∨ ¬q) → (p ∧ q ∧ r) ↔ (p ∧ q). ∴ ¬(p ∧ q)

(a) [(p ∧ q) ∨ r] ∧ ¬q. ∴ ¬p

(b) (p ∨ q) → (p ∧ ¬q). (g) 1 p→q

(h) (p ∧ ¬q) ∨ (¬p ∧ q) ∨ (¬p ∧ ¬q). ∴ ¬s ∨ ¬p

(i) (p → q) ∨ (p ∨ q). 18. Construya demostraciones formales

(g) Si no hay huelga o el sindicato miente o 23. Proporcione un contraejemplo para

(a) Algún entero es par. (c) Si n es un entero natural y 3n + 1 es un

Traduzca al lenguaje natural. (h) El producto de un entero par con un en-

(c) P (2, 3) ∧ P (5, 10). (c) Si n es un número natural y 2n + 1 es un

(a) si r y s son racionales, entonces r + s es Miscelanea

(c) si r es un número racional no nulo, en- (b) sen(π/2) = 0 ó cos π = 0.

(c) Si n es par y m es impar, entonces n + m (c) Si x = 2, entonces x2 − 2x = −1.

(c) Si n es impar, entonces 4|(n2 − 1). (e) Simplificar p ⊻ p.

(d) n2 + 3n + 4 es par. (f) Es (p ⊻ q) ⊻ r ≡ p ⊻ (q ⊻ r)? Demostrar o

(b) {(p ↔ r) ↔ s} ↔ t. (e) (p ↔ ¬q) ∧ (q → r) falsa

42. Sea x ∈ R. Encuentre la negación de 48. Se sabe que la proposición

43. Demostrar que: (a) p ∧ q → q.

(a) ¬(p → q) 6≡ ¬p → ¬q. (b) q → p ∧ q.

(b) p ↔ q ≡ ¬p ↔ ¬q. (c) p ∧ q → ¬p.

45. Construir la tabla de verdad de la (c) (p → (q → r) ≡ (p ∧ ¬r) → ¬q.

(a) p → (q → r). (b) Modus tollens (MT).

(b) [(¬p ∨ q) ∧ (r ∨ ¬p)] ↔ q. (c) Silogismo hipotético (SH).

(c) [(¬p ∧ q) ∨ r] → q. 52. Construya demostraciones formales

(e) 1 p→q (b) ∃x ∈ Z : x2 − 6x + 8 < 0.

2 como el fundamento de todas las matemáticas.

Introducción 5. Enlista cinco elementos de cada uno de

(b) Los enteros negativos mayores que −10. (c) {n ∈ N| n2 + n es múltiplo de 3}

(a) Los números reales positivos. 7. Si A = {{a, b}}, determinar cuales de

3. ¿Cuáles de los siguientes conjuntos 8. Determinar cuales de las siguientes

(k) {a, b} = {{a}, {b}} (a) C ∈ P(A) ↔ C ⊆ A.

(l) ∅ ∈ {∅} (b) A ⊆ B ↔ P(A) ⊆ P(B).

(b) tienen la propiedad B ∩ {1, 2} = ∅? 28. Si A, B y C son conjuntos.

(c) tienen la propiedad B ∪ {1, 2} = A? (a) Encontrar un contraejemplo a la afirma-

(a) A ∩ B = A. (b) A ∪ B = A. (a) A ⊕ B = A. (b) A ∩ B = A ∪ B.

¿Qué puedes concluir? ¿Por qué? Explica tus respuestas.

(a) A ∪ B = A ∪ C. (c) A ⊕ B = A ⊕ C. (b) A ⊆ {A} si, y solo si A = ∅.

(b) A ∩ B = A ∩ C. (d) A × B = A × C. (c) Si A ⊆ B entonces P(A) ⊆ P(B). ¿Que

(b) {[C ∪ (B \ Ac )] ∩ [B \ (C ∪ A)]c } ∪ B 8. Si A ⊆ X y B ⊆ X, entonces

Introducción encontrar todas las relaciones binarias con

(b) es un amigo de 6. Determinar si cada una de las rela-

(h) reflexiva, simétrica y transitiva. (e) A = Z; (a, b) ∈ R si, y sólo si ab ≥ 0.

(i) reflexiva, simétrica y transitiva. (f) A = R; (a, b) ∈ R si, y sólo si a2 = b2 .

(g) A = R; (a, b) ∈ R si, y sólo si a − b ≤ 3.

(c) ¿Cuál es la partición de Z \ {0} determi- Si (x, y) ∼ (u, v) si x − y = u − v.

Si (x, y) ∈ R, entonces (y, x) ∈ R. 23. Sea A = {1, 2, 3, 4, 5, 6, 7, 8, 9}. Para

(b) Para cada a ∈ A, encontrar a = {x ∈ (f) (W, ) donde W es el conjunto de to-

Retı́culos 5. Determine si el retı́culo (D18 , ) es dis-

(c) (D12 , ), como en el inciso (a).

e bc bc bc g (b) (D30 , ) divisores de 30.