Множество Кантора
Множество Кантора начинается с отрезка и заключается в многократном удалении открытой средней трети из каждого оставшегося отрезка. То, что остается в итоге, выглядит разреженным, однако его математика удивительно богата.
Построение методом удаления
После одного шага остаются две закрытые трети; после двух — четыре девятых; после 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
Продолжить идею
Фрактальная размерность
Что измеряет фрактальная размерность, как работает метод подсчёта ячеек и почему один объект может иметь более одной значимой размерности.
Треугольник и ковёр Сьерпинского
Как повторяющееся удаление создаёт точную самоподобность, исчезающую область и мост от множества Кантора к более высоким измерениям.
Когда кривые стали «патологическими»
Почему непрерывные, нигде не гладкие и заполняющие пространство кривые нарушали классическую интуицию — и впоследствии стали ключевыми примерами.