Análisis Matemático I

Taller 3 – Septiembre 23 de 2022

Alejandro Caviativa - Roberto Hoyos

En este taller estudiaremos el conjunto de Cantor. (2.44, p. 41, “Principles of Mathematical Analysis”, 3rd
Edition, Walter Rudin):

1) Sea 𝐸0 el intervalo [0, 1].

1 2 1 2
2) Remueva el segmento (3 , 3), y defina 𝐸1 = [0, 3] ∪ [3 , 1]
1 2 3 6 7 8
3) Remueva los tercios medios de estos intervalos, y defina 𝐸2 = [0, ] ∪ [ , ] ∪ [ , ] ∪ [ , 1]
9 9 9 9 9 9
Continuando de esta manera, obtenemos una sucesión de conjuntos compactos 𝐸𝑛 tal que:
a) 𝐸1 ⊃ 𝐸2 ⊃ 𝐸3 …
b) 𝐸𝑛 es la unión de 2𝑛 intervalos, cada uno de longitud 3−𝑛
El conjunto
∞

𝑃: = ⋂ 𝐸𝑛
𝑛=1
es el conjunto de Cantor.

(1) 5 pts. Sustente brevemente por qué el conjunto de Cantor es compacto y es no vacío.

(2) 15 pts. Demuestre que ningún segmento de la forma

3𝑘 + 1 3𝑘 + 2
( 𝑚+1 , 𝑚+1 ) , 𝑘, 𝑚 ∈ 𝑍 + ,
3 3
tiene un punto en común con 𝑃.

Sugerencia: Puede serle útil mostrar que todo segmento (𝛼, 𝛽) contiene un segmento de la forma:
𝑘 𝑘+1
( 𝑚−1 , 𝑚−1 )
3 3

para 𝑚 entero positivo suficientemente grande y 𝑘 entero no negativo adecuado. De hecho, es posible
encontrar 𝑚 entero positivo suficientemente grande tal que
1 1 1
(𝛽 − 𝑚 ) − (𝛼 + 𝑚 ) > 𝑚
3 3 3

(3) 15 pts. Sustente brevemente por qué, suponiendo que el segmento (𝛼, 𝛽) contiene un segmento de
la forma
3𝑘 + 1 3𝑘 + 2
( , ) , 𝑘, 𝑚 ∈ 𝑍 + ,
3𝑚+1 3𝑚+1
si
 𝛽−𝛼
3−(𝑚+1) <
6
𝑃 no contiene segmento alguno.

(4) 15 pts. Demuestre detalladamente que 𝑃 no contiene puntos aislados; así, 𝑃 es perfecto.

R/
1. Primero afirmamos que el conjunto de Cantor es cerrado debido a que es la intersección de conjuntos
cerrados, además que esta acotado en el intervalo [0, 1] por definición . Al ser cerrado y acotado,
podemos afirmar que es compacto por el Teorema de Heine-Borel.

Cada construcción de 𝐸𝑛 contiene dos puntos límite. Por ejemplo, al construir 𝐸1al remover el segmento
1 2 1 2
( , ) de 𝐸0, 𝐸1 va a contener los puntos límite y . Como el Conjunto de Cantor es la intersección
3 3 3 3
infinita de cada 𝐸𝑛 , 𝑃 contiene los puntos límite de cada subintervalo, y claramente es no vacío.

2. Definamos 𝑇 ≔ {𝑚 ∈ 𝑍 + | − 𝑙𝑜𝑔3 (𝛽 − 𝛼 ) < 𝑚 − 1} con 𝛽 ≠ 𝛼. Podemos afirmar que 𝑇 es no vacío

por la propiedad arquimediana y el buen orden de 𝑍 + . Entonces ∃ (𝑚 − 1) tal que:
−𝑙𝑜𝑔3 (𝛽 − 𝛼 ) < 𝑚 − 1
1
𝛽 − 𝛼 > 𝑚−1
3

Por lo tanto, siempre puedo construir un segmento 𝐴 contenido en (𝛼, 𝛽) de longitud 3−(𝑚−1) , y para
𝑘 𝑘+1 𝑘 𝑘+1
construirlo elijo 𝑘 entero no negativo tal que 3𝑚−1 > 𝛼 y 3𝑚−1 < 𝛽 de tal manera que 𝐴 ≔ (3𝑚−1 , 3𝑚−1)

También puedo encontrar un 𝑚 entero positivo suficientemente grande que:

1
𝛽 − 𝛼 > 𝑚−1
3
3
𝛽−𝛼 > 𝑚
3
1 2
𝛽−𝛼 > 𝑚 + 𝑚
3 3
2 1
𝛽−𝛼− 𝑚 > 𝑚
3 3
1 1 1
(𝛽 − 𝑚 ) − (𝛼 + 𝑚 ) > 𝑚
3 3 3

Realizando el mismo proceso de construcción del segmento 𝐴 y tomando ahora:

 1 1
𝛽−𝛼 > >
3𝑚−1 3𝑚+1

Puedo afirmar que todo segmento (𝛼, 𝛽) contiene un segmento 𝐴 de longitud 3−(𝑚+1) de la forma:
3𝑘 + 1 3𝑘 + 2
( , ) , 𝑘, 𝑚 ∈ 𝑍 +
3𝑚+1 3𝑚+1

Después el valor máximo de k = 2𝑛 , (kmax), que garantiza que el segmento de la forma anterior está
contenido en el segmento (0, 1), Si nos fijamos, en cada paso que damos para acercarnos al conjunto de
1
Cantor, partimos de 1 intervalo de longitud 1, después llegamos a 2 intervalos de longitud 3, 4 de
1 1 1
longitud 9 , 8 de longitud 27…. y en el enésimo paso tendremos 2𝑛 intervalos de longitud 3𝑛 .

Es decir, cada iteración tendrá una longitud de:

2𝑛
𝐿𝑜𝑛𝑔(𝐼𝑛)= lim 𝐼𝑛 = lim =0
𝑛→∞ 𝑛→∞ 3𝑛

3. Dado que el segmento (𝛼, 𝛽) contiene un segmento 𝐴 de la forma

3𝑘 + 1 3𝑘 + 2
( , ) , 𝑘, 𝑚 ∈ 𝑍 + ,
3𝑚+1 3𝑚+1

Y tomando que 𝛽, 𝛼 de tal manera que:

𝛽−𝛼
3−(𝑚+1) <
6

Cada segmento de (𝛼, 𝛽) contiene por lo menos un segmento 𝐴 que fue removido del Conjunto de Cantor
𝑃 cuando fue construido. Ahora (α, β) ⊈ P . Si (α, β) ⊂ P implica que existe un segmento de la forma
3𝑘+1 3𝑘+2
(3𝑚+1 , 3𝑚+1) ⊂ P lo que contradice el punto 2. y por lo tanto 𝑃 no puede contener a (𝛼, 𝛽).

4. Se demostrará que cualquier punto contenido en el Conjunto de Cantor 𝑃 es un punto límite, por lo
tanto 𝑃 no contiene puntos aislados.

Dado cualquier 𝜖 > 0 y un punto 𝑥 ∈ 𝑃. Sea 𝑆 cualquier segmento que contiene a 𝑥. Sea ahora 𝐼𝑛 el
intervalo de 𝐸𝑛 que contiene a 𝑥, de longitud 3−𝑛 . Se escoge un 𝑛 ∈ ℕ lo suficientemente grande tal que
3−𝑛 < 𝜖 asegurando que 𝐼𝑛 ∈ 𝑆. Los puntos límite del Conjunto de Cantor en este intervalo son infinitos
en número de los cuáles tomamos un 𝑥𝑛 como punto límite de 𝐼𝑛 tal que 𝑥𝑛 ≠ 𝑥 (si sucede que 𝑥 es el
punto límite del intervalo en 𝐼𝑛 , se puede escoger a 𝑥𝑛 como el otro punto límite de 𝐼𝑛 ).

Como se enunció en (1) el Conjunto de Cantor 𝑃 es la intersección infinita de cada 𝐸𝑛 que contiene los
puntos límite de cada subintervalo y por lo tanto [𝑥 − 3−𝑛 , 𝑥 + 3−𝑛 ] − {𝑥} intersecta 𝑃 para cada 𝑛 de
donde se concluye que 𝑥𝑛 ∈ 𝑃 y por lo tanto 𝑥 es también un punto límite de 𝑃.

Entonces 𝑃 es perfecto debido a que no contiene puntos aislados y es cerrado.