Insieme di Cantor

Da Wikipedia, l'enciclopedia libera.

Una versione tridimensionale dell'insieme di Cantor

L'insieme di Cantor, introdotto dal matematico tedesco Georg Cantor, è un sottoinsieme molto particolare dell'intervallo [0, 1] dei numeri reali. L'insieme di Cantor è definito in modo ricorsivo, partendo dall'intervallo [0, 1], e rimuovendo ad ogni passo un segmento aperto centrale da ogni intervallo. Al primo passo rimuoviamo da [0, 1] il sotto-intervallo (1/3, 2/3), e rimaniamo quindi con due intervalli [0, 1/3] ∪ [2/3, 1]. 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. L'insieme di Cantor consiste di tutti i punti dell'intervallo di partenza [0, 1] che non vengono mai rimossi da questo procedimento ricorsivo: in altre parole, l'insieme che rimane dopo aver iterato questo procedimento infinite volte.

I primi sei passi di questo processo sono illustrati qui sotto.

Indice

1 Quali punti sono nell'insieme di Cantor?
2 Proprietà
3 Bibliografia
4 Voci correlate
5 Collegamenti esterni

[modifica] Quali punti sono nell'insieme di Cantor?

Ad ogni passo viene rimosso "un terzo dei punti" (cioè dei segmenti aventi misura un terzo del totale). Quindi possiamo calcolare la misura totale dell'insieme rimosso tramite la serie geometrica

$\frac{1}{3} + \frac{2}{9} + \frac{4}{27} + \frac{8}{81} + \cdots = \sum_{n=0}^\infty \frac{2^n}{3^{n+1}} = \frac{1}{3}\left(\frac{1}{1-\frac{2}{3}}\right) = 1.$

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] con misura nulla sono: un qualsiasi numero finito di punti, e i numeri 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 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!

[modifica] Proprietà

[modifica] L'insieme di Cantor è più che numerabile

L'insieme di Cantor contiene tanti punti quanti ce ne sono in tutto l'intervallo [0, 1]. Notiamo che questo non è vero per l'insieme dei punti razionali, che ha cardinalità numerabile e quindi minore. Per dimostrare questo fatto costruiamo una funzione f suriettiva dall'insieme di Cantor all'intervallo [0,1]. L'esistenza di una funzione suriettiva implica che l'insieme d'arrivo (l'intervallo) non può avere cardinalità superiore a quello di partenza (l'insieme di Cantor). 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 i punti in [0, 1] in base tre. Con questa notazione, 1/3 si scrive come 0.1₃ e 2/3 si scrive come 0.2₃, quindi il primo pezzo centrale rimosso consiste di tutti i numeri del tipo 0.1xxxxx...₃, dove xxxxx...₃ è una qualsiasi sequenza di numeri diversi dagli "estremi" 00000...₃ e 22222...₃ (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...₃ o 0.2xxxxx...₃. Infatti i numeri 1/3 e 2/3 sono anche scrivibili rispettivamente come 0.022222...₃ e 2/3 = 0.122222...₃ = 0.2₃ (i numeri razionali si possono scrivere sempre in due modi diversi, in qualsiasi base: ad esempio in base dieci 0.299999... e 0.3 sono lo stesso numero).

Al secondo passo si rimuovono tutti i numeri del tipo 0.01xxxx...₃ e 0.21xxxx...₃, e così via: segue che i numeri che non vengono mai rimossi sono esattamente quelli che possono essere scritti come 0.xxxx...₃ usando 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]: 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 è suriettiva perché ogni numero di [0, 1] si scrive come 0.yyyy...₂. 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...₃, che quindi sta nell'insieme di Cantor, ma (a differenza di 1/3) non è l'estremo di nessun segmento rimosso.

[modifica] L'insieme di Cantor è un frattale

L'insieme di Cantor è un frattale (di tipo deterministico). Prendendo due insiemi di Cantor in due intervalli [0, 1] e [1, 2] successivi, e contraendo l'intervallo [0, 2] di un fattore 1/2, 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 sua dimensione di Hausdorff è pari a ln(2)/ln(3).

[modifica] Proprietà topologiche e analitiche

Come descritto sopra, l'insieme di Cantor è non numerabile ed ha misura di Lebesgue zero. Il suo complementare è unione di segmenti aperti, quindi è un aperto: quindi l'insieme di Cantor è un sottoinsieme chiuso dell'intervallo. Poiché l'intervallo è compatto, anche l'insieme di Cantor è compatto.

Per ogni punto dell'insieme di Cantor, in ogni suo intorno ci sono sia punti contenuti nell'insieme che punti contenuti nel suo complementare. Ne segue che ogni punto dell'insieme di Cantor è punto di accumulazione: un insieme con questa proprietà è detto perfetto. Ne segue anche che l'insieme di Cantor ha interno vuoto. Infine, l'insieme di Cantor è ben lontano dall'essere connesso: in verità, è totalmente disconnesso.

Usando la base tre come sopra, si dimostra che, come spazio topologico, l'insieme di Cantor è omeomorfo allo spazio prodotto di una quantità numerabile di copie dello spazio {0, 1} (ovvero, il semplice spazio topologico dato da due punti con la topologia 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 punti x e y esiste un omeomorfismo dell'insieme in sé che manda x in y.

L'insieme di Cantor è "universale nel senso della categoria degli spazi metrici compatti". Questo vuol dire che ogni spazio metrico compatto è l'immagine continua dell'insieme di Cantor.