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

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

История

В 1883 году Георг Кантор опубликовал работу «О бесконечных линейных точечных множествах» (нем. Über unendliche lineare Punktmannigfaltigkeiten), в которой впервые описал множество, обладающее парадоксальными для того времени свойствами. Кантор искал пример множества, которое было бы совершенным (замкнутым и плотным в себе), но при этом нигде не плотным. Построенное им множество опровергало интуитивное представление о том, что совершенное множество обязательно должно содержать интервал. Открытие Кантора сыграло ключевую роль в развитии теории множеств и математического анализа, а также послужило основой для изучения фракталов в XX веке.

Построение

Классическое построение (канторово совершенное множество)

Множество Кантора строится итеративно на отрезке \([0, 1]\) путём последовательного удаления средних третей.

1. Шаг 0: Исходный отрезок \(C_0 = [0, 1]\).
2. Шаг 1: Удаляем открытый интервал \((\frac{1}{3}, \frac{2}{3})\). Остаются два отрезка: \(C_1 = [0, \frac{1}{3}] \cup [\frac{2}{3}, 1]\).
3. Шаг 2: Из каждого из двух отрезков удаляем их средние трети: из \([0, \frac{1}{3}]\) удаляем \((\frac{1}{9}, \frac{2}{9})\), из \([\frac{2}{3}, 1]\) удаляем \((\frac{7}{9}, \frac{8}{9})\). Получаем \(C_2 = [0, \frac{1}{9}] \cup [\frac{2}{9}, \frac{1}{3}] \cup [\frac{2}{3}, \frac{7}{9}] \cup [\frac{8}{9}, 1]\).
4. Шаг \(n\): Множество \(C_n\) состоит из \(2^n\) отрезков, каждый длиной \(3^{-n}\).
5. Предел: Множество Кантора \(C\) определяется как пересечение всех \(C_n\): \(C = \bigcap_{n=0}^{\infty} C_n\).

Таким образом, множество Кантора состоит из точек отрезка \([0, 1]\), которые в троичной системе счисления не содержат цифры 1 в своей записи (допускаются только цифры 0 и 2). Например, число \(\frac{1}{3} = 0{,}1_3\) не входит в множество, так как содержит 1, а \(\frac{1}{4} = 0{,}020202..._3\) входит.

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

Существуют и другие способы построения множеств, гомеоморфных канторову. Например, можно удалять не средние трети, а интервалы другой длины или в других пропорциях. Такие множества называются канторовыми множествами (или канторовыми пылью). В общем случае, если на каждом шаге удалять из каждого отрезка открытый интервал длины \(a \cdot l\), где \(l\) — длина отрезка, а \(0 < a < 1\), то полученное множество будет иметь меру \(1 - \frac{a}{1 - a}\) (при условии, что \(a < 1/2\) для сохранения связности). При \(a = 1/3\) мера равна 0.

Свойства

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

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

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

• Мера Лебега: Мера множества Кантора равна нулю. Длина удалённых интервалов составляет \(\frac{1}{3} + 2 \cdot \frac{1}{9} + 4 \cdot \frac{1}{27} + ... = \frac{1/3}{1 - 2/3} = 1\), то есть вся длина отрезка удалена. Однако множество содержит несчётное число точек.
• Фрактальная размерность: Хаусдорфова размерность множества Кантора равна \(\frac{\ln 2}{\ln 3} \approx 0{,}6309\). Это делает его одним из простейших примеров фрактала.
• Самоподобие: Множество Кантора является самоподобным: левая треть \(C \cap [0, 1/3]\) и правая треть \(C \cap [2/3, 1]\) гомотетичны всему множеству с коэффициентом \(1/3\).

Алгебраические свойства

• Сумма Кантора: Множество \(C + C = \{x + y \mid x, y \in C\}\) равно отрезку \([0, 2]\). Этот факт известен как теорема Штейнгауза.
• Разность Кантора: \(C - C = \{x - y \mid x, y \in C\} = [-1, 1]\).

Применение и значение

В математическом анализе

Множество Кантора служит контрпримером для многих утверждений. Например, оно показывает, что:

• Множество может быть несчётным, но иметь нулевую меру.
• Существуют непрерывные функции, не являющиеся абсолютно непрерывными (например, канторова лестница).
• Не всякое замкнутое множество является объединением интервалов.

В теории функций

Канторова лестница (функция Кантора) — это непрерывная монотонная функция, определённая на \([0, 1]\), которая постоянна на каждом удалённом интервале и возрастает на множестве Кантора. Она имеет производную, равную нулю почти всюду (на множестве полной меры), но при этом не является константой. Это классический пример сингулярной функции.

В топологии

Множество Кантора является универсальным пространством для нульмерных сепарабельных метрических пространств. Любое такое пространство гомеоморфно подмножеству канторова множества.

В теории динамических систем

Множество Кантора возникает как инвариантное множество в некоторых отображениях, например, в логистическом отображении \(f(x) = 4x(1 - x)\) при определённых параметрах. Оно также является аттрактором в некоторых итеративных функциональных системах (IFS).

В фрактальной геометрии

Множество Кантора — один из первых и наиболее изученных фракталов. Оно используется как модель для описания природных явлений с самоподобием (например, распределение трещин, структура пористых материалов).

Обобщения

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

Канторово множество можно обобщить на многомерные пространства, например, канторово множество на плоскости (канторов ковёр) или в пространстве (канторова пыль). Канторов ковёр (или ковёр Серпинского) строится путём удаления центрального квадрата из квадрата и повторения процесса.

Множество Кантора с ненулевой мерой

Если на каждом шаге удалять интервалы меньшей длины (например, длины \(a/3^n\) с \(a < 1\)), то полученное множество будет иметь положительную меру. Такие множества называются «толстыми» канторовыми множествами. Они также обладают свойствами нигде не плотности и совершенства, но имеют ненулевую меру Лебега.

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

• Множество Кантора является примером множества, которое одновременно является «маленьким» (мера нуль) и «большим» (мощность континуума).
• В троичной системе счисления точки множества Кантора — это числа, в записи которых отсутствует цифра 1. Таким образом, множество Кантора можно отождествить с множеством всех бесконечных последовательностей из 0 и 2.
• Канторова лестница — одна из первых функций, для которой была обнаружена сингулярность. Она непрерывна, но не является абсолютно непрерывной.

Источники

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