[¯|¯] L'insieme di Cantor è un insieme perfetto

---

Ricordiamo che un insieme X è perfetto se ogni suo punto è di accumulazione per X e ogni punto di accumulazione è punto dell'insieme. In altri termini:

Ciò premesso, dimostriamo il teorema:

---

Teorema
L'insieme di Cantor è un insieme perfetto

---

Dimostrazione

Abbiamo visto che un qualunque x appartenente a C ammette un'espansione ternaria del tipo

I casi possibili sono:

Nel caso 1 definiamo

Al variare di n tale formula definisce la successione di elementi di R:

che è manifestamente convergente a x:

per cui applicando la definizione di limite

onde x è di accumulazione per C. L'asserto segue dall'arbitrarietà di x in C.









Nel caso 2 si ha

La posizione

genera una successione manifestamente convergente a x, onde l'asserto.

c.d.d.
Da tale teorema segue che l'insieme di Cantor non è numerabile.

Sostienici

---

---