CONSTRUCCIÓN NUMÉRICA

Lema
Sea {𝐾𝛼}𝛼𝜖𝐴 una familia no vacía de subconjuntos compactos de un espacio métrico X.
Si la intersección de toda subcolección finita de {𝐾𝛼}𝛼𝜖𝐴 es no vacía, ⋂𝛼𝜖𝐴 𝐾𝛼 también
es no vacía.
Construcción numérica del conjunto de cantor
Sea Ε𝜊 el intervalo [0,1]. Dividimos este intervalo por tres y separamos el segmento
1 2
(3 , 3).
1 2
Sea E1= [0, 3] ∪ [3 ,1]. Dividimos ambos intervalos, cada uno en tres partes y
separamos los tercios centrales.
Sea
1 2 3 6 7 8
E2 = [ 0, 9] ∪ [ ,9 ] ∪ [ , 9 ] ∪ [9 ,1]
9 9

Continuando de este modo, obtenemos una sucesión de conjuntos compactos En, tales
que:
1. E1ͻ E2 ͻ E3 ͻ …
2. En es la unión de 2𝑛 intervalos, cada uno de longitud 3−𝑛 .
El conjunto
∁ = ⋂∞
𝑛=1 𝐸𝑛 , se llama conjunto de cantor.

Es interesante destacar que ∁ es claramente compacto por ser cerrado y subconjunto de

un conjunto compacto, además, por el lema anterior ∁ no es vacío .Así, ningún
segmento de la forma
3𝑘 +1 3𝑘 +2
( , ) Donde k y m son enteros positivos tiene puntos en con ∁, ya que son el
3𝑚 3𝑚
tipo de segmentos que quitamos en la construcción de este conjunto.
Como todo segmento ( 𝛼, 𝛽) contiene a un segmento con la forma anterior, si se
cumple que
𝛽−𝛼
3−𝑚 < 6

⟹ ∁ No contiene a ningún segmento.

Referencias linkograficas:
https://es.m.wikipedia.org/wiki/Conjunto_de_Cantor