Канторово множество

Канторово множество — это фрактальное множество точек на отрезке, обладающее свойствами нигде не плотного, совершенного и несчётного множества. В математике оно служит классическим примером компактного множества с нулевой мерой Лебега, но при этом имеющим мощность континуума. Названо в честь немецкого математика Георга Кантора, впервые описавшего его в 1883 году.

Построение

Канторово множество строится итеративным процессом удаления средних третей из отрезка. Этот процесс является одним из простейших примеров построения фрактала.

Алгоритм

1. Начальный этап (n=0): Берётся единичный отрезок \( C_0 = [0, 1] \).
2. Первый шаг (n=1): Из отрезка удаляется открытый интервал \( (\frac{1}{3}, \frac{2}{3}) \). Остаются два отрезка: \( [0, \frac{1}{3}] \) и \( [\frac{2}{3}, 1] \). Полученное множество обозначается \( C_1 \).
3. Второй шаг (n=2): Из каждого из двух оставшихся отрезков снова удаляются их средние трети (открытые интервалы). Остаются четыре отрезка: \( [0, \frac{1}{9}] \), \( [\frac{2}{9}, \frac{1}{3}] \), \( [\frac{2}{3}, \frac{7}{9}] \), \( [\frac{8}{9}, 1] \). Полученное множество обозначается \( C_2 \).
4. Продолжение: Процесс повторяется бесконечно. На \( n \)-м шаге получается множество \( C_n \), состоящее из \( 2^n \) отрезков, каждый длиной \( \frac{1}{3^n} \).

Канторово множество \( C \) определяется как пересечение всех множеств \( C_n \): \[ C = \bigcap_{n=0}^{\infty} C_n. \]

Альтернативные представления

Канторово множество можно определить не только геометрически, но и аналитически. Точка \( x \in [0,1] \) принадлежит канторову множеству тогда и только тогда, когда её троичная запись не содержит цифры 1. Например, число \( \frac{1}{3} = 0.1_3 \) можно записать как \( 0.02222..._3 \), поэтому оно принадлежит множеству. А число \( \frac{1}{2} = 0.11111..._3 \) — нет.

Свойства

Канторово множество обладает рядом необычных и парадоксальных свойств, которые делают его важным объектом в теории меры, топологии и теории множеств.

Топологические свойства

• Замкнутость: Канторово множество замкнуто, так как является пересечением замкнутых множеств.
• Совершенство: Оно является совершенным множеством, то есть замкнутым и не содержит изолированных точек. Каждая точка множества является его предельной точкой.
• Нигде не плотность: Канторово множество нигде не плотно в отрезке \( [0, 1] \). Это означает, что его замыкание (которое совпадает с ним самим) не содержит ни одного интервала. Внутренность множества пуста.
• Компактность: Как замкнутое и ограниченное подмножество \( \mathbb{R} \), оно компактно.

Метрические свойства

• Мера Лебега: Канторово множество имеет меру Лебега, равную нулю. Это легко показать, подсчитав суммарную длину удалённых интервалов:

\[ \sum_{n=0}^{\infty} \frac{2^n}{3^{n+1}} = \frac{1}{3} \cdot \frac{1}{1 - \frac{2}{3}} = 1. \] Так как длина всего отрезка равна 1, то мера оставшегося множества равна \( 1 - 1 = 0 \).

• Фрактальная размерность: Хаусдорфова размерность канторова множества равна \( \frac{\ln 2}{\ln 3} \approx 0.6309 \). Это значение является дробным, что характеризует его как фрактал.

Теоретико-множественные свойства

• Мощность: Несмотря на нулевую меру, канторово множество имеет мощность континуума (то есть равномощно отрезку \( [0, 1] \)). Это доказывается, например, с помощью троичной записи: каждой точке множества можно взаимно однозначно сопоставить двоичную последовательность (заменяя цифры 0 и 2 в троичной записи на 0 и 1 в двоичной).
• Гомеоморфизм: Канторово множество гомеоморфно (топологически эквивалентно) любому другому канторову множеству, а также произведению счётного числа двухточечных множеств (канторову дисконтинууму).

Обобщения и вариации

Существует множество обобщений классического канторова множества.

Пыль Кантора

Пыль Кантора — это двумерный аналог канторова множества. Строится путём деления единичного квадрата на 9 равных квадратов и удаления центрального и четырёх угловых (или только центрального, в зависимости от определения). Процесс повторяется для каждого оставшегося квадрата. Полученное множество имеет нулевую площадь и фрактальную размерность.

Канторово множество с изменяемой длиной удаления

Вместо удаления средней трети можно удалять интервал другой длины \( \alpha \in (0, 1) \). Полученное множество будет иметь меру \( 1 - \alpha \sum_{n=0}^{\infty} (2\alpha)^n \), которая может быть положительной, если \( \alpha < \frac{1}{2} \). Такие множества называются канторовыми множествами положительной меры.

Канторово множество в многомерных пространствах

Канторово множество можно вложить в пространства большей размерности, например, построив канторово множество на плоскости или в трёхмерном пространстве. Такие множества также обладают нулевым объёмом и фрактальной размерностью.

Применение

Канторово множество находит применение в различных областях математики и смежных наук.

• Теория динамических систем: Канторово множество возникает как аттрактор в некоторых динамических системах, например, в логистическом отображении при определённых значениях параметра.
• Теория чисел: Свойства канторова множества используются для построения контрпримеров и иллюстрации парадоксальных свойств бесконечных множеств.
• Теория вероятностей: Канторово множество связано с распределением Кантора, которое является сингулярным (непрерывным, но не имеющим плотности).
• Физика: В теории фракталов и перколяции канторово множество служит простейшей моделью фрактальных структур.
• Компьютерная графика: Алгоритмы построения канторова множества используются для генерации фрактальных изображений и текстур.

Интересные факты

• Канторово множество является одним из первых примеров фрактала, описанного математически, задолго до появления термина «фрактал» (Бенуа Мандельброт ввёл его в 1975 году).
• Множество Кантора является гомеоморфным канторову дисконтинууму — произведению счётного числа двухточечных множеств. Это свойство позволяет использовать его как универсальное пространство для многих топологических конструкций.
• Существует непрерывная функция, называемая «канторовой лестницей» (или функцией Кантора), которая отображает канторово множество на отрезок \( [0, 1] \) и является постоянной на каждом из удалённых интервалов. Эта функция непрерывна, но не является абсолютно непрерывной.

Источники

• Кантор, Г. «О бесконечных линейных точечных множествах» (1883).
• Мандельброт, Б. «Фрактальная геометрия природы» (1982).
• Колмогоров, А. Н., Фомин, С. В. «Элементы теории функций и функционального анализа» (1976).
• Федер, Е. «Фракталы» (1991).