Insieme di Cantor

L'insieme di Cantor, detto anche polvere di Cantor, introdotto dalmatematicotedescoGeorg Cantor, è ciò che rimane di un segmento diviso in tre parti uguali e privato di quella centrale quando questo procedimento si ripete all'infinito su tutti i segmenti restanti. È unafigura replicantedi ordine due potendosi scomporre in due miniature di sé stesso.
L'insieme di Cantor è definibile in modoricorsivo, partendo dall'intervallo[0,1]{\displaystyle [0,1]}e rimuovendo ad ogni passo unsegmentoaperto centrale da ogni intervallo.
Al primo passo rimuoviamo da[0,1]{\displaystyle [0,1]}il sotto-intervallo(13,23){\displaystyle \left({\frac {1}{3}},{\frac {2}{3}}\right)}, e rimaniamo quindi con due intervalli[0,13]∪[23,1]{\displaystyle \left[0,{\frac {1}{3}}\right]\cup \left[{\frac {2}{3}},1\right]}.
Al secondo passo rimuoviamo un segmento aperto centrale in entrambi questi intervalli (avente lunghezza un terzo della lunghezza del segmento, come al primo passo), e otteniamo quattro intervalli ancora più piccoli[0,19]∪[29,13]∪[23,79]∪[89,1]{\textstyle \left[0,{\frac {1}{9}}\right]\cup \left[{\frac {2}{9}},{\frac {1}{3}}\right]\cup \left[{\frac {2}{3}},{\frac {7}{9}}\right]\cup \left[{\frac {8}{9}},1\right]}.
L'insieme di Cantor consiste di tutti i punti dell'intervallo di partenza[0,1]{\displaystyle [0,1]}che non vengono mai rimossi da questo procedimento ricorsivo: in altre parole, l'insieme che rimane dopo aver iterato questo procedimentoinfinitevolte. È chiamato con termini suggestivi comepolvere di Cantor.
I primi sette passi di questo processo sono illustrati qui sotto.
Ad ogni passo viene rimosso "un terzo dei punti" (cioè dei segmenti aventimisuraun terzo del totale). Quindi possiamo calcolare la misura totale dell'insieme rimosso tramite la seguenteserie geometrica, che converge alla misura dell'insieme dei punti rimossi dall'intervallo:
Quindi l'insieme di Cantor, che è "ciò che rimane", ha misura 1 – 1 = 0. L'insieme di Cantor ha quindi misura nulla. Altri sottoinsiemi di[0,1]{\displaystyle [0,1]}con misura nulla sono: un qualsiasi numero finito di punti e, rispetto alla definizione dimisura di Lebesgue, gli insiemi composti da un'infinità numerabile di punti, come l'insieme deinumeri razionali.
A questo punto è naturale domandarsi se l'insieme di Cantor contenga effettivamente qualcosa. Ogni volta che rimuoviamo un segmento aperto, i suoi due estremi (che appartengono ad un segmento chiuso) rimangono e non vengono mai tolti successivamente. Quindi, ad esempio, i numeri 1/3 e 2/3 sono sicuramente contenuti nell'insieme. Con un po' di fatica si dimostra anche che il numero 1/4 è anch'esso nell'insieme: infatti ad ogni passo è alternativamente contenuto a sinistra e a destra dell'insieme centrale che viene rimosso.
In generale i punti appartenenti all'insieme di Cantor, possono essere espressi come segue:
Oppure, in maniera analoga
Ossia sono i punti nell'intervallo[0,1]{\displaystyle [0,1]}che scritti in base ternaria hanno come cifre decimali solamente 0 o 2.
Si noti che 0,2222...=1; 0,02222...=0,1 =1/3; 0,2=2/3; 0,00222...=0,01 =1/9; 0,02=2/9; 0,20222...=0,21 =7/9; 0,22=8/9 ecc.
L'insieme di Cantor contiene tanti punti quanti ne contiene l'intervallo[0,1]{\displaystyle [0,1]}: entrambi hanno lacardinalità del continuo.Per dimostrarlo, è sufficiente costruire una funzionef{\displaystyle f}suriettivadal primo al secondo insieme. L'esistenza di una funzione suriettiva implica che l'insieme di partenza (l'insieme di Cantor) non può avere cardinalità inferiore a quello d'arrivo (l'intervallo). Poiché l'insieme di Cantor è un sottoinsieme dell'intervallo, non può avere neanche cardinalità superiore, e quindi i due insiemi hanno la stessa cardinalità.
Per costruire questa funzione, scriviamo inbase trei punti che appartengono all'intervallo[0,1].{\displaystyle [0,1].}Con questa notazione, 1/3 si scrive come 0,13e 2/3 si scrive come 0,23, quindi il primo pezzo centrale rimosso consiste in tutti i numeri del tipo 0,1xxxxx...3, dove xxxxx...3è una qualsiasi sequenza di numeri diversi dagli "estremi" 00000...3e 22222...3(perché rimuoviamo un intervallo aperto, quindi gli estremi rimangono dove sono). Quindi i numeri che restano dopo il primo passo sono esattamente quelli scrivibili come 0,0xxxxx...3o 0,2xxxxx...3. Infatti i numeri 1/3 e 2/3 sono anche scrivibili rispettivamente come 1/3 = 0,022222...3= 0,13e 2/3 = 0,122222...3= 0,23(analogamente, inbase dieci0,299999... e 0,3 sono lo stesso numero).
Al secondo passo si rimuovono tutti i numeri del tipo 0,01xxxx...3e 0,21xxxx...3, e così via: segue che i numeri che non vengono mai rimossi sono esattamente quelli che possono essere scritti come 0,xxxx...3usando solo le cifre 0 e 2. Se sostituisco ogni cifra "2" con la cifra "1", e leggo il nuovo numero in base binaria, ottengo un altro numero in[0,1]{\displaystyle [0,1]}: in questo modo ho associato ad ogni numero dell'insieme di Cantor un altro numero dell'intervallo, e questa è la funzione che voglio considerare. La funzione èsuriettivaperché ogni numero di[0,1]{\displaystyle [0,1]}si scrive come 0,yyyy...2. Quindi l'insieme di Cantor ha la stessa cardinalità dell'intervallo (che poi è la stessa cardinalità dei numeri reali).
Notiamo che 1/4 si scrive in base ternaria come 0,02020202020...3, che quindi sta nell'insieme di Cantor, ma (a differenza di 1/3) non è l'estremo di nessun segmento rimosso.
L'insieme di Cantor è unfrattale(di tipo deterministico). Prendendo due insiemi di Cantor negli intervalli[0,1]{\displaystyle [0,1]}e[2,3],{\displaystyle [2,3],}e contraendo l'intervallo[0,3]{\displaystyle [0,3]}di un fattore 1/3, si ottiene nuovamente l'insieme di Cantor. Ha una "dimensione non intera", intermedia fra le dimensioni 0 e 1 rispettivamente del punto e della retta. Infatti la suadimensione di Hausdorffè uguale aln⁡(2)ln⁡(3)≅0,631{\displaystyle {\frac {\ln(2)}{\ln(3)}}\cong 0,631}.
Come descritto sopra, l'insieme di Cantor ènon numerabileed hamisura di Lebesguezero. Il suo complementare è unione di segmentiaperti, quindi è un aperto: quindi l'insieme di Cantor è un sottoinsiemechiusodell'intervallo. Poiché l'intervallo ècompatto, anche l'insieme di Cantor è compatto.
Nell'intornodi ogni punto dell'insieme di Cantor ci sono sia punti contenuti nell'insieme che punti contenuti nel suo complementare. Ció implica che ogni punto dell'insieme di Cantor èpunto di accumulazione(un insieme chiuso con questa proprietà è dettoperfetto). Si ha anche che l'insieme di Cantor haparte internavuota. Infine, l'insieme di Cantor è ben lontano dall'essereconnesso: in verità, ètotalmente disconnesso.
Usando la base tre come sopra, si dimostra che, comespazio topologico, l'insieme di Cantor èomeomorfoallospazio prodottodi una quantitànumerabiledi copie dello spazio{0,1}{\displaystyle \{0,1\}}(ossia il semplice spazio topologico dato da due punti con latopologia discreta). Da questa segue un'altra proprietà sorprendente: l'insieme di Cantor è omeomorfo al prodotto di due insiemi di Cantor.
L'insieme di Cantor èomogeneo, nel senso che da un punto di vista topologico i punti sono tutti indistinguibili. Formalmente questo vuol dire che per ogni coppia di puntix{\displaystyle x}ey{\displaystyle y}esiste un omeomorfismo dell'insieme in sé che mandax{\displaystyle x}iny.{\displaystyle y.}
L'insieme di Cantor è "universale nel senso dellacategoriadeglispazi metricicompatti". Questo vuol dire che ogni spazio metrico compatto è l'immagine continua dell'insieme di Cantor.