Zbiór Cantora
Zbiór Cantora powstaje poprzez rozpoczęcie od odcinka linii i wielokrotne usuwanie otwartej środkowej jednej trzeciej z każdego pozostałego odcinka. To, co pozostaje, wygląda na rzadkie, jednak jego matematyka jest niezwykle bogata.
Konstrukcja poprzez usuwanie
Po jednym kroku pozostają dwie zamknięte trzecie; po dwóch – cztery dziewiąte; po n krokach pozostaje 2ⁿ segmentów o długości 3⁻ⁿ. Zbiór Cantora jest przecięciem wszystkich etapów i zawiera punkty, które nigdy nie są usuwane.
Po pierwszym kroku pozostają dwa przedziały o długości jednej trzeciej; po drugim – cztery o długości jednej dziewiątej, a po kroku n – 2ⁿ przedziałów o długości 3⁻ⁿ. Reguła jest kompletna, mimo że żaden wyświetlacz nie jest w stanie narysować zbioru granicznego. Punkt należy do zbioru dokładnie wtedy, gdy nigdy nie znajduje się w usuniętej środkowej jednej trzeciej. Takie ujęcie sprawia, że konstrukcja staje się precyzyjną procedurą selekcji, a nie jedynie sekwencją coraz cieńszych linii.
Długość zerowa, niepoliczalna liczba punktów
Suma długości usuniętych elementów wynosi jeden, więc pozostały zbiór ma całkowitą długość równą zero. Niemniej jednak jest to zbiór niepoliczalny. Ten kontrast pomógł obalić intuicyjne przekonanie, że zbiór zawierający wiele punktów musi zajmować odpowiednio dużą długość.
Całkowita długość pozostała po n etapach wynosi (2/3)ⁿ i dąży do zera. Niemniej jednak zbiór graniczny zawiera niepoliczalnie wiele punktów: każda nieskończona sekwencja wyborów lewo-prawych wybiera jeden punkt. Długość zerowa nie oznacza zatem „prawie żadnych punktów”; oznacza brak jednowymiarowego rozciągnięcia w miarze Lebesgue’a. Rozróżnienie między licznością a miarą jest jednym z powodów, dla których zbiór ten stał się historycznie pouczający.
Cyfry ujawniają samopodobieństwo
W systemie trójkowym punkty zbioru Cantora można przedstawić wyłącznie za pomocą cyfr 0 i 2, zwracając jak zwykle uwagę na rozwinięcia dualne. Na każdym etapie występują dwa wybory logiczne o połowie wielkości, co daje wymiar podobieństwa log 2 / log 3.
W notacji trójkowej wybrane liczby to dokładnie te, które można zapisać bez cyfry 1: 0 wybiera lewą gałąź, a 2 – prawą. Geometria staje się sekwencją symboliczną. Pierwsze n cyfr określa przedział na etapie n, podczas gdy pozostałe cyfry precyzują położenie w jego obrębie. Samopodobieństwo pojawia się nie tylko na obrazku, ale także jako przesunięcie działające na ciągi nieskończone.
Źródła i literatura uzupełniająca
Artykuł ten stanowi podsumowanie poniższych źródeł specjalistycznych, przy zachowaniu oryginalnego brzmienia. Dostęp uzyskano i dokonano redakcyjnej weryfikacji w sierpniu 12 2026.
- Cantor SetWolfram MathWorld
- Fractal Geometry: Mathematical Foundations and ApplicationsWiley
Kontynuuj ten wątek
Wymiar fraktalny
Czego dotyczy wymiar fraktalny, jak działa metoda zliczania pudełek i dlaczego jeden obiekt może mieć więcej niż jeden znaczący wymiar.
Trójkąt Sierpińskiego i dywan
Jak powtarzające się usuwanie tworzy dokładną samopodobieństwo, zanikającą powierzchnię oraz pomost między zbiorem Cantora a wyższymi wymiarami.
Kiedy krzywe stały się „patologiczne”
Dlaczego ciągłe krzywe, które nigdzie nie są gładkie i wypełniają przestrzeń, podważyły klasyczną intuicję – a później stały się kluczowymi przykładami.