Universidad Nacional de Colombia, Sede Medellı́n

Fundamentos en Matemáticas, Semestre I, 2013

Taller Capı́tulo 6, Relaciones de Orden y Cardinalidad
Profesor: Fernando A Morales J

Problema 0.1. Bloch E.D. Exercise 6.2.2, 6.2.3.

Problema 0.2. Bloch E.D. Exercise 6.3.2, 6.3.8.
Problema 0.3. Bloch E.D. Exercise 6.3.4.
Problema 0.4. Bloch E.D. Exercise 6.3.7.
Problema 0.5. Bloch E.D. Exercise 6.3.10, 6.3.11, 6.3.12.
Problema 0.6. Bloch E.D. Exercise 6.4.1.
Problema 0.7. Bloch E.D. Exercise 6.4.2.
Problema 0.8. Bloch E.D. Exercise 6.4.4.
Problema 0.9. Bloch E.D. Exercise 6.5.1, 6.5.2.
Problema 0.10. Bloch E.D. Exercise 6.5.3, 6.5.4.
Problema 0.11. Bloch E.D. Exercise 6.5.6.
Problema 0.12. Bloch E.D. Exercise 6.5.7.
Problema 0.13. Bloch E.D. Exercise 6.5.9, 6.5.10.
Problema 0.14. Bloch E.D. Exercise 6.5.11.
Problema 0.15. Bloch E.D. Exercise 6.6.5. Indicación. Utilice el Axioma del Buen Orden de los Naturales.
Problema 0.16. Bloch E.D. Exercise 6.6.6. Indicación. Empice asumiendo que X = N.
Problema 0.17. Bloch E.D. Exercise 6.6.8. Indicación. La notación matricial puede serle útil.
Problema 0.18. Bloch E.D. Exercise 6.6.10. Indicación. Empiece asumiendo que T es un conjunto
particular muy simple.
Problema 0.19. Bloch E.D. Exercise 6.6.11.
Problema 0.20. Bloch E.D. Exercise 6.7.1, incisos (1), (2), (3), (4), (6), (7), (8).

1
Problema 0.21. Bloch E.D. Exercise 6.7.2.

Problema 0.22. Bloch E.D. Exercise 6.7.3.

Problema 0.23. Bloch E.D. Exercise 6.7.7.

Problema 0.24. Bloch E.D. Exercise 6.7.8.

N
Problema 0.25. Consideremos el conjunto de las partes de los números naturales P( ) y dos subfamilias
def
de conjuntos A = {A ⊆ N : A es infinito} y B = {A ⊆ N : A es finito}. Adicionalmente denotamos
def

= {p 1 , p 2 , p 3 , . . .} = {p n : n ∈ N} el conjunto de los números primos; recordamos que P es infinito.

def
P
(i) De un ejemplo de una función natural f : A → P(N) tal que f (A) es infinito para todo A ∈ A.
(ii) Construya una función φ1 : A → P(N) tal que φ1 (A) sea infinito para todo A ∈ A y que para
todo A, B ∈ A con A 6= B el conjunto φ1 (A) ∩ φ1 (B) sea finito.
Indicación. Trate de utlizar el conjunto P .
N
(iii) De un ejemplo de una función g : B → P( ) tal que g(A) sea infinito para todo A ∈ B.
N
(iv) Construya una función φ 2 : B → P( ) tal que φ 2 (A) sea infinito para todo A ∈ B y que para
todo A, B ∈ B con A 6= B el conjunto φ 2 (A) ∩ φ 2 (B) sea finito.
Indicación. Utilice el conjunto P y tenga presente que la forma de emplearlo es muy distinta de como se
lo utiliza en la construcción de φ1 .
N N
(v) Demuestre que existe una función φ : P( ) → P( ) tal que φ(A) es infinito para todo A ∈ P( ) N
N
y que dados A, B ∈ P( ) con A 6= B el conjunto φ(A) ∩ φ(B) es finito.

N
Problema 0.26. Definimos la función µ : P( ) → ∪ {0} N
(
def 0 ; A = ∅
µ(A) =
` ; ` ∈ A y ` ≤ n para todo n ∈ A

Debido al Axioma del Buen Orden de los números naturales µ(·) es una función bien definida; diremos
que A  B (A ”precede” a B o, equivalentemente B ”sucede” a A) si y solo si µ(A) ≤ µ(B). Dados
N
A, B ∈ P( ) diremos que A ≺ B si y solo si µ(A) < µ(B) (desigualdad estricta). Sea ahora {A n : n ∈
N N N
} ⊆ P( ) una colección de conjuntos no vacı́os (i.e. A n 6= ∅ para todo n ∈ ) y dos a dos disjunta
en N (i.e. j 6= n implica que A j ∩ A n = ∅). Demostraremos que existe una biyección φ : → N N
N
tal que Aφ(n) ≺ Aφ(n+1) para todo n ∈ . Para ello procedemos según el siguiente esquema. Defina
def
B 1 = {µ(A n ) : n ∈ N}.
(i) Demuestre que {` ∈ N: µ(B1 ) ∈ A` } es un conjunto unitario de N
y concluya que φ(1) = `,
def

donde ` es el número natural que cumple µ(B1 ) ∈ A` es una buena definición.

def
N def
Para el siguiente paso tomamos B 2 = {µ(An ) : n ∈ − {φ(1)}} y definimos φ(2) = ` donde ` es el
número natural que cumple µ(B 2 ) ∈ A` .
(ii) Demuestre que φ(2) es una buena definición.
Suponiendo ya definidos φ(1), φ(2), . . . , φ(k) para el paso k + 1 considere
 
k
N
 
def
[
Bk+1 = µ(An ) : n ∈ − φ(j)
 
j =1

2
y defina φ(k + 1) = ` tal que µ(Bk+1 ) ∈ A` .
(iii) Demuestre que φ(k + 1) es una buena definición y concluya que φ(n) está bien definida para toda
n∈ .N
(iv) Demuestre que n ≤ µ(B n ) para todo n ∈ . N
(v) De un contraejemplo para mostrar que no necesariamente se cumple que n = µ(B n ) para todo
n∈ .N
N
(vi) ¿Bajo qué hipótesis adicional sobre la colección {A n : n ∈ }, aparte de las ya asumidas, se
garantiza que n = µ(B n ) para todo n ∈ ? N
N
(vii) Dados n, k ∈ con n < k demuestre que Bn ) Bk y que µ(Bn ) < µ(Bk ) (desigualdad estricta).
Concluya que φ es inyectiva.
N
(viii) Dado k ∈ demuestre que existe j ∈ {1, 2, . . . , µ(A k )} tal que φ(j) = k, i.e. φ es sobreyectiva.
(viii) Demuestre que Aφ(n) ≺ Aφ(n+1) para todo n ∈ . N
(ix) Demuestre que Aφ(n) ⊂ {` ∈ N N
: ` ≥ n} para todo n ∈ . Demuestre también que dadas las
N
hipótesis sobre la colección {An : n ∈ } dicha inclusión debe ser estricta.

Problema 0.27. Sea ϕ →N Nuna función y defina en Nla relación de orden n  ` si y solo si
ϕ(n) ≤ ϕ(`).
N
(i) Pruebe que si ϕ es biyectiva, entonces ( , ) es un conjunto bien ordenado.
N
(ii) Suponga que ϕ es una función inyectiva, ¿puede afirmarse que ( , ) es bien ordenado?
N
(iii) Suponga que ϕ es una función sobreyectiva, ¿puede afirmarse que ( , ) es bien ordenado?

Problema 0.28. Considere los conjuntos

def
E = {f : N → N ∪ {0} : existe N = N (f ) tal que f (n) = 0 , ∀ n ≥ N }
Ek = {f : N → N ∪ {0} : f (n) = 0 , ∀ n ≥ k}
def

F = {f : N → N ∪ {0} : #{n ∈ N : f (n) 6= 0} < +∞}

def

donde #A representa el cardinal del conjunto A.

I. En esta primera parte analizaremos ciertos aspectos acerca de la cardinalidad de los conjuntos prop-
uestos.
(i) Demuestre que E = FS.
(ii) Demuestre que E = ∞ k = 1 Ek .
(iii) Demuestre que Ek es numerable.
Sugerencia. Demuestre que Ek ∼ k . N
(iv) Demuestre que E es numerable.
II. En esta parte analizamos propiedades de las relaciones de orden. En el conjunto E definimos la relación
f  g si f (n) ≤ g(n) para todo n ∈ . N
(i) ¿Es (E, ) un conjunto parcialmente ordenado?, ¿totalmente ordenado?, ¿Bien ordenado? Justifique
su respuesta.
(ii) Demuestre que E no tiene elementos maximales.

3
 N
(iii) Sea k ∈ fijo, ¿tiene Ek elementos maximales?
N
III. Sea L ∈ , L ≥ 2 fijo, defina los conjuntos
def
A = {f : N → {0, 1, 2, . . . , L} : #{n ∈ N : f (n) 6= 0} < +∞}
Ak = {f : N → {0, 1, 2, . . . , L} : f (n) = 0 ∀ n ≥ k}
def

y considere la relación  definida en la parte II.

(i) ¿Existen elementos maximales en (A, )?
N
(ii) Sea k ∈ fijo, ¿existen elementos maximales en (Ak , )?

Problema 0.29. Los Números Racionales Como Conjunto Bien Ordenado. Sea el conjunto de los Q
númeross racionales.
Q Q
(i) Demuestre que dados q, r ∈ , existe s ∈ tal que q < r < s.
Sea Q Q N
= {q1 , q 2 , q 3 , . . .} i.e. implı́citamente estamos invocando a una función biyectiva ϕ : →
tal que ϕ(qn ) = n.
(ii) Demuestre que la relación qn  q` si y solo si n ≤ ` (equivalentemente si ϕ(n) ≤ ϕ(`)) define un
Q Q
buen orden en , i.e. ( , ) es bien ordenado.
Q
(iii) Sea 4 un buen orden arbitrario en . Demuestre que existe una biyección φ : Q →N tal que
Q
para todo q, r ∈ se tiene que q 4 r si y solo si φ(q) ≤ φ(r).
Sugerencia. Piense en el Axioma del Buen Orden de los Naturales.
(iv) Demuestre la equipotenia

Q
{4: ( , 4) es bien ordenado} ∼ {ψ : Q → N : ψ es biyectiva}
(iv) Demuestre que dado cualquier buen orden 4 en Q existen p, q, r ∈ Q tales que p 4 q pero
p + r 4 q + r; i.e. ningún buen orden en Q es consistente con la suma en Q y por tanto no es consistente
con su estructura algebraica.
Sugerencia. La parte (i) puede serle útil.

Problema 0.30. Sean A, B conjuntos tales que |A| = n, |B| = k, demuestre que |A ∪ B| ≤ n + k.
Indicación. Empiece asumiendo que A ∩ B = ∅.

Problema 0.31. Sean A, B conjuntos numerables demuestre que |A ∪ B| es numerable.

Indicación. Empiece asumiendo que A ∩ B = ∅.

Problema 0.32. Encontrar una biyección entre N y el conjunto de todos los enteros impares mayores que
13.

Problema 0.33. Dar un ejemplo de una colección contable de conjuntos finitos cuya unión sea no finita.

Problema 0.34. Sea S un conjunto finito, ya se demostró en clases mediante uso de funciones carac-
terı́sticas que |P(S)| = 2|S| . Pruebe el mismo hecho aplicando inducción matemática sobre |S|, el cardinal
de S.

Problema 0.35. Sea X un conjunto no vacı́o tal que contiene un subconjunto Y no numerable (no
contable), demuestre que X es no numerable (contable).

4
 N def
N
Problema 0.36. Sea A( ) = {A ⊆ : A es finito}. Demuestre que A( ) es numerable. N
N
Sugerencia. Considere primero Ak ( ) la familia de todos los subconjuntos de N
que contienen k
elementos.

N
Problema 0.37. Sea {p n : n ∈ } una enumeración de los números primos. Para cada número primo p n
defina el conjunto A n de múltiplos de p n , i.e.
def
A n = {` p n : ` ∈ N} (1)
def
Considere la familia de conjuntos σ = {A n : n ∈ }. N
(i) Demuestre que existe una función f : σ → N
inyectiva tal que para todo n ∈ Nse tiene que
f (n) ∈ A n .
(ii) Demuestre que si n 6= k entonces A n ∩ A k es infinito.
(iii) Para n 6= k de una descripción del conjunto A n ∩ A k en términos de multiplicación de números
naturales, análoga a la presentada en (1).
(iv) Demuestre que si n 6= k entonces A n ∩ A k ∈ / σ.

Problema 0.38. Sea X un conjunto finito de n elementos. Utilice inducción para demostrar que el conjunto
def
B(X) = {f : X → X : f biyección} tiene n! elementos.

N def
N
Problema 0.39. Sea A( ) = {A ⊆ : A es finito}. Demuestre que A( ) es numerable. N
N
Sugerencia. Considere primero Ak ( ) la familia de todos los subconjuntos de N
que contienen k
elementos.

Problema 0.40. Defina f : N × N → N mediante la regla

def
f (k, n) = 2k−1 (2n − 1)

pruebe que f es una biyección.

Problema 0.41. Considere el conjunto

def
N}
[
X = {p `n : ` ∈
n∈ N
N
(i) Demuestre que existe una partición infinita contable {Xn : n ∈ } de X tal que |Xn | = ℵ 0 para
N
todo n ∈ .
(ii) Demuestre que existe una partición infinita contable {∆ n : n ∈ } de N N
tal que |∆ n | = ℵ 0 para
N
todo n ∈ .
(iii) Dado Z un conjunto infinito numerable (contable), demuestre que existe una partición infinita
N
numerable {Z n : n ∈ } tal que |Z n | = ℵ 0 para todo n ∈ . N
(iv) Dado Ω un conjunto infinito (contable o no), demuestre que existe una partición infinita numerable
N
{Ω n : n ∈ } tal que Ω n es infinito para todo n ∈ . N

5
Problema 0.42. Sea X un conjunto infinito y f : X → X una función inyectiva tal que f (X) ( X i.e.
X − f (X) 6= ∅. Se recuerda que para todo x ∈ X se tiene que
def
f n (x) = f ◦ f ◦ . . . ◦ f (x)
| {z }
n−veces

Sea ξ ∈ X − f (X)
(i) Demuestre que ξ 6= f n (ξ) para todo n ∈ . N
(ii) Demuestre que f n+1 (ξ) 6= f n (ξ) para todo n ∈ N.
(iii) Demuestre que f ` (ξ) 6= f n (ξ) para todo `, n ∈ N.
Problema 0.43. Sea t un número real positivo y defina
def
ν(t) = #{(n, k) ∈ N × N : n2 + k2 ≤ t}
π
(i) Demuestre que 0 ≤ ν(t) ≤ t.
4
Indicación. Un diagrama puede serle útil.
π
(ii) Demuestre que (t − 1) ≤ ν(t).
4
(iii) Demuestre que
1 ν(t)
1− ≤ π ≤1
t 4 t

ν(t) π
(iv) Concluya que lim = 1. Esto se denota como ν(t) ∼ t.
t→∞ π t 4
4
Problema 0.44. Sea k ∈ Z un número entero fijo y menor o igual a cero.
(i) Demuestre que para todo n ∈ N la palanca de la figura (??) se encuentra en equilibrio.
(ii) Tome lı́mite cuando n → ∞ y concluya que card(N) = card [N ∪ {` ∈ Z : k ≤ ` ≤ 0}] .
Problema 0.45. Sea k ∈ Z − {0} un número entero fijo. Dado n ∈ N defina los conjuntos An = {j ∈
def

N : j ≤ n} y Bn def= {k j : j ≤ n}.
(i) Demuestre que para todo n ∈ N la palanca de la figura (??) se encuentra en equilibrio.
(ii) Tome lı́mite cuando n → ∞ y deduzca el S sistema mecánico “lı́mite” ¿Que se puede concluir acerca
de los cardinales de los conjuntos lı́mite n ∈ N An y n ∈ N Bn ?
S

Problema 0.46. Dado n ∈ N defina los conjuntos An def

= {(k, j) ∈ N × N : k + j ≤ n + 1} y Bn = {j ∈
def

N : 2 j ≤ n(n + 1)}.
(i) Demuestre que para todo n ∈ N la palanca de la figura (??) se encuentra en equilibrio.
Indicación. Un diagrama puede serle útil.
(ii) Demuestre que n ∈ N An = × .
S
N N
(iii) Tome lı́mite cuando n → ∞ y deduzca el sistema mecánico “lı́mite” , deduzca conclusiones de
cardinalidad acerca de los conjuntos “lı́mite” involucrados.