Множество Витали

Множество Витали — это пример подмножества вещественной прямой ℝ, обладающего свойством неизмеримости по Лебегу. Его существование впервые было доказано итальянским математиком Джузеппе Витали в 1905 году с использованием аксиомы выбора. Множество Витали демонстрирует, что не всякое подмножество ℝ является измеримым по Лебегу, что является фундаментальным ограничением классической теории меры и служит иллюстрацией необходимости аксиомы выбора в построении неизмеримых множеств.

Определение и построение

Множество Витали строится на основе факторизации вещественной прямой по отношению эквивалентности, связанному с рациональными числами. Рассмотрим отношение ∼ на ℝ, где два числа x и y считаются эквивалентными, если их разность является рациональным числом: x ∼ y ⇔ x − y ∈ ℚ. Это отношение разбивает ℝ на классы эквивалентности, каждый из которых имеет вид r + ℚ, где r — некоторое вещественное число. Классы эквивалентности образуют разбиение ℝ, причём каждый класс счётно плотен и сдвигами на рациональные числа переходит сам в себя.

Множество Витали V определяется как подмножество ℝ, содержащее ровно по одному представителю из каждого класса эквивалентности. Построение такого множества требует применения аксиомы выбора, так как необходимо выбрать по одному элементу из несчётного числа классов. Формально: V ⊂ [0,1] (или любого другого отрезка длины 1), и для любого x ∈ ℝ существует единственное q ∈ ℚ такое, что x ∈ V + q.

Свойства

Неизмеримость по Лебегу

Основное свойство множества Витали — его неизмеримость по Лебегу. Доказательство проводится от противного с использованием свойств счётной аддитивности и инвариантности меры Лебега относительно сдвигов. Рассмотрим семейство сдвигов V + q для всех q ∈ ℚ ∩ [−1,1]. Эти множества попарно не пересекаются, так как если бы два сдвига пересекались, то разность их элементов была бы рациональной, что противоречило бы выбору ровно одного представителя из каждого класса. Кроме того, объединение всех таких сдвигов покрывает отрезок [0,1] (а точнее, содержится в [−1,2]). Если бы V было измеримым, то все сдвиги V + q были бы измеримы и имели бы ту же меру, что и V. Тогда из счётной аддитивности меры следовало бы, что мера объединения равна сумме мер, которая либо равна 0 (если мера V равна 0), либо бесконечна (если мера V положительна). Однако объединение содержится в отрезке конечной длины, что приводит к противоречию. Следовательно, V не может быть измеримым.

Связь с аксиомой выбора

Существование множества Витали существенно опирается на аксиому выбора (AC). Без неё невозможно доказать существование неизмеримого множества в ℝ, хотя в рамках теории ZF (без AC) неизмеримые множества могут существовать, но их построение требует дополнительных предположений. В 1970 году Роберт Соловей показал, что в модели ZF (с аксиомой выбора, ослабленной до зависимого выбора) все подмножества ℝ могут быть измеримы по Лебегу, если отказаться от аксиомы выбора. Таким образом, множество Витали является классическим примером, демонстрирующим, что аксиома выбора необходима для построения неизмеримых множеств, но не является достаточной — её применение может приводить к парадоксальным результатам.

Мощность и структура

Множество Витали имеет мощность континуума (равную мощности ℝ). Оно несчётно, так как каждый класс эквивалентности счётно плотен, а число классов — континуум. Внутренняя структура V не имеет простого описания: оно не содержит интервалов, не является борелевским, и его топологические свойства сложны. Например, V нигде не плотно, но его дополнение также нигде не плотно, что делает его «плохим» с точки зрения топологии.

Связь с парадоксом Банаха — Тарского

Множество Витали является предшественником более известного парадокса Банаха — Тарского (1924), который утверждает, что шар в ℝ³ можно разбить на конечное число частей и переставить их так, чтобы получить два шара того же объёма. В основе обоих парадоксов лежит использование аксиомы выбора и неизмеримых множеств. Множество Витали демонстрирует, что уже на прямой возможны неизмеримые множества, что является необходимым условием для парадоксальных разбиений в высших размерностях. Однако в отличие от парадокса Банаха — Тарского, множество Витали не приводит к удвоению объёма, а лишь показывает, что мера Лебега не может быть определена для всех подмножеств ℝ.

Значение в теории меры и анализе

Множество Витали играет ключевую роль в обосновании теории меры. Оно показывает, что σ-алгебра измеримых по Лебегу множеств не является полной в смысле включения всех подмножеств ℝ. Это привело к развитию альтернативных подходов, таких как теория меры Хаусдорфа и изучение измеримых по Борелю множеств. В современной теории меры множество Витали используется как контрпример, иллюстрирующий необходимость аксиомы выбора и ограниченность классической меры Лебега.

Критика и альтернативы

Некоторые математики, особенно приверженцы конструктивизма и интуиционизма, критикуют использование аксиомы выбора для построения множества Витали, считая его неконструктивным и не имеющим реального смысла. В рамках теории ZF без аксиомы выбора множество Витали не существует, что позволяет построить модели, где все подмножества ℝ измеримы. Однако такие модели требуют отказа от некоторых интуитивных свойств, таких как существование базиса Гамеля для ℝ над ℚ. Альтернативные подходы, такие как теория меры с использованием ультрафильтров или аксиомы детерминированности, также позволяют избежать парадоксальных множеств, но вводят другие ограничения.

Примеры и обобщения

Множество Витали является частным случаем более общего понятия «неизмеримое множество». Аналогичные конструкции возможны в любом пространстве с инвариантной мерой, где существует счётная группа сдвигов. Например, в ℝⁿ можно построить неизмеримые множества, используя сдвиги на рациональные векторы. В теории групп множества Витали обобщаются до «множеств выбора» для действий групп, что приводит к изучению парадоксальных разбиений и свойств аменабельности.

Источники

1. Витали, Джузеппе. «Sul problema della misura dei gruppi di punti di una retta». — 1905.
2. Халмош, Пол. «Теория меры». — М.: Иностранная литература, 1953.
3. Окстоби, Джон. «Мера и категория». — М.: Мир, 1974.
4. Соловей, Роберт. «A model of set-theory in which every set of reals is Lebesgue measurable». — Annals of Mathematics, 1970.
5. Богачёв, Владимир. «Основы теории меры». — М.: НИЦ «Регулярная и хаотическая динамика», 2003.