Множина Кантора
Множина Кантора починається з відрізка прямої, з якого з кожного наступного відрізка неодноразово видаляється відкрита середня третина. Те, що залишається, виглядає розрідженим, проте його математика надзвичайно багата.
Побудова шляхом видалення
Після одного кроку залишаються дві закриті третини; після двох — чотири дев’ятих; після n кроків залишаються 2ⁿ сегментів довжиною 3⁻ⁿ. Множина Кантора — це перетин усіх етапів, що містить точки, які ніколи не видаляються.
Після першого кроку залишаються два інтервали довжиною в одну третину; після другого — чотири інтервали довжиною в одну дев’яту, а після кроку n — 2ⁿ інтервалів довжиною 3⁻ⁿ. Правило є повним, хоча жоден дисплей не може зобразити граничну множину. Точка належить до множини саме тоді, коли вона ніколи не потрапляє у видалену середню третину. Такий погляд перетворює побудову на точну процедуру відбору, а не просто на послідовність все тонших ліній.
Нульова довжина, незліченна кількість точок
Сума довжин видалених елементів дорівнює одиниці, отже, загальна довжина решти множини дорівнює нулю. Проте вона є незліченною. Цей контраст допоміг розвіяти інтуїтивне уявлення про те, що множина з великою кількістю точок обов’язково має займати відповідно велику довжину.
Загальна довжина, що залишається після n етапів, дорівнює (2/3)ⁿ і наближається до нуля. Проте гранична множина містить незліченну кількість точок: кожна нескінченна послідовність виборів «ліворуч» і «праворуч» вибирає одну точку. Отже, нульова довжина не означає «майже відсутність точок»; вона означає відсутність одновимірного розмаху за мірою Лебега. Розмежування між кардинальністю та мірою є однією з причин, чому ця множина стала історично повчальною.
Цифри розкривають самоподібність
У трійковій системі числення точки множини Кантора можна представити, використовуючи лише цифри 0 та 2, дотримуючись звичайних правил щодо подвійних розкладів. На кожному кроці відбувається два логічних вибори з двома варіантами, що дає розмірність подібності log 2 / log 3.
У трійковій нотації вибрані числа — це саме ті, які можна записати без цифри 1: 0 обирає ліву гілку, а 2 — праву. Геометрія стає символічною послідовністю. Перші n цифр визначають інтервал на етапі n, а решта цифр уточнюють положення всередині нього. Самоподібність проявляється не лише на зображенні, а й як зсув, що діє на нескінченні послідовності.
Джерела та додаткова література
Ця стаття узагальнює наступні спеціалізовані джерела в оригінальній формулюванні. Ознайомлено та редакційно перевірено 12 серпня 2026.
- Cantor SetWolfram MathWorld
- Fractal Geometry: Mathematical Foundations and ApplicationsWiley
Продовжуйте цю ідею
Фрактальна розмірність
Що вимірює фрактальна розмірність, як працює метод підрахунку коробок і чому один об’єкт може мати більше ніж одну значущу розмірність.
Трикутник Сєрпінського та килим
Як повторне видалення створює точну самоподібність, зникаючу область та міст від множини Кантора до вищих вимірів.
Коли криві стали «патологічними»
Чому неперервні, ніде не гладкі та просторозаповнювальні криві порушували класичну інтуїцію — а згодом стали ключовими прикладами.