Universidad Nacional de Ingenierı́a

Facultad de Ciencias
Escuela Profesional de Matemática Ciclo 2020-1

[Cod: CM1A2 Curso: Lógica y Teorı́a de conjuntos ]

Práctica Dirigida N o 7

1. Pruebe: b) Si f es sobreyectiva, entonces m ≥ n.

a) N ∪ {0} ∼ N c) Si f es biyectiva, entonces m = n.

b) N \ Im ∼ N, m ∈ N 7. Un conjunto acotado de raimeros naturales es fi-

c) R ∼ R∗ nito.

d ) R \ N ∼ R \ Z. 8. Si X, Y y Z son conjuntos finitos, entonces

e) h0, 1i ∼ h0, ∞i
|X ∪ Y ∪ Z| = |X| + |Y | + |Z| − |X ∩ Y | − |X ∩ Z|
f ) [0, ∞i ∼ h−∞, +∞i
− |Y ∩ Z| + |X ∩ Y ∩ Z|.
2. Pruebe que R ∼ {x ∈ R : |x| < 1}.
9. Pruebe el principio de inclusión- exclusión gene-
3. Probar que R+ ∼ {x ∈ R : 0 < x < 1}.
ralizado: Si X1 , X2 , · · · , Xk son conjuntos finitos,
4. Probar que, para cualesquiera a, b ∈ R con a < b, entonces
se tiene:
|X1 ∪X2 ∪· · ·∪Xk | = a1 −a2 +a3 −· · ·+(−1)k−1 ak ,
{t ∈ R : 0 ≤ t ≤ 1} ∼ {x ∈ R : a ≤ x ≤ b}
donde ai es la suma de los cardinales de todas las
i intersecciones de X1 , X2 , · · · , Xk .
5. Sean a, b ∈ R tales que a < b. Demostrar que los
intervalos [a, b], (a, b),[a, b) y (a, b] son equipoten- 10. Sea la función f : X → Y . entonces se cumplen
tes. las siguientes propiedades:

6. Sean m, n ∈ N y f : Im → In una aplicación. a) X es un conjunto finito si y sólo si P (X) es

Pruebe que se cumplen las siguientes propieda- un conjunto finito.
des:
b) X es un conjunto infinito si y sólo si P (X)
a) Si f es inyectiva, entonces m ≤ n. es un conjunto infinito.

1
 c) Si X es un conjunto infinito y f es una apli- 22. Resuelva:
cación inyectiva, entonces Y también es un
a) Si n es un número natural, todo subconjunto
conjunto infinito.
de In es finito.
d ) Si Y es un conjunto infinito y f es una apli-
b) Todo subconjunto de un conjunto finito es
cación sobreyectiva, entonces X también es
finito.
un conjunto infinito.
c) Si A es un conjunto no vacı́o y existe un na-
11. pruebe que los conjuntos Z, Q y R son infinitos. tural n y una aplicación inyectiva de A en

12. Use la función f : N × N → N definida por In , entonces A es finito.

f (i, j) = 2i 3j , para probar que N × N es numera- d ) Si A es un conjunto no vacı́o y existe un na-

ble. tural n y una aplicación sobreyectiva de In
en A, entonces A es finito.
13. Pruebe que N × N es numerable. Sugerencia:
Considere la función f : N × N → N definida 23. Sea la función f : X → Y . entonces se cumplen
por f (m, n) = 2m (2n + 1) − 1. las siguientes propiedades:

14. Si A y B son conjuntos numerables, entonces a) Si X es un conjunto infinito y f es una apli-

A × B es numerable. cación inyectiva, entonces Y también es un
conjunto infinito.
15. Sea A un conjunto numerable y x ∈ A, pruebe
que A \ {x} es numerable b) Si Y es un conjunto infinito y f es una apli-
cación sobreyectiva, entonces X también es
16. Pruebe que, el conjunto de los números enteros
un conjunto infinito.
Z y el conjunto de los números racionales Q son
numerables. 24. Sea la relación R sobre el conjunto
A = {1, 3, 9, 27} definida como aRb si a|b. ¿La
17. Demuestre que el conjunto de todos los subcon-
relación R es una relación de orden parcial ?.
juntos finitos de números naturales es numerable.
25. Sea la relación R sobre el conjunto Z definida
18. Sea m ∈ N fijo, pruebe que N ∼ N \ Im .
como sigue:
19. El conjunto de los números reales R es un con-
aRb si a − b es un entero par no negativo.
junto no numerable.
a) Comprueba que R define un orden parcial
20. Probar que, para cualesquiera a, b ∈ R con a < b,
en Z.
se tiene cumple [0, 1] ∼ [a, b].
b) ¿ Es éste orden parcial un orden total?
21. Usando la función f : R → R definida por
Justifica.
x
f (x) = , ∀x ∈ R
1 + |x| 26. Sea R la relación de inclusión sobre el conjunto
comprobar que R ∼ {x ∈ R : |x| < 1}. potencia de A = {1, 2, 3}. Para cada uno de los

2
 siguientes subconjuntos B de P (A), determina el 32. Determinar si la relación R es un orden parcial
ı́nfimo y el supremo. en el conjunto A.

a) B = {{1}, {2}} a) A = Z y aRb ↔ a = 2b.

b) B = {{1}, {2}, {3}, {1, 2}} b) A = Z y aRb ↔ a2 |2b.

c) B = {∅, {1}, {2}, {1, 2}} c) A = Z y aRb ↔ ∃k ∈ Z+ : a = bk .

d ) B = {{1}, {1, 2}, {1, 3}, {1, 2, 3}} 33. Determinar si la relación de inclusión definida en
e) B = {{1}{2}, {3}, {1, 2}, {1, 3}, {2, 3}} el conjunto A = P (S), donde S es un conjunto
f ) B = {{1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}} cualquiera es una relación de orden total.

27. Probar que la relación “menor que” es una rela- 34. Pruebe que un orden total 4 sobre A satisface la
ción de orden estricto en Z. propiedad

28. Sea 4 una relación de orden definida sobre un a ≺ b, a = b, o ab

conjunto A y sea ≺ otra relación sobre A defini-
para cualquiera se los elementos a y b de A.
da en la forma
35. Pruebe que la relación de orden ?≤? definida en
a ≺ b si, y sólo si a 4 b y a 6= b.
el conjunto Z de los números enteros es total.
Entonces ≺ es una relación de orden estricto so-
36. En Z+ × Z+ y definimos la siguiente relación:
bre A.
(a, b) 4 (a0 , b0 ) ↔ a|a0 ∧ b ≤ b0
29. Sea ≺ una relación de orden estricto definida so-
bre un conjunto A y sea 4 otra relación sobre A donde ≤ es el orden usual. Demuestre que 4 es
definida en la forma de orden.

a 4 b si, y sólo si a ≺ b ó a = b. 37. Sea A = (R, ≤) donde ≤ es la relación de orden

usual y el conjunto
Entonces 4 es una relación de orden sobre A.
B = {x ∈ R : x > 3}.
30. Diga la siguiente afirmación es verdadera o falsa.
si R define un orden sobre A, entonces R−1 tam- Hallar el minimal, maximal,el elemento minimo
bién define un orden en A. Justifique su respuesta. y maximo si existen del conjunto B.
De ser ası́, R−1 se le llama orden inverso.
38. Sea el conjunto R de los números reales con el
31. En Z+ × Z+ y definimos la siguiente relación: orden usual, el subconjunto

(a, b) 4 (a0 , b0 ) ↔ a|a0 ∧ b ≤ b0 B = {x ∈ R : 1 < x < 3}

donde ≤ es el orden usual. ¿ La relación 4 es un Justifique que B no tiene minimales, ni maxima-

orden en Z+ × Z+ ?. les, ni mı́nimo, ni máximo.

3
39. Sea 4 una relación de orden definida sobre un 45. Pruebe que la relación de orden ?≤? definida en
conjunto A y sea ≺ otra relación sobre A defini- el conjunto Z de los números enteros es total.
da en la forma
46. En Z+ × Z+ y definimos la siguiente relación:

a ≺ b si, y sólo si a 4 b y a 6= b. (a, b) 4 (a0 , b0 ) ↔ a|a0 ∧ b ≤ b0

Entonces ≺ es una relación de orden estricto so- donde ≤ es el orden usual. Demuestre que 4 es

bre A. de orden.

40. Sea ≺ una relación de orden estricto definida so- 47. Sea A = (R, ≤) donde ≤ es la relación de orden

bre un conjunto A y sea 4 otra relación sobre A usual y el conjunto

definida en la forma B = {x ∈ R : x > 3}.

a 4 b si, y sólo si a ≺ b ó a = b. Hallar el minimal, maximal,el elemento minimo

y maximo si existen del conjunto B.
Entonces 4 es una relación de orden sobre A.
48. Sea el conjunto R de los números reales con el
41. Diga la siguiente afirmación es verdadera o falsa. orden usual, el subconjunto
si R define un orden sobre A, entonces R−1 tam-
B = {x ∈ R : 1 < x < 3}
bién define un orden en A. Justifique su respuesta.
Justifique que B no tiene minimales, ni maxima-
De ser ası́, R−1 se le llama orden inverso.
les, ni mı́nimo, ni máximo.
42. En Z+ × Z+ y definimos la siguiente relación:
49. Resuelva:
(a, b) 4 (a0 , b0 ) ↔ a|a0 ∧ b ≤ b0
Hallar, si existen, los elementos maxima-

donde ≤ es el orden usual. ¿ La relación 4 es un les, minimales, máximo y mı́nimo para los

orden en Z+ × Z+ ?. siguientes conjuntos ordenados: (P (X), ⊂);

(h0, 1i, ≥); (N, |); (N \ {1}, |).
43. Determinar si la relación R es un orden parcial
En cada uno de los siguientes siguientes ca-
en el conjunto A.
sos, diga si el conjunto X tiene o no una cota
a) A = Z y aRb ↔ a = 2b. inferior, y si tiene alguna halle su ı́nfimo si

b) A = Z y aRb ↔ a2 |2b. existe:

ˆ X = {x ∈ Z/x2 ≤ 16}
c) A = Z y aRb ↔ ∃k ∈ Z+ : a = bk .
ˆ X = {x ∈ Z/x = 2y para algún y ∈ Z}
44. Pruebe que un orden total 4 sobre A satisface la
ˆ X = {x ∈ Z/x2 ≤ 100x}
propiedad
50. En el conjunto A = (R \ {0}) × R se define la
a ≺ b, a = b, o ab relación:
b v
para cualquiera se los elementos a y b de A. (a, b)R(u, v) ↔ = ya≤u
a u

4
 a) Demostrar que es una relación de orden, y Hallar los elementos maximales y minimales, su-
estudiar si es un orden total. premo e ı́nfimo de C = {(x, y); x2 + y 2 = 1}.

b) Representar el conjunto de los puntos com-

52. Demuestre que (R; ≤) no es un buen orden.
parables con el elemento (1, 1).

51. En R2 se considera la relación de orden producto 53. Demuestre que (R+ ; ≤) no es un buen orden.

(x, y) < (x0 , y 0 ) ↔ x ≤ x0 ∧ y ≤ y 0 . 54. Demuestre que (N; ≤) es un buen orden.