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

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

¶История

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

¶Построение

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

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

Шаг 0: Исходный отрезок \(C_0 = [0, 1]\).
Шаг 1: Удаляем открытый интервал \((\frac{1}{3}, \frac{2}{3})\). Остаются два отрезка: \(C_1 = [0, \frac{1}{3}] \cup [\frac{2}{3}, 1]\).
Шаг 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]\).
Шаг \(n\): Множество \(C_n\) состоит из \(2^n\) отрезков, каждый длиной \(3^{-n}\).
Предел: Множество Кантора \(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).

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

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

¶Обобщения

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

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