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

Aprile 9th, 2017 | by Marcello Colozzo |

insieme di cantor, insieme perfetto,misurabilità dell'insieme di cantor, insieme ricorsivo



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:

insieme di cantor, insieme perfetto,misurabilità dell'insieme di cantor, insieme ricorsivo

Ciò premesso, dimostriamo il teorema:


Teorema
L'insieme di Cantor è un insieme perfetto


Dimostrazione

insieme di cantor, insieme perfetto,misurabilità dell'insieme di cantor, insieme ricorsivo

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

insieme di cantor, insieme perfetto,misurabilità dell'insieme di cantor, insieme ricorsivo

I casi possibili sono:

insieme di cantor, insieme perfetto,misurabilità dell'insieme di cantor, insieme ricorsivo

Nel caso 1 definiamo
insieme di cantor, insieme perfetto,misurabilità dell'insieme di cantor, insieme ricorsivo

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

insieme di cantor, insieme perfetto,misurabilità dell'insieme di cantor, insieme ricorsivo

che è manifestamente convergente a x:
insieme di cantor, insieme perfetto,misurabilità dell'insieme di cantor, insieme ricorsivo

per cui applicando la definizione di limite
insieme di cantor, insieme perfetto,misurabilità dell'insieme di cantor, insieme ricorsivo

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









Nel caso 2 si ha
insieme di cantor, insieme perfetto,misurabilità dell'insieme di cantor, insieme ricorsivo

La posizione
insieme di cantor, insieme perfetto,misurabilità dell'insieme di cantor, insieme ricorsivo

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









No TweetBacks yet. (Be the first to Tweet this post)

Tags: , , ,

Articoli correlati

Commenta l'esercizio