TALLER III ANÁLISIS MATEMÁTICO I

EDWIN MURCIA R

Por favor entregar el ejercicio, en parejas (no se aceptan entregas individuales)

y en un documento PDF (redactado en un editor, de preferencia LaTeX):

En este taller estudiaremos el conjunto de Cantor. (2.44, p. 41, ”Principles of

Mathematical Analysis”, 3rd Edition, Walter Rudin):
(1) Sea E0 el intervalo [0, 1].
(2) Remueva el segmento ( 13 , 23 ), y defina E1 = [0, 13 ] ∪ [ 32 , 1].
(3) Remueva los tercios medios de estos intervalos, y defina E2 = [0, 19 ]∪[ 92 , 39 ]∪
[ 69 , 79 ] ∪ [ 89 , 1].
Continuando de esta manera, obtenemos una sucesión de conjuntos compactos
En tal que
(a) E1 ⊃ E2 ⊃ E3 . . .
(b) En es la unión de 2n intervalos, cada uno de longitud 3−n .
El conjunto
∞
\
P := En
n=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
 
3k + 1 3k + 2
, , n ∈ Z+ and k = 0, 1, . . . , kmax
3n 3n
tiene un punto en común con P ; ¿cuál es el valor máximo de k, kmax ,
que garantiza que el segmento de la forma anterior está contenido en el
segmento (0, 1)?
Sugerencia: Utilice inducción para mostrar que ningún segmento de la
forma indicada intersecta a P .
(3) 15 pts. Sustente brevemente por qué, suponiendo que el segmento (α, β)
contiene un segmento de la forma
 
3k + 1 3k + 2
, , n ∈ Z+ and k = 0, 1, . . . , kmax ,
3n 3n
si
β−α
3−n < ,
6
1
2 EDWIN MURCIA R

P no contiene segmento alguno.

Sugerencia: Puede serle útil mostrar que todo segmento (α, β) contiene un
segmento de la forma
 
k k+1
,
3n−1 3n−1
para n entero positivo suficientemente grande y k entero no negativo ade-
cuado. De hecho, es posible encontrar n entero positivo suficientemente
grande tal que
   
1 1 1
β − n−1 − α + n−1 > n−1 .
3 3 3
(4) 15 pts. Demuestre detalladamente que P no contiene puntos aislados;
ası́, P es perfecto.