Zbiór Cantora ma długość zero, ale zawiera nieprzeliczalnie wiele punktów
Zacznij od odcinka [0,1], usuń otwartą środkową trzecią, potem środkowe trzecie z dwóch pozostałych fragmentów i powtarzaj proces bez końca. Łączna długość usuniętych przedziałów wynosi 1, więc pozostały zbiór Cantora ma miarę Lebesgue’a równą zero. Nie jest jednak przeliczalny. Jego punkty można opisywać rozwinięciami trójkowymi używającymi cyfr 0 i 2, co odpowiada nieskończonym ciągom binarnym; takich ciągów jest continuum. To znakomity przykład, że „długość” i „liczba punktów” to całkowicie różne pojęcia wielkości.
Usuwanie środka bez końca
W pierwszym kroku z [0,1] usuwamy (1/3,2/3). Zostają dwa odcinki. W następnym kroku usuwamy ich środkowe trzecie, więc zostają cztery krótsze fragmenty. Po n krokach istnieje 2^n odcinków długości 3^-n. Zbiór Cantora składa się z punktów, które przetrwają każdy skończony etap. Konstrukcja wygląda tak, jakbyśmy bez końca usuwali coraz więcej materiału, dlatego naturalne pytanie brzmi: czy na końcu zostaje cokolwiek poza garścią wyjątkowych punktów?
Długość usuniętych fragmentów sumuje się do 1
W pierwszym kroku usuwamy długość 1/3, w drugim 2/9, w trzecim 4/27 i dalej. Jest to szereg geometryczny o sumie 1. W języku miary Lebesgue’a zbiór Cantora ma więc miarę zero. Nie oznacza to, że jest pusty. Miara zero mówi, że zbiór można przykrywać przedziałami o dowolnie małej łącznej długości; nie mówi, że ma skończoną albo przeliczalną liczbę elementów.
Skąd bierze się continuum punktów
Spójrzmy na rozwinięcia trójkowe. Punkt pozostaje w zbiorze Cantora wtedy, gdy można go zapisać przy użyciu tylko cyfr 0 i 2, z uwzględnieniem standardowej ostrożności przy liczbach mających dwa rozwinięcia. Każdemu takiemu ciągowi możemy przypisać ciąg zer i jedynek, zamieniając 0 na 0, a 2 na 1. Nieskończonych ciągów binarnych jest nieprzeliczalnie wiele i mają kardynalność continuum. W ten sposób zbiór o długości zero okazuje się mieć tyle samo punktów co cały odcinek.
Nie ma punktów izolowanych
Jeszcze bardziej zaskakuje fakt, że zbiór Cantora jest doskonały: jest domknięty i każdy jego punkt jest punktem skupienia. Innymi słowy, wybierając dowolny punkt zbioru i dowolnie małe jego otoczenie, znajdziemy w nim inne punkty zbioru Cantora. To nie jest więc rozsypana kolekcja odizolowanych drobinek. Struktura pozostaje nieskończenie bogata w każdej skali, mimo zerowej długości.
Różne pojęcia „małości”
Zbiór Cantora jest jednocześnie duży i mały, zależnie od pytania. Kardynalnie jest ogromny: ma continuum elementów. Miarowo jest minimalny: jego długość wynosi zero. Topologicznie jest nigdzie gęsty, co oznacza, że nie zawiera żadnego przedziału i nie jest gęsty w żadnym przedziale. Te opisy się nie wykluczają, bo dotyczą różnych struktur. To jedna z najważniejszych lekcji nowoczesnej analizy: nie ma jednego uniwersalnego pojęcia wielkości zbioru.
Dlaczego konstrukcja jest tak wpływowa
Zbiór Cantora pojawia się w analizie, topologii, dynamice i teorii fraktali, ponieważ łączy prostą regułę konstrukcyjną z niezwykle bogatymi własnościami. W kontekście nieskończoności jest szczególnie wartościowy: pokazuje w jednym obiekcie, że nieprzeliczalność nie gwarantuje dodatniej długości, a iteracyjne usuwanie fragmentów może pozostawić continuum punktów. To znacznie subtelniejszy obraz niż proste przeciwstawienie „skończone” i „nieskończone”.
Zero długości nie oznacza „prawie żadnych punktów”
W języku teorii miary zbiór Cantora ma miarę Lebesgue’a równą zero. To znaczy, że pod względem długości jest zaniedbywalny: usunięte otwarte przedziały pochłaniają całą długość początkowego odcinka. Kardynalność odpowiada jednak na inne pytanie. Kodowanie punktów zbioru Cantora za pomocą odpowiednich nieskończonych ciągów cyfr pokazuje, że pozostaje ich continuum. Można więc mieć zbiór równie liczny jak cały przedział, a jednocześnie zajmujący długość zero. Ten kontrast jest jednym z najczystszych powodów, dla których w matematyce nie ma jednej uniwersalnej miary „wielkości” zbioru. Zbiór Cantora jest także „nigdzie gęsty”: w żadnym przedziale nie wypełnia nawet małego fragmentu w taki sposób, by zawierać cały podprzedział. Na każdym etapie konstrukcji pojawiają się kolejne usuwane szczeliny, a mimo to zbiór pozostałych punktów jest domknięty i nie ma punktów izolowanych. Łączy więc cechy, które w codziennej intuicji wydają się trudne do pogodzenia: jest ogromny kardynalnie, zerowy pod względem długości i bardzo „porowaty” topologicznie. Dlatego stał się wzorcowym przykładem w analizie, topologii i teorii fraktali — jednym obiektem można rozdzielić kilka zupełnie różnych znaczeń słowa „duży”. Najbardziej konkretne kodowanie wykorzystuje zapis trójkowy. Punkty zbioru Cantora można opisywać rozwinięciami używającymi tylko cyfr 0 i 2; zastępując 0 przez 0, a 2 przez 1, otrzymujemy nieskończone ciągi binarne. To bezpośrednio łączy konstrukcję geometryczną z continuum możliwych wyborów i wyjaśnia, skąd bierze się nieprzeliczalność mimo usunięcia łącznej długości równej 1.